RPCS3/llvm
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm.git synced 2025-01-09 05:31:37 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[InstCombine] Pre-commit test cases for D38065.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@313818 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Craig Topper 2017-09-20 21:18:12 +00:00
parent b1dd7d6140
commit 5fbea4df08
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
test/Transforms/InstCombine/icmp.ll
View File

@ -1138,6 +1138,17 @@ define i1 @test67(i32 %x) {
ret i1 %cmp
}
define i1 @test67inverse(i32 %x) {
; CHECK-LABEL: @test67inverse(
; CHECK-NEXT: [[AND:%.*]] = and i32 [[X:%.*]], 96
; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[AND]], 32
; CHECK-NEXT: ret i1 [[CMP]]
;
%and = and i32 %x, 127
%cmp = icmp sle i32 %and, 31
ret i1 %cmp
}
; The test above relies on 3 different folds.
; This test only checks the last of those (icmp ugt -> icmp ne).
@ -1164,6 +1175,17 @@ define <2 x i1> @test67vec2(<2 x i32> %x) {
ret <2 x i1> %cmp
}
define <2 x i1> @test67vecinverse(<2 x i32> %x) {
; CHECK-LABEL: @test67vecinverse(
; CHECK-NEXT: [[AND:%.*]] = and <2 x i32> [[X:%.*]], <i32 96, i32 96>
; CHECK-NEXT: [[CMP:%.*]] = icmp ult <2 x i32> [[AND]], <i32 32, i32 32>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%and = and <2 x i32> %x, <i32 96, i32 96>
%cmp = icmp sle <2 x i32> %and, <i32 31, i32 31>
ret <2 x i1> %cmp
}
define i1 @test68(i32 %x) {
; CHECK-LABEL: @test68(
; CHECK-NEXT: [[AND:%.*]] = and i32 %x, 127