x8";} case 6: {reg_list="ra, s0-s1"; xreg_list="x1, x8-x9";} case 7: {reg_list="ra, s0-s2"; xreg_list="x1, x8-x9, x18-x21";} case 11: {reg_list="ra, s0-s6"; xreg_list="x1, x8-x9, x18-x19";} case 9: {reg_list="ra, s0-s4"; xreg_list="x1, x8-x9, x18-x24";} case 14: stack_adj_base = 16; Valid values: switch (rlist) { case 4.. 7: stack_adj_base = 16; case 6.. 7: stack_adj = [64|80|96|112]; } RV64: switch (rlist){ case 4: {reg_list="ra"; xreg_list="x1";} case 5: {reg_list="ra,
production