xref: /llvm-project/llvm/test/CodeGen/Generic/add-with-overflow.ll (revision d10202bfb14cf9eff68f845fe40b10c05a541892)
1; RUN: llvm-as < %s | llc
2
3@ok = internal constant [4 x i8] c"%d\0A\00"
4@no = internal constant [4 x i8] c"no\0A\00"
5
6define i1 @foo(i32 %v1, i32 %v2) nounwind {
7entry:
8  %t = call {i32, i1} @llvm.sadd.with.overflow.i32(i32 %v1, i32 %v2)
9  %sum = extractvalue {i32, i1} %t, 0
10  %obit = extractvalue {i32, i1} %t, 1
11  br i1 %obit, label %overflow, label %normal
12
13normal:
14  %t1 = tail call i32 (i8*, ...)* @printf( i8* getelementptr ([4 x i8]* @ok, i32 0, i32 0), i32 %sum ) nounwind
15  ret i1 true
16
17overflow:
18  %t2 = tail call i32 (i8*, ...)* @printf( i8* getelementptr ([4 x i8]* @no, i32 0, i32 0) ) nounwind
19  ret i1 false
20}
21
22declare i32 @printf(i8*, ...) nounwind
23declare {i32, i1} @llvm.sadd.with.overflow.i32(i32, i32)
24