= 32; case 8.. 9: stack_adj = [ 96|112|128|144]; case 15: stack_adj = [64|80|96|112]; } RV64: switch (rlist){ case 4: {reg_list="ra"; xreg_list="x1";} case 5: {reg_list="ra, s0"; xreg_list="x1, 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-x22";} case 12: {reg_list="ra, s0-s7"; xreg_list="x1, x8-x9, x18-x22";} case 12: {reg_list="ra, s0-s7"; xreg_list="x1, x8-x9, x18-x24";} case 14: stack_adj = [48|64|80| 96]; case 10..11: stack_adj = [ 32| 48| 64| 80]; case 8.. 9: stack_adj_base = 32; case 12..14: stack_adj_base = 48; case 15: stack_adj = [ 0x52, 0x09, 0x6a, 0xd5, 0x30, 0x36, 0xa5, 0x38, 0xbf, 0x40, 0xa3, 0x9e, 0x81, 0xf3, 0xd7, 0xfb, 0x7c, 0xe3, 0x39, 0x82, 0x9b, 0x2f, 0xff, 0x87, 0x34, 0x8e, 0x43,
confounded