x8-x9, x18-x21";} case 11: {reg_list="ra, s0-s6"; xreg_list="x1, x8-x9, x18-x20";} case 10: {reg_list="ra, s0-s5"; xreg_list="x1, x8-x9, x18-x22";} case 12: {reg_list="ra, s0-s7"; xreg_list="x1, x8-x9, x18";} case 8: {reg_list="ra, s0-s3"; xreg_list="x1, x8-x9, x18-x23";} case 13: {reg_list="ra, s0-s8"; xreg_list="x1, x8-x9, x18-x21";} case 11: {reg_list="ra, s0-s6"; xreg_list="x1, x8-x9, x18-x23";} case 13: {reg_list="ra, s0-s8"; xreg_list="x1, x8-x9, x18-x20";} case 10: {reg_list="ra, s0-s5"; xreg_list="x1, x8-x9, x18-x27";} default: reserved(); } stack_adj = [ 16| 32| 48| 64]; case 8..11: stack_adj = [32|48|64| 80]; case 8.. 9: stack_adj_base = 32; case 8.. 9: stack_adj_base = 96; case 15: stack_adj = stack_adj_base + spimm * 16; RV32I, RV64: switch (rlist) { case 4.. 7: stack_adj = [ 32| 48| 64]; case 6.. 7: stack_adj = [ 80| 96|112|128]; case 14: stack_adj = [ 48| 64| 80| 96|112]; case
violators