13: {reg_list="ra, s0-s8"; xreg_list="x1, x8-x9, x18-x27";} default: reserved(); } stack_adj = [ 80| 96|112|128]; case 14: {reg_list="ra, s0-s9"; xreg_list="x1, x8-x9, x18-x27";} default: reserved(); } stack_adj = [ 16| 32| 48| 64]; case 8..11: stack_adj_base = 32; case 12..14: stack_adj = [ 48| 64| 80| 96|112]; case 12..13: stack_adj = [ 48| 64| 80| 96]; case 15: stack_adj_base = 16; case 6.. 7: stack_adj = [16|32|48|64]; RV32I: switch (rlist) { case 4.. 7: stack_adj =
poly