Lines Matching defs:ints
41 fun ints n = if n>=0 then (Int.toString n) else ("-" ^ (Int.toString (~n)));
57 fun reg i regi = "(reg:SI " ^ (ints regi) ^ ")";
60 "(mem:SI (plus:SI (reg:SI SP_REGNO) (const_int " ^ (ints (~4*i)) ^ ")))"
63 (ints opndi) ^ " \"stack_memory_operand\" \"\")";
87 | pop_opnds n spl = "r" ^ (ints (reg_index n)) ^ spl ^ (pop_opnds (n-1) spl);
89 | push_opnds n spl = (push_opnds (n-1) spl) ^ spl ^ "r" ^ (ints (reg_index n));
92 val spadj = ints spadj_opnd;
104 (ints (length element_list)) ^
108 (ints (4*regsave_num)) ^ ") <= 60")) ^
119 "GEN_INT (-INTVAL (operands[1]) - " ^ (ints (4*regsave_num)) ^ ");\n" ^
132 val base_regno = ints (n+1);
134 "(plus:SI " ^ base ^ " (const_int " ^ (ints offset) ^ "))";
141 fun reg i = "(match_operand:SI " ^ (ints i) ^
183 (ints (length set_list)) ^ "\"\n" ^
192 let val reg = "(match_operand:SI " ^ (ints i) ^
194 val mem = "(match_operand:SI " ^ (ints (i+n)) ^
205 val scratch = ints (2*n);
221 (if ldst=st then "false" else "true") ^ ", " ^ (ints n) ^ ", " ^