diff options
| author | Florian Hahn <florian.hahn@arm.com> | 2018-06-21 07:15:08 +0000 |
|---|---|---|
| committer | Florian Hahn <florian.hahn@arm.com> | 2018-06-21 07:15:08 +0000 |
| commit | d36aa1f7633b5450c9939fe8aaa0da1605042868 (patch) | |
| tree | 72ed1152e56e05d1c8275366b950c661a0b14017 /llvm/test/Transforms/IPConstantProp | |
| parent | 57b33f6aac852d6f8d154d574b05b7689afc8e2b (diff) | |
| download | bcm5719-llvm-d36aa1f7633b5450c9939fe8aaa0da1605042868.tar.gz bcm5719-llvm-d36aa1f7633b5450c9939fe8aaa0da1605042868.zip | |
Recommit r333268: [IPSCCP] Use PredicateInfo to propagate facts from cmp instructions.
r335150 should resolve the issues with the clang-with-thin-lto-ubuntu
and clang-with-lto-ubuntu builders.
Original message:
This patch updates IPSCCP to use PredicateInfo to propagate
facts to true branches predicated by EQ and to false branches
predicated by NE.
As a follow up, we should be able to extend it to also propagate additional
facts about nonnull.
Reviewers: davide, mssimpso, dberlin, efriedma
Reviewed By: davide, dberlin
llvm-svn: 335206
Diffstat (limited to 'llvm/test/Transforms/IPConstantProp')
| -rw-r--r-- | llvm/test/Transforms/IPConstantProp/musttail-call.ll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/llvm/test/Transforms/IPConstantProp/musttail-call.ll b/llvm/test/Transforms/IPConstantProp/musttail-call.ll index 75877585710..567ca408099 100644 --- a/llvm/test/Transforms/IPConstantProp/musttail-call.ll +++ b/llvm/test/Transforms/IPConstantProp/musttail-call.ll @@ -9,7 +9,7 @@ define i8* @start(i8 %v) { %c1 = icmp eq i8 %v, 0 br i1 %c1, label %true, label %false true: - ; CHECK: %ca = musttail call i8* @side_effects(i8 %v) + ; CHECK: %ca = musttail call i8* @side_effects(i8 0) ; CHECK: ret i8* %ca %ca = musttail call i8* @side_effects(i8 %v) ret i8* %ca @@ -34,7 +34,7 @@ define internal i8* @side_effects(i8 %v) { ; is always `null`. ; The call can't be removed due to `external` call above, though. - ; CHECK: %ca = musttail call i8* @start(i8 %v) + ; CHECK: %ca = musttail call i8* @start(i8 0) %ca = musttail call i8* @start(i8 %v) ; Thus the result must be returned anyway |
