Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Reappy r80998, now that the GlobalOpt bug that it exposed on MiniSAT is fixed. | Dan Gohman | 2009-09-07 | 1 | -18/+0 |
| | | | | llvm-svn: 81172 | ||||
* | Revert "Include optional subclass flags, such as inbounds, nsw, etc., ...", this | Daniel Dunbar | 2009-09-06 | 1 | -0/+18 |
| | | | | | | breaks MiniSAT on x86_64. llvm-svn: 81098 | ||||
* | Include optional subclass flags, such as inbounds, nsw, etc., in the | Dan Gohman | 2009-09-04 | 1 | -18/+0 |
| | | | | | | | | | | | | | | | | | Constant uniquing tables. This allows distinct ConstantExpr objects with the same operation and different flags. Even though a ConstantExpr "a + b" is either always overflowing or never overflowing (due to being a ConstantExpr), it's still necessary to be able to represent it both with and without overflow flags at the same time within the IR, because the safety of the flag may depend on the context of the use. If the constant really does overflow, it wouldn't ever be safe to use with the flag set, however the use may be in code that is never actually executed. This also makes it possible to merge all the flags tests into a single test. llvm-svn: 80998 | ||||
* | Change the assembly syntax for nsw, nuw, and exact, putting them | Dan Gohman | 2009-07-27 | 1 | -6/+6 |
| | | | | | | | after their associated opcodes rather than before. This makes them a little easier to read. llvm-svn: 77194 | ||||
* | Rename the new unsigned and signed keywords to nuw and nsw, | Dan Gohman | 2009-07-22 | 1 | -6/+6 |
| | | | | | | which stand for no-unsigned-wrap and no-signed-wrap. llvm-svn: 76810 | ||||
* | Assembly and Bitcode support for unsigned/signed overflow flags and | Dan Gohman | 2009-07-20 | 1 | -0/+18 |
exact sdiv flags. llvm-svn: 76475 |