llvm/test/CodeGen/AArch64/loop-sink.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple aarch64 -run-pass=machine-sink  -sink-insts-to-avoid-spills -aarch64-enable-sink-fold=true %s -o - 2>&1 | FileCheck %s
   3 --- |
   4   target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   5   target triple = "aarch64"
   6
   7   %struct.A = type { i32, i32, i32, i32, i32, i32 }
   8
   9   @A = external dso_local global [100 x i32], align 4
  10
  11   define void @cant_sink_adds_call_in_block(ptr nocapture readonly %input, ptr %a) {
  12   bb:
  13     %i = getelementptr inbounds %struct.A, ptr %a, i64 0, i32 1
  14     %i1 = getelementptr inbounds %struct.A, ptr %a, i64 0, i32 2
  15     %i2 = getelementptr inbounds %struct.A, ptr %a, i64 0, i32 3
  16     %i3 = getelementptr inbounds %struct.A, ptr %a, i64 0, i32 4
  17     %i4 = getelementptr inbounds %struct.A, ptr %a, i64 0, i32 5
  18     %scevgep = getelementptr i8, ptr %input, i64 1
  19     br label %.backedge
  20
  21   .backedge:                                        ; preds = %.backedge.backedge, %bb
  22     %lsr.iv = phi ptr [ %scevgep1, %.backedge.backedge ], [ %scevgep, %bb ]
  23     %i5 = load i8, ptr %lsr.iv, align 1
  24     %i6 = zext i8 %i5 to i32
  25     switch i32 %i6, label %.backedge.backedge [
  26       i32 0, label %bb7
  27       i32 10, label %bb9
  28       i32 20, label %bb10
  29       i32 30, label %bb11
  30       i32 40, label %bb12
  31       i32 50, label %bb13
  32     ]
  33
  34   bb7:                                              ; preds = %.backedge
  35     tail call void @_Z6assignPj(ptr %a)
  36     br label %.backedge.backedge
  37
  38   bb9:                                              ; preds = %.backedge
  39     tail call void @_Z6assignPj(ptr %i)
  40     br label %.backedge.backedge
  41
  42   bb10:                                             ; preds = %.backedge
  43     tail call void @_Z6assignPj(ptr %i1)
  44     br label %.backedge.backedge
  45
  46   bb11:                                             ; preds = %.backedge
  47     tail call void @_Z6assignPj(ptr %i2)
  48     br label %.backedge.backedge
  49
  50   bb12:                                             ; preds = %.backedge
  51     tail call void @_Z6assignPj(ptr %i3)
  52     br label %.backedge.backedge
  53
  54   bb13:                                             ; preds = %.backedge
  55     tail call void @_Z6assignPj(ptr %i4)
  56     br label %.backedge.backedge
  57
  58   .backedge.backedge:                               ; preds = %bb13, %bb12, %bb11, %bb10, %bb9, %bb7, %.backedge
  59     %scevgep1 = getelementptr i8, ptr %lsr.iv, i64 1
  60     br label %.backedge
  61   }
  62
  63   define i32 @load_not_safe_to_move_consecutive_call(i32 %n) {
  64   entry:
  65     %cmp63 = icmp sgt i32 %n, 0
  66     br i1 %cmp63, label %for.body.preheader, label %for.cond.cleanup
  67
  68   for.body.preheader:                               ; preds = %entry
  69     %i = load i32, ptr @A, align 4
  70     %call0 = tail call i32 @use(i32 %n)
  71     br label %for.body
  72
  73   for.cond.cleanup:                                 ; preds = %for.body, %entry
  74     %sum.0.lcssa = phi i32 [ %n, %entry ], [ %div, %for.body ]
  75     ret i32 %sum.0.lcssa
  76
  77   for.body:                                         ; preds = %for.body, %for.body.preheader
  78     %lsr.iv = phi i32 [ %n, %for.body.preheader ], [ %lsr.iv.next, %for.body ]
  79     %sum.065 = phi i32 [ %div, %for.body ], [ %n, %for.body.preheader ]
  80     %div = sdiv i32 %sum.065, %i
  81     %lsr.iv.next = add i32 %lsr.iv, -1
  82     %exitcond.not = icmp eq i32 %lsr.iv.next, 0
  83     br i1 %exitcond.not, label %for.cond.cleanup, label %for.body
  84   }
  85
  86   define i32 @load_not_safe_to_move_consecutive_call_use(i32 %n) {
  87   entry:
  88     %cmp63 = icmp sgt i32 %n, 0
  89     br i1 %cmp63, label %for.body.preheader, label %for.cond.cleanup
  90
  91   for.body.preheader:                               ; preds = %entry
  92     %i = load i32, ptr @A, align 4
  93     %call0 = tail call i32 @use(i32 %i)
  94     br label %for.body
  95
  96   for.cond.cleanup:                                 ; preds = %for.body, %entry
  97     %sum.0.lcssa = phi i32 [ %n, %entry ], [ %div, %for.body ]
  98     ret i32 %sum.0.lcssa
  99
 100   for.body:                                         ; preds = %for.body, %for.body.preheader
 101     %lsr.iv = phi i32 [ %n, %for.body.preheader ], [ %lsr.iv.next, %for.body ]
 102     %sum.065 = phi i32 [ %div, %for.body ], [ %n, %for.body.preheader ]
 103     %div = sdiv i32 %sum.065, %i
 104     %lsr.iv.next = add i32 %lsr.iv, -1
 105     %exitcond.not = icmp eq i32 %lsr.iv.next, 0
 106     br i1 %exitcond.not, label %for.cond.cleanup, label %for.body
 107   }
 108
 109   define i32 @cant_sink_use_outside_loop(i32 %n) {
 110   entry:
 111     %cmp63 = icmp sgt i32 %n, 0
 112     br i1 %cmp63, label %for.body.preheader, label %for.cond.cleanup
 113
 114   for.body.preheader:                               ; preds = %entry
 115     %i = load i32, ptr @A, align 4
 116     br label %for.body
 117
 118   for.cond.cleanup:                                 ; preds = %for.body, %entry
 119     %sum.0.lcssa = phi i32 [ %n, %entry ], [ %div, %for.body ]
 120     %use.outside.loop = phi i32 [ 0, %entry ], [ %i, %for.body ]
 121     %call = tail call i32 @use(i32 %use.outside.loop)
 122     ret i32 %sum.0.lcssa
 123
 124   for.body:                                         ; preds = %for.body, %for.body.preheader
 125     %lsr.iv = phi i32 [ %n, %for.body.preheader ], [ %lsr.iv.next, %for.body ]
 126     %sum.065 = phi i32 [ %div, %for.body ], [ %n, %for.body.preheader ]
 127     %div = sdiv i32 %sum.065, %sum.065
 128     %lsr.iv.next = add i32 %lsr.iv, -1
 129     %exitcond.not = icmp eq i32 %lsr.iv.next, 0
 130     br i1 %exitcond.not, label %for.cond.cleanup, label %for.body
 131   }
 132
 133   define i32 @use_is_not_a_copy(i32 %n) {
 134   entry:
 135     %cmp63 = icmp sgt i32 %n, 0
 136     br i1 %cmp63, label %for.body.preheader, label %for.cond.cleanup
 137
 138   for.body.preheader:                               ; preds = %entry
 139     %i = load i32, ptr @A, align 4
 140     br label %for.body
 141
 142   for.cond.cleanup:                                 ; preds = %for.body, %entry
 143     %sum.0.lcssa = phi i32 [ %n, %entry ], [ %div, %for.body ]
 144     ret i32 %sum.0.lcssa
 145
 146   for.body:                                         ; preds = %for.body, %for.body.preheader
 147     %lsr.iv = phi i32 [ %n, %for.body.preheader ], [ %lsr.iv.next, %for.body ]
 148     %sum.065 = phi i32 [ %div, %for.body ], [ %n, %for.body.preheader ]
 149     %div = sdiv i32 %sum.065, %i
 150     %lsr.iv.next = add i32 %lsr.iv, -1
 151     %exitcond.not = icmp eq i32 %lsr.iv.next, 0
 152     br i1 %exitcond.not, label %for.cond.cleanup, label %for.body
 153   }
 154
 155   define dso_local void @sink_add(ptr noalias nocapture readonly %read, ptr noalias nocapture %write, i32 %n) local_unnamed_addr {
 156   entry:
 157     %i = load i32, ptr %read, align 4, !tbaa !0
 158     %cmp10 = icmp sgt i32 %n, 0
 159     br i1 %cmp10, label %for.body.preheader, label %for.cond.cleanup
 160
 161   for.body.preheader:                               ; preds = %entry
 162     %i1 = add i32 %i, 42
 163     br label %for.body
 164
 165   for.cond.cleanup:                                 ; preds = %for.body, %entry
 166     %sum.0.lcssa = phi i32 [ %n, %entry ], [ %div, %for.body ]
 167     store i32 %sum.0.lcssa, ptr %write, align 4, !tbaa !0
 168     ret void
 169
 170   for.body:                                         ; preds = %for.body, %for.body.preheader
 171     %lsr.iv1 = phi i32 [ %i1, %for.body.preheader ], [ %lsr.iv.next2, %for.body ]
 172     %lsr.iv = phi i32 [ %n, %for.body.preheader ], [ %lsr.iv.next, %for.body ]
 173     %sum.011 = phi i32 [ %div, %for.body ], [ %n, %for.body.preheader ]
 174     %div = sdiv i32 %sum.011, %lsr.iv1
 175     %lsr.iv.next = add i32 %lsr.iv, -1
 176     %lsr.iv.next2 = add i32 %lsr.iv1, 1
 177     %exitcond.not = icmp eq i32 %lsr.iv.next, 0
 178     br i1 %exitcond.not, label %for.cond.cleanup, label %for.body
 179   }
 180
 181   define dso_local void @store_after_add(ptr noalias nocapture readonly %read, ptr noalias nocapture %write, ptr nocapture %store, i32 %n) local_unnamed_addr {
 182   entry:
 183     %i = load i32, ptr %read, align 4, !tbaa !0
 184     %cmp10 = icmp sgt i32 %n, 0
 185     br i1 %cmp10, label %for.body.preheader, label %for.cond.cleanup
 186
 187   for.body.preheader:                               ; preds = %entry
 188     %i1 = add i32 %i, 42
 189     store i32 43, ptr %store, align 4, !tbaa !0
 190     br label %for.body
 191
 192   for.cond.cleanup:                                 ; preds = %for.body, %entry
 193     %sum.0.lcssa = phi i32 [ %n, %entry ], [ %div, %for.body ]
 194     store i32 %sum.0.lcssa, ptr %write, align 4, !tbaa !0
 195     ret void
 196
 197   for.body:                                         ; preds = %for.body, %for.body.preheader
 198     %lsr.iv1 = phi i32 [ %i1, %for.body.preheader ], [ %lsr.iv.next2, %for.body ]
 199     %lsr.iv = phi i32 [ %n, %for.body.preheader ], [ %lsr.iv.next, %for.body ]
 200     %sum.011 = phi i32 [ %div, %for.body ], [ %n, %for.body.preheader ]
 201     %div = sdiv i32 %sum.011, %lsr.iv1
 202     %lsr.iv.next = add i32 %lsr.iv, -1
 203     %lsr.iv.next2 = add i32 %lsr.iv1, 1
 204     %exitcond.not = icmp eq i32 %lsr.iv.next, 0
 205     br i1 %exitcond.not, label %for.cond.cleanup, label %for.body, !llvm.loop !4
 206   }
 207
 208   define dso_local void @aliased_store_after_add(ptr noalias nocapture readonly %read, ptr noalias nocapture %write, ptr nocapture %store, i32 %n) local_unnamed_addr {
 209   entry:
 210     %i = load i32, ptr %read, align 4, !tbaa !0
 211     %cmp10 = icmp sgt i32 %n, 0
 212     br i1 %cmp10, label %for.body.preheader, label %for.cond.cleanup
 213
 214   for.body.preheader:                               ; preds = %entry
 215     %i1 = add i32 %i, 42
 216     store i32 43, ptr %read, align 4, !tbaa !0
 217     br label %for.body
 218
 219   for.cond.cleanup:                                 ; preds = %for.body, %entry
 220     %sum.0.lcssa = phi i32 [ %n, %entry ], [ %div, %for.body ]
 221     store i32 %sum.0.lcssa, ptr %write, align 4, !tbaa !0
 222     ret void
 223
 224   for.body:                                         ; preds = %for.body, %for.body.preheader
 225     %lsr.iv1 = phi i32 [ %i1, %for.body.preheader ], [ %lsr.iv.next2, %for.body ]
 226     %lsr.iv = phi i32 [ %n, %for.body.preheader ], [ %lsr.iv.next, %for.body ]
 227     %sum.011 = phi i32 [ %div, %for.body ], [ %n, %for.body.preheader ]
 228     %div = sdiv i32 %sum.011, %lsr.iv1
 229     %lsr.iv.next = add i32 %lsr.iv, -1
 230     %lsr.iv.next2 = add i32 %lsr.iv1, 1
 231     %exitcond.not = icmp eq i32 %lsr.iv.next, 0
 232     br i1 %exitcond.not, label %for.cond.cleanup, label %for.body, !llvm.loop !4
 233   }
 234
 235   declare i32 @use(i32)
 236
 237   declare void @_Z6assignPj(ptr)
 238
 239   !0 = !{!1, !1, i64 0}
 240   !1 = !{!"int", !2, i64 0}
 241   !2 = !{!"omnipotent char", !3, i64 0}
 242   !3 = !{!"Simple C/C++ TBAA"}
 243   !4 = distinct !{!4, !5}
 244   !5 = !{!"llvm.loop.mustprogress"}
 245
 246 ...
 247 ---
 248 name:            cant_sink_adds_call_in_block
 249 alignment:       4
 250 exposesReturnsTwice: false
 251 legalized:       false
 252 regBankSelected: false
 253 selected:        false
 254 failedISel:      false
 255 tracksRegLiveness: true
 256 hasWinCFI:       false
 257 registers:
 258   - { id: 0, class: gpr64all, preferred-register: '' }
 259   - { id: 1, class: gpr64all, preferred-register: '' }
 260   - { id: 2, class: gpr64all, preferred-register: '' }
 261   - { id: 3, class: gpr64all, preferred-register: '' }
 262   - { id: 4, class: gpr64all, preferred-register: '' }
 263   - { id: 5, class: gpr64all, preferred-register: '' }
 264   - { id: 6, class: gpr64sp, preferred-register: '' }
 265   - { id: 7, class: gpr64all, preferred-register: '' }
 266   - { id: 8, class: gpr64common, preferred-register: '' }
 267   - { id: 9, class: gpr64common, preferred-register: '' }
 268   - { id: 10, class: gpr64sp, preferred-register: '' }
 269   - { id: 11, class: gpr64sp, preferred-register: '' }
 270   - { id: 12, class: gpr64sp, preferred-register: '' }
 271   - { id: 13, class: gpr64sp, preferred-register: '' }
 272   - { id: 14, class: gpr64sp, preferred-register: '' }
 273   - { id: 15, class: gpr64sp, preferred-register: '' }
 274   - { id: 16, class: gpr64, preferred-register: '' }
 275   - { id: 17, class: gpr32, preferred-register: '' }
 276   - { id: 18, class: gpr32sp, preferred-register: '' }
 277   - { id: 19, class: gpr32, preferred-register: '' }
 278   - { id: 20, class: gpr64common, preferred-register: '' }
 279   - { id: 21, class: gpr64, preferred-register: '' }
 280   - { id: 22, class: gpr64sp, preferred-register: '' }
 281   - { id: 23, class: gpr64sp, preferred-register: '' }
 282 liveins:
 283   - { reg: '$x0', virtual-reg: '%8' }
 284   - { reg: '$x1', virtual-reg: '%9' }
 285 frameInfo:
 286   isFrameAddressTaken: false
 287   isReturnAddressTaken: false
 288   hasStackMap:     false
 289   hasPatchPoint:   false
 290   stackSize:       0
 291   offsetAdjustment: 0
 292   maxAlignment:    1
 293   adjustsStack:    true
 294   hasCalls:        true
 295   stackProtector:  ''
 296   maxCallFrameSize: 0
 297   cvBytesOfCalleeSavedRegisters: 0
 298   hasOpaqueSPAdjustment: false
 299   hasVAStart:      false
 300   hasMustTailInVarArgFunc: false
 301   localFrameSize:  0
 302   savePoint:       ''
 303   restorePoint:    ''
 304 fixedStack:      []
 305 stack:           []
 306 callSites:       []
 307 debugValueSubstitutions: []
 308 constants:       []
 309 machineFunctionInfo: {}
 310 jumpTable:
 311   kind:            block-address
 312   entries:
 313     - id:              0
 314       blocks:          [ '%bb.2', '%bb.8', '%bb.8', '%bb.8', '%bb.8', '%bb.8',
 315                          '%bb.8', '%bb.8', '%bb.8', '%bb.8', '%bb.3', '%bb.8',
 316                          '%bb.8', '%bb.8', '%bb.8', '%bb.8', '%bb.8', '%bb.8',
 317                          '%bb.8', '%bb.8', '%bb.4', '%bb.8', '%bb.8', '%bb.8',
 318                          '%bb.8', '%bb.8', '%bb.8', '%bb.8', '%bb.8', '%bb.8',
 319                          '%bb.5', '%bb.8', '%bb.8', '%bb.8', '%bb.8', '%bb.8',
 320                          '%bb.8', '%bb.8', '%bb.8', '%bb.8', '%bb.6', '%bb.8',
 321                          '%bb.8', '%bb.8', '%bb.8', '%bb.8', '%bb.8', '%bb.8',
 322                          '%bb.8', '%bb.8', '%bb.7' ]
 323 body:             |
 324   ; CHECK-LABEL: name: cant_sink_adds_call_in_block
 325   ; CHECK: bb.0.bb:
 326   ; CHECK-NEXT:   successors: %bb.1(0x80000000)
 327   ; CHECK-NEXT:   liveins: $x0, $x1
 328   ; CHECK-NEXT: {{  $}}
 329   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr64common = COPY $x1
 330   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr64common = COPY $x0
 331   ; CHECK-NEXT:   [[ADDXri:%[0-9]+]]:gpr64sp = ADDXri [[COPY1]], 1, 0
 332   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr64all = COPY [[ADDXri]]
 333   ; CHECK-NEXT:   [[MOVaddrJT:%[0-9]+]]:gpr64common = MOVaddrJT target-flags(aarch64-page) %jump-table.0, target-flags(aarch64-pageoff, aarch64-nc) %jump-table.0
 334   ; CHECK-NEXT: {{  $}}
 335   ; CHECK-NEXT: bb.1..backedge:
 336   ; CHECK-NEXT:   successors: %bb.9(0x09249249), %bb.2(0x76db6db7)
 337   ; CHECK-NEXT: {{  $}}
 338   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr64sp = PHI [[COPY2]], %bb.0, %7, %bb.9
 339   ; CHECK-NEXT:   [[LDRBBui:%[0-9]+]]:gpr32 = LDRBBui [[PHI]], 0 :: (load (s8) from %ir.lsr.iv)
 340   ; CHECK-NEXT:   [[SUBREG_TO_REG:%[0-9]+]]:gpr64 = SUBREG_TO_REG 0, killed [[LDRBBui]], %subreg.sub_32
 341   ; CHECK-NEXT:   [[COPY3:%[0-9]+]]:gpr32sp = COPY [[SUBREG_TO_REG]].sub_32
 342   ; CHECK-NEXT:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri killed [[COPY3]], 50, 0, implicit-def $nzcv
 343   ; CHECK-NEXT:   Bcc 8, %bb.9, implicit $nzcv
 344   ; CHECK-NEXT: {{  $}}
 345   ; CHECK-NEXT: bb.2..backedge:
 346   ; CHECK-NEXT:   successors: %bb.3(0x13b13b14), %bb.9(0x09d89d8a), %bb.4(0x13b13b14), %bb.5(0x13b13b14), %bb.6(0x13b13b14), %bb.7(0x13b13b14), %bb.8(0x13b13b14)
 347   ; CHECK-NEXT: {{  $}}
 348   ; CHECK-NEXT:   early-clobber %21:gpr64, early-clobber %22:gpr64sp = JumpTableDest32 [[MOVaddrJT]], [[SUBREG_TO_REG]], %jump-table.0
 349   ; CHECK-NEXT:   BR killed %21
 350   ; CHECK-NEXT: {{  $}}
 351   ; CHECK-NEXT: bb.3.bb7:
 352   ; CHECK-NEXT:   successors: %bb.9(0x80000000)
 353   ; CHECK-NEXT: {{  $}}
 354   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 355   ; CHECK-NEXT:   $x0 = COPY [[COPY]]
 356   ; CHECK-NEXT:   BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 357   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 358   ; CHECK-NEXT:   B %bb.9
 359   ; CHECK-NEXT: {{  $}}
 360   ; CHECK-NEXT: bb.4.bb9:
 361   ; CHECK-NEXT:   successors: %bb.9(0x80000000)
 362   ; CHECK-NEXT: {{  $}}
 363   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 364   ; CHECK-NEXT:   $x0 = nuw ADDXri [[COPY]], 4, 0
 365   ; CHECK-NEXT:   BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 366   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 367   ; CHECK-NEXT:   B %bb.9
 368   ; CHECK-NEXT: {{  $}}
 369   ; CHECK-NEXT: bb.5.bb10:
 370   ; CHECK-NEXT:   successors: %bb.9(0x80000000)
 371   ; CHECK-NEXT: {{  $}}
 372   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 373   ; CHECK-NEXT:   $x0 = nuw ADDXri [[COPY]], 8, 0
 374   ; CHECK-NEXT:   BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 375   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 376   ; CHECK-NEXT:   B %bb.9
 377   ; CHECK-NEXT: {{  $}}
 378   ; CHECK-NEXT: bb.6.bb11:
 379   ; CHECK-NEXT:   successors: %bb.9(0x80000000)
 380   ; CHECK-NEXT: {{  $}}
 381   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 382   ; CHECK-NEXT:   $x0 = nuw ADDXri [[COPY]], 12, 0
 383   ; CHECK-NEXT:   BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 384   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 385   ; CHECK-NEXT:   B %bb.9
 386   ; CHECK-NEXT: {{  $}}
 387   ; CHECK-NEXT: bb.7.bb12:
 388   ; CHECK-NEXT:   successors: %bb.9(0x80000000)
 389   ; CHECK-NEXT: {{  $}}
 390   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 391   ; CHECK-NEXT:   $x0 = nuw ADDXri [[COPY]], 16, 0
 392   ; CHECK-NEXT:   BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 393   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 394   ; CHECK-NEXT:   B %bb.9
 395   ; CHECK-NEXT: {{  $}}
 396   ; CHECK-NEXT: bb.8.bb13:
 397   ; CHECK-NEXT:   successors: %bb.9(0x80000000)
 398   ; CHECK-NEXT: {{  $}}
 399   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 400   ; CHECK-NEXT:   $x0 = nuw ADDXri [[COPY]], 20, 0
 401   ; CHECK-NEXT:   BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 402   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 403   ; CHECK-NEXT: {{  $}}
 404   ; CHECK-NEXT: bb.9..backedge.backedge:
 405   ; CHECK-NEXT:   successors: %bb.1(0x80000000)
 406   ; CHECK-NEXT: {{  $}}
 407   ; CHECK-NEXT:   [[ADDXri1:%[0-9]+]]:gpr64sp = ADDXri [[PHI]], 1, 0
 408   ; CHECK-NEXT:   [[COPY4:%[0-9]+]]:gpr64all = COPY [[ADDXri1]]
 409   ; CHECK-NEXT:   B %bb.1
 410   bb.0 (%ir-block.bb):
 411     successors: %bb.1(0x80000000)
 412     liveins: $x0, $x1
 413
 414     %9:gpr64common = COPY $x1
 415     %8:gpr64common = COPY $x0
 416     %10:gpr64sp = nuw ADDXri %9, 4, 0
 417     %0:gpr64all = COPY %10
 418     %11:gpr64sp = nuw ADDXri %9, 8, 0
 419     %1:gpr64all = COPY %11
 420     %12:gpr64sp = nuw ADDXri %9, 12, 0
 421     %2:gpr64all = COPY %12
 422     %13:gpr64sp = nuw ADDXri %9, 16, 0
 423     %3:gpr64all = COPY %13
 424     %14:gpr64sp = nuw ADDXri %9, 20, 0
 425     %4:gpr64all = COPY %14
 426     %15:gpr64sp = ADDXri %8, 1, 0
 427     %5:gpr64all = COPY %15
 428     %20:gpr64common = MOVaddrJT target-flags(aarch64-page) %jump-table.0, target-flags(aarch64-pageoff, aarch64-nc) %jump-table.0
 429
 430   bb.1..backedge:
 431     successors: %bb.8(0x09249249), %bb.9(0x76db6db7)
 432
 433     %6:gpr64sp = PHI %5, %bb.0, %7, %bb.8
 434     %17:gpr32 = LDRBBui %6, 0 :: (load (s8) from %ir.lsr.iv)
 435     %16:gpr64 = SUBREG_TO_REG 0, killed %17, %subreg.sub_32
 436     %18:gpr32sp = COPY %16.sub_32
 437     %19:gpr32 = SUBSWri killed %18, 50, 0, implicit-def $nzcv
 438     Bcc 8, %bb.8, implicit $nzcv
 439
 440   bb.9..backedge:
 441     successors: %bb.2(0x13b13b14), %bb.8(0x09d89d8a), %bb.3(0x13b13b14), %bb.4(0x13b13b14), %bb.5(0x13b13b14), %bb.6(0x13b13b14), %bb.7(0x13b13b14)
 442
 443     early-clobber %21:gpr64, early-clobber %22:gpr64sp = JumpTableDest32 %20, %16, %jump-table.0
 444     BR killed %21
 445
 446   bb.2 (%ir-block.bb7):
 447     successors: %bb.8(0x80000000)
 448
 449     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 450     $x0 = COPY %9
 451     BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 452     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 453     B %bb.8
 454
 455   bb.3 (%ir-block.bb9):
 456     successors: %bb.8(0x80000000)
 457
 458     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 459     $x0 = COPY %0
 460     BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 461     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 462     B %bb.8
 463
 464   bb.4 (%ir-block.bb10):
 465     successors: %bb.8(0x80000000)
 466
 467     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 468     $x0 = COPY %1
 469     BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 470     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 471     B %bb.8
 472
 473   bb.5 (%ir-block.bb11):
 474     successors: %bb.8(0x80000000)
 475
 476     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 477     $x0 = COPY %2
 478     BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 479     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 480     B %bb.8
 481
 482   bb.6 (%ir-block.bb12):
 483     successors: %bb.8(0x80000000)
 484
 485     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 486     $x0 = COPY %3
 487     BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 488     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 489     B %bb.8
 490
 491   bb.7 (%ir-block.bb13):
 492     successors: %bb.8(0x80000000)
 493
 494     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 495     $x0 = COPY %4
 496     BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 497     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 498
 499   bb.8..backedge.backedge:
 500     successors: %bb.1(0x80000000)
 501
 502     %23:gpr64sp = ADDXri %6, 1, 0
 503     %7:gpr64all = COPY %23
 504     B %bb.1
 505
 506 ...
 507 ---
 508 name:            load_not_safe_to_move_consecutive_call
 509 alignment:       4
 510 exposesReturnsTwice: false
 511 legalized:       false
 512 regBankSelected: false
 513 selected:        false
 514 failedISel:      false
 515 tracksRegLiveness: true
 516 hasWinCFI:       false
 517 registers:
 518   - { id: 0, class: gpr32, preferred-register: '' }
 519   - { id: 1, class: gpr32all, preferred-register: '' }
 520   - { id: 2, class: gpr32sp, preferred-register: '' }
 521   - { id: 3, class: gpr32, preferred-register: '' }
 522   - { id: 4, class: gpr32all, preferred-register: '' }
 523   - { id: 5, class: gpr32all, preferred-register: '' }
 524   - { id: 6, class: gpr32common, preferred-register: '' }
 525   - { id: 7, class: gpr32, preferred-register: '' }
 526   - { id: 8, class: gpr64common, preferred-register: '' }
 527   - { id: 9, class: gpr32, preferred-register: '' }
 528   - { id: 10, class: gpr32all, preferred-register: '' }
 529   - { id: 11, class: gpr32, preferred-register: '' }
 530   - { id: 12, class: gpr32, preferred-register: '' }
 531 liveins:
 532   - { reg: '$w0', virtual-reg: '%6' }
 533 frameInfo:
 534   isFrameAddressTaken: false
 535   isReturnAddressTaken: false
 536   hasStackMap:     false
 537   hasPatchPoint:   false
 538   stackSize:       0
 539   offsetAdjustment: 0
 540   maxAlignment:    1
 541   adjustsStack:    true
 542   hasCalls:        true
 543   stackProtector:  ''
 544   maxCallFrameSize: 0
 545   cvBytesOfCalleeSavedRegisters: 0
 546   hasOpaqueSPAdjustment: false
 547   hasVAStart:      false
 548   hasMustTailInVarArgFunc: false
 549   localFrameSize:  0
 550   savePoint:       ''
 551   restorePoint:    ''
 552 fixedStack:      []
 553 stack:           []
 554 callSites:       []
 555 debugValueSubstitutions: []
 556 constants:       []
 557 machineFunctionInfo: {}
 558 body:             |
 559   ; CHECK-LABEL: name: load_not_safe_to_move_consecutive_call
 560   ; CHECK: bb.0.entry:
 561   ; CHECK-NEXT:   successors: %bb.1(0x50000000), %bb.2(0x30000000)
 562   ; CHECK-NEXT:   liveins: $w0
 563   ; CHECK-NEXT: {{  $}}
 564   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr32common = COPY $w0
 565   ; CHECK-NEXT:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri [[COPY]], 1, 0, implicit-def $nzcv
 566   ; CHECK-NEXT:   Bcc 11, %bb.2, implicit $nzcv
 567   ; CHECK-NEXT:   B %bb.1
 568   ; CHECK-NEXT: {{  $}}
 569   ; CHECK-NEXT: bb.1.for.body.preheader:
 570   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
 571   ; CHECK-NEXT: {{  $}}
 572   ; CHECK-NEXT:   [[ADRP:%[0-9]+]]:gpr64common = ADRP target-flags(aarch64-page) @A
 573   ; CHECK-NEXT:   [[LDRWui:%[0-9]+]]:gpr32 = LDRWui killed [[ADRP]], target-flags(aarch64-pageoff, aarch64-nc) @A :: (dereferenceable load (s32) from @A)
 574   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 575   ; CHECK-NEXT:   $w0 = COPY [[COPY]]
 576   ; CHECK-NEXT:   BL @use, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $w0, implicit-def $sp, implicit-def $w0
 577   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 578   ; CHECK-NEXT:   B %bb.3
 579   ; CHECK-NEXT: {{  $}}
 580   ; CHECK-NEXT: bb.2.for.cond.cleanup:
 581   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr32all = PHI [[COPY]], %bb.0, %4, %bb.3
 582   ; CHECK-NEXT:   $w0 = COPY [[PHI]]
 583   ; CHECK-NEXT:   RET_ReallyLR implicit $w0
 584   ; CHECK-NEXT: {{  $}}
 585   ; CHECK-NEXT: bb.3.for.body:
 586   ; CHECK-NEXT:   successors: %bb.2(0x04000000), %bb.3(0x7c000000)
 587   ; CHECK-NEXT: {{  $}}
 588   ; CHECK-NEXT:   [[PHI1:%[0-9]+]]:gpr32sp = PHI [[COPY]], %bb.1, %5, %bb.3
 589   ; CHECK-NEXT:   [[PHI2:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.1, %4, %bb.3
 590   ; CHECK-NEXT:   [[SDIVWr:%[0-9]+]]:gpr32 = SDIVWr [[PHI2]], [[LDRWui]]
 591   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr32all = COPY [[SDIVWr]]
 592   ; CHECK-NEXT:   [[SUBSWri1:%[0-9]+]]:gpr32 = SUBSWri [[PHI1]], 1, 0, implicit-def $nzcv
 593   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr32all = COPY [[SUBSWri1]]
 594   ; CHECK-NEXT:   Bcc 0, %bb.2, implicit $nzcv
 595   ; CHECK-NEXT:   B %bb.3
 596   bb.0.entry:
 597     successors: %bb.1(0x50000000), %bb.2(0x30000000)
 598     liveins: $w0
 599
 600     %6:gpr32common = COPY $w0
 601     %7:gpr32 = SUBSWri %6, 1, 0, implicit-def $nzcv
 602     Bcc 11, %bb.2, implicit $nzcv
 603     B %bb.1
 604
 605   bb.1.for.body.preheader:
 606     successors: %bb.3(0x80000000)
 607
 608     %8:gpr64common = ADRP target-flags(aarch64-page) @A
 609     %9:gpr32 = LDRWui killed %8, target-flags(aarch64-pageoff, aarch64-nc) @A :: (dereferenceable load (s32) from @A)
 610     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 611     $w0 = COPY %6
 612     BL @use, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $w0, implicit-def $sp, implicit-def $w0
 613     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 614     B %bb.3
 615
 616   bb.2.for.cond.cleanup:
 617     %1:gpr32all = PHI %6, %bb.0, %4, %bb.3
 618     $w0 = COPY %1
 619     RET_ReallyLR implicit $w0
 620
 621   bb.3.for.body:
 622     successors: %bb.2(0x04000000), %bb.3(0x7c000000)
 623
 624     %2:gpr32sp = PHI %6, %bb.1, %5, %bb.3
 625     %3:gpr32 = PHI %6, %bb.1, %4, %bb.3
 626     %11:gpr32 = SDIVWr %3, %9
 627     %4:gpr32all = COPY %11
 628     %12:gpr32 = SUBSWri %2, 1, 0, implicit-def $nzcv
 629     %5:gpr32all = COPY %12
 630     Bcc 0, %bb.2, implicit $nzcv
 631     B %bb.3
 632
 633 ...
 634 ---
 635 name:            load_not_safe_to_move_consecutive_call_use
 636 alignment:       4
 637 exposesReturnsTwice: false
 638 legalized:       false
 639 regBankSelected: false
 640 selected:        false
 641 failedISel:      false
 642 tracksRegLiveness: true
 643 hasWinCFI:       false
 644 registers:
 645   - { id: 0, class: gpr32, preferred-register: '' }
 646   - { id: 1, class: gpr32all, preferred-register: '' }
 647   - { id: 2, class: gpr32sp, preferred-register: '' }
 648   - { id: 3, class: gpr32, preferred-register: '' }
 649   - { id: 4, class: gpr32all, preferred-register: '' }
 650   - { id: 5, class: gpr32all, preferred-register: '' }
 651   - { id: 6, class: gpr32common, preferred-register: '' }
 652   - { id: 7, class: gpr32, preferred-register: '' }
 653   - { id: 8, class: gpr64common, preferred-register: '' }
 654   - { id: 9, class: gpr32, preferred-register: '' }
 655   - { id: 10, class: gpr32all, preferred-register: '' }
 656   - { id: 11, class: gpr32, preferred-register: '' }
 657   - { id: 12, class: gpr32, preferred-register: '' }
 658 liveins:
 659   - { reg: '$w0', virtual-reg: '%6' }
 660 frameInfo:
 661   isFrameAddressTaken: false
 662   isReturnAddressTaken: false
 663   hasStackMap:     false
 664   hasPatchPoint:   false
 665   stackSize:       0
 666   offsetAdjustment: 0
 667   maxAlignment:    1
 668   adjustsStack:    true
 669   hasCalls:        true
 670   stackProtector:  ''
 671   maxCallFrameSize: 0
 672   cvBytesOfCalleeSavedRegisters: 0
 673   hasOpaqueSPAdjustment: false
 674   hasVAStart:      false
 675   hasMustTailInVarArgFunc: false
 676   localFrameSize:  0
 677   savePoint:       ''
 678   restorePoint:    ''
 679 fixedStack:      []
 680 stack:           []
 681 callSites:       []
 682 debugValueSubstitutions: []
 683 constants:       []
 684 machineFunctionInfo: {}
 685 body:             |
 686   ; CHECK-LABEL: name: load_not_safe_to_move_consecutive_call_use
 687   ; CHECK: bb.0.entry:
 688   ; CHECK-NEXT:   successors: %bb.1(0x50000000), %bb.2(0x30000000)
 689   ; CHECK-NEXT:   liveins: $w0
 690   ; CHECK-NEXT: {{  $}}
 691   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr32common = COPY $w0
 692   ; CHECK-NEXT:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri [[COPY]], 1, 0, implicit-def $nzcv
 693   ; CHECK-NEXT:   Bcc 11, %bb.2, implicit $nzcv
 694   ; CHECK-NEXT:   B %bb.1
 695   ; CHECK-NEXT: {{  $}}
 696   ; CHECK-NEXT: bb.1.for.body.preheader:
 697   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
 698   ; CHECK-NEXT: {{  $}}
 699   ; CHECK-NEXT:   [[ADRP:%[0-9]+]]:gpr64common = ADRP target-flags(aarch64-page) @A
 700   ; CHECK-NEXT:   [[LDRWui:%[0-9]+]]:gpr32 = LDRWui killed [[ADRP]], target-flags(aarch64-pageoff, aarch64-nc) @A :: (dereferenceable load (s32) from @A)
 701   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 702   ; CHECK-NEXT:   $w0 = COPY [[LDRWui]]
 703   ; CHECK-NEXT:   BL @use, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $w0, implicit-def $sp, implicit-def $w0
 704   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 705   ; CHECK-NEXT:   B %bb.3
 706   ; CHECK-NEXT: {{  $}}
 707   ; CHECK-NEXT: bb.2.for.cond.cleanup:
 708   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr32all = PHI [[COPY]], %bb.0, %4, %bb.3
 709   ; CHECK-NEXT:   $w0 = COPY [[PHI]]
 710   ; CHECK-NEXT:   RET_ReallyLR implicit $w0
 711   ; CHECK-NEXT: {{  $}}
 712   ; CHECK-NEXT: bb.3.for.body:
 713   ; CHECK-NEXT:   successors: %bb.2(0x04000000), %bb.3(0x7c000000)
 714   ; CHECK-NEXT: {{  $}}
 715   ; CHECK-NEXT:   [[PHI1:%[0-9]+]]:gpr32sp = PHI [[COPY]], %bb.1, %5, %bb.3
 716   ; CHECK-NEXT:   [[PHI2:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.1, %4, %bb.3
 717   ; CHECK-NEXT:   [[SDIVWr:%[0-9]+]]:gpr32 = SDIVWr [[PHI2]], [[LDRWui]]
 718   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr32all = COPY [[SDIVWr]]
 719   ; CHECK-NEXT:   [[SUBSWri1:%[0-9]+]]:gpr32 = SUBSWri [[PHI1]], 1, 0, implicit-def $nzcv
 720   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr32all = COPY [[SUBSWri1]]
 721   ; CHECK-NEXT:   Bcc 0, %bb.2, implicit $nzcv
 722   ; CHECK-NEXT:   B %bb.3
 723   bb.0.entry:
 724     successors: %bb.1(0x50000000), %bb.2(0x30000000)
 725     liveins: $w0
 726
 727     %6:gpr32common = COPY $w0
 728     %7:gpr32 = SUBSWri %6, 1, 0, implicit-def $nzcv
 729     Bcc 11, %bb.2, implicit $nzcv
 730     B %bb.1
 731
 732   bb.1.for.body.preheader:
 733     successors: %bb.3(0x80000000)
 734
 735     %8:gpr64common = ADRP target-flags(aarch64-page) @A
 736     %9:gpr32 = LDRWui killed %8, target-flags(aarch64-pageoff, aarch64-nc) @A :: (dereferenceable load (s32) from @A)
 737     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 738     $w0 = COPY %9
 739     BL @use, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $w0, implicit-def $sp, implicit-def $w0
 740     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 741     B %bb.3
 742
 743   bb.2.for.cond.cleanup:
 744     %1:gpr32all = PHI %6, %bb.0, %4, %bb.3
 745     $w0 = COPY %1
 746     RET_ReallyLR implicit $w0
 747
 748   bb.3.for.body:
 749     successors: %bb.2(0x04000000), %bb.3(0x7c000000)
 750
 751     %2:gpr32sp = PHI %6, %bb.1, %5, %bb.3
 752     %3:gpr32 = PHI %6, %bb.1, %4, %bb.3
 753     %11:gpr32 = SDIVWr %3, %9
 754     %4:gpr32all = COPY %11
 755     %12:gpr32 = SUBSWri %2, 1, 0, implicit-def $nzcv
 756     %5:gpr32all = COPY %12
 757     Bcc 0, %bb.2, implicit $nzcv
 758     B %bb.3
 759
 760 ...
 761 ---
 762 name:            cant_sink_use_outside_loop
 763 alignment:       4
 764 exposesReturnsTwice: false
 765 legalized:       false
 766 regBankSelected: false
 767 selected:        false
 768 failedISel:      false
 769 tracksRegLiveness: true
 770 hasWinCFI:       false
 771 registers:
 772   - { id: 0, class: gpr32all, preferred-register: '' }
 773   - { id: 1, class: gpr32all, preferred-register: '' }
 774   - { id: 2, class: gpr32all, preferred-register: '' }
 775   - { id: 3, class: gpr32sp, preferred-register: '' }
 776   - { id: 4, class: gpr32all, preferred-register: '' }
 777   - { id: 5, class: gpr32all, preferred-register: '' }
 778   - { id: 6, class: gpr32all, preferred-register: '' }
 779   - { id: 7, class: gpr32common, preferred-register: '' }
 780   - { id: 8, class: gpr32all, preferred-register: '' }
 781   - { id: 9, class: gpr32all, preferred-register: '' }
 782   - { id: 10, class: gpr32, preferred-register: '' }
 783   - { id: 11, class: gpr64common, preferred-register: '' }
 784   - { id: 12, class: gpr32, preferred-register: '' }
 785   - { id: 13, class: gpr32, preferred-register: '' }
 786   - { id: 14, class: gpr32, preferred-register: '' }
 787   - { id: 15, class: gpr32all, preferred-register: '' }
 788 liveins:
 789   - { reg: '$w0', virtual-reg: '%7' }
 790 frameInfo:
 791   isFrameAddressTaken: false
 792   isReturnAddressTaken: false
 793   hasStackMap:     false
 794   hasPatchPoint:   false
 795   stackSize:       0
 796   offsetAdjustment: 0
 797   maxAlignment:    1
 798   adjustsStack:    true
 799   hasCalls:        true
 800   stackProtector:  ''
 801   maxCallFrameSize: 0
 802   cvBytesOfCalleeSavedRegisters: 0
 803   hasOpaqueSPAdjustment: false
 804   hasVAStart:      false
 805   hasMustTailInVarArgFunc: false
 806   localFrameSize:  0
 807   savePoint:       ''
 808   restorePoint:    ''
 809 fixedStack:      []
 810 stack:           []
 811 callSites:       []
 812 debugValueSubstitutions: []
 813 constants:       []
 814 machineFunctionInfo: {}
 815 body:             |
 816   ; CHECK-LABEL: name: cant_sink_use_outside_loop
 817   ; CHECK: bb.0.entry:
 818   ; CHECK-NEXT:   successors: %bb.1(0x50000000), %bb.4(0x30000000)
 819   ; CHECK-NEXT:   liveins: $w0
 820   ; CHECK-NEXT: {{  $}}
 821   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr32common = COPY $w0
 822   ; CHECK-NEXT:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri [[COPY]], 1, 0, implicit-def $nzcv
 823   ; CHECK-NEXT:   Bcc 10, %bb.1, implicit $nzcv
 824   ; CHECK-NEXT: {{  $}}
 825   ; CHECK-NEXT: bb.4:
 826   ; CHECK-NEXT:   successors: %bb.2(0x80000000)
 827   ; CHECK-NEXT: {{  $}}
 828   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr32all = COPY $wzr
 829   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr32all = COPY [[COPY1]]
 830   ; CHECK-NEXT:   B %bb.2
 831   ; CHECK-NEXT: {{  $}}
 832   ; CHECK-NEXT: bb.1.for.body.preheader:
 833   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
 834   ; CHECK-NEXT: {{  $}}
 835   ; CHECK-NEXT:   [[ADRP:%[0-9]+]]:gpr64common = ADRP target-flags(aarch64-page) @A
 836   ; CHECK-NEXT:   [[LDRWui:%[0-9]+]]:gpr32 = LDRWui killed [[ADRP]], target-flags(aarch64-pageoff, aarch64-nc) @A :: (dereferenceable load (s32) from @A)
 837   ; CHECK-NEXT:   [[COPY3:%[0-9]+]]:gpr32all = COPY [[LDRWui]]
 838   ; CHECK-NEXT:   B %bb.3
 839   ; CHECK-NEXT: {{  $}}
 840   ; CHECK-NEXT: bb.2.for.cond.cleanup:
 841   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr32all = PHI [[COPY]], %bb.4, %5, %bb.5
 842   ; CHECK-NEXT:   [[PHI1:%[0-9]+]]:gpr32all = PHI [[COPY2]], %bb.4, [[COPY3]], %bb.5
 843   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 844   ; CHECK-NEXT:   $w0 = COPY [[PHI1]]
 845   ; CHECK-NEXT:   BL @use, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $w0, implicit-def $sp, implicit-def $w0
 846   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 847   ; CHECK-NEXT:   $w0 = COPY [[PHI]]
 848   ; CHECK-NEXT:   RET_ReallyLR implicit $w0
 849   ; CHECK-NEXT: {{  $}}
 850   ; CHECK-NEXT: bb.3.for.body:
 851   ; CHECK-NEXT:   successors: %bb.5(0x04000000), %bb.3(0x7c000000)
 852   ; CHECK-NEXT: {{  $}}
 853   ; CHECK-NEXT:   [[PHI2:%[0-9]+]]:gpr32sp = PHI [[COPY]], %bb.1, %6, %bb.3
 854   ; CHECK-NEXT:   [[SUBSWri1:%[0-9]+]]:gpr32 = SUBSWri [[PHI2]], 1, 0, implicit-def $nzcv
 855   ; CHECK-NEXT:   [[COPY4:%[0-9]+]]:gpr32all = COPY [[SUBSWri1]]
 856   ; CHECK-NEXT:   Bcc 1, %bb.3, implicit $nzcv
 857   ; CHECK-NEXT: {{  $}}
 858   ; CHECK-NEXT: bb.5:
 859   ; CHECK-NEXT:   successors: %bb.2(0x80000000)
 860   ; CHECK-NEXT: {{  $}}
 861   ; CHECK-NEXT:   [[MOVi32imm:%[0-9]+]]:gpr32 = MOVi32imm 1
 862   ; CHECK-NEXT:   [[COPY5:%[0-9]+]]:gpr32all = COPY [[MOVi32imm]]
 863   ; CHECK-NEXT:   B %bb.2
 864   bb.0.entry:
 865     successors: %bb.1(0x50000000), %bb.2(0x30000000)
 866     liveins: $w0
 867
 868     %7:gpr32common = COPY $w0
 869     %9:gpr32all = COPY $wzr
 870     %8:gpr32all = COPY %9
 871     %10:gpr32 = SUBSWri %7, 1, 0, implicit-def $nzcv
 872     Bcc 11, %bb.2, implicit $nzcv
 873     B %bb.1
 874
 875   bb.1.for.body.preheader:
 876     successors: %bb.3(0x80000000)
 877
 878     %11:gpr64common = ADRP target-flags(aarch64-page) @A
 879     %12:gpr32 = LDRWui killed %11, target-flags(aarch64-pageoff, aarch64-nc) @A :: (dereferenceable load (s32) from @A)
 880     %0:gpr32all = COPY %12
 881     B %bb.3
 882
 883   bb.2.for.cond.cleanup:
 884     %1:gpr32all = PHI %7, %bb.0, %5, %bb.3
 885     %2:gpr32all = PHI %8, %bb.0, %0, %bb.3
 886     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 887     $w0 = COPY %2
 888     BL @use, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $w0, implicit-def $sp, implicit-def $w0
 889     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 890     $w0 = COPY %1
 891     RET_ReallyLR implicit $w0
 892
 893   bb.3.for.body:
 894     successors: %bb.2(0x04000000), %bb.3(0x7c000000)
 895
 896     %3:gpr32sp = PHI %7, %bb.1, %6, %bb.3
 897     %13:gpr32 = MOVi32imm 1
 898     %5:gpr32all = COPY %13
 899     %14:gpr32 = SUBSWri %3, 1, 0, implicit-def $nzcv
 900     %6:gpr32all = COPY %14
 901     Bcc 0, %bb.2, implicit $nzcv
 902     B %bb.3
 903
 904 ...
 905 ---
 906 name:            use_is_not_a_copy
 907 alignment:       4
 908 exposesReturnsTwice: false
 909 legalized:       false
 910 regBankSelected: false
 911 selected:        false
 912 failedISel:      false
 913 tracksRegLiveness: true
 914 hasWinCFI:       false
 915 registers:
 916   - { id: 0, class: gpr32, preferred-register: '' }
 917   - { id: 1, class: gpr32all, preferred-register: '' }
 918   - { id: 2, class: gpr32sp, preferred-register: '' }
 919   - { id: 3, class: gpr32, preferred-register: '' }
 920   - { id: 4, class: gpr32all, preferred-register: '' }
 921   - { id: 5, class: gpr32all, preferred-register: '' }
 922   - { id: 6, class: gpr32common, preferred-register: '' }
 923   - { id: 7, class: gpr32, preferred-register: '' }
 924   - { id: 8, class: gpr64common, preferred-register: '' }
 925   - { id: 9, class: gpr32, preferred-register: '' }
 926   - { id: 10, class: gpr32, preferred-register: '' }
 927   - { id: 11, class: gpr32, preferred-register: '' }
 928 liveins:
 929   - { reg: '$w0', virtual-reg: '%6' }
 930 frameInfo:
 931   isFrameAddressTaken: false
 932   isReturnAddressTaken: false
 933   hasStackMap:     false
 934   hasPatchPoint:   false
 935   stackSize:       0
 936   offsetAdjustment: 0
 937   maxAlignment:    1
 938   adjustsStack:    false
 939   hasCalls:        false
 940   stackProtector:  ''
 941   maxCallFrameSize: 0
 942   cvBytesOfCalleeSavedRegisters: 0
 943   hasOpaqueSPAdjustment: false
 944   hasVAStart:      false
 945   hasMustTailInVarArgFunc: false
 946   localFrameSize:  0
 947   savePoint:       ''
 948   restorePoint:    ''
 949 fixedStack:      []
 950 stack:           []
 951 callSites:       []
 952 debugValueSubstitutions: []
 953 constants:       []
 954 machineFunctionInfo: {}
 955 body:             |
 956   ; CHECK-LABEL: name: use_is_not_a_copy
 957   ; CHECK: bb.0.entry:
 958   ; CHECK-NEXT:   successors: %bb.1(0x50000000), %bb.2(0x30000000)
 959   ; CHECK-NEXT:   liveins: $w0
 960   ; CHECK-NEXT: {{  $}}
 961   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr32common = COPY $w0
 962   ; CHECK-NEXT:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri [[COPY]], 1, 0, implicit-def $nzcv
 963   ; CHECK-NEXT:   Bcc 11, %bb.2, implicit $nzcv
 964   ; CHECK-NEXT:   B %bb.1
 965   ; CHECK-NEXT: {{  $}}
 966   ; CHECK-NEXT: bb.1.for.body.preheader:
 967   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
 968   ; CHECK-NEXT: {{  $}}
 969   ; CHECK-NEXT:   [[ADRP:%[0-9]+]]:gpr64common = ADRP target-flags(aarch64-page) @A
 970   ; CHECK-NEXT:   [[LDRWui:%[0-9]+]]:gpr32 = LDRWui killed [[ADRP]], target-flags(aarch64-pageoff, aarch64-nc) @A :: (dereferenceable load (s32) from @A)
 971   ; CHECK-NEXT:   B %bb.3
 972   ; CHECK-NEXT: {{  $}}
 973   ; CHECK-NEXT: bb.2.for.cond.cleanup:
 974   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr32all = PHI [[COPY]], %bb.0, %4, %bb.3
 975   ; CHECK-NEXT:   $w0 = COPY [[PHI]]
 976   ; CHECK-NEXT:   RET_ReallyLR implicit $w0
 977   ; CHECK-NEXT: {{  $}}
 978   ; CHECK-NEXT: bb.3.for.body:
 979   ; CHECK-NEXT:   successors: %bb.2(0x04000000), %bb.3(0x7c000000)
 980   ; CHECK-NEXT: {{  $}}
 981   ; CHECK-NEXT:   [[PHI1:%[0-9]+]]:gpr32sp = PHI [[COPY]], %bb.1, %5, %bb.3
 982   ; CHECK-NEXT:   [[PHI2:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.1, %4, %bb.3
 983   ; CHECK-NEXT:   [[SDIVWr:%[0-9]+]]:gpr32 = SDIVWr [[PHI2]], [[LDRWui]]
 984   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr32all = COPY [[SDIVWr]]
 985   ; CHECK-NEXT:   [[SUBSWri1:%[0-9]+]]:gpr32 = SUBSWri [[PHI1]], 1, 0, implicit-def $nzcv
 986   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr32all = COPY [[SUBSWri1]]
 987   ; CHECK-NEXT:   Bcc 0, %bb.2, implicit $nzcv
 988   ; CHECK-NEXT:   B %bb.3
 989   bb.0.entry:
 990     successors: %bb.1(0x50000000), %bb.2(0x30000000)
 991     liveins: $w0
 992
 993     %6:gpr32common = COPY $w0
 994     %7:gpr32 = SUBSWri %6, 1, 0, implicit-def $nzcv
 995     Bcc 11, %bb.2, implicit $nzcv
 996     B %bb.1
 997
 998   bb.1.for.body.preheader:
 999     successors: %bb.3(0x80000000)
1000
1001     %8:gpr64common = ADRP target-flags(aarch64-page) @A
1002     %9:gpr32 = LDRWui killed %8, target-flags(aarch64-pageoff, aarch64-nc) @A :: (dereferenceable load (s32) from @A)
1003     B %bb.3
1004
1005   bb.2.for.cond.cleanup:
1006     %1:gpr32all = PHI %6, %bb.0, %4, %bb.3
1007     $w0 = COPY %1
1008     RET_ReallyLR implicit $w0
1009
1010   bb.3.for.body:
1011     successors: %bb.2(0x04000000), %bb.3(0x7c000000)
1012
1013     %2:gpr32sp = PHI %6, %bb.1, %5, %bb.3
1014     %3:gpr32 = PHI %6, %bb.1, %4, %bb.3
1015     %10:gpr32 = SDIVWr %3, %9
1016     %4:gpr32all = COPY %10
1017     %11:gpr32 = SUBSWri %2, 1, 0, implicit-def $nzcv
1018     %5:gpr32all = COPY %11
1019     Bcc 0, %bb.2, implicit $nzcv
1020     B %bb.3
1021
1022 ...
1023 ---
1024 name:            sink_add
1025 alignment:       16
1026 exposesReturnsTwice: false
1027 legalized:       false
1028 regBankSelected: false
1029 selected:        false
1030 failedISel:      false
1031 tracksRegLiveness: true
1032 hasWinCFI:       false
1033 registers:
1034   - { id: 0, class: gpr32sp, preferred-register: '' }
1035   - { id: 1, class: gpr32all, preferred-register: '' }
1036   - { id: 2, class: gpr32, preferred-register: '' }
1037   - { id: 3, class: gpr32common, preferred-register: '' }
1038   - { id: 4, class: gpr32sp, preferred-register: '' }
1039   - { id: 5, class: gpr32, preferred-register: '' }
1040   - { id: 6, class: gpr32all, preferred-register: '' }
1041   - { id: 7, class: gpr32all, preferred-register: '' }
1042   - { id: 8, class: gpr32all, preferred-register: '' }
1043   - { id: 9, class: gpr64common, preferred-register: '' }
1044   - { id: 10, class: gpr64common, preferred-register: '' }
1045   - { id: 11, class: gpr32common, preferred-register: '' }
1046   - { id: 12, class: gpr32common, preferred-register: '' }
1047   - { id: 13, class: gpr32, preferred-register: '' }
1048   - { id: 14, class: gpr32sp, preferred-register: '' }
1049   - { id: 15, class: gpr32, preferred-register: '' }
1050   - { id: 16, class: gpr32, preferred-register: '' }
1051   - { id: 17, class: gpr32sp, preferred-register: '' }
1052 liveins:
1053   - { reg: '$x0', virtual-reg: '%9' }
1054   - { reg: '$x1', virtual-reg: '%10' }
1055   - { reg: '$w2', virtual-reg: '%11' }
1056 frameInfo:
1057   isFrameAddressTaken: false
1058   isReturnAddressTaken: false
1059   hasStackMap:     false
1060   hasPatchPoint:   false
1061   stackSize:       0
1062   offsetAdjustment: 0
1063   maxAlignment:    1
1064   adjustsStack:    false
1065   hasCalls:        false
1066   stackProtector:  ''
1067   maxCallFrameSize: 0
1068   cvBytesOfCalleeSavedRegisters: 0
1069   hasOpaqueSPAdjustment: false
1070   hasVAStart:      false
1071   hasMustTailInVarArgFunc: false
1072   localFrameSize:  0
1073   savePoint:       ''
1074   restorePoint:    ''
1075 fixedStack:      []
1076 stack:           []
1077 callSites:       []
1078 debugValueSubstitutions: []
1079 constants:       []
1080 machineFunctionInfo: {}
1081 body:             |
1082   ; CHECK-LABEL: name: sink_add
1083   ; CHECK: bb.0.entry:
1084   ; CHECK-NEXT:   successors: %bb.1(0x50000000), %bb.2(0x30000000)
1085   ; CHECK-NEXT:   liveins: $x0, $x1, $w2
1086   ; CHECK-NEXT: {{  $}}
1087   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr32common = COPY $w2
1088   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr64common = COPY $x1
1089   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr64common = COPY $x0
1090   ; CHECK-NEXT:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri [[COPY]], 1, 0, implicit-def $nzcv
1091   ; CHECK-NEXT:   Bcc 11, %bb.2, implicit $nzcv
1092   ; CHECK-NEXT:   B %bb.1
1093   ; CHECK-NEXT: {{  $}}
1094   ; CHECK-NEXT: bb.1.for.body.preheader:
1095   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
1096   ; CHECK-NEXT: {{  $}}
1097   ; CHECK-NEXT:   [[LDRWui:%[0-9]+]]:gpr32common = LDRWui [[COPY2]], 0 :: (load (s32) from %ir.read, !tbaa !0)
1098   ; CHECK-NEXT:   [[ADDWri:%[0-9]+]]:gpr32sp = ADDWri [[LDRWui]], 42, 0
1099   ; CHECK-NEXT:   [[COPY3:%[0-9]+]]:gpr32all = COPY [[ADDWri]]
1100   ; CHECK-NEXT:   B %bb.3
1101   ; CHECK-NEXT: {{  $}}
1102   ; CHECK-NEXT: bb.2.for.cond.cleanup:
1103   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.0, %6, %bb.3
1104   ; CHECK-NEXT:   STRWui [[PHI]], [[COPY1]], 0 :: (store (s32) into %ir.write, !tbaa !0)
1105   ; CHECK-NEXT:   RET_ReallyLR
1106   ; CHECK-NEXT: {{  $}}
1107   ; CHECK-NEXT: bb.3.for.body:
1108   ; CHECK-NEXT:   successors: %bb.2(0x04000000), %bb.3(0x7c000000)
1109   ; CHECK-NEXT: {{  $}}
1110   ; CHECK-NEXT:   [[PHI1:%[0-9]+]]:gpr32common = PHI [[COPY3]], %bb.1, %8, %bb.3
1111   ; CHECK-NEXT:   [[PHI2:%[0-9]+]]:gpr32sp = PHI [[COPY]], %bb.1, %7, %bb.3
1112   ; CHECK-NEXT:   [[PHI3:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.1, %6, %bb.3
1113   ; CHECK-NEXT:   [[SDIVWr:%[0-9]+]]:gpr32 = SDIVWr [[PHI3]], [[PHI1]]
1114   ; CHECK-NEXT:   [[COPY4:%[0-9]+]]:gpr32all = COPY [[SDIVWr]]
1115   ; CHECK-NEXT:   [[SUBSWri1:%[0-9]+]]:gpr32 = SUBSWri [[PHI2]], 1, 0, implicit-def $nzcv
1116   ; CHECK-NEXT:   [[COPY5:%[0-9]+]]:gpr32all = COPY [[SUBSWri1]]
1117   ; CHECK-NEXT:   [[ADDWri1:%[0-9]+]]:gpr32sp = ADDWri [[PHI1]], 1, 0
1118   ; CHECK-NEXT:   [[COPY6:%[0-9]+]]:gpr32all = COPY [[ADDWri1]]
1119   ; CHECK-NEXT:   Bcc 0, %bb.2, implicit $nzcv
1120   ; CHECK-NEXT:   B %bb.3
1121   bb.0.entry:
1122     successors: %bb.1(0x50000000), %bb.2(0x30000000)
1123     liveins: $x0, $x1, $w2
1124
1125     %11:gpr32common = COPY $w2
1126     %10:gpr64common = COPY $x1
1127     %9:gpr64common = COPY $x0
1128     %12:gpr32common = LDRWui %9, 0 :: (load (s32) from %ir.read, !tbaa !0)
1129     %13:gpr32 = SUBSWri %11, 1, 0, implicit-def $nzcv
1130     Bcc 11, %bb.2, implicit $nzcv
1131     B %bb.1
1132
1133   bb.1.for.body.preheader:
1134     successors: %bb.3(0x80000000)
1135
1136     %14:gpr32sp = ADDWri %12, 42, 0
1137     %1:gpr32all = COPY %14
1138     B %bb.3
1139
1140   bb.2.for.cond.cleanup:
1141     %2:gpr32 = PHI %11, %bb.0, %6, %bb.3
1142     STRWui %2, %10, 0 :: (store (s32) into %ir.write, !tbaa !0)
1143     RET_ReallyLR
1144
1145   bb.3.for.body:
1146     successors: %bb.2(0x04000000), %bb.3(0x7c000000)
1147
1148     %3:gpr32common = PHI %1, %bb.1, %8, %bb.3
1149     %4:gpr32sp = PHI %11, %bb.1, %7, %bb.3
1150     %5:gpr32 = PHI %11, %bb.1, %6, %bb.3
1151     %15:gpr32 = SDIVWr %5, %3
1152     %6:gpr32all = COPY %15
1153     %16:gpr32 = SUBSWri %4, 1, 0, implicit-def $nzcv
1154     %7:gpr32all = COPY %16
1155     %17:gpr32sp = ADDWri %3, 1, 0
1156     %8:gpr32all = COPY %17
1157     Bcc 0, %bb.2, implicit $nzcv
1158     B %bb.3
1159
1160 ...
1161 ---
1162 name:            store_after_add
1163 alignment:       16
1164 exposesReturnsTwice: false
1165 legalized:       false
1166 regBankSelected: false
1167 selected:        false
1168 failedISel:      false
1169 tracksRegLiveness: true
1170 hasWinCFI:       false
1171 registers:
1172   - { id: 0, class: gpr32sp, preferred-register: '' }
1173   - { id: 1, class: gpr32all, preferred-register: '' }
1174   - { id: 2, class: gpr32, preferred-register: '' }
1175   - { id: 3, class: gpr32common, preferred-register: '' }
1176   - { id: 4, class: gpr32sp, preferred-register: '' }
1177   - { id: 5, class: gpr32, preferred-register: '' }
1178   - { id: 6, class: gpr32all, preferred-register: '' }
1179   - { id: 7, class: gpr32all, preferred-register: '' }
1180   - { id: 8, class: gpr32all, preferred-register: '' }
1181   - { id: 9, class: gpr64common, preferred-register: '' }
1182   - { id: 10, class: gpr64common, preferred-register: '' }
1183   - { id: 11, class: gpr64common, preferred-register: '' }
1184   - { id: 12, class: gpr32common, preferred-register: '' }
1185   - { id: 13, class: gpr32common, preferred-register: '' }
1186   - { id: 14, class: gpr32, preferred-register: '' }
1187   - { id: 15, class: gpr32, preferred-register: '' }
1188   - { id: 16, class: gpr32sp, preferred-register: '' }
1189   - { id: 17, class: gpr32, preferred-register: '' }
1190   - { id: 18, class: gpr32, preferred-register: '' }
1191   - { id: 19, class: gpr32sp, preferred-register: '' }
1192 liveins:
1193   - { reg: '$x0', virtual-reg: '%9' }
1194   - { reg: '$x1', virtual-reg: '%10' }
1195   - { reg: '$x2', virtual-reg: '%11' }
1196   - { reg: '$w3', virtual-reg: '%12' }
1197 frameInfo:
1198   isFrameAddressTaken: false
1199   isReturnAddressTaken: false
1200   hasStackMap:     false
1201   hasPatchPoint:   false
1202   stackSize:       0
1203   offsetAdjustment: 0
1204   maxAlignment:    1
1205   adjustsStack:    false
1206   hasCalls:        false
1207   stackProtector:  ''
1208   maxCallFrameSize: 0
1209   cvBytesOfCalleeSavedRegisters: 0
1210   hasOpaqueSPAdjustment: false
1211   hasVAStart:      false
1212   hasMustTailInVarArgFunc: false
1213   localFrameSize:  0
1214   savePoint:       ''
1215   restorePoint:    ''
1216 fixedStack:      []
1217 stack:           []
1218 callSites:       []
1219 debugValueSubstitutions: []
1220 constants:       []
1221 machineFunctionInfo: {}
1222 body:             |
1223   ; CHECK-LABEL: name: store_after_add
1224   ; CHECK: bb.0.entry:
1225   ; CHECK-NEXT:   successors: %bb.1(0x50000000), %bb.2(0x30000000)
1226   ; CHECK-NEXT:   liveins: $x0, $x1, $x2, $w3
1227   ; CHECK-NEXT: {{  $}}
1228   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr32common = COPY $w3
1229   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr64common = COPY $x2
1230   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr64common = COPY $x1
1231   ; CHECK-NEXT:   [[COPY3:%[0-9]+]]:gpr64common = COPY $x0
1232   ; CHECK-NEXT:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri [[COPY]], 1, 0, implicit-def $nzcv
1233   ; CHECK-NEXT:   Bcc 11, %bb.2, implicit $nzcv
1234   ; CHECK-NEXT:   B %bb.1
1235   ; CHECK-NEXT: {{  $}}
1236   ; CHECK-NEXT: bb.1.for.body.preheader:
1237   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
1238   ; CHECK-NEXT: {{  $}}
1239   ; CHECK-NEXT:   [[LDRWui:%[0-9]+]]:gpr32common = LDRWui [[COPY3]], 0 :: (load (s32) from %ir.read, !tbaa !0)
1240   ; CHECK-NEXT:   [[ADDWri:%[0-9]+]]:gpr32sp = ADDWri [[LDRWui]], 42, 0
1241   ; CHECK-NEXT:   [[COPY4:%[0-9]+]]:gpr32all = COPY [[ADDWri]]
1242   ; CHECK-NEXT:   [[MOVi32imm:%[0-9]+]]:gpr32 = MOVi32imm 43
1243   ; CHECK-NEXT:   STRWui killed [[MOVi32imm]], [[COPY1]], 0 :: (store (s32) into %ir.store, !tbaa !0)
1244   ; CHECK-NEXT:   B %bb.3
1245   ; CHECK-NEXT: {{  $}}
1246   ; CHECK-NEXT: bb.2.for.cond.cleanup:
1247   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.0, %6, %bb.3
1248   ; CHECK-NEXT:   STRWui [[PHI]], [[COPY2]], 0 :: (store (s32) into %ir.write, !tbaa !0)
1249   ; CHECK-NEXT:   RET_ReallyLR
1250   ; CHECK-NEXT: {{  $}}
1251   ; CHECK-NEXT: bb.3.for.body:
1252   ; CHECK-NEXT:   successors: %bb.2(0x04000000), %bb.3(0x7c000000)
1253   ; CHECK-NEXT: {{  $}}
1254   ; CHECK-NEXT:   [[PHI1:%[0-9]+]]:gpr32common = PHI [[COPY4]], %bb.1, %8, %bb.3
1255   ; CHECK-NEXT:   [[PHI2:%[0-9]+]]:gpr32sp = PHI [[COPY]], %bb.1, %7, %bb.3
1256   ; CHECK-NEXT:   [[PHI3:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.1, %6, %bb.3
1257   ; CHECK-NEXT:   [[SDIVWr:%[0-9]+]]:gpr32 = SDIVWr [[PHI3]], [[PHI1]]
1258   ; CHECK-NEXT:   [[COPY5:%[0-9]+]]:gpr32all = COPY [[SDIVWr]]
1259   ; CHECK-NEXT:   [[SUBSWri1:%[0-9]+]]:gpr32 = SUBSWri [[PHI2]], 1, 0, implicit-def $nzcv
1260   ; CHECK-NEXT:   [[COPY6:%[0-9]+]]:gpr32all = COPY [[SUBSWri1]]
1261   ; CHECK-NEXT:   [[ADDWri1:%[0-9]+]]:gpr32sp = ADDWri [[PHI1]], 1, 0
1262   ; CHECK-NEXT:   [[COPY7:%[0-9]+]]:gpr32all = COPY [[ADDWri1]]
1263   ; CHECK-NEXT:   Bcc 0, %bb.2, implicit $nzcv
1264   ; CHECK-NEXT:   B %bb.3
1265   bb.0.entry:
1266     successors: %bb.1(0x50000000), %bb.2(0x30000000)
1267     liveins: $x0, $x1, $x2, $w3
1268
1269     %12:gpr32common = COPY $w3
1270     %11:gpr64common = COPY $x2
1271     %10:gpr64common = COPY $x1
1272     %9:gpr64common = COPY $x0
1273     %13:gpr32common = LDRWui %9, 0 :: (load (s32) from %ir.read, !tbaa !0)
1274     %15:gpr32 = SUBSWri %12, 1, 0, implicit-def $nzcv
1275     Bcc 11, %bb.2, implicit $nzcv
1276     B %bb.1
1277
1278   bb.1.for.body.preheader:
1279     successors: %bb.3(0x80000000)
1280
1281     %16:gpr32sp = ADDWri %13, 42, 0
1282     %1:gpr32all = COPY %16
1283     %14:gpr32 = MOVi32imm 43
1284     STRWui killed %14, %11, 0 :: (store (s32) into %ir.store, !tbaa !0)
1285     B %bb.3
1286
1287   bb.2.for.cond.cleanup:
1288     %2:gpr32 = PHI %12, %bb.0, %6, %bb.3
1289     STRWui %2, %10, 0 :: (store (s32) into %ir.write, !tbaa !0)
1290     RET_ReallyLR
1291
1292   bb.3.for.body:
1293     successors: %bb.2(0x04000000), %bb.3(0x7c000000)
1294
1295     %3:gpr32common = PHI %1, %bb.1, %8, %bb.3
1296     %4:gpr32sp = PHI %12, %bb.1, %7, %bb.3
1297     %5:gpr32 = PHI %12, %bb.1, %6, %bb.3
1298     %17:gpr32 = SDIVWr %5, %3
1299     %6:gpr32all = COPY %17
1300     %18:gpr32 = SUBSWri %4, 1, 0, implicit-def $nzcv
1301     %7:gpr32all = COPY %18
1302     %19:gpr32sp = ADDWri %3, 1, 0
1303     %8:gpr32all = COPY %19
1304     Bcc 0, %bb.2, implicit $nzcv
1305     B %bb.3
1306
1307 ...
1308 ---
1309 name:            aliased_store_after_add
1310 alignment:       16
1311 exposesReturnsTwice: false
1312 legalized:       false
1313 regBankSelected: false
1314 selected:        false
1315 failedISel:      false
1316 tracksRegLiveness: true
1317 hasWinCFI:       false
1318 registers:
1319   - { id: 0, class: gpr32sp, preferred-register: '' }
1320   - { id: 1, class: gpr32all, preferred-register: '' }
1321   - { id: 2, class: gpr32, preferred-register: '' }
1322   - { id: 3, class: gpr32common, preferred-register: '' }
1323   - { id: 4, class: gpr32sp, preferred-register: '' }
1324   - { id: 5, class: gpr32, preferred-register: '' }
1325   - { id: 6, class: gpr32all, preferred-register: '' }
1326   - { id: 7, class: gpr32all, preferred-register: '' }
1327   - { id: 8, class: gpr32all, preferred-register: '' }
1328   - { id: 9, class: gpr64common, preferred-register: '' }
1329   - { id: 10, class: gpr64common, preferred-register: '' }
1330   - { id: 11, class: gpr64common, preferred-register: '' }
1331   - { id: 12, class: gpr32common, preferred-register: '' }
1332   - { id: 13, class: gpr32common, preferred-register: '' }
1333   - { id: 14, class: gpr32, preferred-register: '' }
1334   - { id: 15, class: gpr32, preferred-register: '' }
1335   - { id: 16, class: gpr32sp, preferred-register: '' }
1336   - { id: 17, class: gpr32, preferred-register: '' }
1337   - { id: 18, class: gpr32, preferred-register: '' }
1338   - { id: 19, class: gpr32sp, preferred-register: '' }
1339 liveins:
1340   - { reg: '$x0', virtual-reg: '%9' }
1341   - { reg: '$x1', virtual-reg: '%10' }
1342   - { reg: '$x2', virtual-reg: '%11' }
1343   - { reg: '$w3', virtual-reg: '%12' }
1344 frameInfo:
1345   isFrameAddressTaken: false
1346   isReturnAddressTaken: false
1347   hasStackMap:     false
1348   hasPatchPoint:   false
1349   stackSize:       0
1350   offsetAdjustment: 0
1351   maxAlignment:    1
1352   adjustsStack:    false
1353   hasCalls:        false
1354   stackProtector:  ''
1355   maxCallFrameSize: 0
1356   cvBytesOfCalleeSavedRegisters: 0
1357   hasOpaqueSPAdjustment: false
1358   hasVAStart:      false
1359   hasMustTailInVarArgFunc: false
1360   localFrameSize:  0
1361   savePoint:       ''
1362   restorePoint:    ''
1363 fixedStack:      []
1364 stack:           []
1365 callSites:       []
1366 debugValueSubstitutions: []
1367 constants:       []
1368 machineFunctionInfo: {}
1369 body:             |
1370   ; CHECK-LABEL: name: aliased_store_after_add
1371   ; CHECK: bb.0.entry:
1372   ; CHECK-NEXT:   successors: %bb.1(0x50000000), %bb.2(0x30000000)
1373   ; CHECK-NEXT:   liveins: $x0, $x1, $x2, $w3
1374   ; CHECK-NEXT: {{  $}}
1375   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr32common = COPY $w3
1376   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr64common = COPY $x2
1377   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr64common = COPY $x1
1378   ; CHECK-NEXT:   [[COPY3:%[0-9]+]]:gpr64common = COPY $x0
1379   ; CHECK-NEXT:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri [[COPY]], 1, 0, implicit-def $nzcv
1380   ; CHECK-NEXT:   Bcc 11, %bb.2, implicit $nzcv
1381   ; CHECK-NEXT:   B %bb.1
1382   ; CHECK-NEXT: {{  $}}
1383   ; CHECK-NEXT: bb.1.for.body.preheader:
1384   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
1385   ; CHECK-NEXT: {{  $}}
1386   ; CHECK-NEXT:   [[LDRWui:%[0-9]+]]:gpr32common = LDRWui [[COPY3]], 0 :: (load (s32) from %ir.read, !tbaa !0)
1387   ; CHECK-NEXT:   [[ADDWri:%[0-9]+]]:gpr32sp = ADDWri [[LDRWui]], 42, 0
1388   ; CHECK-NEXT:   [[COPY4:%[0-9]+]]:gpr32all = COPY [[ADDWri]]
1389   ; CHECK-NEXT:   [[MOVi32imm:%[0-9]+]]:gpr32 = MOVi32imm 43
1390   ; CHECK-NEXT:   STRWui killed [[MOVi32imm]], [[COPY3]], 0 :: (store (s32) into %ir.read, !tbaa !0)
1391   ; CHECK-NEXT:   B %bb.3
1392   ; CHECK-NEXT: {{  $}}
1393   ; CHECK-NEXT: bb.2.for.cond.cleanup:
1394   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.0, %6, %bb.3
1395   ; CHECK-NEXT:   STRWui [[PHI]], [[COPY2]], 0 :: (store (s32) into %ir.write, !tbaa !0)
1396   ; CHECK-NEXT:   RET_ReallyLR
1397   ; CHECK-NEXT: {{  $}}
1398   ; CHECK-NEXT: bb.3.for.body:
1399   ; CHECK-NEXT:   successors: %bb.2(0x04000000), %bb.3(0x7c000000)
1400   ; CHECK-NEXT: {{  $}}
1401   ; CHECK-NEXT:   [[PHI1:%[0-9]+]]:gpr32common = PHI [[COPY4]], %bb.1, %8, %bb.3
1402   ; CHECK-NEXT:   [[PHI2:%[0-9]+]]:gpr32sp = PHI [[COPY]], %bb.1, %7, %bb.3
1403   ; CHECK-NEXT:   [[PHI3:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.1, %6, %bb.3
1404   ; CHECK-NEXT:   [[SDIVWr:%[0-9]+]]:gpr32 = SDIVWr [[PHI3]], [[PHI1]]
1405   ; CHECK-NEXT:   [[COPY5:%[0-9]+]]:gpr32all = COPY [[SDIVWr]]
1406   ; CHECK-NEXT:   [[SUBSWri1:%[0-9]+]]:gpr32 = SUBSWri [[PHI2]], 1, 0, implicit-def $nzcv
1407   ; CHECK-NEXT:   [[COPY6:%[0-9]+]]:gpr32all = COPY [[SUBSWri1]]
1408   ; CHECK-NEXT:   [[ADDWri1:%[0-9]+]]:gpr32sp = ADDWri [[PHI1]], 1, 0
1409   ; CHECK-NEXT:   [[COPY7:%[0-9]+]]:gpr32all = COPY [[ADDWri1]]
1410   ; CHECK-NEXT:   Bcc 0, %bb.2, implicit $nzcv
1411   ; CHECK-NEXT:   B %bb.3
1412   bb.0.entry:
1413     successors: %bb.1(0x50000000), %bb.2(0x30000000)
1414     liveins: $x0, $x1, $x2, $w3
1415
1416     %12:gpr32common = COPY $w3
1417     %11:gpr64common = COPY $x2
1418     %10:gpr64common = COPY $x1
1419     %9:gpr64common = COPY $x0
1420     %13:gpr32common = LDRWui %9, 0 :: (load (s32) from %ir.read, !tbaa !0)
1421     %15:gpr32 = SUBSWri %12, 1, 0, implicit-def $nzcv
1422     Bcc 11, %bb.2, implicit $nzcv
1423     B %bb.1
1424
1425   bb.1.for.body.preheader:
1426     successors: %bb.3(0x80000000)
1427
1428     %16:gpr32sp = ADDWri %13, 42, 0
1429     %1:gpr32all = COPY %16
1430     %14:gpr32 = MOVi32imm 43
1431     STRWui killed %14, %9, 0 :: (store (s32) into %ir.read, !tbaa !0)
1432     B %bb.3
1433
1434   bb.2.for.cond.cleanup:
1435     %2:gpr32 = PHI %12, %bb.0, %6, %bb.3
1436     STRWui %2, %10, 0 :: (store (s32) into %ir.write, !tbaa !0)
1437     RET_ReallyLR
1438
1439   bb.3.for.body:
1440     successors: %bb.2(0x04000000), %bb.3(0x7c000000)
1441
1442     %3:gpr32common = PHI %1, %bb.1, %8, %bb.3
1443     %4:gpr32sp = PHI %12, %bb.1, %7, %bb.3
1444     %5:gpr32 = PHI %12, %bb.1, %6, %bb.3
1445     %17:gpr32 = SDIVWr %5, %3
1446     %6:gpr32all = COPY %17
1447     %18:gpr32 = SUBSWri %4, 1, 0, implicit-def $nzcv
1448     %7:gpr32all = COPY %18
1449     %19:gpr32sp = ADDWri %3, 1, 0
1450     %8:gpr32all = COPY %19
1451     Bcc 0, %bb.2, implicit $nzcv
1452     B %bb.3
1453
1454 ...
1455