diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2018-10-04 21:36:50 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2018-10-04 21:36:50 +0000 |
| commit | 6a567c5203e45b655d4021cdf1f41af87f6c458d (patch) | |
| tree | b74e4a86617eda4984e41c307bce436e0d1ab3ad /llvm/test/Transforms/InstCombine/vec_demanded_elts.ll | |
| parent | 470100bead86e7a6cbe8e9040c0a2b460eaf8747 (diff) | |
[InstCombine] drop poison flags in SimplifyVectorDemandedElts
We established the (unfortunately complicated) rules for UB/poison
propagation with vector ops in:
D48893
D48987
D49047
It's clear from the affected tests that we are potentially creating
poison where none existed before the transforms. For add/sub/mul,
the answer is simple: just drop the flags because the extra undef
vector lanes are generally more valuable for analysis and codegen.
Diffstat (limited to 'llvm/test/Transforms/InstCombine/vec_demanded_elts.ll')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/vec_demanded_elts.ll | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/llvm/test/Transforms/InstCombine/vec_demanded_elts.ll b/llvm/test/Transforms/InstCombine/vec_demanded_elts.ll index 288b9e3ff21..838bc535888 100644 --- a/llvm/test/Transforms/InstCombine/vec_demanded_elts.ll +++ b/llvm/test/Transforms/InstCombine/vec_demanded_elts.ll @@ -202,7 +202,7 @@ define <4 x float> @inselt_shuf_no_demand_bogus_insert_index_in_chain(float %a1, define <3 x i8> @shuf_add(<3 x i8> %x) { ; CHECK-LABEL: @shuf_add( -; CHECK-NEXT: [[BO:%.*]] = add nsw <3 x i8> [[X:%.*]], <i8 undef, i8 2, i8 3> +; CHECK-NEXT: [[BO:%.*]] = add <3 x i8> [[X:%.*]], <i8 undef, i8 2, i8 3> ; CHECK-NEXT: [[R:%.*]] = shufflevector <3 x i8> [[BO]], <3 x i8> undef, <3 x i32> <i32 1, i32 undef, i32 2> ; CHECK-NEXT: ret <3 x i8> [[R]] ; @@ -213,7 +213,7 @@ define <3 x i8> @shuf_add(<3 x i8> %x) { define <3 x i8> @shuf_sub(<3 x i8> %x) { ; CHECK-LABEL: @shuf_sub( -; CHECK-NEXT: [[BO:%.*]] = sub nuw <3 x i8> <i8 1, i8 undef, i8 3>, [[X:%.*]] +; CHECK-NEXT: [[BO:%.*]] = sub <3 x i8> <i8 1, i8 undef, i8 3>, [[X:%.*]] ; CHECK-NEXT: ret <3 x i8> [[BO]] ; %bo = sub nuw <3 x i8> <i8 1, i8 2, i8 3>, %x @@ -223,7 +223,7 @@ define <3 x i8> @shuf_sub(<3 x i8> %x) { define <3 x i8> @shuf_mul(<3 x i8> %x) { ; CHECK-LABEL: @shuf_mul( -; CHECK-NEXT: [[BO:%.*]] = mul nsw <3 x i8> [[X:%.*]], <i8 1, i8 undef, i8 3> +; CHECK-NEXT: [[BO:%.*]] = mul <3 x i8> [[X:%.*]], <i8 1, i8 undef, i8 3> ; CHECK-NEXT: [[R:%.*]] = shufflevector <3 x i8> [[BO]], <3 x i8> undef, <3 x i32> <i32 0, i32 2, i32 0> ; CHECK-NEXT: ret <3 x i8> [[R]] ; |