test/CodeGen/Thumb2/LowOverheadLoops/multiblock-massive.mir

   1 # RUN: llc -mtriple=armv8.1m.main -mattr=+lob -run-pass=arm-low-overhead-loops %s -o - | FileCheck %s
   2 # CHECK: for.body:
   3 # CHECK-NOT: t2DLS
   4 # CHECK-NOT: t2LEUpdate
   5
   6 --- |
   7   define dso_local arm_aapcscc void @size_limit(i32* nocapture %a, i32* nocapture readonly %b, i32* nocapture readonly %c, i32 %N) local_unnamed_addr {
   8   entry:
   9     %cmp8 = icmp eq i32 %N, 0
  10     br i1 %cmp8, label %for.cond.cleanup, label %for.body.preheader
  11
  12   for.body.preheader:                               ; preds = %entry
  13     call void @llvm.set.loop.iterations.i32(i32 %N)
  14     br label %for.body
  15
  16   for.cond.cleanup:                                 ; preds = %for.end, %entry
  17     ret void
  18
  19   for.body:                                         ; preds = %for.end, %for.body.preheader
  20     %lsr.iv4 = phi i32* [ %b, %for.body.preheader ], [ %scevgep5, %for.end ]
  21     %lsr.iv2 = phi i32* [ %c, %for.body.preheader ], [ %scevgep3, %for.end ]
  22     %lsr.iv1 = phi i32* [ %a, %for.body.preheader ], [ %scevgep, %for.end ]
  23     %lsr.iv = phi i32 [ %N, %for.body.preheader ], [ %lsr.iv.next, %for.end ]
  24     %size = call i32 @llvm.arm.space(i32 3072, i32 undef)
  25     %0 = load i32, i32* %lsr.iv4, align 4
  26     %1 = load i32, i32* %lsr.iv2, align 4
  27     %mul = mul nsw i32 %1, %0
  28     store i32 %mul, i32* %lsr.iv1, align 4
  29     %cmp = icmp ne i32 %0, 0
  30     br i1 %cmp, label %middle.block, label %for.end
  31
  32   middle.block:                                     ; preds = %for.body
  33     %div = udiv i32 %1, %0
  34     store i32 %div, i32* %lsr.iv1, align 4
  35     %size.1 = call i32 @llvm.arm.space(i32 1024, i32 undef)
  36     br label %for.end
  37
  38   for.end:                                          ; preds = %middle.block, %for.body
  39     %scevgep = getelementptr i32, i32* %lsr.iv1, i32 1
  40     %scevgep3 = getelementptr i32, i32* %lsr.iv2, i32 1
  41     %scevgep5 = getelementptr i32, i32* %lsr.iv4, i32 1
  42     %lsr.iv.next = call i32 @llvm.loop.decrement.reg.i32.i32.i32(i32 %lsr.iv, i32 1)
  43     %exitcond = icmp eq i32 %lsr.iv.next, 0
  44     br i1 %exitcond, label %for.cond.cleanup, label %for.body
  45   }
  46
  47   ; Function Attrs: nounwind
  48   declare i32 @llvm.arm.space(i32 immarg, i32) #0
  49
  50   ; Function Attrs: noduplicate nounwind
  51   declare void @llvm.set.loop.iterations.i32(i32) #1
  52
  53   ; Function Attrs: noduplicate nounwind
  54   declare i32 @llvm.loop.decrement.reg.i32.i32.i32(i32, i32) #1
  55
  56   attributes #0 = { nounwind }
  57   attributes #1 = { noduplicate nounwind }
  58
  59 ...
  60 ---
  61 name:            size_limit
  62 alignment:       2
  63 exposesReturnsTwice: false
  64 legalized:       false
  65 regBankSelected: false
  66 selected:        false
  67 failedISel:      false
  68 tracksRegLiveness: false
  69 hasWinCFI:       false
  70 registers:       []
  71 liveins:
  72   - { reg: '$r0', virtual-reg: '' }
  73   - { reg: '$r1', virtual-reg: '' }
  74   - { reg: '$r2', virtual-reg: '' }
  75   - { reg: '$r3', virtual-reg: '' }
  76 frameInfo:
  77   isFrameAddressTaken: false
  78   isReturnAddressTaken: false
  79   hasStackMap:     false
  80   hasPatchPoint:   false
  81   stackSize:       8
  82   offsetAdjustment: 0
  83   maxAlignment:    4
  84   adjustsStack:    false
  85   hasCalls:        false
  86   stackProtector:  ''
  87   maxCallFrameSize: 0
  88   cvBytesOfCalleeSavedRegisters: 0
  89   hasOpaqueSPAdjustment: false
  90   hasVAStart:      false
  91   hasMustTailInVarArgFunc: false
  92   localFrameSize:  0
  93   savePoint:       ''
  94   restorePoint:    ''
  95 fixedStack:      []
  96 stack:
  97   - { id: 0, name: '', type: spill-slot, offset: -4, size: 4, alignment: 4,
  98       stack-id: default, callee-saved-register: '$lr', callee-saved-restored: false,
  99       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
 100   - { id: 1, name: '', type: spill-slot, offset: -8, size: 4, alignment: 4,
 101       stack-id: default, callee-saved-register: '$r4', callee-saved-restored: true,
 102       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
 103 callSites:       []
 104 constants:       []
 105 machineFunctionInfo: {}
 106 body:             |
 107   bb.0.entry:
 108     successors: %bb.2(0x80000000)
 109
 110     frame-setup tPUSH 14, $noreg, killed $r4, killed $lr, implicit-def $sp, implicit $sp
 111     frame-setup CFI_INSTRUCTION def_cfa_offset 8
 112     frame-setup CFI_INSTRUCTION offset $lr, -4
 113     frame-setup CFI_INSTRUCTION offset $r4, -8
 114     tCMPi8 $r3, 0, 14, $noreg, implicit-def $cpsr
 115     t2IT 0, 8, implicit-def $itstate
 116     tPOP_RET 0, killed $cpsr, def $r4, def $pc, implicit killed $itstate
 117     $lr = tMOVr $r3, 14, $noreg
 118     t2DoLoopStart killed $r3
 119     tB %bb.2, 14, $noreg
 120
 121   bb.1.for.end:
 122     successors: %bb.4(0x04000000), %bb.2(0x7c000000)
 123
 124     renamable $r1, dead $cpsr = tADDi8 killed renamable $r1, 4, 14, $noreg
 125     renamable $r2, dead $cpsr = tADDi8 killed renamable $r2, 4, 14, $noreg
 126     renamable $r0, dead $cpsr = tADDi8 killed renamable $r0, 4, 14, $noreg
 127     renamable $lr = t2LoopDec killed renamable $lr, 1
 128     t2LoopEnd renamable $lr, %bb.2, implicit-def dead $cpsr
 129     t2B %bb.4, 14, $noreg
 130
 131   bb.2.for.body:
 132     successors: %bb.3(0x50000000), %bb.1(0x30000000)
 133
 134     dead renamable $r3 = SPACE 3072, undef renamable $r0
 135     renamable $r3 = tLDRi renamable $r1, 0, 14, $noreg :: (load 4 from %ir.lsr.iv4)
 136     renamable $r12 = t2LDRi12 renamable $r2, 0, 14, $noreg :: (load 4 from %ir.lsr.iv2)
 137     tCMPi8 renamable $r3, 0, 14, $noreg, implicit-def $cpsr
 138     renamable $r4 = nsw t2MUL renamable $r12, renamable $r3, 14, $noreg
 139     tSTRi killed renamable $r4, renamable $r0, 0, 14, $noreg :: (store 4 into %ir.lsr.iv1)
 140     t2Bcc %bb.1, 0, killed $cpsr
 141
 142   bb.3.middle.block:
 143     successors: %bb.1(0x80000000)
 144
 145     renamable $r3 = t2UDIV killed renamable $r12, killed renamable $r3, 14, $noreg
 146     tSTRi killed renamable $r3, renamable $r0, 0, 14, $noreg :: (store 4 into %ir.lsr.iv1)
 147     dead renamable $r3 = SPACE 1024, undef renamable $r0
 148     t2B %bb.1, 14, $noreg
 149
 150   bb.4.for.cond.cleanup:
 151     tPOP_RET 14, $noreg, def $r4, def $pc
 152
 153 ...