; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -mtriple=csky -verify-machineinstrs -csky-no-aliases -no-integrated-as < %s \
; RUN:   | FileCheck -check-prefix=CSKY %s

@gi = external global i32
@mi = external global i64

define i32 @constraint_r(i32 %a) nounwind {
; CSKY-LABEL: constraint_r:
; CSKY:       # %bb.0:
; CSKY-NEXT:    subi16 sp, sp, 4
; CSKY-NEXT:    lrw32 a1, [.LCPI0_0]
; CSKY-NEXT:    ld16.w a1, (a1, 0)
; CSKY-NEXT:    #APP
; CSKY-NEXT:    add a0, a0, a1
; CSKY-NEXT:    #NO_APP
; CSKY-NEXT:    addi16 sp, sp, 4
; CSKY-NEXT:    rts16
; CSKY-NEXT:    .p2align 1
; CSKY-NEXT:  # %bb.1:
; CSKY-NEXT:    .p2align 2
; CSKY-NEXT:  .LCPI0_0:
; CSKY-NEXT:    .long gi
  %1 = load i32, ptr @gi
  %2 = tail call i32 asm "add $0, $1, $2", "=r,r,r"(i32 %a, i32 %1)
  ret i32 %2
}

define i64 @constraint_r_i64(i32 %a) nounwind {
; CSKY-LABEL: constraint_r_i64:
; CSKY:       # %bb.0:
; CSKY-NEXT:    subi16 sp, sp, 4
; CSKY-NEXT:    lrw32 a3, [.LCPI1_0]
; CSKY-NEXT:    ld16.w a1, (a3, 0)
; CSKY-NEXT:    ld16.w a2, (a3, 4)
; CSKY-NEXT:    #APP
; CSKY-NEXT:    mula.s32 a1, a0, a0
; CSKY-NEXT:    #NO_APP
; CSKY-NEXT:    mov16 a0, a1
; CSKY-NEXT:    mov16 a1, a2
; CSKY-NEXT:    addi16 sp, sp, 4
; CSKY-NEXT:    rts16
; CSKY-NEXT:    .p2align 1
; CSKY-NEXT:  # %bb.1:
; CSKY-NEXT:    .p2align 2
; CSKY-NEXT:  .LCPI1_0:
; CSKY-NEXT:    .long mi
  %1 = load i64, ptr @mi
  %2 = call i64 asm "mula.s32 $0, $1, $2", "=r,r,r,0"(i32 %a, i32 %a, i64 %1)
  ret i64 %2
}

define i32 @constraint_a(i32 %a) nounwind {
; CSKY-LABEL: constraint_a:
; CSKY:       # %bb.0:
; CSKY-NEXT:    subi16 sp, sp, 4
; CSKY-NEXT:    lrw32 a1, [.LCPI2_0]
; CSKY-NEXT:    ld16.w a1, (a1, 0)
; CSKY-NEXT:    #APP
; CSKY-NEXT:    add a0, a0, a1
; CSKY-NEXT:    #NO_APP
; CSKY-NEXT:    addi16 sp, sp, 4
; CSKY-NEXT:    rts16
; CSKY-NEXT:    .p2align 1
; CSKY-NEXT:  # %bb.1:
; CSKY-NEXT:    .p2align 2
; CSKY-NEXT:  .LCPI2_0:
; CSKY-NEXT:    .long gi
  %1 = load i32, ptr @gi
  %2 = tail call i32 asm "add $0, $1, $2", "=a,a,a"(i32 %a, i32 %1)
  ret i32 %2
}

define i32 @constraint_b(i32 %a) nounwind {
; CSKY-LABEL: constraint_b:
; CSKY:       # %bb.0:
; CSKY-NEXT:    subi16 sp, sp, 4
; CSKY-NEXT:    lrw32 a1, [.LCPI3_0]
; CSKY-NEXT:    ld16.w a1, (a1, 0)
; CSKY-NEXT:    #APP
; CSKY-NEXT:    add a0, a0, a1
; CSKY-NEXT:    #NO_APP
; CSKY-NEXT:    addi16 sp, sp, 4
; CSKY-NEXT:    rts16
; CSKY-NEXT:    .p2align 1
; CSKY-NEXT:  # %bb.1:
; CSKY-NEXT:    .p2align 2
; CSKY-NEXT:  .LCPI3_0:
; CSKY-NEXT:    .long gi
  %1 = load i32, ptr @gi
  %2 = tail call i32 asm "add $0, $1, $2", "=b,b,b"(i32 %a, i32 %1)
  ret i32 %2
}

define i32 @constraint_z(i32 %a) nounwind {
; CSKY-LABEL: constraint_z:
; CSKY:       # %bb.0:
; CSKY-NEXT:    subi16 sp, sp, 4
; CSKY-NEXT:    mov16 sp, a0
; CSKY-NEXT:    lrw32 a0, [.LCPI4_0]
; CSKY-NEXT:    ld16.w a0, (a0, 0)
; CSKY-NEXT:    #APP
; CSKY-NEXT:    add a0, sp, a0
; CSKY-NEXT:    #NO_APP
; CSKY-NEXT:    addi16 sp, sp, 4
; CSKY-NEXT:    rts16
; CSKY-NEXT:    .p2align 1
; CSKY-NEXT:  # %bb.1:
; CSKY-NEXT:    .p2align 2
; CSKY-NEXT:  .LCPI4_0:
; CSKY-NEXT:    .long gi
  %1 = load i32, ptr @gi
  %2 = tail call i32 asm "add $0, $1, $2", "=r,z,r"(i32 %a, i32 %1)
  ret i32 %2
}

define i32 @constraint_c(i32 %a, i32 %b) nounwind {
; CSKY-LABEL: constraint_c:
; CSKY:       # %bb.0:
; CSKY-NEXT:    subi16 sp, sp, 4
; CSKY-NEXT:    lrw32 a1, [.LCPI5_0]
; CSKY-NEXT:    ld16.w a1, (a1, 0)
; CSKY-NEXT:    #APP
; CSKY-NEXT:    addc a0, a0, a1
; CSKY-NEXT:    #NO_APP
; CSKY-NEXT:    addi16 sp, sp, 4
; CSKY-NEXT:    rts16
; CSKY-NEXT:    .p2align 1
; CSKY-NEXT:  # %bb.1:
; CSKY-NEXT:    .p2align 2
; CSKY-NEXT:  .LCPI5_0:
; CSKY-NEXT:    .long gi
  %1 = load i32, ptr @gi
  %2 = tail call i32 asm "addc $0, $1, $2", "=r,r,r,~{c}"(i32 %a, i32 %1)
  ret i32 %2
}

define i32 @constraint_i(i32 %a) nounwind {
; CSKY-LABEL: constraint_i:
; CSKY:       # %bb.0:
; CSKY-NEXT:    subi16 sp, sp, 4
; CSKY-NEXT:    #APP
; CSKY-NEXT:    addi a0, a0, 113
; CSKY-NEXT:    #NO_APP
; CSKY-NEXT:    addi16 sp, sp, 4
; CSKY-NEXT:    rts16

  %1 = load i32, ptr @gi
  %2 = tail call i32 asm "addi $0, $1, $2", "=r,r,i"(i32 %a, i32 113)
  ret i32 %2
}

define void @constraint_m(ptr %a) nounwind {
; CSKY-LABEL: constraint_m:
; CSKY:       # %bb.0:
; CSKY-NEXT:    subi16 sp, sp, 4
; CSKY-NEXT:    #APP
; CSKY-NEXT:    #NO_APP
; CSKY-NEXT:    addi16 sp, sp, 4
; CSKY-NEXT:    rts16

  call void asm sideeffect "", "=*m"(ptr elementtype(i32) %a)
  ret void
}

define i32 @constraint_m2(ptr %a) nounwind {
; CSKY-LABEL: constraint_m2:
; CSKY:       # %bb.0:
; CSKY-NEXT:    subi16 sp, sp, 4
; CSKY-NEXT:    #APP
; CSKY-NEXT:    ld.w a0, (a0, 0)
; CSKY-NEXT:    #NO_APP
; CSKY-NEXT:    addi16 sp, sp, 4
; CSKY-NEXT:    rts16

  %1 = tail call i32 asm "ld.w $0, $1", "=r,*m"(ptr elementtype(i32) %a)
  ret i32 %1
}

define i32 @modifier_i_imm(i32 %a) nounwind {
; CSKY-LABEL: modifier_i_imm:
; CSKY:       # %bb.0:
; CSKY-NEXT:    subi16 sp, sp, 4
; CSKY-NEXT:    #APP
; CSKY-NEXT:    addi a0, a0, 1
; CSKY-NEXT:    #NO_APP
; CSKY-NEXT:    addi16 sp, sp, 4
; CSKY-NEXT:    rts16
  %1 = tail call i32 asm "addi $0, $1, $2", "=r,r,ri"(i32 %a, i32 1)
  ret i32 %1
}

define void @operand_global() nounwind {
; CSKY-LABEL: operand_global:
; CSKY:       # %bb.0:
; CSKY-NEXT:    subi16 sp, sp, 4
; CSKY-NEXT:    #APP
; CSKY-NEXT:    .4byte gi
; CSKY-NEXT:    #NO_APP
; CSKY-NEXT:    addi16 sp, sp, 4
; CSKY-NEXT:    rts16

  tail call void asm sideeffect ".4byte $0", "i"(ptr @gi)
  ret void
}

define void @operand_block_address() nounwind {
; CSKY-LABEL: operand_block_address:
; CSKY:       # %bb.0:
; CSKY-NEXT:    subi16 sp, sp, 4
; CSKY-NEXT:    #APP
; CSKY-NEXT:    br32 .Ltmp0
; CSKY-NEXT:    #NO_APP
; CSKY-NEXT:  .Ltmp0: # Block address taken
; CSKY-NEXT:  # %bb.1: # %bb
; CSKY-NEXT:    addi16 sp, sp, 4
; CSKY-NEXT:    rts16

  call void asm sideeffect "br32 $0", "i"(ptr blockaddress(@operand_block_address, %bb))
  br label %bb
bb:
  ret void
}

; TODO: expand tests for more complex constraints, out of range immediates etc