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