diff options
| author | Anna Thomas <anna@azul.com> | 2017-05-23 13:36:25 +0000 |
|---|---|---|
| committer | Anna Thomas <anna@azul.com> | 2017-05-23 13:36:25 +0000 |
| commit | c07d5544dde0cc6e1d844028d82aa2cf1dc8066a (patch) | |
| tree | 0417d53c3fb6d2126732b357a23f41491058daa4 /llvm/test/Transforms/JumpThreading/fold-not-thread.ll | |
| parent | b6d40cceeed08876e6d633099de7c5c15f66c453 (diff) | |
| download | bcm5719-llvm-c07d5544dde0cc6e1d844028d82aa2cf1dc8066a.tar.gz bcm5719-llvm-c07d5544dde0cc6e1d844028d82aa2cf1dc8066a.zip | |
[JumpThreading] Safely replace uses of condition
This patch builds over https://reviews.llvm.org/rL303349 and replaces
the use of the condition only if it is safe to do so.
We should not blindly RAUW the condition if experimental.guard or assume
is a use of that
condition. This is because LVI may have used the guard/assume to
identify the
value of the condition, and RUAWing will fold the guard/assume and uses
before the guards/assumes.
Reviewers: sanjoy, reames, trentxintong, mkazantsev
Reviewed by: sanjoy, reames
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D33257
llvm-svn: 303633
Diffstat (limited to 'llvm/test/Transforms/JumpThreading/fold-not-thread.ll')
| -rw-r--r-- | llvm/test/Transforms/JumpThreading/fold-not-thread.ll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/llvm/test/Transforms/JumpThreading/fold-not-thread.ll b/llvm/test/Transforms/JumpThreading/fold-not-thread.ll index f05169b31bc..85cdcc0d9b3 100644 --- a/llvm/test/Transforms/JumpThreading/fold-not-thread.ll +++ b/llvm/test/Transforms/JumpThreading/fold-not-thread.ll @@ -133,10 +133,10 @@ L3: ret void } -; FIXME: Make sure we can do the RAUW for %add... +; Make sure we can do the RAUW for %add... ; ; CHECK-LABEL: @rauw_if_possible( -; CHECK: call void @f4(i32 %add) +; CHECK: call void @f4(i32 96) define void @rauw_if_possible(i32 %value) nounwind { entry: %cmp = icmp eq i32 %value, 32 |
