1; RUN: llc < %s -march=x86-64 -relocation-model=static -mtriple=x86_64-unknown-linux-gnu -asm-verbose=0 | FileCheck %s
2
3; The inner loop should require only one add (and no leas either).
4; rdar://8100380
5
6; CHECK:      BB0_2:
7; CHECK-NEXT:   movb    $0, flags(%rcx)
8; CHECK-NEXT:   addq    %rax, %rcx
9; CHECK-NEXT:   cmpq    $8192, %rcx
10; CHECK-NEXT:   jl
11
12@flags = external global [8192 x i8], align 16 ; <[8192 x i8]*> [#uses=1]
13
14define void @foo() nounwind {
15entry:
16  br label %bb
17
18bb:                                               ; preds = %entry
19  br label %bb7
20
21bb7:                                              ; preds = %bb, %bb17
22  %tmp8 = phi i64 [ %tmp18, %bb17 ], [ 2, %bb ]   ; <i64> [#uses=2]
23  br label %bb10
24
25bb10:                                             ; preds = %bb7
26  br label %bb11
27
28bb11:                                             ; preds = %bb10, %bb11
29  %tmp12 = phi i64 [ %tmp14, %bb11 ], [ 2, %bb10 ] ; <i64> [#uses=2]
30  %tmp13 = getelementptr inbounds [8192 x i8], [8192 x i8]* @flags, i64 0, i64 %tmp12 ; <i8*> [#uses=1]
31  store i8 0, i8* %tmp13, align 1
32  %tmp14 = add nsw i64 %tmp12, %tmp8              ; <i64> [#uses=2]
33  %tmp15 = icmp slt i64 %tmp14, 8192              ; <i1> [#uses=1]
34  br i1 %tmp15, label %bb11, label %bb16
35
36bb16:                                             ; preds = %bb11
37  br label %bb17
38
39bb17:                                             ; preds = %bb16, %bb7
40  %tmp18 = add nsw i64 %tmp8, 1                   ; <i64> [#uses=2]
41  %tmp19 = icmp slt i64 %tmp18, 8192              ; <i1> [#uses=1]
42  br i1 %tmp19, label %bb7, label %bb20
43
44bb20:                                             ; preds = %bb17
45  br label %bb21
46
47bb21:                                             ; preds = %bb20, %entry
48  ret void
49}
50