diff options
author | David Majnemer <david.majnemer@gmail.com> | 2013-07-09 08:09:32 +0000 |
---|---|---|
committer | David Majnemer <david.majnemer@gmail.com> | 2013-07-09 08:09:32 +0000 |
commit | 36b6f7409d9f607317de9815ffc10656b608eab7 (patch) | |
tree | 081e67d12a3ba9360c1ae1494a7e57cb912acb8e /test | |
parent | ff16df71f50231c79c379a146dc55b4d6867cbd9 (diff) | |
download | llvm-36b6f7409d9f607317de9815ffc10656b608eab7.tar.gz llvm-36b6f7409d9f607317de9815ffc10656b608eab7.tar.bz2 llvm-36b6f7409d9f607317de9815ffc10656b608eab7.tar.xz |
InstCombine: X & -C != -C -> X <= u ~C
Tests were added in r185910 somehow.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@185912 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/Transforms/InstCombine/icmp.ll | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/test/Transforms/InstCombine/icmp.ll b/test/Transforms/InstCombine/icmp.ll index fbf7f3d6c3..5dccde26dd 100644 --- a/test/Transforms/InstCombine/icmp.ll +++ b/test/Transforms/InstCombine/icmp.ll @@ -1164,46 +1164,6 @@ define i1 @icmp_sub_3_X_uge_2(i32 %X) { ret i1 %cmp } -; CHECK: @icmp_add_X_-14_ult_2 -; CHECK-NEXT: [[AND:%[a-z0-9]+]] = and i32 %X, -2 -; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp eq i32 [[AND]], 14 -; CHECK-NEXT: ret i1 [[CMP]] -define i1 @icmp_add_X_-14_ult_2(i32 %X) { - %add = add i32 %X, -14 - %cmp = icmp ult i32 %add, 2 - ret i1 %cmp -} - -; CHECK: @icmp_sub_3_X_ult_2 -; CHECK-NEXT: [[OR:%[a-z0-9]+]] = or i32 %X, 1 -; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp eq i32 [[OR]], 3 -; CHECK-NEXT: ret i1 [[CMP]] -define i1 @icmp_sub_3_X_ult_2(i32 %X) { - %add = sub i32 3, %X - %cmp = icmp ult i32 %add, 2 - ret i1 %cmp -} - -; CHECK: @icmp_add_X_-14_uge_2 -; CHECK-NEXT: [[AND:%[a-z0-9]+]] = and i32 %X, -2 -; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp ne i32 [[AND]], 14 -; CHECK-NEXT: ret i1 [[CMP]] -define i1 @icmp_add_X_-14_uge_2(i32 %X) { - %add = add i32 %X, -14 - %cmp = icmp uge i32 %add, 2 - ret i1 %cmp -} - -; CHECK: @icmp_sub_3_X_uge_2 -; CHECK-NEXT: [[OR:%[a-z0-9]+]] = or i32 %X, 1 -; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp ne i32 [[OR]], 3 -; CHECK-NEXT: ret i1 [[CMP]] -define i1 @icmp_sub_3_X_uge_2(i32 %X) { - %add = sub i32 3, %X - %cmp = icmp uge i32 %add, 2 - ret i1 %cmp -} - ; CHECK: @icmp_and_X_-16_eq-16 ; CHECK-NEXT: [[CMP:%[a-z0-9]+]] = icmp ugt i32 %X, -17 ; CHECK-NEXT: ret i1 [[CMP]] |