# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
# RUN: llc -O0 -mtriple=aarch64-apple-ios -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s -check-prefix=CHECK
---
name:            ptr_add
legalized:       true
regBankSelected: true
body:             |
  bb.0:
      liveins: $x0
    ; CHECK-LABEL: name: ptr_add
    ; CHECK: [[COPY:%[0-9]+]]:gpr64 = COPY $x0
    ; CHECK: [[COPY1:%[0-9]+]]:gpr64common = COPY [[COPY]]
    ; CHECK: [[ADDXri:%[0-9]+]]:gpr64sp = ADDXri [[COPY1]], 42, 0
    ; CHECK: $x0 = COPY [[ADDXri]]
    %0:gpr(p0) = COPY $x0
    %1:gpr(s64) = G_CONSTANT i64 42
    %2:gpr(p0) = G_PTR_ADD %0, %1(s64)
    $x0 = COPY %2(p0)
...

---
name:            ptr_add_no_constant
legalized:       true
regBankSelected: true
body:             |
  bb.0:
      liveins: $x0, $x1
    ; CHECK-LABEL: name: ptr_add_no_constant
    ; CHECK: [[COPY:%[0-9]+]]:gpr64 = COPY $x0
    ; CHECK: [[COPY1:%[0-9]+]]:gpr64 = COPY $x1
    ; CHECK: [[ADDXrr:%[0-9]+]]:gpr64 = ADDXrr [[COPY]], [[COPY1]]
    ; CHECK: $x0 = COPY [[ADDXrr]]
    %0:gpr(p0) = COPY $x0
    %1:gpr(s64) = COPY $x1
    %2:gpr(p0) = G_PTR_ADD %0, %1(s64)
    $x0 = COPY %2(p0)
...

---
name:            ptr_add_bad_imm
legalized:       true
regBankSelected: true
body:             |
  bb.0:
      liveins: $x0, $x1
    ; CHECK-LABEL: name: ptr_add_bad_imm
    ; CHECK: [[COPY:%[0-9]+]]:gpr64 = COPY $x0
    ; CHECK: [[MOVi32imm:%[0-9]+]]:gpr32 = MOVi32imm 10000
    ; CHECK: [[SUBREG_TO_REG:%[0-9]+]]:gpr64 = SUBREG_TO_REG 0, [[MOVi32imm]], %subreg.sub_32
    ; CHECK: [[ADDXrr:%[0-9]+]]:gpr64 = ADDXrr [[COPY]], [[SUBREG_TO_REG]]
    ; CHECK: $x0 = COPY [[ADDXrr]]
    %0:gpr(p0) = COPY $x0
    %1:gpr(s64) = G_CONSTANT i64 10000
    %2:gpr(p0) = G_PTR_ADD %0, %1(s64)
    $x0 = COPY %2(p0)
...

---
name:            ptr_add_vec
legalized:       true
regBankSelected: true
body:             |
  bb.0:
      liveins: $q0, $q1
    ; CHECK-LABEL: name: ptr_add_vec
    ; CHECK: [[COPY:%[0-9]+]]:fpr128 = COPY $q0
    ; CHECK: [[COPY1:%[0-9]+]]:fpr128 = COPY $q1
    ; CHECK: [[ADDv2i64_:%[0-9]+]]:fpr128 = ADDv2i64 [[COPY]], [[COPY1]]
    ; CHECK: $q0 = COPY [[ADDv2i64_]]
    %0:fpr(<2 x p0>) = COPY $q0
    %1:fpr(<2 x s64>) = COPY $q1
    %3:fpr(<2 x p0>) = G_PTR_ADD %0, %1(<2 x s64>)
    $q0 = COPY %3(<2 x p0>)
...
---
name:            ptr_add_neg_imm
legalized:       true
regBankSelected: true
body:             |
  bb.0:
      liveins: $x0
    ; CHECK-LABEL: name: ptr_add_neg_imm
    ; CHECK: [[COPY:%[0-9]+]]:gpr64 = COPY $x0
    ; CHECK: [[COPY1:%[0-9]+]]:gpr64common = COPY [[COPY]]
    ; CHECK: [[SUBSXri:%[0-9]+]]:gpr64 = SUBSXri [[COPY1]], 10, 0, implicit-def $nzcv
    ; CHECK: $x0 = COPY [[SUBSXri]]
    %0:gpr(p0) = COPY $x0
    %1:gpr(s64) = G_CONSTANT i64 -10
    %2:gpr(p0) = G_PTR_ADD %0, %1(s64)
    $x0 = COPY %2(p0)
...
---
name:            ptr_add_arith_extended
legalized:       true
regBankSelected: true
body:             |
  bb.0:
      liveins: $x0
    ; CHECK-LABEL: name: ptr_add_arith_extended
    ; CHECK: %reg0:gpr32 = COPY $w0
    ; CHECK: %ptr:gpr64 = COPY $x1
    ; CHECK: [[COPY:%[0-9]+]]:gpr64common = COPY %ptr
    ; CHECK: %ptr_add:gpr64sp = ADDXrx [[COPY]], %reg0, 18
    ; CHECK: $x0 = COPY %ptr_add
    %reg0:gpr(s32) = COPY $w0
    %ptr:gpr(p0) = COPY $x1
    %ext:gpr(s64) = G_ZEXT %reg0(s32)
    %cst:gpr(s64) = G_CONSTANT i64 2
    %shift:gpr(s64) = G_SHL %ext, %cst(s64)
    %ptr_add:gpr(p0) = G_PTR_ADD %ptr, %shift(s64)
    $x0 = COPY %ptr_add(p0)
...
---
name:            ptr_add_negated_reg
legalized:       true
regBankSelected: true
body:             |
  bb.0:
      liveins: $x0, $x1
    ; CHECK-LABEL: name: ptr_add_negated_reg
    ; CHECK: [[COPY:%[0-9]+]]:gpr64 = COPY $x0
    ; CHECK: %src:gpr64 = COPY $x1
    ; CHECK: [[SUBSXrr:%[0-9]+]]:gpr64 = SUBSXrr [[COPY]], %src, implicit-def $nzcv
    ; CHECK: $x0 = COPY [[SUBSXrr]]
    %0:gpr(p0) = COPY $x0
    %src:gpr(s64) = COPY $x1
    %1:gpr(s64) = G_CONSTANT i64 0
    %neg:gpr(s64) = G_SUB %1, %src
    %2:gpr(p0) = G_PTR_ADD %0, %neg(s64)
    $x0 = COPY %2(p0)
...