Lines Matching defs:conds
40 fun conds cond str = if cond then str else "";
78 val fp_set = (conds fp (if pptype=push then sets (mem 2 3) fp_reg
80 val ret = (conds (pptype=pop) "(return)");
86 fun pop_opnds 0 spl = (conds fp ("fp" ^ spl)) ^ "ra"
88 fun push_opnds 0 spl = "ra" ^ (conds fp (spl ^ "fp"))
101 (conds (pptype=pop) "pop_operation") ^ "\"\n" ^
105 (conds (pptype=push)
130 (conds wb "_wb") ^ (conds pc "_ret");
140 " \"register_operand\" \"" ^ (conds wb "+&") ^ "r\")");
143 (conds (ldst=ld) "") ^ "\")";
165 (conds wb ", writeback") ^
166 (conds pc ", ret");
173 val pctmp = conds pc "(return)";