maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[InstCombine] add tests for casted sign-bit cmp (PR36682); NFC 

llvm-svn: 327243
This commit is contained in:
Sanjay Patel 2018-03-11 16:45:31 +00:00
parent 9a5d0c7540
commit 6ee46702d5
1 changed files with 27 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
llvm/test/Transforms/InstCombine/icmp.ll
View File

@ -3305,12 +3305,37 @@ define i1 @PR35794(i32* %a) {
; Don't crash by assuming the compared values are integers. ; Don't crash by assuming the compared values are integers.
define <2 x i1> @PR36583(<2 x i8*>) { define <2 x i1> @PR36583(<2 x i8*>) {
; CHECK-LABEL: @PR36583( ; CHECK-LABEL: @PR36583(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[RES:%.*]] = icmp eq <2 x i8*> %0, zeroinitializer ; CHECK-NEXT: [[RES:%.*]] = icmp eq <2 x i8*> %0, zeroinitializer
; CHECK-NEXT: ret <2 x i1> [[RES]] ; CHECK-NEXT: ret <2 x i1> [[RES]]
; ;
entry:
%cast = ptrtoint <2 x i8*> %0 to <2 x i64> %cast = ptrtoint <2 x i8*> %0 to <2 x i64>
%res = icmp eq <2 x i64> %cast, zeroinitializer %res = icmp eq <2 x i64> %cast, zeroinitializer
ret <2 x i1> %res ret <2 x i1> %res
} }
define i1 @doublecast_signbit_set(i64 %x) {
; CHECK-LABEL: @doublecast_signbit_set(
; CHECK-NEXT: [[F:%.*]] = sitofp i64 [[X:%.*]] to float
; CHECK-NEXT: [[I:%.*]] = bitcast float [[F]] to i32
; CHECK-NEXT: [[R:%.*]] = icmp slt i32 [[I]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%f = sitofp i64 %x to float
%i = bitcast float %f to i32
%r = icmp slt i32 %i, 0
ret i1 %r
}
define <3 x i1> @doublecast_signbit_clear(<3 x i32> %x) {
; CHECK-LABEL: @doublecast_signbit_clear(
; CHECK-NEXT: [[F:%.*]] = sitofp <3 x i32> [[X:%.*]] to <3 x double>
; CHECK-NEXT: [[I:%.*]] = bitcast <3 x double> [[F]] to <3 x i64>
; CHECK-NEXT: [[R:%.*]] = icmp sgt <3 x i64> [[I]], <i64 -1, i64 undef, i64 -1>
; CHECK-NEXT: ret <3 x i1> [[R]]
;
%f = sitofp <3 x i32> %x to <3 x double>
%i = bitcast <3 x double> %f to <3 x i64>
%r = icmp sgt <3 x i64> %i, <i64 -1, i64 undef, i64 -1>
ret <3 x i1> %r
}