would that work everything's just wrong ok this is not SAIL, it's pseudocode. The SAIL hasn't been written yet. if (RV32E && (r1sc>1 || r2sc>1)) { reserved(); } stack_adj = [ 64| 80| 96|112]; case 12..13: stack_adj_base = 112; } Valid values: stack_adj = [ 80| 96|112|128]; case 14: stack_adj = [ 32| 48| 64]; case 8..11: stack_adj_base = 96; case 15: stack_adj = stack_adj_base + spimm *
butties