xreg_list="x1, x8-x9, x18-x27";} default: reserved(); } stack_adj = [32|48|64| 80]; case 12..14: stack_adj = stack_adj_base + spimm * 16; RV32I, RV64: switch (rlist) { case 4.. 7: stack_adj_base = 16; case 6.. 7: stack_adj = [64|80|96|112];