llvm/test/CodeGen/PowerPC/pr48527.ll

   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
  15 define 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
  56 entry:
  57   %0 = load i32, ptr undef, align 4
  58   br label %monotonic.i
  59
  60 for.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
  64 monotonic.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
  72 if.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
  78 attributes #0 = { nounwind }