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

[InstCombine] add tests for broken shuffle transform (PR37648) 

llvm-svn: 333779
This commit is contained in:
Sanjay Patel 2018-06-01 18:52:38 +00:00
parent d521d16ba4
commit 3883fcd0c0
1 changed files with 23 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
llvm/test/Transforms/InstCombine/vec_shuffle.ll
View File

@ -582,3 +582,26 @@ define <2 x i32*> @pr23113(<4 x i32*> %A) {
%1 = shufflevector <4 x i32*> %A, <4 x i32*> undef, <2 x i32> <i32 0, i32 1>
ret <2 x i32*> %1
}
; FIXME: Unused lanes in the new binop should not kill the entire op.
define <2 x i32> @PR37648(<2 x i32> %x) {
; CHECK-LABEL: @PR37648(
; CHECK-NEXT: ret <2 x i32> undef
;
%splat = shufflevector <2 x i32> %x, <2 x i32> undef, <2 x i32> zeroinitializer
%r = urem <2 x i32> %splat, <i32 1, i32 1>
ret <2 x i32> %r
}
define <2 x float> @splat_first_fp(<2 x float> %x) {
; CHECK-LABEL: @splat_first_fp(
; CHECK-NEXT: [[TMP1:%.*]] = fadd <2 x float> [[X:%.*]], <float 1.000000e+00, float undef>
; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <2 x float> [[TMP1]], <2 x float> undef, <2 x i32> zeroinitializer
; CHECK-NEXT: ret <2 x float> [[TMP2]]
;
%splat = shufflevector <2 x float> %x, <2 x float> undef, <2 x i32> zeroinitializer
%r = fadd <2 x float> %splat, <float 1.0, float 1.0>
ret <2 x float> %r
}