# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
# RUN: llc -run-pass=aarch64-ldst-opt -verify-machineinstrs %s -o - | FileCheck %s

--- |
  target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
  target triple = "aarch64-none-linux-gnu"

  ; Function Attrs: nofree norecurse nosync nounwind memory(argmem: readwrite) uwtable vscale_range(1,16)
  define dso_local void @test(ptr noundef captures(none) %data) local_unnamed_addr #0 {
  entry:
    br i1 undef, label %while.cond.preheader, label %for.body.preheader

  for.body.preheader:                               ; preds = %entry
    br label %for.body

  while.cond.preheader.loopexit:                    ; preds = %for.body
    br label %while.cond.preheader

  while.cond.preheader:                             ; preds = %while.cond.preheader.loopexit, %entry
    br i1 undef, label %while.body.lr.ph.lr.ph, label %for.cond28.preheader

  while.body.lr.ph.lr.ph:                           ; preds = %while.cond.preheader
    br label %while.body.preheader

  for.body:                                         ; preds = %for.body, %for.body.preheader
    br i1 undef, label %for.body, label %while.cond.preheader.loopexit

  for.cond28.preheader:                             ; preds = %if.then, %if.end, %while.cond.preheader
    br i1 undef, label %for.end45, label %for.body36.preheader

  for.body36.preheader:                             ; preds = %for.cond28.preheader
    br label %for.body36

  while.body:                                       ; preds = %if.end, %while.body.preheader
    br i1 undef, label %if.end, label %if.then

  if.then:                                          ; preds = %while.body
    br i1 undef, label %while.body.preheader, label %for.cond28.preheader

  while.body.preheader:                             ; preds = %if.then, %while.body.lr.ph.lr.ph
    br label %while.body

  if.end:                                           ; preds = %while.body
    br i1 undef, label %for.cond28.preheader, label %while.body

  for.body36:                                       ; preds = %for.body36.preheader, %for.body36
    br i1 undef, label %for.body36, label %for.end45

  for.end45:                                        ; preds = %for.body36, %for.cond28.preheader
    ret void
  }

...
---
name:            test
alignment:       16
exposesReturnsTwice: false
legalized:       false
regBankSelected: false
selected:        false
failedISel:      false
tracksRegLiveness: true
hasWinCFI:       false
noPhis:          true
isSSA:           false
noVRegs:         true
hasFakeUses:     false
callsEHReturn:   false
callsUnwindInit: false
hasEHContTarget: false
hasEHScopes:     false
hasEHFunclets:   false
isOutlined:      false
debugInstrRef:   false
failsVerification: false
tracksDebugUserValues: true
registers:       []
liveins:
  - { reg: '$x0', virtual-reg: '' }
frameInfo:
  isFrameAddressTaken: false
  isReturnAddressTaken: false
  hasStackMap:     false
  hasPatchPoint:   false
  stackSize:       0
  offsetAdjustment: 0
  maxAlignment:    1
  adjustsStack:    false
  hasCalls:        false
  stackProtector:  ''
  functionContext: ''
  maxCallFrameSize: 0
  cvBytesOfCalleeSavedRegisters: 0
  hasOpaqueSPAdjustment: false
  hasVAStart:      false
  hasMustTailInVarArgFunc: false
  hasTailCall:     false
  isCalleeSavedInfoValid: true
  localFrameSize:  0
  savePoint:       []
  restorePoint:    []
fixedStack:      []
stack:           []
entry_values:    []
callSites:       []
debugValueSubstitutions: []
constants:       []
machineFunctionInfo:
  hasRedZone:      false
body:             |
  ; CHECK-LABEL: name: test
  ; CHECK: bb.0.entry:
  ; CHECK-NEXT:   successors: %bb.1(0x40000000), %bb.5(0x40000000)
  ; CHECK-NEXT:   liveins: $x0
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   renamable $w8 = LDRBBui renamable $x0, 4
  ; CHECK-NEXT:   TBNZW killed renamable $w8, 3, %bb.5
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.1:
  ; CHECK-NEXT:   successors: %bb.2(0x80000000)
  ; CHECK-NEXT:   liveins: $x0
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   renamable $w11 = MOVZWi 1, 0
  ; CHECK-NEXT:   renamable $w9 = MOVZWi 1, 0
  ; CHECK-NEXT:   renamable $w8 = MOVZWi 2, 0, implicit-def $x8
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.2.while.cond.preheader:
  ; CHECK-NEXT:   successors: %bb.3(0x60000000), %bb.8(0x20000000)
  ; CHECK-NEXT:   liveins: $w9, $w11, $x0, $x8
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   dead $wzr = SUBSWri renamable $w11, 299, 0, implicit-def $nzcv
  ; CHECK-NEXT:   Bcc 8, %bb.8, implicit $nzcv
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.3.while.cond.preheader:
  ; CHECK-NEXT:   successors: %bb.4(0x55555555), %bb.8(0x2aaaaaab)
  ; CHECK-NEXT:   liveins: $w9, $x0, $x8
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   renamable $x10 = nuw ADDXrx renamable $x0, renamable $w9, 18
  ; CHECK-NEXT:   renamable $w11 = LDRWui renamable $x10, 0
  ; CHECK-NEXT:   TBZW killed renamable $w11, 3, %bb.8
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.4:
  ; CHECK-NEXT:   successors: %bb.14(0x80000000)
  ; CHECK-NEXT:   liveins: $w9, $x0, $x8, $x10
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   renamable $w9 = ORRWrs $wzr, killed renamable $w9, 0, implicit-def $x9
  ; CHECK-NEXT:   B %bb.14
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.5.for.body.preheader:
  ; CHECK-NEXT:   successors: %bb.6(0x80000000)
  ; CHECK-NEXT:   liveins: $x0
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   renamable $x10 = ADDXri renamable $x0, 8, 0
  ; CHECK-NEXT:   renamable $w9 = MOVZWi 1, 0
  ; CHECK-NEXT:   renamable $w12 = MOVZWi 2, 0, implicit-def $x12
  ; CHECK-NEXT:   $x11 = ORRXrs $xzr, $x10, 0
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.6.for.body:
  ; CHECK-NEXT:   successors: %bb.7(0x7e000000), %bb.2(0x02000000)
  ; CHECK-NEXT:   liveins: $w9, $x0, $x10, $x11, $x12
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   renamable $w8 = LDURWi renamable $x11, -4
  ; CHECK-NEXT:   STRWui killed renamable $w8, renamable $x11, 0
  ; CHECK-NEXT:   renamable $x8 = nuw nsw ADDXri renamable $x12, 2, 0
  ; CHECK-NEXT:   renamable $w9 = nuw nsw ADDWri killed renamable $w9, 1, 0
  ; CHECK-NEXT:   early-clobber renamable $x10, renamable $w13 = LDRBBpost killed renamable $x10, 4
  ; CHECK-NEXT:   TBZW killed renamable $w13, 3, %bb.2
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.7.for.body:
  ; CHECK-NEXT:   successors: %bb.6(0x7df7df7e), %bb.2(0x02082082)
  ; CHECK-NEXT:   liveins: $w9, $x0, $x8, $x10, $x11, $x12
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   renamable $x11 = ADDXri killed renamable $x11, 8, 0
  ; CHECK-NEXT:   dead $xzr = SUBSXri killed renamable $x12, 598, 0, implicit-def $nzcv
  ; CHECK-NEXT:   $x12 = ORRXrs $xzr, $x8, 0
  ; CHECK-NEXT:   Bcc 0, %bb.2, implicit $nzcv
  ; CHECK-NEXT:   B %bb.6
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.8.for.cond28.preheader:
  ; CHECK-NEXT:   successors: %bb.12(0x40000000), %bb.9(0x40000000)
  ; CHECK-NEXT:   liveins: $x0, $x8
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   renamable $w9 = LDRBBui renamable $x0, 4
  ; CHECK-NEXT:   TBZW killed renamable $w9, 3, %bb.12
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.9.for.body36.preheader:
  ; CHECK-NEXT:   successors: %bb.10(0x80000000)
  ; CHECK-NEXT:   liveins: $x0, $x8
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   renamable $w9 = MOVZWi 8, 0, implicit-def $x9
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.10.for.body36:
  ; CHECK-NEXT:   successors: %bb.11(0x7e000000), %bb.12(0x02000000)
  ; CHECK-NEXT:   liveins: $x0, $x8, $x9
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   renamable $w10 = SUBWri renamable $w8, 1, 0
  ; CHECK-NEXT:   renamable $w10 = LDRWroW renamable $x0, killed renamable $w10, 0, 1
  ; CHECK-NEXT:   early-clobber renamable $x8 = STRWpost killed renamable $w10, renamable $x8, 2
  ; CHECK-NEXT:   renamable $w10 = LDRBBroX renamable $x0, renamable $x9, 0, 0
  ; CHECK-NEXT:   TBZW killed renamable $w10, 3, %bb.12
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.11.for.body36:
  ; CHECK-NEXT:   successors: %bb.10(0x7df7df7e), %bb.12(0x02082082)
  ; CHECK-NEXT:   liveins: $x0, $x8, $x9
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   dead $xzr = SUBSXri renamable $x9, 1200, 0, implicit-def $nzcv
  ; CHECK-NEXT:   renamable $x9 = nuw nsw ADDXri killed renamable $x9, 4, 0
  ; CHECK-NEXT:   Bcc 1, %bb.10, implicit $nzcv
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.12.for.end45:
  ; CHECK-NEXT:   RET undef $lr
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.13.if.end:
  ; CHECK-NEXT:   successors: %bb.8(0x04000000), %bb.14(0x7c000000)
  ; CHECK-NEXT:   liveins: $x0, $x8, $x9, $x10
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   renamable $w11 = LDRBBui renamable $x10, 0
  ; CHECK-NEXT:   TBZW killed renamable $w11, 3, %bb.8
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.14.while.body:
  ; CHECK-NEXT:   successors: %bb.13(0x7c000000), %bb.15(0x04000000)
  ; CHECK-NEXT:   liveins: $x0, $x8, $x9, $x10
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   renamable $w11 = SUBWri renamable $w8, 1, 0
  ; CHECK-NEXT:   renamable $w11 = LDRWroW renamable $x0, killed renamable $w11, 0, 1
  ; CHECK-NEXT:   early-clobber renamable $x8 = STRWpost renamable $w11, renamable $x8, 2
  ; CHECK-NEXT:   TBZW killed renamable $w11, 2, %bb.13
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.15.if.then:
  ; CHECK-NEXT:   successors: %bb.16(0x7e000000), %bb.8(0x02000000)
  ; CHECK-NEXT:   liveins: $x0, $x9
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   renamable $w8 = LDRWui renamable $x0, 4
  ; CHECK-NEXT:   STRWroX killed renamable $w8, renamable $x0, renamable $x9, 0, 1
  ; CHECK-NEXT:   renamable $w8 = MOVZWi 3, 0, implicit-def $x8
  ; CHECK-NEXT:   dead $xzr = SUBSXri renamable $x9, 298, 0, implicit-def $nzcv
  ; CHECK-NEXT:   Bcc 8, %bb.8, implicit $nzcv
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.16.if.then:
  ; CHECK-NEXT:   successors: %bb.14(0x7df7df7e), %bb.8(0x02082082)
  ; CHECK-NEXT:   liveins: $x0, $x8, $x9
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   renamable $x9 = nuw nsw ADDXri killed renamable $x9, 1, 0
  ; CHECK-NEXT:   renamable $x10 = nuw ADDXrs renamable $x0, renamable $x9, 2
  ; CHECK-NEXT:   renamable $w11 = LDRWui renamable $x10, 0
  ; CHECK-NEXT:   TBZW killed renamable $w11, 3, %bb.8
  ; CHECK-NEXT:   B %bb.14
  bb.0.entry:
    successors: %bb.1(0x40000000), %bb.5(0x40000000)
    liveins: $x0

    renamable $w8 = LDRBBui renamable $x0, 4
    TBNZW killed renamable $w8, 3, %bb.5

  bb.1:
    successors: %bb.2(0x80000000)
    liveins: $x0

    renamable $w11 = MOVZWi 1, 0
    renamable $w9 = MOVZWi 1, 0
    renamable $w8 = MOVZWi 2, 0, implicit-def $x8

  bb.2.while.cond.preheader:
    successors: %bb.3(0x60000000), %bb.8(0x20000000)
    liveins: $w9, $w11, $x0, $x8

    dead $wzr = SUBSWri renamable $w11, 299, 0, implicit-def $nzcv
    Bcc 8, %bb.8, implicit $nzcv

  bb.3.while.cond.preheader:
    successors: %bb.4(0x55555555), %bb.8(0x2aaaaaab)
    liveins: $w9, $x0, $x8

    renamable $x10 = nuw ADDXrx renamable $x0, renamable $w9, 18
    renamable $w11 = LDRWui renamable $x10, 0
    TBZW killed renamable $w11, 3, %bb.8

  bb.4:
    successors: %bb.14(0x80000000)
    liveins: $w9, $x0, $x8, $x10

    renamable $w9 = ORRWrs $wzr, killed renamable $w9, 0, implicit-def $x9
    B %bb.14

  bb.5.for.body.preheader:
    successors: %bb.6(0x80000000)
    liveins: $x0

    renamable $x10 = ADDXri renamable $x0, 8, 0
    renamable $w9 = MOVZWi 1, 0
    renamable $w12 = MOVZWi 2, 0, implicit-def $x12
    $x11 = ORRXrs $xzr, $x10, 0

  bb.6.for.body:
    successors: %bb.7(0x7e000000), %bb.2(0x02000000)
    liveins: $w9, $x0, $x10, $x11, $x12

    renamable $w8 = LDURWi renamable $x11, -4
    STRWui killed renamable $w8, renamable $x11, 0
    renamable $x8 = nuw nsw ADDXri renamable $x12, 2, 0
    renamable $w9 = nuw nsw ADDWri killed renamable $w9, 1, 0
    early-clobber renamable $x10, renamable $w13 = LDRBBpost killed renamable $x10, 4
    TBZW killed renamable $w13, 3, %bb.2

  bb.7.for.body:
    successors: %bb.6(0x7df7df7e), %bb.2(0x02082082)
    liveins: $w9, $x0, $x8, $x10, $x11, $x12

    renamable $x11 = ADDXri killed renamable $x11, 8, 0
    dead $xzr = SUBSXri killed renamable $x12, 598, 0, implicit-def $nzcv
    $x12 = ORRXrs $xzr, $x8, 0
    Bcc 0, %bb.2, implicit $nzcv
    B %bb.6

  bb.8.for.cond28.preheader:
    successors: %bb.12(0x40000000), %bb.9(0x40000000)
    liveins: $x0, $x8

    renamable $w9 = LDRBBui renamable $x0, 4
    TBZW killed renamable $w9, 3, %bb.12

  bb.9.for.body36.preheader:
    successors: %bb.10(0x80000000)
    liveins: $x0, $x8

    renamable $w9 = MOVZWi 8, 0, implicit-def $x9

  bb.10.for.body36:
    successors: %bb.11(0x7e000000), %bb.12(0x02000000)
    liveins: $x0, $x8, $x9

    renamable $w10 = SUBWri renamable $w8, 1, 0
    renamable $w10 = LDRWroW renamable $x0, killed renamable $w10, 0, 1
    STRWui killed renamable $w10, renamable $x8, 0
    renamable $w10 = LDRBBroX renamable $x0, renamable $x9, 0, 0
    TBZW killed renamable $w10, 3, %bb.12

  bb.11.for.body36:
    successors: %bb.10(0x7df7df7e), %bb.12(0x02082082)
    liveins: $x0, $x8, $x9

    renamable $x8 = ADDXri renamable $x8, 2, 0, implicit killed $x8, implicit-def $x8
    dead $xzr = SUBSXri renamable $x9, 1200, 0, implicit-def $nzcv
    renamable $x9 = nuw nsw ADDXri killed renamable $x9, 4, 0
    Bcc 1, %bb.10, implicit $nzcv

  bb.12.for.end45:
    RET undef $lr

  bb.13.if.end:
    successors: %bb.8(0x04000000), %bb.14(0x7c000000)
    liveins: $x0, $x8, $x9, $x10

    renamable $x8 = ADDXri renamable $x8, 2, 0, implicit killed $x8, implicit-def $x8
    renamable $w11 = LDRBBui renamable $x10, 0
    TBZW killed renamable $w11, 3, %bb.8

  bb.14.while.body:
    successors: %bb.13(0x7c000000), %bb.15(0x04000000)
    liveins: $x0, $x8, $x9, $x10

    renamable $w11 = SUBWri renamable $w8, 1, 0
    renamable $w11 = LDRWroW renamable $x0, killed renamable $w11, 0, 1
    STRWui renamable $w11, renamable $x8, 0
    TBZW killed renamable $w11, 2, %bb.13

  bb.15.if.then:
    successors: %bb.16(0x7e000000), %bb.8(0x02000000)
    liveins: $x0, $x9

    renamable $w8 = LDRWui renamable $x0, 4
    STRWroX killed renamable $w8, renamable $x0, renamable $x9, 0, 1
    renamable $w8 = MOVZWi 3, 0, implicit-def $x8
    dead $xzr = SUBSXri renamable $x9, 298, 0, implicit-def $nzcv
    Bcc 8, %bb.8, implicit $nzcv

  bb.16.if.then:
    successors: %bb.14(0x7df7df7e), %bb.8(0x02082082)
    liveins: $x0, $x8, $x9

    renamable $x9 = nuw nsw ADDXri killed renamable $x9, 1, 0
    renamable $x10 = nuw ADDXrs renamable $x0, renamable $x9, 2
    renamable $w11 = LDRWui renamable $x10, 0
    TBZW killed renamable $w11, 3, %bb.8
    B %bb.14
...