diff options
author | Sanjay Patel <spatel@rotateright.com> | 2017-08-28 21:14:26 +0000 |
---|---|---|
committer | Sanjay Patel <spatel@rotateright.com> | 2017-08-28 21:14:26 +0000 |
commit | 621fd9f3390506e752a3711d2b370b8d88be4a7e (patch) | |
tree | f6cc27aca3bfc4012c49d3102bf10effeba1c7e1 | |
parent | a70f98c43af0b15901a80a81b088931e479313b8 (diff) |
[InstCombine] add tests to show failure of SimplifyDemandedVectorElts + shuffle combining; NFC
-rw-r--r-- | llvm/test/Transforms/InstCombine/vec_demanded_elts.ll | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/vec_demanded_elts.ll b/llvm/test/Transforms/InstCombine/vec_demanded_elts.ll index 00efbe00b08..9fe1b87e337 100644 --- a/llvm/test/Transforms/InstCombine/vec_demanded_elts.ll +++ b/llvm/test/Transforms/InstCombine/vec_demanded_elts.ll @@ -141,3 +141,34 @@ define <2 x i64> @PR24922(<2 x i64> %v) { %result = select <2 x i1> <i1 icmp eq (i64 extractelement (<2 x i64> bitcast (<4 x i32> <i32 15, i32 15, i32 15, i32 15> to <2 x i64>), i64 0), i64 0), i1 true>, <2 x i64> %v, <2 x i64> zeroinitializer ret <2 x i64> %result } + +; FIXME: The shuffle only demands the 0th (undef) element of 'out123', so everything should fold away. + +define <4 x float> @inselt_shuf_no_demand(float %a1, float %a2, float %a3) { +; CHECK-LABEL: @inselt_shuf_no_demand( +; CHECK-NEXT: [[OUT1:%.*]] = insertelement <4 x float> undef, float %a1, i32 1 +; CHECK-NEXT: [[OUT12:%.*]] = insertelement <4 x float> [[OUT1]], float %a2, i32 2 +; CHECK-NEXT: ret <4 x float> [[OUT12]] +; + %out1 = insertelement <4 x float> undef, float %a1, i32 1 + %out12 = insertelement <4 x float> %out1, float %a2, i32 2 + %out123 = insertelement <4 x float> %out12, float %a3, i32 3 + %shuffle = shufflevector <4 x float> %out123, <4 x float> undef, <4 x i32> <i32 0, i32 undef, i32 undef, i32 undef> + ret <4 x float> %shuffle +} + +; FIXME: The shuffle only demands the 0th (undef) element of 'out123', so everything should fold away. + +define <4 x float> @inselt_shuf_no_demand_commute(float %a1, float %a2, float %a3) { +; CHECK-LABEL: @inselt_shuf_no_demand_commute( +; CHECK-NEXT: [[OUT1:%.*]] = insertelement <4 x float> undef, float %a1, i32 1 +; CHECK-NEXT: [[OUT12:%.*]] = insertelement <4 x float> [[OUT1]], float %a2, i32 2 +; CHECK-NEXT: ret <4 x float> [[OUT12]] +; + %out1 = insertelement <4 x float> undef, float %a1, i32 1 + %out12 = insertelement <4 x float> %out1, float %a2, i32 2 + %out123 = insertelement <4 x float> %out12, float %a3, i32 3 + %shuffle = shufflevector <4 x float> undef, <4 x float> %out123, <4 x i32> <i32 4, i32 undef, i32 undef, i32 undef> + ret <4 x float> %shuffle +} + |