Summary: This adds the 'f' inline assembly constraint, as supported by GCC. An 'f'-constrained operand is passed in a floating point register. Exactly which kind of floating-point register (32-bit or 64-bit) is decided based on the operand type and the available standard extensions (-f and -d, respectively). This patch adds support in both the clang frontend, and LLVM itself. Reviewers: asb, lewis-revill Reviewed By: asb Subscribers: hiraditya, rbar, johnrusso, simoncook, apazos, sabuasal, niosHD, kito-cheng, shiva0217, jrtc27, MaskRay, zzheng, edward-jones, rogfer01, MartinMosbeck, brucehoult, the_o, rkruppe, PkmX, jocewei, psnobl, benna, Jim, s.egerton, cfe-commits, llvm-commits Tags: #clang, #llvm Differential Revision: https://reviews.llvm.org/D65500 llvm-svn: 367403
33 lines
1.1 KiB
LLVM
33 lines
1.1 KiB
LLVM
; RUN: not llc -mtriple=riscv32 < %s 2>&1 | FileCheck %s
|
|
; RUN: not llc -mtriple=riscv64 < %s 2>&1 | FileCheck %s
|
|
|
|
define void @constraint_I() {
|
|
; CHECK: error: invalid operand for inline asm constraint 'I'
|
|
tail call void asm sideeffect "addi a0, a0, $0", "I"(i32 2048)
|
|
; CHECK: error: invalid operand for inline asm constraint 'I'
|
|
tail call void asm sideeffect "addi a0, a0, $0", "I"(i32 -2049)
|
|
ret void
|
|
}
|
|
|
|
define void @constraint_J() {
|
|
; CHECK: error: invalid operand for inline asm constraint 'J'
|
|
tail call void asm sideeffect "addi a0, a0, $0", "J"(i32 1)
|
|
ret void
|
|
}
|
|
|
|
define void @constraint_K() {
|
|
; CHECK: error: invalid operand for inline asm constraint 'K'
|
|
tail call void asm sideeffect "csrwi mstatus, $0", "K"(i32 32)
|
|
; CHECK: error: invalid operand for inline asm constraint 'K'
|
|
tail call void asm sideeffect "csrwi mstatus, $0", "K"(i32 -1)
|
|
ret void
|
|
}
|
|
|
|
define void @constraint_f() nounwind {
|
|
; CHECK: error: couldn't allocate input reg for constraint 'f'
|
|
tail call void asm "fadd.s fa0, fa0, $0", "f"(float 0.0)
|
|
; CHECK: error: couldn't allocate input reg for constraint 'f'
|
|
tail call void asm "fadd.d fa0, fa0, $0", "f"(double 0.0)
|
|
ret void
|
|
}
|