1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 04:02:41 +01:00
llvm-mirror/lib/Transforms
Sanjay Patel 28b1842d00 [InstCombine] add (ashr (shl i32 X, 31), 31), 1 --> and (not X), 1
This is another step towards favoring 'not' ops over random 'xor' in IR:
https://bugs.llvm.org/show_bug.cgi?id=32706

This transformation may have occurred in longer IR sequences using computeKnownBits,
but that could be much more expensive to calculate.

As the scalar result shows, we do not currently favor 'not' in all cases. The 'not'
created by the transform is transformed again (unnecessarily). Vectors don't have
this problem because vectors are (wrongly) excluded from several other combines.

llvm-svn: 302659
2017-05-10 13:56:52 +00:00
..
Coroutines [IR] Abstract away ArgNo+1 attribute indexing as much as possible 2017-05-03 18:17:31 +00:00
Hello
InstCombine [InstCombine] add (ashr (shl i32 X, 31), 31), 1 --> and (not X), 1 2017-05-10 13:56:52 +00:00
Instrumentation Use explicit false instead of casted nullptr. NFC. 2017-05-10 13:24:17 +00:00
IPO [ProfileSummary] Make getProfileCount a non-static member function. 2017-05-09 23:21:10 +00:00
ObjCARC [IR] Abstract away ArgNo+1 attribute indexing as much as possible 2017-05-03 18:17:31 +00:00
Scalar Revert r301950: SpeculativeExecution: Stop using whitelist for costs 2017-05-10 12:30:07 +00:00
Utils Add a late IR expansion pass for the experimental reduction intrinsics. 2017-05-10 09:42:49 +00:00
Vectorize [AArch64] Consider widening instructions in cost calculations 2017-05-09 20:18:12 +00:00
CMakeLists.txt
LLVMBuild.txt