dev/sw/funCall.sml

108     fun one_stm ({oper = op1, dst = dst1, src = src1}) =
109             {oper = op1, dst = List.map filter_mems dst1, src = List.map filter_mems src1}
143 fun dec_p pt n = {oper = IR.msub, dst = [IR.REG pt], src = [IR.REG pt, IR.WCONST (Arbint.fromInt (4*n))]}
145 fun inc_p pt n = {oper = IR.madd, dst = [IR.REG pt], src = [IR.REG pt, IR.WCONST (Arbint.fromInt (4*n))]};
159     [ {oper = IR.mmov, dst = [IR.REG (IR.fromAlias IR.ip)], src = [IR.REG (IR.fromAlias IR.sp)]},
160       {oper = IR.mpush, dst = [IR.REG (IR.fromAlias IR.sp)],
164       {oper = IR.msub, dst = [IR.REG (IR.fromAlias IR.fp)], src = [IR.REG (IR.fromAlias IR.ip), IR.WCONST (Arbint.fromInt 4)]},
175       {oper = IR.msub, dst = [IR.REG (IR.fromAlias IR.sp)], src = [IR.REG (IR.fromAlias IR.fp), IR.WCONST (Arbint.fromInt (4* (3 + length rs)))]},
176       {oper = IR.mpop, dst = rs @ [IR.REG (IR.fromAlias IR.fp), IR.REG (IR.fromAlias IR.sp), IR.REG (IR.fromAlias IR.pc)],
222                {oper = IR.mldr, dst = dataL, src = [IR.MEM (r,1)]}
224                {oper = IR.mpop, dst = dataL, src = [IR.REG r]}
227                {oper = IR.mstr, dst = [IR.MEM(r,0)], src = dataL}
229                {oper = IR.mpush, dst = [IR.REG r], src = dataL}
239                [  {oper = IR.mldr, dst = [IR.REG (!numAvaiRegs)], src = [IR.MEM v]},
240                   {oper = IR.mstr, dst = [IR.MEM (regNo,offset)], src = [IR.REG (!numAvaiRegs)]} ]
242                [  {oper = IR.mstr, dst = [IR.MEM (regNo,offset)], src = [IR.REG r]} ]
244                [  {oper = IR.mmov, dst = [IR.REG 10], src = [v]},
245                   {oper = IR.mstr, dst = [IR.MEM (regNo,offset)], src = [IR.REG 10]} ]
255                [  {oper = IR.mldr, dst = [IR.REG r], src = [IR.MEM(regNo,offset)]} ]
257                [  {oper = IR.mldr, dst = [IR.REG (!numAvaiRegs)], src = [IR.MEM(regNo,offset)]},
258                   {oper = IR.mstr, dst = [IR.MEM v], src = [IR.REG (!numAvaiRegs)]} ]
378          dst = [IR.REG (IR.fromAlias IR.sp)],
511         fun mov_ir (dst, src) = {oper = IR.mmov, dst = [dst], src = [src]}
578                                                          [{dst = preserve_list, oper = mpop, src = [REG 13]}]
580                                                          [{dst = [REG 13], oper = mpush, src = preserve_list}]