RPCS3/llvm
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm.git synced 2024-12-22 12:08:33 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
49a006cd8d
llvm/lib
History
Philip Reames 49a006cd8d [InstSimplify] sgt on i1s also encodes implication 
Follow on to http://reviews.llvm.org/D13074, implementing something pointed out by Sanjoy. His truth table from his comment on that bug summarizes things well:
LHS | RHS | LHS >=s RHS | LHS implies RHS
0 | 0 | 1 (0 >= 0) | 1
0 | 1 | 1 (0 >= -1) | 1
1 | 0 | 0 (-1 >= 0) | 0
1 | 1 | 1 (-1 >= -1) | 1

The key point is that an "i1 1" is the value "-1", not "1".

Differential Revision: http://reviews.llvm.org/D13756



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@251597 91177308-0d34-0410-b5e6-96231b3b80d8
2015-10-29 03:19:10 +00:00
..
Analysis [InstSimplify] sgt on i1s also encodes implication 2015-10-29 03:19:10 +00:00
AsmParser AsmParser: Remove implicit ilist iterator conversions, NFC 2015-10-20 01:12:49 +00:00
Bitcode Bitcode: Fix more unsigned integer overflow bugs. 2015-10-27 23:01:25 +00:00
CodeGen ARM: support .watchos_version_min and .tvos_version_min. 2015-10-28 22:36:05 +00:00
DebugInfo [LLVMSymbolize] Don't use LLVMSymbolizer::Options in ModuleInfo. NFC. 2015-10-26 22:34:56 +00:00
ExecutionEngine [Orc] Remove the 'takeOwnershipOfBuffers' kludge. 2015-10-28 22:10:27 +00:00
Fuzzer [libFuzzer] add -merge flag to merge corpora 2015-10-24 01:16:40 +00:00
IR [SCEV] Opportunistically interpret unsigned constraints as signed 2015-10-22 19:57:34 +00:00
IRReader
LibDriver [Option] Use an ArrayRef to store the Option Infos in OptTable. NFC 2015-10-21 16:30:42 +00:00
LineEditor
Linker Linker: Remove implicit ilist iterator conversion, NFC 2015-10-19 22:23:36 +00:00
LTO
MC ARM: add support for WatchOS's compact unwind information. 2015-10-28 22:56:36 +00:00
Object [AVR] Add ELF constants to headers 2015-10-23 06:05:55 +00:00
Option [Option] Use an ArrayRef to store the Option Infos in OptTable. NFC 2015-10-21 16:30:42 +00:00
Passes
ProfileData [PGO] RawProf Reader code cleanup 2015-10-28 19:34:04 +00:00
Support ARM: add watchOS default version support function. 2015-10-28 22:57:14 +00:00
TableGen [TblGen] ArrayRefize TGParser. No functional change intended. 2015-10-24 12:46:45 +00:00
Target Remove CRLF line endings. 2015-10-29 02:33:05 +00:00
Transforms [SimplifyCFG] Constant fold a branch implied by it's incoming edge 2015-10-29 03:11:49 +00:00
CMakeLists.txt
LLVMBuild.txt
Makefile