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 %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 = nuw ADDXri [[COPY]], 4, 0
 332   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr64all = COPY [[ADDXri]]
 333   ; CHECK-NEXT:   [[ADDXri1:%[0-9]+]]:gpr64sp = nuw ADDXri [[COPY]], 8, 0
 334   ; CHECK-NEXT:   [[COPY3:%[0-9]+]]:gpr64all = COPY [[ADDXri1]]
 335   ; CHECK-NEXT:   [[ADDXri2:%[0-9]+]]:gpr64sp = nuw ADDXri [[COPY]], 12, 0
 336   ; CHECK-NEXT:   [[COPY4:%[0-9]+]]:gpr64all = COPY [[ADDXri2]]
 337   ; CHECK-NEXT:   [[ADDXri3:%[0-9]+]]:gpr64sp = nuw ADDXri [[COPY]], 16, 0
 338   ; CHECK-NEXT:   [[COPY5:%[0-9]+]]:gpr64all = COPY [[ADDXri3]]
 339   ; CHECK-NEXT:   [[ADDXri4:%[0-9]+]]:gpr64sp = nuw ADDXri [[COPY]], 20, 0
 340   ; CHECK-NEXT:   [[COPY6:%[0-9]+]]:gpr64all = COPY [[ADDXri4]]
 341   ; CHECK-NEXT:   [[ADDXri5:%[0-9]+]]:gpr64sp = ADDXri [[COPY1]], 1, 0
 342   ; CHECK-NEXT:   [[COPY7:%[0-9]+]]:gpr64all = COPY [[ADDXri5]]
 343   ; CHECK-NEXT:   [[MOVaddrJT:%[0-9]+]]:gpr64common = MOVaddrJT target-flags(aarch64-page) %jump-table.0, target-flags(aarch64-pageoff, aarch64-nc) %jump-table.0
 344   ; CHECK-NEXT: {{  $}}
 345   ; CHECK-NEXT: bb.1..backedge:
 346   ; CHECK-NEXT:   successors: %bb.9(0x09249249), %bb.2(0x76db6db7)
 347   ; CHECK-NEXT: {{  $}}
 348   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr64sp = PHI [[COPY7]], %bb.0, %7, %bb.9
 349   ; CHECK-NEXT:   [[LDRBBui:%[0-9]+]]:gpr32 = LDRBBui [[PHI]], 0 :: (load (s8) from %ir.lsr.iv)
 350   ; CHECK-NEXT:   [[SUBREG_TO_REG:%[0-9]+]]:gpr64 = SUBREG_TO_REG 0, killed [[LDRBBui]], %subreg.sub_32
 351   ; CHECK-NEXT:   [[COPY8:%[0-9]+]]:gpr32sp = COPY [[SUBREG_TO_REG]].sub_32
 352   ; CHECK-NEXT:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri killed [[COPY8]], 50, 0, implicit-def $nzcv
 353   ; CHECK-NEXT:   Bcc 8, %bb.9, implicit $nzcv
 354   ; CHECK-NEXT: {{  $}}
 355   ; CHECK-NEXT: bb.2..backedge:
 356   ; CHECK-NEXT:   successors: %bb.3(0x13b13b14), %bb.9(0x09d89d8a), %bb.4(0x13b13b14), %bb.5(0x13b13b14), %bb.6(0x13b13b14), %bb.7(0x13b13b14), %bb.8(0x13b13b14)
 357   ; CHECK-NEXT: {{  $}}
 358   ; CHECK-NEXT:   early-clobber %21:gpr64, early-clobber %22:gpr64sp = JumpTableDest32 [[MOVaddrJT]], [[SUBREG_TO_REG]], %jump-table.0
 359   ; CHECK-NEXT:   BR killed %21
 360   ; CHECK-NEXT: {{  $}}
 361   ; CHECK-NEXT: bb.3.bb7:
 362   ; CHECK-NEXT:   successors: %bb.9(0x80000000)
 363   ; CHECK-NEXT: {{  $}}
 364   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 365   ; CHECK-NEXT:   $x0 = COPY [[COPY]]
 366   ; CHECK-NEXT:   BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 367   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 368   ; CHECK-NEXT:   B %bb.9
 369   ; CHECK-NEXT: {{  $}}
 370   ; CHECK-NEXT: bb.4.bb9:
 371   ; CHECK-NEXT:   successors: %bb.9(0x80000000)
 372   ; CHECK-NEXT: {{  $}}
 373   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 374   ; CHECK-NEXT:   $x0 = COPY [[COPY2]]
 375   ; CHECK-NEXT:   BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 376   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 377   ; CHECK-NEXT:   B %bb.9
 378   ; CHECK-NEXT: {{  $}}
 379   ; CHECK-NEXT: bb.5.bb10:
 380   ; CHECK-NEXT:   successors: %bb.9(0x80000000)
 381   ; CHECK-NEXT: {{  $}}
 382   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 383   ; CHECK-NEXT:   $x0 = COPY [[COPY3]]
 384   ; CHECK-NEXT:   BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 385   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 386   ; CHECK-NEXT:   B %bb.9
 387   ; CHECK-NEXT: {{  $}}
 388   ; CHECK-NEXT: bb.6.bb11:
 389   ; CHECK-NEXT:   successors: %bb.9(0x80000000)
 390   ; CHECK-NEXT: {{  $}}
 391   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 392   ; CHECK-NEXT:   $x0 = COPY [[COPY4]]
 393   ; CHECK-NEXT:   BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 394   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 395   ; CHECK-NEXT:   B %bb.9
 396   ; CHECK-NEXT: {{  $}}
 397   ; CHECK-NEXT: bb.7.bb12:
 398   ; CHECK-NEXT:   successors: %bb.9(0x80000000)
 399   ; CHECK-NEXT: {{  $}}
 400   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 401   ; CHECK-NEXT:   $x0 = COPY [[COPY5]]
 402   ; CHECK-NEXT:   BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 403   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 404   ; CHECK-NEXT:   B %bb.9
 405   ; CHECK-NEXT: {{  $}}
 406   ; CHECK-NEXT: bb.8.bb13:
 407   ; CHECK-NEXT:   successors: %bb.9(0x80000000)
 408   ; CHECK-NEXT: {{  $}}
 409   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 410   ; CHECK-NEXT:   $x0 = COPY [[COPY6]]
 411   ; CHECK-NEXT:   BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 412   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 413   ; CHECK-NEXT: {{  $}}
 414   ; CHECK-NEXT: bb.9..backedge.backedge:
 415   ; CHECK-NEXT:   successors: %bb.1(0x80000000)
 416   ; CHECK-NEXT: {{  $}}
 417   ; CHECK-NEXT:   [[ADDXri6:%[0-9]+]]:gpr64sp = ADDXri [[PHI]], 1, 0
 418   ; CHECK-NEXT:   [[COPY9:%[0-9]+]]:gpr64all = COPY [[ADDXri6]]
 419   ; CHECK-NEXT:   B %bb.1
 420   bb.0 (%ir-block.bb):
 421     successors: %bb.1(0x80000000)
 422     liveins: $x0, $x1
 423
 424     %9:gpr64common = COPY $x1
 425     %8:gpr64common = COPY $x0
 426     %10:gpr64sp = nuw ADDXri %9, 4, 0
 427     %0:gpr64all = COPY %10
 428     %11:gpr64sp = nuw ADDXri %9, 8, 0
 429     %1:gpr64all = COPY %11
 430     %12:gpr64sp = nuw ADDXri %9, 12, 0
 431     %2:gpr64all = COPY %12
 432     %13:gpr64sp = nuw ADDXri %9, 16, 0
 433     %3:gpr64all = COPY %13
 434     %14:gpr64sp = nuw ADDXri %9, 20, 0
 435     %4:gpr64all = COPY %14
 436     %15:gpr64sp = ADDXri %8, 1, 0
 437     %5:gpr64all = COPY %15
 438     %20:gpr64common = MOVaddrJT target-flags(aarch64-page) %jump-table.0, target-flags(aarch64-pageoff, aarch64-nc) %jump-table.0
 439
 440   bb.1..backedge:
 441     successors: %bb.8(0x09249249), %bb.9(0x76db6db7)
 442
 443     %6:gpr64sp = PHI %5, %bb.0, %7, %bb.8
 444     %17:gpr32 = LDRBBui %6, 0 :: (load (s8) from %ir.lsr.iv)
 445     %16:gpr64 = SUBREG_TO_REG 0, killed %17, %subreg.sub_32
 446     %18:gpr32sp = COPY %16.sub_32
 447     %19:gpr32 = SUBSWri killed %18, 50, 0, implicit-def $nzcv
 448     Bcc 8, %bb.8, implicit $nzcv
 449
 450   bb.9..backedge:
 451     successors: %bb.2(0x13b13b14), %bb.8(0x09d89d8a), %bb.3(0x13b13b14), %bb.4(0x13b13b14), %bb.5(0x13b13b14), %bb.6(0x13b13b14), %bb.7(0x13b13b14)
 452
 453     early-clobber %21:gpr64, early-clobber %22:gpr64sp = JumpTableDest32 %20, %16, %jump-table.0
 454     BR killed %21
 455
 456   bb.2 (%ir-block.bb7):
 457     successors: %bb.8(0x80000000)
 458
 459     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 460     $x0 = COPY %9
 461     BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 462     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 463     B %bb.8
 464
 465   bb.3 (%ir-block.bb9):
 466     successors: %bb.8(0x80000000)
 467
 468     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 469     $x0 = COPY %0
 470     BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 471     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 472     B %bb.8
 473
 474   bb.4 (%ir-block.bb10):
 475     successors: %bb.8(0x80000000)
 476
 477     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 478     $x0 = COPY %1
 479     BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 480     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 481     B %bb.8
 482
 483   bb.5 (%ir-block.bb11):
 484     successors: %bb.8(0x80000000)
 485
 486     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 487     $x0 = COPY %2
 488     BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 489     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 490     B %bb.8
 491
 492   bb.6 (%ir-block.bb12):
 493     successors: %bb.8(0x80000000)
 494
 495     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 496     $x0 = COPY %3
 497     BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 498     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 499     B %bb.8
 500
 501   bb.7 (%ir-block.bb13):
 502     successors: %bb.8(0x80000000)
 503
 504     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 505     $x0 = COPY %4
 506     BL @_Z6assignPj, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp
 507     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 508
 509   bb.8..backedge.backedge:
 510     successors: %bb.1(0x80000000)
 511
 512     %23:gpr64sp = ADDXri %6, 1, 0
 513     %7:gpr64all = COPY %23
 514     B %bb.1
 515
 516 ...
 517 ---
 518 name:            load_not_safe_to_move_consecutive_call
 519 alignment:       4
 520 exposesReturnsTwice: false
 521 legalized:       false
 522 regBankSelected: false
 523 selected:        false
 524 failedISel:      false
 525 tracksRegLiveness: true
 526 hasWinCFI:       false
 527 registers:
 528   - { id: 0, class: gpr32, preferred-register: '' }
 529   - { id: 1, class: gpr32all, preferred-register: '' }
 530   - { id: 2, class: gpr32sp, preferred-register: '' }
 531   - { id: 3, class: gpr32, preferred-register: '' }
 532   - { id: 4, class: gpr32all, preferred-register: '' }
 533   - { id: 5, class: gpr32all, preferred-register: '' }
 534   - { id: 6, class: gpr32common, preferred-register: '' }
 535   - { id: 7, class: gpr32, preferred-register: '' }
 536   - { id: 8, class: gpr64common, preferred-register: '' }
 537   - { id: 9, class: gpr32, preferred-register: '' }
 538   - { id: 10, class: gpr32all, preferred-register: '' }
 539   - { id: 11, class: gpr32, preferred-register: '' }
 540   - { id: 12, class: gpr32, preferred-register: '' }
 541 liveins:
 542   - { reg: '$w0', virtual-reg: '%6' }
 543 frameInfo:
 544   isFrameAddressTaken: false
 545   isReturnAddressTaken: false
 546   hasStackMap:     false
 547   hasPatchPoint:   false
 548   stackSize:       0
 549   offsetAdjustment: 0
 550   maxAlignment:    1
 551   adjustsStack:    true
 552   hasCalls:        true
 553   stackProtector:  ''
 554   maxCallFrameSize: 0
 555   cvBytesOfCalleeSavedRegisters: 0
 556   hasOpaqueSPAdjustment: false
 557   hasVAStart:      false
 558   hasMustTailInVarArgFunc: false
 559   localFrameSize:  0
 560   savePoint:       ''
 561   restorePoint:    ''
 562 fixedStack:      []
 563 stack:           []
 564 callSites:       []
 565 debugValueSubstitutions: []
 566 constants:       []
 567 machineFunctionInfo: {}
 568 body:             |
 569   ; CHECK-LABEL: name: load_not_safe_to_move_consecutive_call
 570   ; CHECK: bb.0.entry:
 571   ; CHECK-NEXT:   successors: %bb.1(0x50000000), %bb.2(0x30000000)
 572   ; CHECK-NEXT:   liveins: $w0
 573   ; CHECK-NEXT: {{  $}}
 574   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr32common = COPY $w0
 575   ; CHECK-NEXT:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri [[COPY]], 1, 0, implicit-def $nzcv
 576   ; CHECK-NEXT:   Bcc 11, %bb.2, implicit $nzcv
 577   ; CHECK-NEXT:   B %bb.1
 578   ; CHECK-NEXT: {{  $}}
 579   ; CHECK-NEXT: bb.1.for.body.preheader:
 580   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
 581   ; CHECK-NEXT: {{  $}}
 582   ; CHECK-NEXT:   [[ADRP:%[0-9]+]]:gpr64common = ADRP target-flags(aarch64-page) @A
 583   ; CHECK-NEXT:   [[LDRWui:%[0-9]+]]:gpr32 = LDRWui killed [[ADRP]], target-flags(aarch64-pageoff, aarch64-nc) @A :: (dereferenceable load (s32) from @A)
 584   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 585   ; CHECK-NEXT:   $w0 = COPY [[COPY]]
 586   ; CHECK-NEXT:   BL @use, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $w0, implicit-def $sp, implicit-def $w0
 587   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 588   ; CHECK-NEXT:   B %bb.3
 589   ; CHECK-NEXT: {{  $}}
 590   ; CHECK-NEXT: bb.2.for.cond.cleanup:
 591   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr32all = PHI [[COPY]], %bb.0, %4, %bb.3
 592   ; CHECK-NEXT:   $w0 = COPY [[PHI]]
 593   ; CHECK-NEXT:   RET_ReallyLR implicit $w0
 594   ; CHECK-NEXT: {{  $}}
 595   ; CHECK-NEXT: bb.3.for.body:
 596   ; CHECK-NEXT:   successors: %bb.2(0x04000000), %bb.3(0x7c000000)
 597   ; CHECK-NEXT: {{  $}}
 598   ; CHECK-NEXT:   [[PHI1:%[0-9]+]]:gpr32sp = PHI [[COPY]], %bb.1, %5, %bb.3
 599   ; CHECK-NEXT:   [[PHI2:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.1, %4, %bb.3
 600   ; CHECK-NEXT:   [[SDIVWr:%[0-9]+]]:gpr32 = SDIVWr [[PHI2]], [[LDRWui]]
 601   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr32all = COPY [[SDIVWr]]
 602   ; CHECK-NEXT:   [[SUBSWri1:%[0-9]+]]:gpr32 = SUBSWri [[PHI1]], 1, 0, implicit-def $nzcv
 603   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr32all = COPY [[SUBSWri1]]
 604   ; CHECK-NEXT:   Bcc 0, %bb.2, implicit $nzcv
 605   ; CHECK-NEXT:   B %bb.3
 606   bb.0.entry:
 607     successors: %bb.1(0x50000000), %bb.2(0x30000000)
 608     liveins: $w0
 609
 610     %6:gpr32common = COPY $w0
 611     %7:gpr32 = SUBSWri %6, 1, 0, implicit-def $nzcv
 612     Bcc 11, %bb.2, implicit $nzcv
 613     B %bb.1
 614
 615   bb.1.for.body.preheader:
 616     successors: %bb.3(0x80000000)
 617
 618     %8:gpr64common = ADRP target-flags(aarch64-page) @A
 619     %9:gpr32 = LDRWui killed %8, target-flags(aarch64-pageoff, aarch64-nc) @A :: (dereferenceable load (s32) from @A)
 620     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 621     $w0 = COPY %6
 622     BL @use, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $w0, implicit-def $sp, implicit-def $w0
 623     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 624     B %bb.3
 625
 626   bb.2.for.cond.cleanup:
 627     %1:gpr32all = PHI %6, %bb.0, %4, %bb.3
 628     $w0 = COPY %1
 629     RET_ReallyLR implicit $w0
 630
 631   bb.3.for.body:
 632     successors: %bb.2(0x04000000), %bb.3(0x7c000000)
 633
 634     %2:gpr32sp = PHI %6, %bb.1, %5, %bb.3
 635     %3:gpr32 = PHI %6, %bb.1, %4, %bb.3
 636     %11:gpr32 = SDIVWr %3, %9
 637     %4:gpr32all = COPY %11
 638     %12:gpr32 = SUBSWri %2, 1, 0, implicit-def $nzcv
 639     %5:gpr32all = COPY %12
 640     Bcc 0, %bb.2, implicit $nzcv
 641     B %bb.3
 642
 643 ...
 644 ---
 645 name:            load_not_safe_to_move_consecutive_call_use
 646 alignment:       4
 647 exposesReturnsTwice: false
 648 legalized:       false
 649 regBankSelected: false
 650 selected:        false
 651 failedISel:      false
 652 tracksRegLiveness: true
 653 hasWinCFI:       false
 654 registers:
 655   - { id: 0, class: gpr32, preferred-register: '' }
 656   - { id: 1, class: gpr32all, preferred-register: '' }
 657   - { id: 2, class: gpr32sp, preferred-register: '' }
 658   - { id: 3, class: gpr32, preferred-register: '' }
 659   - { id: 4, class: gpr32all, preferred-register: '' }
 660   - { id: 5, class: gpr32all, preferred-register: '' }
 661   - { id: 6, class: gpr32common, preferred-register: '' }
 662   - { id: 7, class: gpr32, preferred-register: '' }
 663   - { id: 8, class: gpr64common, preferred-register: '' }
 664   - { id: 9, class: gpr32, preferred-register: '' }
 665   - { id: 10, class: gpr32all, preferred-register: '' }
 666   - { id: 11, class: gpr32, preferred-register: '' }
 667   - { id: 12, class: gpr32, preferred-register: '' }
 668 liveins:
 669   - { reg: '$w0', virtual-reg: '%6' }
 670 frameInfo:
 671   isFrameAddressTaken: false
 672   isReturnAddressTaken: false
 673   hasStackMap:     false
 674   hasPatchPoint:   false
 675   stackSize:       0
 676   offsetAdjustment: 0
 677   maxAlignment:    1
 678   adjustsStack:    true
 679   hasCalls:        true
 680   stackProtector:  ''
 681   maxCallFrameSize: 0
 682   cvBytesOfCalleeSavedRegisters: 0
 683   hasOpaqueSPAdjustment: false
 684   hasVAStart:      false
 685   hasMustTailInVarArgFunc: false
 686   localFrameSize:  0
 687   savePoint:       ''
 688   restorePoint:    ''
 689 fixedStack:      []
 690 stack:           []
 691 callSites:       []
 692 debugValueSubstitutions: []
 693 constants:       []
 694 machineFunctionInfo: {}
 695 body:             |
 696   ; CHECK-LABEL: name: load_not_safe_to_move_consecutive_call_use
 697   ; CHECK: bb.0.entry:
 698   ; CHECK-NEXT:   successors: %bb.1(0x50000000), %bb.2(0x30000000)
 699   ; CHECK-NEXT:   liveins: $w0
 700   ; CHECK-NEXT: {{  $}}
 701   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr32common = COPY $w0
 702   ; CHECK-NEXT:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri [[COPY]], 1, 0, implicit-def $nzcv
 703   ; CHECK-NEXT:   Bcc 11, %bb.2, implicit $nzcv
 704   ; CHECK-NEXT:   B %bb.1
 705   ; CHECK-NEXT: {{  $}}
 706   ; CHECK-NEXT: bb.1.for.body.preheader:
 707   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
 708   ; CHECK-NEXT: {{  $}}
 709   ; CHECK-NEXT:   [[ADRP:%[0-9]+]]:gpr64common = ADRP target-flags(aarch64-page) @A
 710   ; CHECK-NEXT:   [[LDRWui:%[0-9]+]]:gpr32 = LDRWui killed [[ADRP]], target-flags(aarch64-pageoff, aarch64-nc) @A :: (dereferenceable load (s32) from @A)
 711   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 712   ; CHECK-NEXT:   $w0 = COPY [[LDRWui]]
 713   ; CHECK-NEXT:   BL @use, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $w0, implicit-def $sp, implicit-def $w0
 714   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 715   ; CHECK-NEXT:   B %bb.3
 716   ; CHECK-NEXT: {{  $}}
 717   ; CHECK-NEXT: bb.2.for.cond.cleanup:
 718   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr32all = PHI [[COPY]], %bb.0, %4, %bb.3
 719   ; CHECK-NEXT:   $w0 = COPY [[PHI]]
 720   ; CHECK-NEXT:   RET_ReallyLR implicit $w0
 721   ; CHECK-NEXT: {{  $}}
 722   ; CHECK-NEXT: bb.3.for.body:
 723   ; CHECK-NEXT:   successors: %bb.2(0x04000000), %bb.3(0x7c000000)
 724   ; CHECK-NEXT: {{  $}}
 725   ; CHECK-NEXT:   [[PHI1:%[0-9]+]]:gpr32sp = PHI [[COPY]], %bb.1, %5, %bb.3
 726   ; CHECK-NEXT:   [[PHI2:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.1, %4, %bb.3
 727   ; CHECK-NEXT:   [[SDIVWr:%[0-9]+]]:gpr32 = SDIVWr [[PHI2]], [[LDRWui]]
 728   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr32all = COPY [[SDIVWr]]
 729   ; CHECK-NEXT:   [[SUBSWri1:%[0-9]+]]:gpr32 = SUBSWri [[PHI1]], 1, 0, implicit-def $nzcv
 730   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr32all = COPY [[SUBSWri1]]
 731   ; CHECK-NEXT:   Bcc 0, %bb.2, implicit $nzcv
 732   ; CHECK-NEXT:   B %bb.3
 733   bb.0.entry:
 734     successors: %bb.1(0x50000000), %bb.2(0x30000000)
 735     liveins: $w0
 736
 737     %6:gpr32common = COPY $w0
 738     %7:gpr32 = SUBSWri %6, 1, 0, implicit-def $nzcv
 739     Bcc 11, %bb.2, implicit $nzcv
 740     B %bb.1
 741
 742   bb.1.for.body.preheader:
 743     successors: %bb.3(0x80000000)
 744
 745     %8:gpr64common = ADRP target-flags(aarch64-page) @A
 746     %9:gpr32 = LDRWui killed %8, target-flags(aarch64-pageoff, aarch64-nc) @A :: (dereferenceable load (s32) from @A)
 747     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 748     $w0 = COPY %9
 749     BL @use, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $w0, implicit-def $sp, implicit-def $w0
 750     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 751     B %bb.3
 752
 753   bb.2.for.cond.cleanup:
 754     %1:gpr32all = PHI %6, %bb.0, %4, %bb.3
 755     $w0 = COPY %1
 756     RET_ReallyLR implicit $w0
 757
 758   bb.3.for.body:
 759     successors: %bb.2(0x04000000), %bb.3(0x7c000000)
 760
 761     %2:gpr32sp = PHI %6, %bb.1, %5, %bb.3
 762     %3:gpr32 = PHI %6, %bb.1, %4, %bb.3
 763     %11:gpr32 = SDIVWr %3, %9
 764     %4:gpr32all = COPY %11
 765     %12:gpr32 = SUBSWri %2, 1, 0, implicit-def $nzcv
 766     %5:gpr32all = COPY %12
 767     Bcc 0, %bb.2, implicit $nzcv
 768     B %bb.3
 769
 770 ...
 771 ---
 772 name:            cant_sink_use_outside_loop
 773 alignment:       4
 774 exposesReturnsTwice: false
 775 legalized:       false
 776 regBankSelected: false
 777 selected:        false
 778 failedISel:      false
 779 tracksRegLiveness: true
 780 hasWinCFI:       false
 781 registers:
 782   - { id: 0, class: gpr32all, preferred-register: '' }
 783   - { id: 1, class: gpr32all, preferred-register: '' }
 784   - { id: 2, class: gpr32all, preferred-register: '' }
 785   - { id: 3, class: gpr32sp, preferred-register: '' }
 786   - { id: 4, class: gpr32all, preferred-register: '' }
 787   - { id: 5, class: gpr32all, preferred-register: '' }
 788   - { id: 6, class: gpr32all, preferred-register: '' }
 789   - { id: 7, class: gpr32common, preferred-register: '' }
 790   - { id: 8, class: gpr32all, preferred-register: '' }
 791   - { id: 9, class: gpr32all, preferred-register: '' }
 792   - { id: 10, class: gpr32, preferred-register: '' }
 793   - { id: 11, class: gpr64common, preferred-register: '' }
 794   - { id: 12, class: gpr32, preferred-register: '' }
 795   - { id: 13, class: gpr32, preferred-register: '' }
 796   - { id: 14, class: gpr32, preferred-register: '' }
 797   - { id: 15, class: gpr32all, preferred-register: '' }
 798 liveins:
 799   - { reg: '$w0', virtual-reg: '%7' }
 800 frameInfo:
 801   isFrameAddressTaken: false
 802   isReturnAddressTaken: false
 803   hasStackMap:     false
 804   hasPatchPoint:   false
 805   stackSize:       0
 806   offsetAdjustment: 0
 807   maxAlignment:    1
 808   adjustsStack:    true
 809   hasCalls:        true
 810   stackProtector:  ''
 811   maxCallFrameSize: 0
 812   cvBytesOfCalleeSavedRegisters: 0
 813   hasOpaqueSPAdjustment: false
 814   hasVAStart:      false
 815   hasMustTailInVarArgFunc: false
 816   localFrameSize:  0
 817   savePoint:       ''
 818   restorePoint:    ''
 819 fixedStack:      []
 820 stack:           []
 821 callSites:       []
 822 debugValueSubstitutions: []
 823 constants:       []
 824 machineFunctionInfo: {}
 825 body:             |
 826   ; CHECK-LABEL: name: cant_sink_use_outside_loop
 827   ; CHECK: bb.0.entry:
 828   ; CHECK-NEXT:   successors: %bb.1(0x50000000), %bb.4(0x30000000)
 829   ; CHECK-NEXT:   liveins: $w0
 830   ; CHECK-NEXT: {{  $}}
 831   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr32common = COPY $w0
 832   ; CHECK-NEXT:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri [[COPY]], 1, 0, implicit-def $nzcv
 833   ; CHECK-NEXT:   Bcc 10, %bb.1, implicit $nzcv
 834   ; CHECK-NEXT: {{  $}}
 835   ; CHECK-NEXT: bb.4:
 836   ; CHECK-NEXT:   successors: %bb.2(0x80000000)
 837   ; CHECK-NEXT: {{  $}}
 838   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr32all = COPY $wzr
 839   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr32all = COPY [[COPY1]]
 840   ; CHECK-NEXT:   B %bb.2
 841   ; CHECK-NEXT: {{  $}}
 842   ; CHECK-NEXT: bb.1.for.body.preheader:
 843   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
 844   ; CHECK-NEXT: {{  $}}
 845   ; CHECK-NEXT:   [[ADRP:%[0-9]+]]:gpr64common = ADRP target-flags(aarch64-page) @A
 846   ; CHECK-NEXT:   [[LDRWui:%[0-9]+]]:gpr32 = LDRWui killed [[ADRP]], target-flags(aarch64-pageoff, aarch64-nc) @A :: (dereferenceable load (s32) from @A)
 847   ; CHECK-NEXT:   [[COPY3:%[0-9]+]]:gpr32all = COPY [[LDRWui]]
 848   ; CHECK-NEXT:   B %bb.3
 849   ; CHECK-NEXT: {{  $}}
 850   ; CHECK-NEXT: bb.2.for.cond.cleanup:
 851   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr32all = PHI [[COPY]], %bb.4, %5, %bb.5
 852   ; CHECK-NEXT:   [[PHI1:%[0-9]+]]:gpr32all = PHI [[COPY2]], %bb.4, [[COPY3]], %bb.5
 853   ; CHECK-NEXT:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 854   ; CHECK-NEXT:   $w0 = COPY [[PHI1]]
 855   ; CHECK-NEXT:   BL @use, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $w0, implicit-def $sp, implicit-def $w0
 856   ; CHECK-NEXT:   ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 857   ; CHECK-NEXT:   $w0 = COPY [[PHI]]
 858   ; CHECK-NEXT:   RET_ReallyLR implicit $w0
 859   ; CHECK-NEXT: {{  $}}
 860   ; CHECK-NEXT: bb.3.for.body:
 861   ; CHECK-NEXT:   successors: %bb.5(0x04000000), %bb.3(0x7c000000)
 862   ; CHECK-NEXT: {{  $}}
 863   ; CHECK-NEXT:   [[PHI2:%[0-9]+]]:gpr32sp = PHI [[COPY]], %bb.1, %6, %bb.3
 864   ; CHECK-NEXT:   [[SUBSWri1:%[0-9]+]]:gpr32 = SUBSWri [[PHI2]], 1, 0, implicit-def $nzcv
 865   ; CHECK-NEXT:   [[COPY4:%[0-9]+]]:gpr32all = COPY [[SUBSWri1]]
 866   ; CHECK-NEXT:   Bcc 1, %bb.3, implicit $nzcv
 867   ; CHECK-NEXT: {{  $}}
 868   ; CHECK-NEXT: bb.5:
 869   ; CHECK-NEXT:   successors: %bb.2(0x80000000)
 870   ; CHECK-NEXT: {{  $}}
 871   ; CHECK-NEXT:   [[MOVi32imm:%[0-9]+]]:gpr32 = MOVi32imm 1
 872   ; CHECK-NEXT:   [[COPY5:%[0-9]+]]:gpr32all = COPY [[MOVi32imm]]
 873   ; CHECK-NEXT:   B %bb.2
 874   bb.0.entry:
 875     successors: %bb.1(0x50000000), %bb.2(0x30000000)
 876     liveins: $w0
 877
 878     %7:gpr32common = COPY $w0
 879     %9:gpr32all = COPY $wzr
 880     %8:gpr32all = COPY %9
 881     %10:gpr32 = SUBSWri %7, 1, 0, implicit-def $nzcv
 882     Bcc 11, %bb.2, implicit $nzcv
 883     B %bb.1
 884
 885   bb.1.for.body.preheader:
 886     successors: %bb.3(0x80000000)
 887
 888     %11:gpr64common = ADRP target-flags(aarch64-page) @A
 889     %12:gpr32 = LDRWui killed %11, target-flags(aarch64-pageoff, aarch64-nc) @A :: (dereferenceable load (s32) from @A)
 890     %0:gpr32all = COPY %12
 891     B %bb.3
 892
 893   bb.2.for.cond.cleanup:
 894     %1:gpr32all = PHI %7, %bb.0, %5, %bb.3
 895     %2:gpr32all = PHI %8, %bb.0, %0, %bb.3
 896     ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
 897     $w0 = COPY %2
 898     BL @use, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $w0, implicit-def $sp, implicit-def $w0
 899     ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
 900     $w0 = COPY %1
 901     RET_ReallyLR implicit $w0
 902
 903   bb.3.for.body:
 904     successors: %bb.2(0x04000000), %bb.3(0x7c000000)
 905
 906     %3:gpr32sp = PHI %7, %bb.1, %6, %bb.3
 907     %13:gpr32 = MOVi32imm 1
 908     %5:gpr32all = COPY %13
 909     %14:gpr32 = SUBSWri %3, 1, 0, implicit-def $nzcv
 910     %6:gpr32all = COPY %14
 911     Bcc 0, %bb.2, implicit $nzcv
 912     B %bb.3
 913
 914 ...
 915 ---
 916 name:            use_is_not_a_copy
 917 alignment:       4
 918 exposesReturnsTwice: false
 919 legalized:       false
 920 regBankSelected: false
 921 selected:        false
 922 failedISel:      false
 923 tracksRegLiveness: true
 924 hasWinCFI:       false
 925 registers:
 926   - { id: 0, class: gpr32, preferred-register: '' }
 927   - { id: 1, class: gpr32all, preferred-register: '' }
 928   - { id: 2, class: gpr32sp, preferred-register: '' }
 929   - { id: 3, class: gpr32, preferred-register: '' }
 930   - { id: 4, class: gpr32all, preferred-register: '' }
 931   - { id: 5, class: gpr32all, preferred-register: '' }
 932   - { id: 6, class: gpr32common, preferred-register: '' }
 933   - { id: 7, class: gpr32, preferred-register: '' }
 934   - { id: 8, class: gpr64common, preferred-register: '' }
 935   - { id: 9, class: gpr32, preferred-register: '' }
 936   - { id: 10, class: gpr32, preferred-register: '' }
 937   - { id: 11, class: gpr32, preferred-register: '' }
 938 liveins:
 939   - { reg: '$w0', virtual-reg: '%6' }
 940 frameInfo:
 941   isFrameAddressTaken: false
 942   isReturnAddressTaken: false
 943   hasStackMap:     false
 944   hasPatchPoint:   false
 945   stackSize:       0
 946   offsetAdjustment: 0
 947   maxAlignment:    1
 948   adjustsStack:    false
 949   hasCalls:        false
 950   stackProtector:  ''
 951   maxCallFrameSize: 0
 952   cvBytesOfCalleeSavedRegisters: 0
 953   hasOpaqueSPAdjustment: false
 954   hasVAStart:      false
 955   hasMustTailInVarArgFunc: false
 956   localFrameSize:  0
 957   savePoint:       ''
 958   restorePoint:    ''
 959 fixedStack:      []
 960 stack:           []
 961 callSites:       []
 962 debugValueSubstitutions: []
 963 constants:       []
 964 machineFunctionInfo: {}
 965 body:             |
 966   ; CHECK-LABEL: name: use_is_not_a_copy
 967   ; CHECK: bb.0.entry:
 968   ; CHECK-NEXT:   successors: %bb.1(0x50000000), %bb.2(0x30000000)
 969   ; CHECK-NEXT:   liveins: $w0
 970   ; CHECK-NEXT: {{  $}}
 971   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr32common = COPY $w0
 972   ; CHECK-NEXT:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri [[COPY]], 1, 0, implicit-def $nzcv
 973   ; CHECK-NEXT:   Bcc 11, %bb.2, implicit $nzcv
 974   ; CHECK-NEXT:   B %bb.1
 975   ; CHECK-NEXT: {{  $}}
 976   ; CHECK-NEXT: bb.1.for.body.preheader:
 977   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
 978   ; CHECK-NEXT: {{  $}}
 979   ; CHECK-NEXT:   [[ADRP:%[0-9]+]]:gpr64common = ADRP target-flags(aarch64-page) @A
 980   ; CHECK-NEXT:   [[LDRWui:%[0-9]+]]:gpr32 = LDRWui killed [[ADRP]], target-flags(aarch64-pageoff, aarch64-nc) @A :: (dereferenceable load (s32) from @A)
 981   ; CHECK-NEXT:   B %bb.3
 982   ; CHECK-NEXT: {{  $}}
 983   ; CHECK-NEXT: bb.2.for.cond.cleanup:
 984   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr32all = PHI [[COPY]], %bb.0, %4, %bb.3
 985   ; CHECK-NEXT:   $w0 = COPY [[PHI]]
 986   ; CHECK-NEXT:   RET_ReallyLR implicit $w0
 987   ; CHECK-NEXT: {{  $}}
 988   ; CHECK-NEXT: bb.3.for.body:
 989   ; CHECK-NEXT:   successors: %bb.2(0x04000000), %bb.3(0x7c000000)
 990   ; CHECK-NEXT: {{  $}}
 991   ; CHECK-NEXT:   [[PHI1:%[0-9]+]]:gpr32sp = PHI [[COPY]], %bb.1, %5, %bb.3
 992   ; CHECK-NEXT:   [[PHI2:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.1, %4, %bb.3
 993   ; CHECK-NEXT:   [[SDIVWr:%[0-9]+]]:gpr32 = SDIVWr [[PHI2]], [[LDRWui]]
 994   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr32all = COPY [[SDIVWr]]
 995   ; CHECK-NEXT:   [[SUBSWri1:%[0-9]+]]:gpr32 = SUBSWri [[PHI1]], 1, 0, implicit-def $nzcv
 996   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr32all = COPY [[SUBSWri1]]
 997   ; CHECK-NEXT:   Bcc 0, %bb.2, implicit $nzcv
 998   ; CHECK-NEXT:   B %bb.3
 999   bb.0.entry:
1000     successors: %bb.1(0x50000000), %bb.2(0x30000000)
1001     liveins: $w0
1002
1003     %6:gpr32common = COPY $w0
1004     %7:gpr32 = SUBSWri %6, 1, 0, implicit-def $nzcv
1005     Bcc 11, %bb.2, implicit $nzcv
1006     B %bb.1
1007
1008   bb.1.for.body.preheader:
1009     successors: %bb.3(0x80000000)
1010
1011     %8:gpr64common = ADRP target-flags(aarch64-page) @A
1012     %9:gpr32 = LDRWui killed %8, target-flags(aarch64-pageoff, aarch64-nc) @A :: (dereferenceable load (s32) from @A)
1013     B %bb.3
1014
1015   bb.2.for.cond.cleanup:
1016     %1:gpr32all = PHI %6, %bb.0, %4, %bb.3
1017     $w0 = COPY %1
1018     RET_ReallyLR implicit $w0
1019
1020   bb.3.for.body:
1021     successors: %bb.2(0x04000000), %bb.3(0x7c000000)
1022
1023     %2:gpr32sp = PHI %6, %bb.1, %5, %bb.3
1024     %3:gpr32 = PHI %6, %bb.1, %4, %bb.3
1025     %10:gpr32 = SDIVWr %3, %9
1026     %4:gpr32all = COPY %10
1027     %11:gpr32 = SUBSWri %2, 1, 0, implicit-def $nzcv
1028     %5:gpr32all = COPY %11
1029     Bcc 0, %bb.2, implicit $nzcv
1030     B %bb.3
1031
1032 ...
1033 ---
1034 name:            sink_add
1035 alignment:       16
1036 exposesReturnsTwice: false
1037 legalized:       false
1038 regBankSelected: false
1039 selected:        false
1040 failedISel:      false
1041 tracksRegLiveness: true
1042 hasWinCFI:       false
1043 registers:
1044   - { id: 0, class: gpr32sp, preferred-register: '' }
1045   - { id: 1, class: gpr32all, preferred-register: '' }
1046   - { id: 2, class: gpr32, preferred-register: '' }
1047   - { id: 3, class: gpr32common, preferred-register: '' }
1048   - { id: 4, class: gpr32sp, preferred-register: '' }
1049   - { id: 5, class: gpr32, preferred-register: '' }
1050   - { id: 6, class: gpr32all, preferred-register: '' }
1051   - { id: 7, class: gpr32all, preferred-register: '' }
1052   - { id: 8, class: gpr32all, preferred-register: '' }
1053   - { id: 9, class: gpr64common, preferred-register: '' }
1054   - { id: 10, class: gpr64common, preferred-register: '' }
1055   - { id: 11, class: gpr32common, preferred-register: '' }
1056   - { id: 12, class: gpr32common, preferred-register: '' }
1057   - { id: 13, class: gpr32, preferred-register: '' }
1058   - { id: 14, class: gpr32sp, preferred-register: '' }
1059   - { id: 15, class: gpr32, preferred-register: '' }
1060   - { id: 16, class: gpr32, preferred-register: '' }
1061   - { id: 17, class: gpr32sp, preferred-register: '' }
1062 liveins:
1063   - { reg: '$x0', virtual-reg: '%9' }
1064   - { reg: '$x1', virtual-reg: '%10' }
1065   - { reg: '$w2', virtual-reg: '%11' }
1066 frameInfo:
1067   isFrameAddressTaken: false
1068   isReturnAddressTaken: false
1069   hasStackMap:     false
1070   hasPatchPoint:   false
1071   stackSize:       0
1072   offsetAdjustment: 0
1073   maxAlignment:    1
1074   adjustsStack:    false
1075   hasCalls:        false
1076   stackProtector:  ''
1077   maxCallFrameSize: 0
1078   cvBytesOfCalleeSavedRegisters: 0
1079   hasOpaqueSPAdjustment: false
1080   hasVAStart:      false
1081   hasMustTailInVarArgFunc: false
1082   localFrameSize:  0
1083   savePoint:       ''
1084   restorePoint:    ''
1085 fixedStack:      []
1086 stack:           []
1087 callSites:       []
1088 debugValueSubstitutions: []
1089 constants:       []
1090 machineFunctionInfo: {}
1091 body:             |
1092   ; CHECK-LABEL: name: sink_add
1093   ; CHECK: bb.0.entry:
1094   ; CHECK-NEXT:   successors: %bb.1(0x50000000), %bb.2(0x30000000)
1095   ; CHECK-NEXT:   liveins: $x0, $x1, $w2
1096   ; CHECK-NEXT: {{  $}}
1097   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr32common = COPY $w2
1098   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr64common = COPY $x1
1099   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr64common = COPY $x0
1100   ; CHECK-NEXT:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri [[COPY]], 1, 0, implicit-def $nzcv
1101   ; CHECK-NEXT:   Bcc 11, %bb.2, implicit $nzcv
1102   ; CHECK-NEXT:   B %bb.1
1103   ; CHECK-NEXT: {{  $}}
1104   ; CHECK-NEXT: bb.1.for.body.preheader:
1105   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
1106   ; CHECK-NEXT: {{  $}}
1107   ; CHECK-NEXT:   [[LDRWui:%[0-9]+]]:gpr32common = LDRWui [[COPY2]], 0 :: (load (s32) from %ir.read, !tbaa !0)
1108   ; CHECK-NEXT:   [[ADDWri:%[0-9]+]]:gpr32sp = ADDWri [[LDRWui]], 42, 0
1109   ; CHECK-NEXT:   [[COPY3:%[0-9]+]]:gpr32all = COPY [[ADDWri]]
1110   ; CHECK-NEXT:   B %bb.3
1111   ; CHECK-NEXT: {{  $}}
1112   ; CHECK-NEXT: bb.2.for.cond.cleanup:
1113   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.0, %6, %bb.3
1114   ; CHECK-NEXT:   STRWui [[PHI]], [[COPY1]], 0 :: (store (s32) into %ir.write, !tbaa !0)
1115   ; CHECK-NEXT:   RET_ReallyLR
1116   ; CHECK-NEXT: {{  $}}
1117   ; CHECK-NEXT: bb.3.for.body:
1118   ; CHECK-NEXT:   successors: %bb.2(0x04000000), %bb.3(0x7c000000)
1119   ; CHECK-NEXT: {{  $}}
1120   ; CHECK-NEXT:   [[PHI1:%[0-9]+]]:gpr32common = PHI [[COPY3]], %bb.1, %8, %bb.3
1121   ; CHECK-NEXT:   [[PHI2:%[0-9]+]]:gpr32sp = PHI [[COPY]], %bb.1, %7, %bb.3
1122   ; CHECK-NEXT:   [[PHI3:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.1, %6, %bb.3
1123   ; CHECK-NEXT:   [[SDIVWr:%[0-9]+]]:gpr32 = SDIVWr [[PHI3]], [[PHI1]]
1124   ; CHECK-NEXT:   [[COPY4:%[0-9]+]]:gpr32all = COPY [[SDIVWr]]
1125   ; CHECK-NEXT:   [[SUBSWri1:%[0-9]+]]:gpr32 = SUBSWri [[PHI2]], 1, 0, implicit-def $nzcv
1126   ; CHECK-NEXT:   [[COPY5:%[0-9]+]]:gpr32all = COPY [[SUBSWri1]]
1127   ; CHECK-NEXT:   [[ADDWri1:%[0-9]+]]:gpr32sp = ADDWri [[PHI1]], 1, 0
1128   ; CHECK-NEXT:   [[COPY6:%[0-9]+]]:gpr32all = COPY [[ADDWri1]]
1129   ; CHECK-NEXT:   Bcc 0, %bb.2, implicit $nzcv
1130   ; CHECK-NEXT:   B %bb.3
1131   bb.0.entry:
1132     successors: %bb.1(0x50000000), %bb.2(0x30000000)
1133     liveins: $x0, $x1, $w2
1134
1135     %11:gpr32common = COPY $w2
1136     %10:gpr64common = COPY $x1
1137     %9:gpr64common = COPY $x0
1138     %12:gpr32common = LDRWui %9, 0 :: (load (s32) from %ir.read, !tbaa !0)
1139     %13:gpr32 = SUBSWri %11, 1, 0, implicit-def $nzcv
1140     Bcc 11, %bb.2, implicit $nzcv
1141     B %bb.1
1142
1143   bb.1.for.body.preheader:
1144     successors: %bb.3(0x80000000)
1145
1146     %14:gpr32sp = ADDWri %12, 42, 0
1147     %1:gpr32all = COPY %14
1148     B %bb.3
1149
1150   bb.2.for.cond.cleanup:
1151     %2:gpr32 = PHI %11, %bb.0, %6, %bb.3
1152     STRWui %2, %10, 0 :: (store (s32) into %ir.write, !tbaa !0)
1153     RET_ReallyLR
1154
1155   bb.3.for.body:
1156     successors: %bb.2(0x04000000), %bb.3(0x7c000000)
1157
1158     %3:gpr32common = PHI %1, %bb.1, %8, %bb.3
1159     %4:gpr32sp = PHI %11, %bb.1, %7, %bb.3
1160     %5:gpr32 = PHI %11, %bb.1, %6, %bb.3
1161     %15:gpr32 = SDIVWr %5, %3
1162     %6:gpr32all = COPY %15
1163     %16:gpr32 = SUBSWri %4, 1, 0, implicit-def $nzcv
1164     %7:gpr32all = COPY %16
1165     %17:gpr32sp = ADDWri %3, 1, 0
1166     %8:gpr32all = COPY %17
1167     Bcc 0, %bb.2, implicit $nzcv
1168     B %bb.3
1169
1170 ...
1171 ---
1172 name:            store_after_add
1173 alignment:       16
1174 exposesReturnsTwice: false
1175 legalized:       false
1176 regBankSelected: false
1177 selected:        false
1178 failedISel:      false
1179 tracksRegLiveness: true
1180 hasWinCFI:       false
1181 registers:
1182   - { id: 0, class: gpr32sp, preferred-register: '' }
1183   - { id: 1, class: gpr32all, preferred-register: '' }
1184   - { id: 2, class: gpr32, preferred-register: '' }
1185   - { id: 3, class: gpr32common, preferred-register: '' }
1186   - { id: 4, class: gpr32sp, preferred-register: '' }
1187   - { id: 5, class: gpr32, preferred-register: '' }
1188   - { id: 6, class: gpr32all, preferred-register: '' }
1189   - { id: 7, class: gpr32all, preferred-register: '' }
1190   - { id: 8, class: gpr32all, preferred-register: '' }
1191   - { id: 9, class: gpr64common, preferred-register: '' }
1192   - { id: 10, class: gpr64common, preferred-register: '' }
1193   - { id: 11, class: gpr64common, preferred-register: '' }
1194   - { id: 12, class: gpr32common, preferred-register: '' }
1195   - { id: 13, class: gpr32common, preferred-register: '' }
1196   - { id: 14, class: gpr32, preferred-register: '' }
1197   - { id: 15, class: gpr32, preferred-register: '' }
1198   - { id: 16, class: gpr32sp, preferred-register: '' }
1199   - { id: 17, class: gpr32, preferred-register: '' }
1200   - { id: 18, class: gpr32, preferred-register: '' }
1201   - { id: 19, class: gpr32sp, preferred-register: '' }
1202 liveins:
1203   - { reg: '$x0', virtual-reg: '%9' }
1204   - { reg: '$x1', virtual-reg: '%10' }
1205   - { reg: '$x2', virtual-reg: '%11' }
1206   - { reg: '$w3', virtual-reg: '%12' }
1207 frameInfo:
1208   isFrameAddressTaken: false
1209   isReturnAddressTaken: false
1210   hasStackMap:     false
1211   hasPatchPoint:   false
1212   stackSize:       0
1213   offsetAdjustment: 0
1214   maxAlignment:    1
1215   adjustsStack:    false
1216   hasCalls:        false
1217   stackProtector:  ''
1218   maxCallFrameSize: 0
1219   cvBytesOfCalleeSavedRegisters: 0
1220   hasOpaqueSPAdjustment: false
1221   hasVAStart:      false
1222   hasMustTailInVarArgFunc: false
1223   localFrameSize:  0
1224   savePoint:       ''
1225   restorePoint:    ''
1226 fixedStack:      []
1227 stack:           []
1228 callSites:       []
1229 debugValueSubstitutions: []
1230 constants:       []
1231 machineFunctionInfo: {}
1232 body:             |
1233   ; CHECK-LABEL: name: store_after_add
1234   ; CHECK: bb.0.entry:
1235   ; CHECK-NEXT:   successors: %bb.1(0x50000000), %bb.2(0x30000000)
1236   ; CHECK-NEXT:   liveins: $x0, $x1, $x2, $w3
1237   ; CHECK-NEXT: {{  $}}
1238   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr32common = COPY $w3
1239   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr64common = COPY $x2
1240   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr64common = COPY $x1
1241   ; CHECK-NEXT:   [[COPY3:%[0-9]+]]:gpr64common = COPY $x0
1242   ; CHECK-NEXT:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri [[COPY]], 1, 0, implicit-def $nzcv
1243   ; CHECK-NEXT:   Bcc 11, %bb.2, implicit $nzcv
1244   ; CHECK-NEXT:   B %bb.1
1245   ; CHECK-NEXT: {{  $}}
1246   ; CHECK-NEXT: bb.1.for.body.preheader:
1247   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
1248   ; CHECK-NEXT: {{  $}}
1249   ; CHECK-NEXT:   [[LDRWui:%[0-9]+]]:gpr32common = LDRWui [[COPY3]], 0 :: (load (s32) from %ir.read, !tbaa !0)
1250   ; CHECK-NEXT:   [[ADDWri:%[0-9]+]]:gpr32sp = ADDWri [[LDRWui]], 42, 0
1251   ; CHECK-NEXT:   [[COPY4:%[0-9]+]]:gpr32all = COPY [[ADDWri]]
1252   ; CHECK-NEXT:   [[MOVi32imm:%[0-9]+]]:gpr32 = MOVi32imm 43
1253   ; CHECK-NEXT:   STRWui killed [[MOVi32imm]], [[COPY1]], 0 :: (store (s32) into %ir.store, !tbaa !0)
1254   ; CHECK-NEXT:   B %bb.3
1255   ; CHECK-NEXT: {{  $}}
1256   ; CHECK-NEXT: bb.2.for.cond.cleanup:
1257   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.0, %6, %bb.3
1258   ; CHECK-NEXT:   STRWui [[PHI]], [[COPY2]], 0 :: (store (s32) into %ir.write, !tbaa !0)
1259   ; CHECK-NEXT:   RET_ReallyLR
1260   ; CHECK-NEXT: {{  $}}
1261   ; CHECK-NEXT: bb.3.for.body:
1262   ; CHECK-NEXT:   successors: %bb.2(0x04000000), %bb.3(0x7c000000)
1263   ; CHECK-NEXT: {{  $}}
1264   ; CHECK-NEXT:   [[PHI1:%[0-9]+]]:gpr32common = PHI [[COPY4]], %bb.1, %8, %bb.3
1265   ; CHECK-NEXT:   [[PHI2:%[0-9]+]]:gpr32sp = PHI [[COPY]], %bb.1, %7, %bb.3
1266   ; CHECK-NEXT:   [[PHI3:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.1, %6, %bb.3
1267   ; CHECK-NEXT:   [[SDIVWr:%[0-9]+]]:gpr32 = SDIVWr [[PHI3]], [[PHI1]]
1268   ; CHECK-NEXT:   [[COPY5:%[0-9]+]]:gpr32all = COPY [[SDIVWr]]
1269   ; CHECK-NEXT:   [[SUBSWri1:%[0-9]+]]:gpr32 = SUBSWri [[PHI2]], 1, 0, implicit-def $nzcv
1270   ; CHECK-NEXT:   [[COPY6:%[0-9]+]]:gpr32all = COPY [[SUBSWri1]]
1271   ; CHECK-NEXT:   [[ADDWri1:%[0-9]+]]:gpr32sp = ADDWri [[PHI1]], 1, 0
1272   ; CHECK-NEXT:   [[COPY7:%[0-9]+]]:gpr32all = COPY [[ADDWri1]]
1273   ; CHECK-NEXT:   Bcc 0, %bb.2, implicit $nzcv
1274   ; CHECK-NEXT:   B %bb.3
1275   bb.0.entry:
1276     successors: %bb.1(0x50000000), %bb.2(0x30000000)
1277     liveins: $x0, $x1, $x2, $w3
1278
1279     %12:gpr32common = COPY $w3
1280     %11:gpr64common = COPY $x2
1281     %10:gpr64common = COPY $x1
1282     %9:gpr64common = COPY $x0
1283     %13:gpr32common = LDRWui %9, 0 :: (load (s32) from %ir.read, !tbaa !0)
1284     %15:gpr32 = SUBSWri %12, 1, 0, implicit-def $nzcv
1285     Bcc 11, %bb.2, implicit $nzcv
1286     B %bb.1
1287
1288   bb.1.for.body.preheader:
1289     successors: %bb.3(0x80000000)
1290
1291     %16:gpr32sp = ADDWri %13, 42, 0
1292     %1:gpr32all = COPY %16
1293     %14:gpr32 = MOVi32imm 43
1294     STRWui killed %14, %11, 0 :: (store (s32) into %ir.store, !tbaa !0)
1295     B %bb.3
1296
1297   bb.2.for.cond.cleanup:
1298     %2:gpr32 = PHI %12, %bb.0, %6, %bb.3
1299     STRWui %2, %10, 0 :: (store (s32) into %ir.write, !tbaa !0)
1300     RET_ReallyLR
1301
1302   bb.3.for.body:
1303     successors: %bb.2(0x04000000), %bb.3(0x7c000000)
1304
1305     %3:gpr32common = PHI %1, %bb.1, %8, %bb.3
1306     %4:gpr32sp = PHI %12, %bb.1, %7, %bb.3
1307     %5:gpr32 = PHI %12, %bb.1, %6, %bb.3
1308     %17:gpr32 = SDIVWr %5, %3
1309     %6:gpr32all = COPY %17
1310     %18:gpr32 = SUBSWri %4, 1, 0, implicit-def $nzcv
1311     %7:gpr32all = COPY %18
1312     %19:gpr32sp = ADDWri %3, 1, 0
1313     %8:gpr32all = COPY %19
1314     Bcc 0, %bb.2, implicit $nzcv
1315     B %bb.3
1316
1317 ...
1318 ---
1319 name:            aliased_store_after_add
1320 alignment:       16
1321 exposesReturnsTwice: false
1322 legalized:       false
1323 regBankSelected: false
1324 selected:        false
1325 failedISel:      false
1326 tracksRegLiveness: true
1327 hasWinCFI:       false
1328 registers:
1329   - { id: 0, class: gpr32sp, preferred-register: '' }
1330   - { id: 1, class: gpr32all, preferred-register: '' }
1331   - { id: 2, class: gpr32, preferred-register: '' }
1332   - { id: 3, class: gpr32common, preferred-register: '' }
1333   - { id: 4, class: gpr32sp, preferred-register: '' }
1334   - { id: 5, class: gpr32, preferred-register: '' }
1335   - { id: 6, class: gpr32all, preferred-register: '' }
1336   - { id: 7, class: gpr32all, preferred-register: '' }
1337   - { id: 8, class: gpr32all, preferred-register: '' }
1338   - { id: 9, class: gpr64common, preferred-register: '' }
1339   - { id: 10, class: gpr64common, preferred-register: '' }
1340   - { id: 11, class: gpr64common, preferred-register: '' }
1341   - { id: 12, class: gpr32common, preferred-register: '' }
1342   - { id: 13, class: gpr32common, preferred-register: '' }
1343   - { id: 14, class: gpr32, preferred-register: '' }
1344   - { id: 15, class: gpr32, preferred-register: '' }
1345   - { id: 16, class: gpr32sp, preferred-register: '' }
1346   - { id: 17, class: gpr32, preferred-register: '' }
1347   - { id: 18, class: gpr32, preferred-register: '' }
1348   - { id: 19, class: gpr32sp, preferred-register: '' }
1349 liveins:
1350   - { reg: '$x0', virtual-reg: '%9' }
1351   - { reg: '$x1', virtual-reg: '%10' }
1352   - { reg: '$x2', virtual-reg: '%11' }
1353   - { reg: '$w3', virtual-reg: '%12' }
1354 frameInfo:
1355   isFrameAddressTaken: false
1356   isReturnAddressTaken: false
1357   hasStackMap:     false
1358   hasPatchPoint:   false
1359   stackSize:       0
1360   offsetAdjustment: 0
1361   maxAlignment:    1
1362   adjustsStack:    false
1363   hasCalls:        false
1364   stackProtector:  ''
1365   maxCallFrameSize: 0
1366   cvBytesOfCalleeSavedRegisters: 0
1367   hasOpaqueSPAdjustment: false
1368   hasVAStart:      false
1369   hasMustTailInVarArgFunc: false
1370   localFrameSize:  0
1371   savePoint:       ''
1372   restorePoint:    ''
1373 fixedStack:      []
1374 stack:           []
1375 callSites:       []
1376 debugValueSubstitutions: []
1377 constants:       []
1378 machineFunctionInfo: {}
1379 body:             |
1380   ; CHECK-LABEL: name: aliased_store_after_add
1381   ; CHECK: bb.0.entry:
1382   ; CHECK-NEXT:   successors: %bb.1(0x50000000), %bb.2(0x30000000)
1383   ; CHECK-NEXT:   liveins: $x0, $x1, $x2, $w3
1384   ; CHECK-NEXT: {{  $}}
1385   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr32common = COPY $w3
1386   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr64common = COPY $x2
1387   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr64common = COPY $x1
1388   ; CHECK-NEXT:   [[COPY3:%[0-9]+]]:gpr64common = COPY $x0
1389   ; CHECK-NEXT:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri [[COPY]], 1, 0, implicit-def $nzcv
1390   ; CHECK-NEXT:   Bcc 11, %bb.2, implicit $nzcv
1391   ; CHECK-NEXT:   B %bb.1
1392   ; CHECK-NEXT: {{  $}}
1393   ; CHECK-NEXT: bb.1.for.body.preheader:
1394   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
1395   ; CHECK-NEXT: {{  $}}
1396   ; CHECK-NEXT:   [[LDRWui:%[0-9]+]]:gpr32common = LDRWui [[COPY3]], 0 :: (load (s32) from %ir.read, !tbaa !0)
1397   ; CHECK-NEXT:   [[ADDWri:%[0-9]+]]:gpr32sp = ADDWri [[LDRWui]], 42, 0
1398   ; CHECK-NEXT:   [[COPY4:%[0-9]+]]:gpr32all = COPY [[ADDWri]]
1399   ; CHECK-NEXT:   [[MOVi32imm:%[0-9]+]]:gpr32 = MOVi32imm 43
1400   ; CHECK-NEXT:   STRWui killed [[MOVi32imm]], [[COPY3]], 0 :: (store (s32) into %ir.read, !tbaa !0)
1401   ; CHECK-NEXT:   B %bb.3
1402   ; CHECK-NEXT: {{  $}}
1403   ; CHECK-NEXT: bb.2.for.cond.cleanup:
1404   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.0, %6, %bb.3
1405   ; CHECK-NEXT:   STRWui [[PHI]], [[COPY2]], 0 :: (store (s32) into %ir.write, !tbaa !0)
1406   ; CHECK-NEXT:   RET_ReallyLR
1407   ; CHECK-NEXT: {{  $}}
1408   ; CHECK-NEXT: bb.3.for.body:
1409   ; CHECK-NEXT:   successors: %bb.2(0x04000000), %bb.3(0x7c000000)
1410   ; CHECK-NEXT: {{  $}}
1411   ; CHECK-NEXT:   [[PHI1:%[0-9]+]]:gpr32common = PHI [[COPY4]], %bb.1, %8, %bb.3
1412   ; CHECK-NEXT:   [[PHI2:%[0-9]+]]:gpr32sp = PHI [[COPY]], %bb.1, %7, %bb.3
1413   ; CHECK-NEXT:   [[PHI3:%[0-9]+]]:gpr32 = PHI [[COPY]], %bb.1, %6, %bb.3
1414   ; CHECK-NEXT:   [[SDIVWr:%[0-9]+]]:gpr32 = SDIVWr [[PHI3]], [[PHI1]]
1415   ; CHECK-NEXT:   [[COPY5:%[0-9]+]]:gpr32all = COPY [[SDIVWr]]
1416   ; CHECK-NEXT:   [[SUBSWri1:%[0-9]+]]:gpr32 = SUBSWri [[PHI2]], 1, 0, implicit-def $nzcv
1417   ; CHECK-NEXT:   [[COPY6:%[0-9]+]]:gpr32all = COPY [[SUBSWri1]]
1418   ; CHECK-NEXT:   [[ADDWri1:%[0-9]+]]:gpr32sp = ADDWri [[PHI1]], 1, 0
1419   ; CHECK-NEXT:   [[COPY7:%[0-9]+]]:gpr32all = COPY [[ADDWri1]]
1420   ; CHECK-NEXT:   Bcc 0, %bb.2, implicit $nzcv
1421   ; CHECK-NEXT:   B %bb.3
1422   bb.0.entry:
1423     successors: %bb.1(0x50000000), %bb.2(0x30000000)
1424     liveins: $x0, $x1, $x2, $w3
1425
1426     %12:gpr32common = COPY $w3
1427     %11:gpr64common = COPY $x2
1428     %10:gpr64common = COPY $x1
1429     %9:gpr64common = COPY $x0
1430     %13:gpr32common = LDRWui %9, 0 :: (load (s32) from %ir.read, !tbaa !0)
1431     %15:gpr32 = SUBSWri %12, 1, 0, implicit-def $nzcv
1432     Bcc 11, %bb.2, implicit $nzcv
1433     B %bb.1
1434
1435   bb.1.for.body.preheader:
1436     successors: %bb.3(0x80000000)
1437
1438     %16:gpr32sp = ADDWri %13, 42, 0
1439     %1:gpr32all = COPY %16
1440     %14:gpr32 = MOVi32imm 43
1441     STRWui killed %14, %9, 0 :: (store (s32) into %ir.read, !tbaa !0)
1442     B %bb.3
1443
1444   bb.2.for.cond.cleanup:
1445     %2:gpr32 = PHI %12, %bb.0, %6, %bb.3
1446     STRWui %2, %10, 0 :: (store (s32) into %ir.write, !tbaa !0)
1447     RET_ReallyLR
1448
1449   bb.3.for.body:
1450     successors: %bb.2(0x04000000), %bb.3(0x7c000000)
1451
1452     %3:gpr32common = PHI %1, %bb.1, %8, %bb.3
1453     %4:gpr32sp = PHI %12, %bb.1, %7, %bb.3
1454     %5:gpr32 = PHI %12, %bb.1, %6, %bb.3
1455     %17:gpr32 = SDIVWr %5, %3
1456     %6:gpr32all = COPY %17
1457     %18:gpr32 = SUBSWri %4, 1, 0, implicit-def $nzcv
1458     %7:gpr32all = COPY %18
1459     %19:gpr32sp = ADDWri %3, 1, 0
1460     %8:gpr32all = COPY %19
1461     Bcc 0, %bb.2, implicit $nzcv
1462     B %bb.3
1463
1464 ...
1465