We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e8a7ae1 commit e8ffaa2Copy full SHA for e8ffaa2
model/riscv_regs.sail
@@ -91,8 +91,8 @@ mapping reg_name : regidx <-> string = {
91
// Special mapping for the sp register for use in assembly for sp-relative
92
// instructions where the argument *must* be `sp` (or `x2`).
93
mapping sp_reg_name : unit <-> string = {
94
- () if get_config_use_abi_names() <-> "sp" ,
95
- () if not(get_config_use_abi_names()) <-> "x2" ,
+ () if get_config_use_abi_names() <-> "sp",
+ () if not(get_config_use_abi_names()) <-> "x2",
96
}
97
98
mapping creg_name_raw : bits(3) <-> string = {
0 commit comments