226 lines
5.9 KiB
LLVM
226 lines
5.9 KiB
LLVM
; 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
|