• Home
  • History
  • Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: opt < %s -indvars -liv-reduce -S | FileCheck %s
2target 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"
3target triple = "x86_64-apple-macosx"
4
5; CHECK-LABEL: @addwithoverflow
6; CHECK-LABEL: loop1:
7; CHECK-NOT: zext
8; CHECK: add nsw
9; CHECK: @llvm.sadd.with.overflow
10; CHECK-LABEL: loop2:
11; CHECK-NOT: extractvalue
12; CHECK: add nuw
13; CHECK: @llvm.sadd.with.overflow
14; CHECK-LABEL: loop3:
15; CHECK-NOT: extractvalue
16; CHECK: ret
17define i64 @addwithoverflow(i32 %n, i64* %a) {
18entry:
19  br label %loop0
20
21loop0:
22  %i = phi i32 [ 0, %entry ], [ %i1val, %loop3 ]
23  %s = phi i32 [ 0, %entry ], [ %addsval, %loop3 ]
24  %bc = icmp ult i32 %i, %n
25  br i1 %bc, label %loop1, label %exit
26
27loop1:
28  %zxt = zext i32 %i to i64
29  %ofs = shl nuw nsw i64 %zxt, 3
30  %gep = getelementptr i64, i64* %a, i64 %zxt
31  %v = load i64, i64* %gep, align 8
32  %truncv = trunc i64 %v to i32
33  %adds = call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %s, i32 %truncv)
34  %ovflows = extractvalue { i32, i1 } %adds, 1
35  br i1 %ovflows, label %exit, label %loop2
36
37loop2:
38  %addsval = extractvalue { i32, i1 } %adds, 0
39  %i1 = call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %i, i32 1)
40  %i1check = extractvalue { i32, i1 } %i1, 1
41  br i1 %i1check, label %exit, label %loop3
42
43loop3:
44  %i1val = extractvalue { i32, i1 } %i1, 0
45  %test = icmp slt i32 %i1val, %n
46  br i1 %test, label %return, label %loop0
47
48return:
49  %ret = zext i32 %addsval to i64
50  ret i64 %ret
51
52exit:
53  unreachable
54}
55
56declare { i32, i1 } @llvm.sadd.with.overflow.i32(i32, i32)
57