diff --git a/test/Transforms/InstCombine/vec_shuffle.ll b/test/Transforms/InstCombine/vec_shuffle.ll index ce323a40eb2..b3f2ca54be9 100644 --- a/test/Transforms/InstCombine/vec_shuffle.ll +++ b/test/Transforms/InstCombine/vec_shuffle.ll @@ -218,6 +218,21 @@ define <3 x i32> @div_wider(i32 %y, i32 %z) { ret <3 x i32> %ext } +; TODO: Increasing length of insertelements (no math ops) is a good canonicalization. + +define <3 x i8> @fold_inselts_with_widening_shuffle(i8 %x, i8 %y) { +; CHECK-LABEL: @fold_inselts_with_widening_shuffle( +; CHECK-NEXT: [[INS0:%.*]] = insertelement <2 x i8> undef, i8 [[X:%.*]], i32 0 +; CHECK-NEXT: [[INS1:%.*]] = insertelement <2 x i8> [[INS0]], i8 [[Y:%.*]], i32 1 +; CHECK-NEXT: [[WIDEN:%.*]] = shufflevector <2 x i8> [[INS1]], <2 x i8> undef, <3 x i32> +; CHECK-NEXT: ret <3 x i8> [[WIDEN]] +; + %ins0 = insertelement <2 x i8> undef, i8 %x, i32 0 + %ins1 = insertelement <2 x i8> %ins0, i8 %y, i32 1 + %widen = shufflevector <2 x i8> %ins1, <2 x i8> undef, <3 x i32> + ret <3 x i8> %widen +} + define <2 x i8> @test13b(i8 %x) { ; CHECK-LABEL: @test13b( ; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x i8> undef, i8 [[X:%.*]], i32 1