tests: remove a few XFAILs now tthat unroll can handle these
MODIFY
tests/alive-tv/bugs/pr18223.srctgt.ll
tests/alive-tv/bugs/pr18223.srctgt.ll
+; TEST-ARGS: -src-unroll=5 -tgt-unroll=5 -io-nobuiltin
+; ERROR: Source is more defined than target
+
; https://bugs.llvm.org/show_bug.cgi?id=18223
-; Currently Alive2 simply rejects this example. After loop support, this should
-; be verified (as an incorrect transformation)
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
@@ -12,8 +13,7 @@ target triple = "x86_64-unknown-linux-gnu"
@h = common global i32 0, align 4
@.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1
-; Function Attrs: nounwind uwtable
-define i32 @src() #0 {
+define i32 @src() {
entry:
store i32 0, i32* @b, align 4
%0 = load i32, i32* @c, align 4
@@ -74,11 +74,11 @@ for.end: ; preds = %for.end_us_lcssa, %
store i32 1, i32* @d, align 4
store i32 %inc.lcssa, i32* @b, align 4
store i32 %conv.lcssa, i32* @f, align 4
- %call = tail call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 %conv.lcssa) #2
+ %call = tail call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 %conv.lcssa)
ret i32 0
}
-define i32 @tgt() #0 {
+define i32 @tgt() {
entry:
store i32 0, i32* @b, align 4
%0 = load i32, i32* @c, align 4
@@ -131,17 +131,9 @@ for.end: ; preds = %for.end_us_lcssa, %
store i32 1, i32* @d, align 4
store i32 %inc.lcssa, i32* @b, align 4
store i32 %conv.lcssa, i32* @f, align 4
- %call = tail call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 %conv.lcssa) #2
+ %call = tail call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 %conv.lcssa)
ret i32 0
}
-; Function Attrs: nounwind
-declare i32 @printf(i8* nocapture readonly, ...) #1
-
-attributes #0 = { nounwind uwtable "frame-pointer"="none" "less-precise-fpmad"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
-attributes #1 = { nounwind "frame-pointer"="none" "less-precise-fpmad"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
-attributes #2 = { nounwind }
-
-; XFAIL: Precondition is always false
-; SKIP-IDENTITY
+declare i32 @printf(i8* nocapture readonly, ...)

MODIFY
tests/alive-tv/bugs/pr35406.srctgt.ll
tests/alive-tv/bugs/pr35406.srctgt.ll
+; TEST-ARGS: -src-unroll=7 -tgt-unroll=7
+; ERROR: Source is more defined than target
+
; https://bugs.llvm.org/show_bug.cgi?id=35406
-; Currently Alive2 simply rejects this example. After loop support, this should
-; be verified (as an incorrect transformation)
-; ModuleID = 'repro.ll'
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128:1"
target triple = "x86_64-unknown-linux-gnu"
@@ -84,6 +84,3 @@ loop2.exit: ; preds = %loop2.exit.loopexit
exit: ; preds = %loop2.exit, %loop1
ret i32 0
}
-
-; XFAIL: Precondition is always false
-; SKIP-IDENTITY

DELETE
tests/alive-tv/failcheck.src.ll
-define i8 @src() {
-ret i8 0
-}
-
-define i8 @tgt() {
-ret i8 1
-}
-
-; XFAIL: Value mismatch

DELETE
tests/alive-tv/failcheck.tgt.ll
-define i8 @src() {
-ret i8 0
-}
-
-define i8 @tgt() {
-ret i8 2
-}

tests: remove a few XFAILs now tthat unroll can handle these