diff options
| author | Anna Thomas <anna@azul.com> | 2017-05-18 13:12:18 +0000 |
|---|---|---|
| committer | Anna Thomas <anna@azul.com> | 2017-05-18 13:12:18 +0000 |
| commit | 7bca59152adcc521f97a4e13128b214198e6d6df (patch) | |
| tree | 090d5f026cf716e3f7da03c9bb2a1273f772252f /llvm/test/Transforms/JumpThreading/fold-not-thread.ll | |
| parent | a24a3a30d00a43a5aa7e6cdf7b7046438735347c (diff) | |
| download | bcm5719-llvm-7bca59152adcc521f97a4e13128b214198e6d6df.tar.gz bcm5719-llvm-7bca59152adcc521f97a4e13128b214198e6d6df.zip | |
[JumpThreading] Dont RAUW condition incorrectly
Summary:
We have a bug when RAUWing the condition if experimental.guard or assumes is a use of that
condition. This is because LazyValueInfo may have used the guards/assumes to identify the
value of the condition at the end of the block. RAUW replaces the uses
at the guard/assume as well as uses before the guard/assume. Both of
these are incorrect.
For now, disable RAUW for conditions and fix the logic as a next
step: https://reviews.llvm.org/D33257
Reviewers: sanjoy, reames, trentxintong
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D33279
llvm-svn: 303349
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 06ddc10e02b..f05169b31bc 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 } -; Make sure we can do the RAUW for %add... +; FIXME: Make sure we can do the RAUW for %add... ; ; CHECK-LABEL: @rauw_if_possible( -; CHECK: call void @f4(i32 96) +; CHECK: call void @f4(i32 %add) define void @rauw_if_possible(i32 %value) nounwind { entry: %cmp = icmp eq i32 %value, 32 |
