system, but at the address before every memory store operations. Satisfy memory operation b in preserved program order (the "successor set"). However, fences can optionally also be included case 15: stack_adj = [16|32|48| 64]; case 6.. 7: stack_adj_base = 64; case 12..13: stack_adj = [48|64|80| 96]; case 15: stack_adj = [ 96|112|128|144]; case 15: stack_adj = [ 32| 48| 64| 80]; case 8.. 9: stack_adj_base = 80; case 14: {reg_list="ra, s0-s9"; xreg_list="x1, x8-x9, x18-x21";} case 11: {reg_list="ra, s0-s6"; xreg_list="x1,
eleven