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 | 414d4e58aacdbd809b103ec95ea87b425e529e15 (patch) | |
| tree | bf1afdb3e07c952353e2387873f9bb64da3906e7 /llvm/test/Transforms | |
| parent | 78a5a116a0ff842a8b960f3e628c45d3e335daa8 (diff) | |
| download | bcm5719-llvm-414d4e58aacdbd809b103ec95ea87b425e529e15.tar.gz bcm5719-llvm-414d4e58aacdbd809b103ec95ea87b425e529e15.zip | |
InstCombine: X & -C != -C -> X <= u ~C
Tests were added in r185910 somehow.
llvm-svn: 185912
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/icmp.ll | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/llvm/test/Transforms/InstCombine/icmp.ll b/llvm/test/Transforms/InstCombine/icmp.ll index fbf7f3d6c33..5dccde26dd2 100644 --- a/llvm/test/Transforms/InstCombine/icmp.ll +++ b/llvm/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]] |
