; RUN: llc -mtriple=thumbv8m.main %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-V8M
; RUN: llc -mtriple=armv8 %s -o - | FileCheck %s --check-prefix=CHECK-V8

; CHECK-LABEL: pre_inc_ldr
; CHECK: ldr{{.*}}, [r0, #4]!
define i32* @pre_inc_ldr(i32* %base, i32 %a) {
  %addr = getelementptr i32, i32* %base, i32 1
  %ld = load i32, i32* %addr
  %addr.1 = getelementptr i32, i32* %base, i32 2
  %res = add i32 %ld, %a
  store i32 %res, i32* %addr.1
  ret i32* %addr
}

; CHECK-LABEL: pre_dec_ldr
; CHECK: ldr{{.*}}, [r0, #-4]!
define i32* @pre_dec_ldr(i32* %base, i32 %a) {
  %addr = getelementptr i32, i32* %base, i32 -1
  %ld = load i32, i32* %addr
  %addr.1 = getelementptr i32, i32* %base, i32 2
  %res = add i32 %ld, %a
  store i32 %res, i32* %addr.1
  ret i32* %addr
}

; CHECK-LABEL: post_inc_ldr
; CHECK: ldr{{.*}}, [r0], #4
define i32* @post_inc_ldr(i32* %base, i32* %addr.2, i32 %a) {
  %addr = getelementptr i32, i32* %base, i32 0
  %ld = load i32, i32* %addr
  %addr.1 = getelementptr i32, i32* %base, i32 1
  %res = add i32 %ld, %a
  store i32 %res, i32* %addr.2
  ret i32* %addr.1
}

; CHECK-LABEL: post_dec_ldr
; CHECK: ldr{{.*}}, [r0], #-4
define i32* @post_dec_ldr(i32* %base, i32* %addr.2, i32 %a) {
  %addr = getelementptr i32, i32* %base, i32 0
  %ld = load i32, i32* %addr
  %addr.1 = getelementptr i32, i32* %base, i32 -1
  %res = add i32 %ld, %a
  store i32 %res, i32* %addr.2
  ret i32* %addr.1
}

; CHECK-LABEL: pre_inc_str
; CHECK: str{{.*}}, [r0, #4]!
define i32* @pre_inc_str(i32* %base, i32 %a, i32 %b) {
  %addr.1 = getelementptr i32, i32* %base, i32 1
  %res = add i32 %a, %b
  store i32 %res, i32* %addr.1
  ret i32* %addr.1
}

; CHECK-LABEL: pre_dec_str
; CHECK: str{{.*}}, [r0, #-4]!
define i32* @pre_dec_str(i32* %base, i32 %a, i32 %b) {
  %res = add i32 %a, %b
  %addr.1 = getelementptr i32, i32* %base, i32 -1
  store i32 %res, i32* %addr.1
  ret i32* %addr.1
}

; CHECK-LABEL: post_inc_str
; CHECK: str{{.*}}, [r0], #4
define i32* @post_inc_str(i32* %base, i32 %a, i32 %b) {
  %addr.1 = getelementptr i32, i32* %base, i32 1
  %res = add i32 %a, %b
  store i32 %res, i32* %base
  ret i32* %addr.1
}

; CHECK-LABEL: post_dec_str
; CHECK: str{{.*}}, [r0], #-4
define i32* @post_dec_str(i32* %base, i32 %a, i32 %b) {
  %addr.1 = getelementptr i32, i32* %base, i32 -1
  %res = add i32 %a, %b
  store i32 %res, i32* %base
  ret i32* %addr.1
}

; TODO: Generate ldrd
; CHECK-LABEL: pre_inc_ldrd
; CHECK: ldr{{.*}}, #4]!
define i32* @pre_inc_ldrd(i32* %base) {
  %addr = getelementptr i32, i32* %base, i32 1
  %addr.1 = getelementptr i32, i32* %base, i32 2
  %addr.2 = getelementptr i32, i32* %base, i32 3
  %ld = load i32, i32* %addr
  %ld.1 = load i32, i32* %addr.1
  %res = add i32 %ld, %ld.1
  store i32 %res, i32* %addr.2
  ret i32* %addr
}

; TODO: Generate ldrd
; CHECK-LABEL: pre_dec_ldrd
; CHECK: ldr{{.*}}, #-4]!
define i32* @pre_dec_ldrd(i32* %base) {
  %addr = getelementptr i32, i32* %base, i32 -1
  %addr.1 = getelementptr i32, i32* %base, i32 -2
  %addr.2 = getelementptr i32, i32* %base, i32 -3
  %ld = load i32, i32* %addr
  %ld.1 = load i32, i32* %addr.1
  %res = add i32 %ld, %ld.1
  store i32 %res, i32* %addr.2
  ret i32* %addr
}

; TODO: Generate post inc
; CHECK-LABEL: post_inc_ldrd
; CHECK-V8M: ldrd{{.*}}, [r0]
; CHECK-V8: ldm
; CHECK: add{{.*}}, #8
define i32* @post_inc_ldrd(i32* %base, i32* %addr.3) {
  %addr = getelementptr i32, i32* %base, i32 0
  %ld = load i32, i32* %addr
  %addr.1 = getelementptr i32, i32* %base, i32 1
  %ld.1 = load i32, i32* %addr.1
  %addr.2 = getelementptr i32, i32* %base, i32 2
  %res = add i32 %ld, %ld.1
  store i32 %res, i32* %addr.3
  ret i32* %addr.2
}

; CHECK-LABEL: pre_inc_str_multi
; CHECK: str{{.*}}, #8]!
define i32* @pre_inc_str_multi(i32* %base) {
  %addr = getelementptr i32, i32* %base, i32 0
  %addr.1 = getelementptr i32, i32* %base, i32 1
  %ld = load i32, i32* %addr
  %ld.1 = load i32, i32* %addr.1
  %res = add i32 %ld, %ld.1
  %addr.2 = getelementptr i32, i32* %base, i32 2
  store i32 %res, i32* %addr.2
  ret i32* %addr.2
}

; CHECK-LABEL: pre_dec_str_multi
; CHECK: str{{.*}}, #-4]!
define i32* @pre_dec_str_multi(i32* %base) {
  %addr = getelementptr i32, i32* %base, i32 0
  %addr.1 = getelementptr i32, i32* %base, i32 1
  %ld = load i32, i32* %addr
  %ld.1 = load i32, i32* %addr.1
  %res = add i32 %ld, %ld.1
  %addr.2 = getelementptr i32, i32* %base, i32 -1
  store i32 %res, i32* %addr.2
  ret i32* %addr.2
}

; CHECK-LABEL: illegal_pre_inc_store_1
; CHECK-NOT: str{{.*}} ]!
define i32* @illegal_pre_inc_store_1(i32* %base) {
entry:
  %ptr.to.use = getelementptr i32, i32* %base, i32 2
  %ptr.to.store = ptrtoint i32* %base to i32
  store i32 %ptr.to.store, i32* %ptr.to.use, align 4
  ret i32* %ptr.to.use
}

; TODO: The mov should be unecessary
; CHECK-LABEL: legal_pre_inc_store_needs_copy_1
; CHECK: add{{.*}}, #8
; CHECK-NOT: str{{.*}}]!
; CHECK: mov
define i32* @legal_pre_inc_store_needs_copy_1(i32* %base) {
entry:
  %ptr.to.use = getelementptr i32, i32* %base, i32 2
  %ptr.to.store = ptrtoint i32* %ptr.to.use to i32
  store i32 %ptr.to.store, i32* %ptr.to.use, align 4
  ret i32* %ptr.to.use
}

; CHECK-LABEL: legal_pre_inc_store_needs_copy_2
; CHECK-NOT: mov
; CHECK-NOT: str{{.*}}]!
define i32* @legal_pre_inc_store_needs_copy_2(i32 %base) {
entry:
  %ptr = inttoptr i32 %base to i32*
  %ptr.to.use = getelementptr i32, i32* %ptr, i32 2
  store i32 %base, i32* %ptr.to.use, align 4
  ret i32* %ptr.to.use
}