llvm/test/Transforms/SimplifyCFG, branch release_32http://llvm.orghttps://git.amat.us/llvm/atom/test/Transforms/SimplifyCFG?h=release_322012-11-07T21:35:12ZOnly do switch-to-lookup table transformation when TargetTransformInfo2012-11-07T21:35:12ZHans Wennborghans@hanshq.net2012-11-07T21:35:12Zurn:sha1:b0319962cfdb18da38ef47da621f148fe144b092
is available.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@167552 91177308-0d34-0410-b5e6-96231b3b80d8
Fix bad test IR in switch_to_lookup_table.ll2012-11-07T18:38:24ZHans Wennborghans@hanshq.net2012-11-07T18:38:24Zurn:sha1:ab1b6c83adf459d78bee1e87e235f4fdf8d4d106
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@167543 91177308-0d34-0410-b5e6-96231b3b80d8
Remove fixme about unreachable cases from SwitchToLookupTable2012-10-31T16:15:25ZHans Wennborghans@hanshq.net2012-10-31T16:15:25Zurn:sha1:eb3e089fb686e506647a4d8cfdc1d51869489801
SimplifyCFG will have removed those cases for us.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@167132 91177308-0d34-0410-b5e6-96231b3b80d8
Do simple constant propagation in lookup table formation for switches2012-10-31T13:42:45ZHans Wennborghans@hanshq.net2012-10-31T13:42:45Zurn:sha1:e03d9e4ec7037526b94ce91985e7ff82ebc069fa
By propagating the value for the switch condition, LLVM can now build
lookup tables for code such as:
switch (x) {
case 1: return 5;
case 2: return 42;
case 3: case 4: case 5:
return x - 123;
default:
return 123;
}
Given that x is known for each case, "x - 123" becomes a constant for
cases 3, 4, and 5.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@167115 91177308-0d34-0410-b5e6-96231b3b80d8
switch_to_lookup_table.ll: Remove some unnecessary lines, comments,2012-10-30T15:11:52ZHans Wennborghans@hanshq.net2012-10-30T15:11:52Zurn:sha1:92b469971e6125e1aae90c43e0f00a5cb1e88b47
function attributes, etc.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@167016 91177308-0d34-0410-b5e6-96231b3b80d8
Use TargetTransformInfo to control switch-to-lookup table transformation2012-10-30T11:23:25ZHans Wennborghans@hanshq.net2012-10-30T11:23:25Zurn:sha1:04d7d13d301df66f6c232e41611145c062183bf3
When the switch-to-lookup tables transform landed in SimplifyCFG, it
was pointed out that this could be inappropriate for some targets.
Since there was no way at the time for the pass to know anything about
the target, an awkward reverse-transform was added in CodeGenPrepare
that turned lookup tables back into switches for some targets.
This patch uses the new TargetTransformInfo to determine if a
switch should be transformed, and removes
CodeGenPrepare::ConvertLoadToSwitch.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@167011 91177308-0d34-0410-b5e6-96231b3b80d8
Also optimize large switch statements.2012-10-25T18:51:15ZJakob Stoklund Olesenstoklund@2pi.dk2012-10-25T18:51:15Zurn:sha1:e5a7a68dfabcf10cf5a6409fd1e4020f69564c2e
The isValueEqualityComparison() guard at the top of SimplifySwitch()
only applies to some of the possible transformations.
The newer transformations work just fine on large switches, and the
check on predecessor count is nonsensical.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@166710 91177308-0d34-0410-b5e6-96231b3b80d8
SimplifyCFG: Enhance the "remove CFG edge that leads to null pointer dereference" optimization to also handle instructions with multiple uses.2012-10-04T16:11:49ZBenjamin Kramerbenny.kra@googlemail.com2012-10-04T16:11:49Zurn:sha1:1e21db6e831923bb35d2c5e22b50ad198de49a61
We conservatively only check the first use to avoid walking long use chains.
This catches the common case of having both a load and a store to a pointer
supplied by a PHI node.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@165232 91177308-0d34-0410-b5e6-96231b3b80d8
SimplifyCFG: Don't crash when forming a switch bitmap with an undef default value.2012-10-01T11:31:48ZBenjamin Kramerbenny.kra@googlemail.com2012-10-01T11:31:48Zurn:sha1:64f27e78c4af3b69930b1d05b13b80cb025f4079
Fixes PR13985.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@164934 91177308-0d34-0410-b5e6-96231b3b80d8
Fix a integer overflow in SimplifyCFG's look up table formation logic.2012-09-27T18:29:58ZBenjamin Kramerbenny.kra@googlemail.com2012-09-27T18:29:58Zurn:sha1:465251a7ce52161adbcb6e80cb84f135dd440de9
If the width is very large it gets truncated from uint64_t to uint32_t when
passed to TD->fitsInLegalInteger. The truncated value can fit in a register.
This manifested in massive memory usage or crashes (PR13946).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@164784 91177308-0d34-0410-b5e6-96231b3b80d8