diff options
Diffstat (limited to 'test/Transforms/InstSimplify/compare.ll')
| -rw-r--r-- | test/Transforms/InstSimplify/compare.ll | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/Transforms/InstSimplify/compare.ll b/test/Transforms/InstSimplify/compare.ll index 07c90d8f1eb8..6e66fbfede9f 100644 --- a/test/Transforms/InstSimplify/compare.ll +++ b/test/Transforms/InstSimplify/compare.ll @@ -1164,3 +1164,11 @@ define i1 @tautological8(i32 %A, i32 %B) { ; CHECK-LABEL: @tautological8( ; CHECK: ret i1 false } + +define i1 @tautological9(i32 %x) { + %add = add nuw i32 %x, 13 + %cmp = icmp ne i32 %add, 12 + ret i1 %cmp +; CHECK-LABEL: @tautological9( +; CHECK: ret i1 true +} |