1; RUN: not llc -mtriple=riscv32 < %s 2>&1 | FileCheck %s
2; RUN: not llc -mtriple=riscv64 < %s 2>&1 | FileCheck %s
3
4define void @constraint_I() {
5; CHECK: error: value out of range for constraint 'I'
6  tail call void asm sideeffect "addi a0, a0, $0", "I"(i32 2048)
7; CHECK: error: value out of range for constraint 'I'
8  tail call void asm sideeffect "addi a0, a0, $0", "I"(i32 -2049)
9  ret void
10}
11
12define void @constraint_J() {
13; CHECK: error: value out of range for constraint 'J'
14  tail call void asm sideeffect "addi a0, a0, $0", "J"(i32 1)
15  ret void
16}
17
18define void @constraint_K() {
19; CHECK: error: value out of range for constraint 'K'
20  tail call void asm sideeffect "csrwi mstatus, $0", "K"(i32 32)
21; CHECK: error: value out of range for constraint 'K'
22  tail call void asm sideeffect "csrwi mstatus, $0", "K"(i32 -1)
23  ret void
24}
25
26define void @constraint_f() nounwind {
27; CHECK: error: couldn't allocate input reg for constraint 'f'
28  tail call void asm "fadd.s fa0, fa0, $0", "f"(float 0.0)
29; CHECK: error: couldn't allocate input reg for constraint 'f'
30  tail call void asm "fadd.d fa0, fa0, $0", "f"(double 0.0)
31  ret void
32}
33