stack_adj = [ 32| 48| 64]; case 8..11: stack_adj_base = 48; case 15: stack_adj_base = 16; Valid values: stack_adj = stack_adj_base + spimm * 16; RV32I, RV64: switch (rlist) { case 4.. 7: stack_adj_base