Add tests for elementwise poison-ness of vectors, move tests to relevant dirs
RENAME
tests/alive-tv/returned-fail.srctgt.ll
tests/alive-tv/attrs/returned-fail.srctgt.ll
RENAME
tests/alive-tv/returned.src.ll
tests/alive-tv/attrs/returned.src.ll
RENAME
tests/alive-tv/returned.tgt.ll
tests/alive-tv/attrs/returned.tgt.ll
ADD
tests/alive-tv/vector/vector-poison-2.srctgt.ll
+define i32 @src(i32 %a) {
+ %poison = add nsw i32 2147483647, 100
+ %v = insertelement <2 x i32> undef, i32 %a, i32 1
+ %v2 = insertelement <2 x i32> %v, i32 %poison, i32 0
+ %w = extractelement <2 x i32> %v2, i32 1
+ ret i32 %w
+}
+
+define i32 @tgt(i32 %a) {
+ %poison = add nsw i32 2147483647, 100
+ ret i32 %poison
+}
+
+; ERROR: Target is more poisonous than source

ADD
tests/alive-tv/vector/vector-poison.srctgt.ll
+define i32 @src(i32 %a) {
+ %poison = add nsw i32 2147483647, 100
+ %v = insertelement <2 x i32> undef, i32 %a, i32 0
+ %v2 = insertelement <2 x i32> %v, i32 %poison, i32 1
+ %w = extractelement <2 x i32> %v2, i32 0
+ ret i32 %w
+}
+
+define i32 @tgt(i32 %a) {
+ %poison = add nsw i32 2147483647, 100
+ ret i32 %poison
+}
+
+; ERROR: Target is more poisonous than source

RENAME
tests/alive-tv/vector_undefptr.src.ll
tests/alive-tv/vector/vector_undefptr.src.ll
RENAME
tests/alive-tv/vector_undefptr.tgt.ll
tests/alive-tv/vector/vector_undefptr.tgt.ll
Add tests for elementwise poison-ness of vectors, move tests to relevant dirs (#343)