blob: 4e7cb8e98e7482ef4800c53481d095464f67ab44 [file] [log] [blame]
; 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, i32* @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, i64* @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, i32* @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, i32* @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, i32* @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, i32* @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, i32* @gi
%2 = tail call i32 asm "addi $0, $1, $2", "=r,r,i"(i32 %a, i32 113)
ret i32 %2
}
define void @constraint_m(i32* %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"(i32* elementtype(i32) %a)
ret void
}
define i32 @constraint_m2(i32* %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"(i32* 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"(i32* @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"(i8* blockaddress(@operand_block_address, %bb))
br label %bb
bb:
ret void
}
; TODO: expand tests for more complex constraints, out of range immediates etc