Lines Matching defs:instr
58 val cfg : (({def : int list, instr : Assem.instr, use : int list}, edgeLab) G.graph) ref = ref (G.empty);
176 fun PrintProgram (cfg : ({instr : Assem.instr, use : int list, def : int list}, edgeLab) G.graph, tmpT) =
188 fun computeUseDef (gr : ({instr:Assem.instr, use:int list, def:int list}, edgeLab) Graph.graph) =
306 val inst = #instr(nd);
624 val {instr = curInst, def = df, use = us} = #3 (G.context(nodeNo,gr))
632 instr = substituteVars curInst (Assem.TEMP varNo) (Assem.TEMP newVarNo) for_lhs for_rhs
637 instr = substituteVars curInst (Assem.TEMP varNo) (Assem.TMEM (!memIndex)) for_lhs for_rhs
644 val {instr = curInst, def = df, use = us} = #3 (G.context(nodeNo,gr));
645 val newInst = {instr = Assem.OPER {oper = (Assem.LDR,NONE,false),
659 val {instr = curInst, def = df, use = us} = #3 (G.context(nodeNo,gr));
660 val newInst = {instr = Assem.OPER {oper = (Assem.STR,NONE,false),
682 (if isMoveInst (#instr inst) then
683 let val (Assem.MOVE {dst = d1, src = s1}) = #instr inst in
685 {instr = Assem.OPER {oper = (Assem.LDR,NONE,false), dst = [d1],
775 let val {use = us, def = df, instr = stm} = nd in
776 updateNode (gr, nodeNo, {use = us, def = df, instr = substituteVars stm})