stage of two-stage translation for

64| 80| 96|112]; case 12..13: stack_adj = [32|48|64| 80]; case 12..14: stack_adj_base = 32; case 8.. 9: stack_adj_base = 16; case 6.. 7: stack_adj_base = 48; case 15: stack_adj = [16|32|48|64]; RV32I: switch (rlist) { case 4.. 7: stack_adj_base = 16; Valid values: switch (rlist) { case 4.. 7: stack_adj_base = 16; case 6.. 7: stack_adj_base = 16; case 8..11: stack_adj = [ 80| 96|112|128]; case 14: stack_adj_base = 16; case 6.. 7: stack_adj = [32|48|64| 80]; case 12..14: stack_adj_base = 80; case 14: stack_adj = [ 32| 48| 64]; case 8..11: stack_adj_base = 112; } Valid values: switch (rlist) { case 4.. 7: stack_adj_base = 64; case 12..13: stack_adj_base = 32; case 12..14: stack_adj = [ 0xD6, 0x90, 0xE9, 0xFE, 0xCC, 0xE1, 0x3D, 0xB7, 0x16, 0xB6, 0x14, 0xC2, 0x28, 0xFB, 0x2C, 0x05, 0x2B, 0x67, 0x9A, 0x76, 0x2A, 0xBE, 0x04, 0xC3, 0xAA, 0x44, 0x13, 0x26, 0x49, 0x86, 0x06, 0x99, 0x9C, 0x42, 0x50, 0xF4, 0x91, 0xEF, 0x98, 0x7A, 0x33, 0x54, 0x0B, 0x43, 0xED, 0xCF, 0xAC, 0x62, 0xE4, 0xB3, 0x1C, 0xA9, 0xC9, 0x08, 0xE8, 0x95,

outguesses