aboutsummaryrefslogtreecommitdiff
path: root/tests/cases/uadd_overflow_64_ta2.ll
diff options
context:
space:
mode:
Diffstat (limited to 'tests/cases/uadd_overflow_64_ta2.ll')
-rw-r--r--tests/cases/uadd_overflow_64_ta2.ll6
1 files changed, 6 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
}