# RUN: llc -mtriple=aarch64-none-linux-gnu -run-pass aarch64-ldst-opt  -verify-machineinstrs  -o - %s | FileCheck %s
---
# CHECK-LABEL: name: test_LDURSi_post
# CHECK: LDRSpost $x0, -4
name: test_LDURSi_post
body: |
  bb.0.entry:
    liveins: $x0

    $s0 = LDURSi $x0, 0 :: (load (s32))
    $x0 = SUBXri $x0, 4, 0
    RET_ReallyLR implicit $x0
...
# CHECK-LABEL: name: test_LDURDi_post
# CHECK: LDRDpost $x0, -4
name: test_LDURDi_post
body: |
  bb.0.entry:
    liveins: $x0

    $d0 = LDURDi $x0, 0 :: (load (s64))
    $x0 = SUBXri $x0, 4, 0
    RET_ReallyLR implicit $x0
...
# CHECK-LABEL: name: test_LDURQi_post
# CHECK: LDRQpost $x0, -4
name: test_LDURQi_post
body: |
  bb.0.entry:
    liveins: $x0

    $q0 = LDURQi  $x0, 0 :: (load (s128))
    $x0 = SUBXri $x0, 4, 0
    RET_ReallyLR implicit $x0
...
# CHECK-LABEL: name: test_LDURWi_post
# CHECK: LDRWpost $x0, -4
name: test_LDURWi_post
body: |
  bb.0.entry:
    liveins: $x0

    $w1 = LDURWi $x0, 0 :: (load (s32))
    $x0 = SUBXri $x0, 4, 0
    RET_ReallyLR implicit $x0
...
# CHECK-LABEL: name: test_LDURXi_post
# CHECK: $x1 = LDRXpost $x0, -4
name: test_LDURXi_post
body: |
  bb.0.entry:
    liveins: $x0

    $x1 = LDURXi $x0, 0 :: (load (s64))
    $x0 = SUBXri $x0, 4, 0
    RET_ReallyLR implicit $x0
...
# CHECK-LABEL: name: test_STURSi_post
# CHECK: STRSpost $s0, $x0, -4
name: test_STURSi_post
body: |
  bb.0.entry:
    liveins: $x0

    $s0 = FMOVS0
    STURSi $s0, $x0, 0 :: (store (s32))
    $x0 = SUBXri $x0, 4, 0
    RET_ReallyLR implicit $x0
...
# CHECK-LABEL: name: test_STURDi_post
# CHECK: STRDpost $d0, $x0, -4
name: test_STURDi_post
body: |
  bb.0.entry:
    liveins: $x0

    $d0 = FMOVD0
    STURDi $d0, $x0, 0 :: (store (s64))
    $x0 = SUBXri $x0, 4, 0
    RET_ReallyLR implicit $x0
...
# CHECK-LABEL: name: test_STURQi_post
# CHECK: STRQpost $q0, $x0, -4
name: test_STURQi_post
body: |
  bb.0.entry:
    liveins: $x0

    $q0 = MOVIv4i32 0, 0
    STURQi $q0, $x0, 0 :: (store (s128))
    $x0 = SUBXri $x0, 4, 0
    RET_ReallyLR implicit $x0
...
# CHECK-LABEL: name: test_STURWi_post
# CHECK: STRWpost $wzr, $x0, -4
name: test_STURWi_post
body: |
  bb.0.entry:
    liveins: $x0

    STURWi $wzr, $x0, 0 :: (store (s32))
    $x0 = SUBXri $x0, 4, 0
    RET_ReallyLR implicit $x0
...
# CHECK-LABEL: name: test_STURXi_post
# CHECK: STRXpost $xzr, $x0, -4
name: test_STURXi_post
body: |
  bb.0.entry:
    liveins: $x0

    STURXi $xzr, $x0, 0 :: (store (s64))
    $x0 = SUBXri $x0, 4, 0
    RET_ReallyLR implicit $x0
...