diff options
| -rw-r--r-- | tests/cases/uadd_overflow_64_ta2.ll | 6 | ||||
| -rw-r--r-- | tests/cases/uadd_overflow_64_ta2.txt | 1 |
2 files changed, 7 insertions, 0 deletions
diff --git a/tests/cases/uadd_overflow_64_ta2.ll b/tests/cases/uadd_overflow_64_ta2.ll index a4f3e40b..6dfbc1e5 100644 --- a/tests/cases/uadd_overflow_64_ta2.ll +++ b/tests/cases/uadd_overflow_64_ta2.ll @@ -19,6 +19,12 @@ entry: %b2 = zext i1 %b1 to i32 call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([11 x i8]* @.str2, i32 0, i32 0), i64 %b0, i32 %b2) ; [#uses=0] + %uadd3 = tail call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 4294967297, i64 18446744073709551615) + %c0 = extractvalue { i64, i1 } %uadd3, 0 + %c1 = extractvalue { i64, i1 } %uadd3, 1 + %c2 = zext i1 %c1 to i32 + call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([11 x i8]* @.str2, i32 0, i32 0), i64 %c0, i32 %c2) ; [#uses=0] + ret i32 1 } diff --git a/tests/cases/uadd_overflow_64_ta2.txt b/tests/cases/uadd_overflow_64_ta2.txt index f5711309..2abb084c 100644 --- a/tests/cases/uadd_overflow_64_ta2.txt +++ b/tests/cases/uadd_overflow_64_ta2.txt @@ -1,2 +1,3 @@ *2705,1* *10c6f7a0dcfc,0* +*100000000,1*
\ No newline at end of file |