diff options
author | Eli Friedman <eli.friedman@gmail.com> | 2011-05-05 21:59:18 +0000 |
---|---|---|
committer | Eli Friedman <eli.friedman@gmail.com> | 2011-05-05 21:59:18 +0000 |
commit | b6e7cd655c6ee119dbeacc321ee92387f983edb0 (patch) | |
tree | e1aa6692a280bb8f1768af8804b5a3265a424acd /test | |
parent | 108709d4d1ff02317972956540dad571bdf43e95 (diff) | |
download | external_llvm-b6e7cd655c6ee119dbeacc321ee92387f983edb0.zip external_llvm-b6e7cd655c6ee119dbeacc321ee92387f983edb0.tar.gz external_llvm-b6e7cd655c6ee119dbeacc321ee92387f983edb0.tar.bz2 |
PR9838: Fix transform introduced in r127064 to not trigger when only one side of the icmp is an exact shift.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@130954 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/Transforms/InstCombine/icmp.ll | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/icmp.ll b/test/Transforms/InstCombine/icmp.ll index 099540a..1237ade 100644 --- a/test/Transforms/InstCombine/icmp.ll +++ b/test/Transforms/InstCombine/icmp.ll @@ -510,3 +510,14 @@ define i1 @test52(i32 %x1) nounwind { ret i1 %A } +; PR9838 +; CHECK: @test53 +; CHECK-NEXT: ashr exact +; CHECK-NEXT: ashr +; CHECK-NEXT: icmp +define i1 @test53(i32 %a, i32 %b) nounwind { + %x = ashr exact i32 %a, 30 + %y = ashr i32 %b, 30 + %z = icmp eq i32 %x, %y + ret i1 %z +} |