1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -relocation-model=pic -verify-machineinstrs < %s \
3; RUN:   -mtriple=powerpc64le-unknown-linux-gnu -mcpu=pwr8 | FileCheck %s
4%struct.e.0.12.28.44.104.108.112.188 = type { i32 }
5%struct.t.1.13.29.45.105.109.113.189 = type { i64, i64 }
6
7@g = external local_unnamed_addr global %struct.e.0.12.28.44.104.108.112.188, align 4
8@aj = external thread_local local_unnamed_addr global %struct.t.1.13.29.45.105.109.113.189, align 8
9
10define void @_ZNK1q1rEv() local_unnamed_addr #0 align 2 {
11; CHECK-LABEL: _ZNK1q1rEv:
12; CHECK:       # %bb.0: # %entry
13; CHECK-NEXT:    mflr 0
14; CHECK-NEXT:    std 29, -24(1) # 8-byte Folded Spill
15; CHECK-NEXT:    std 30, -16(1) # 8-byte Folded Spill
16; CHECK-NEXT:    std 0, 16(1)
17; CHECK-NEXT:    stdu 1, -64(1)
18; CHECK-NEXT:    lwz 30, 0(3)
19; CHECK-NEXT:    addis 3, 2, .LC0@toc@ha
20; CHECK-NEXT:    ld 29, .LC0@toc@l(3)
21; CHECK-NEXT:    addis 3, 2, aj@got@tlsgd@ha
22; CHECK-NEXT:    addi 3, 3, aj@got@tlsgd@l
23; CHECK-NEXT:    bl __tls_get_addr(aj@tlsgd)
24; CHECK-NEXT:    nop
25; CHECK-NEXT:    addi 4, 3, 8
26; CHECK-NEXT:    .p2align 5
27; CHECK-NEXT:  .LBB0_1: # %monotonic.i
28; CHECK-NEXT:    #
29; CHECK-NEXT:    lwz 5, 0(29)
30; CHECK-NEXT:    andi. 5, 5, 255
31; CHECK-NEXT:    bne 0, .LBB0_4
32; CHECK-NEXT:  # %bb.2: # %for.cond.i
33; CHECK-NEXT:    #
34; CHECK-NEXT:    addi 30, 30, -1
35; CHECK-NEXT:    cmplwi 30, 0
36; CHECK-NEXT:    bne 0, .LBB0_1
37; CHECK-NEXT:  # %bb.3:
38; CHECK-NEXT:    mr 4, 3
39; CHECK-NEXT:  .LBB0_4: # %if.end
40; CHECK-NEXT:    li 3, 1
41; CHECK-NEXT:    std 3, 0(4)
42; CHECK-NEXT:    addi 1, 1, 64
43; CHECK-NEXT:    ld 0, 16(1)
44; CHECK-NEXT:    ld 30, -16(1) # 8-byte Folded Reload
45; CHECK-NEXT:    ld 29, -24(1) # 8-byte Folded Reload
46; CHECK-NEXT:    mtlr 0
47; CHECK-NEXT:    blr
48entry:
49  %0 = load i32, i32* undef, align 4
50  br label %monotonic.i
51
52for.cond.i:                                       ; preds = %monotonic.i
53  %exitcond.not = icmp eq i32 %inc.i, %0
54  br i1 %exitcond.not, label %if.end, label %monotonic.i
55
56monotonic.i:                                      ; preds = %for.cond.i, %entry
57  %i.018.i = phi i32 [ %inc.i, %for.cond.i ], [ 0, %entry ]
58  %1 = load atomic i32, i32* getelementptr inbounds (%struct.e.0.12.28.44.104.108.112.188, %struct.e.0.12.28.44.104.108.112.188* @g, i64 0, i32 0) monotonic, align 4
59  %conv.i = trunc i32 %1 to i8
60  %tobool.not.i = icmp eq i8 %conv.i, 0
61  %inc.i = add nuw nsw i32 %i.018.i, 1
62  br i1 %tobool.not.i, label %for.cond.i, label %if.end
63
64if.end:                                           ; preds = %monotonic.i, %for.cond.i
65  %.sink = phi i64* [ getelementptr inbounds (%struct.t.1.13.29.45.105.109.113.189, %struct.t.1.13.29.45.105.109.113.189* @aj, i64 0, i32 1), %monotonic.i ], [ getelementptr inbounds (%struct.t.1.13.29.45.105.109.113.189, %struct.t.1.13.29.45.105.109.113.189* @aj, i64 0, i32 0), %for.cond.i ]
66  store i64 1, i64* %.sink, align 8
67  ret void
68}
69
70attributes #0 = { nounwind }
71