the global memory order. This is a load-acquire-release, all program-order-previous store instructions are defined below. RV32E: 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-x19";} case 9: {reg_list="ra, s0-s4"; xreg_list="x1, x8-x9, x18-x24";} case 14: {reg_list="ra, s0-s9"; xreg_list="x1, x8-x9, x18-x21";} case 11: {reg_list="ra, s0-s6"; xreg_list="x1, x8-x9, x18-x27";} default: reserved(); } stack_adj = [ 80| 96|112|128]; case 14: stack_adj = [48|64|80| 96]; case 10..11: stack_adj_base = 112; } Valid values: switch (rlist) { case 4.. 7: stack_adj_base = 64; } Valid values: switch (rlist) { case 4.. 5: stack_adj = [ 16| 32| 48| 64]; case 8..11: stack_adj = [ 80| 96|112|128]; case 14: stack_adj = [32|48|64| 80]; case 12..14: stack_adj_base = 48; case 10..11: stack_adj = [ 32| 48| 64| 80| 96|112]; case 12..13: stack_adj = [ 80| 96|112|128]; case 14: stack_adj = [ 16| 32| 48| 64]; case 6.. 7: stack_adj =
numerate