
This Change adds support for two SiFive vendor attributes in clang: - "SiFive-CLIC-preemptible" - "SiFive-CLIC-stack-swap" These can be given together, and can be combined with "machine", but cannot be combined with any other interrupt attribute values. These are handled primarily in RISCVFrameLowering: - "SiFive-CLIC-stack-swap" entails swapping `sp` with `sf.mscratchcsw` at function entry and exit, which holds the trap stack pointer. - "SiFive-CLIC-preemptible" entails saving `mcause` and `mepc` before re-enabling interrupts using `mstatus`. To save these, `s0` and `s1` are first spilled to the stack, and then the values are read into these registers. If these registers are used in the function, their values will be spilled a second time onto the stack with the generic callee-saved-register handling. At the end of the function interrupts are disabled again before `mepc` and `mcause` are restored. This Change also adds support for the following two experimental extensions, which only contain CSRs: - XSfsclic - for SiFive's CLIC Supervisor-Mode CSRs - XSfmclic - for SiFive's CLIC Machine-Mode CSRs The latter is needed for interrupt support. The CFI information for this implementation is not correct, but I'd prefer to correct this in a follow-up. While it's unlikely anyone wants to unwind through a handler, the CFI information is also used by debuggers so it would be good to get it right. Co-authored-by: Ana Pazos <apazos@quicinc.com>
75 lines
4.0 KiB
C
75 lines
4.0 KiB
C
// RUN: %clang_cc1 -triple riscv32-unknown-elf -emit-llvm -DCHECK_IR < %s| FileCheck %s
|
|
// RUN: %clang_cc1 -triple riscv64-unknown-elf -emit-llvm -DCHECK_IR < %s| FileCheck %s
|
|
// RUN: %clang_cc1 %s -triple riscv32-unknown-elf -verify -fsyntax-only
|
|
// RUN: %clang_cc1 %s -triple riscv64-unknown-elf -verify -fsyntax-only
|
|
|
|
#if defined(CHECK_IR)
|
|
// CHECK-LABEL: @foo_supervisor() #0
|
|
// CHECK: ret void
|
|
__attribute__((interrupt("supervisor"))) void foo_supervisor(void) {}
|
|
// CHECK-LABEL: @foo_machine() #1
|
|
// CHECK: ret void
|
|
__attribute__((interrupt("machine"))) void foo_machine(void) {}
|
|
// CHECK-LABEL: @foo_default() #1
|
|
// CHECK: ret void
|
|
__attribute__((interrupt())) void foo_default(void) {}
|
|
// CHECK-LABEL: @foo_default2() #1
|
|
// CHECK: ret void
|
|
__attribute__((interrupt())) void foo_default2(void) {}
|
|
// CHECK-LABEL: @foo_machine_twice() #1
|
|
// CHECK: ret void
|
|
__attribute__((interrupt("machine", "machine")))
|
|
void foo_machine_twice(void) {}
|
|
// CHECK-LABEL: @foo_supervisor_twice() #0
|
|
// CHECK: ret void
|
|
__attribute__((interrupt("supervisor", "supervisor")))
|
|
void foo_supervisor_twice(void) {}
|
|
|
|
// CHECK: attributes #0
|
|
// CHECK: "interrupt"="supervisor"
|
|
// CHECK: attributes #1
|
|
// CHECK: "interrupt"="machine"
|
|
#else
|
|
__attribute__((interrupt("machine"), interrupt("supervisor"))) void foo6(void) {} // expected-warning {{repeated RISC-V 'interrupt' attribute}} \
|
|
// expected-note {{repeated RISC-V 'interrupt' attribute is here}}
|
|
|
|
__attribute__((interrupt, interrupt)) void foo7(void) {} // expected-warning {{repeated RISC-V 'interrupt' attribute}} \
|
|
// expected-note {{repeated RISC-V 'interrupt' attribute is here}}
|
|
struct a { int b; };
|
|
|
|
struct a test __attribute__((interrupt)); // expected-warning {{'interrupt' attribute only applies to functions}}
|
|
|
|
__attribute__((interrupt)) int foo3(void) {return 0;} // expected-warning {{RISC-V 'interrupt' attribute only applies to functions that have a 'void' return type}}
|
|
__attribute__((interrupt())) void foo5(int a) {} // expected-warning {{RISC-V 'interrupt' attribute only applies to functions that have no parameters}}
|
|
|
|
__attribute__((interrupt("machine", "supervisor", "machine"))) void foo15(void) {} // expected-error {{'interrupt' attribute takes no more than 2 arguments}}
|
|
|
|
__attribute__((interrupt(42))) void foo0(void) {} // expected-error {{expected string literal as argument of 'interrupt' attribute}}
|
|
__attribute__((interrupt("machine", 1))) void foo2(void) {} // expected-error {{expected string literal as argument of 'interrupt' attribute}}
|
|
__attribute__((interrupt("USER"))) void foo1(void) {} // expected-warning {{'interrupt' attribute argument not supported: "USER"}}
|
|
__attribute__((interrupt("user"))) void foo1b(void) {} // expected-warning {{'interrupt' attribute argument not supported: "user"}}
|
|
__attribute__((interrupt("MACHINE"))) void foo1c(void) {} // expected-warning {{'interrupt' attribute argument not supported: "MACHINE"}}
|
|
|
|
__attribute__((interrupt(""))) void foo8(void) {} // expected-warning {{'interrupt' attribute argument not supported}}
|
|
|
|
__attribute__((interrupt("machine", "supervisor"))) void foo_machine_supervisor(void) {} // expected-error {{RISC-V 'interrupt' attribute contains invalid combination of interrupt types}}
|
|
__attribute__((interrupt("supervisor", "machine"))) void foo_supervisor_machine(void) {} // expected-error {{RISC-V 'interrupt' attribute contains invalid combination of interrupt types}}
|
|
|
|
__attribute__((interrupt())) void foo4(void);
|
|
__attribute__((interrupt())) void foo4(void) {}
|
|
|
|
__attribute__((interrupt("supervisor"))) void foo9(void);
|
|
__attribute__((interrupt("machine"))) void foo9(void);
|
|
|
|
__attribute__((interrupt("supervisor"))) void foo11(void) {}
|
|
__attribute__((interrupt("machine"))) void foo12(void) {}
|
|
__attribute__((interrupt())) void foo13(void) {}
|
|
__attribute__((interrupt)) void foo14(void) {}
|
|
|
|
__attribute__((interrupt("machine", "machine"))) void foo_machine_twice(void) {}
|
|
__attribute__((interrupt("supervisor", "supervisor"))) void foo_supervisor_supervisor(void) {}
|
|
|
|
|
|
#endif
|
|
|