[PATCH] D48987: [InstCombine] drop poison flags for shuffle transforms with undefs

[Nuno Lopes via Phabricator via llvm-commits]

nlopes added inline comments.


================
Comment at: test/Transforms/InstCombine/shuffle_select.ll:521
 ; CHECK-NEXT:    [[TMP1:%.*]] = shufflevector <4 x i32> [[V0:%.*]], <4 x i32> [[V1:%.*]], <4 x i32> <i32 undef, i32 5, i32 2, i32 undef>
-; CHECK-NEXT:    [[T3:%.*]] = shl nsw <4 x i32> [[TMP1]], <i32 undef, i32 6, i32 3, i32 undef>
+; CHECK-NEXT:    [[T3:%.*]] = shl <4 x i32> [[TMP1]], <i32 undef, i32 6, i32 3, i32 undef>
 ; CHECK-NEXT:    ret <4 x i32> [[T3]]
----------------
Everything looks good, except this one.
As discussed in the other patch, `a << undef` is poison, so you can't introduce it. (since it's not correct to replace undef with poison).


https://reviews.llvm.org/D48987