Lines Matching refs:word32T
22 from syntax import mk_var, word32T, builtinTs, mk_eq, mk_less_eq
116 cache = None, typ = syntax.word32T):
266 sp = mk_var ('r13', syntax.word32T)
291 sp = syntax.rename_expr (mk_var ('r13', syntax.word32T), r)
365 elif expr.typ == syntax.word32T:
368 assert expr.typ == syntax.word32T, expr
381 v = mk_var (('Fake', k, offs), syntax.word32T)
407 syntax.word32T), v2))
420 assert expr.typ == syntax.word32T, expr
424 r = (('Fake', k, offs), syntax.word32T)
463 ptr_upds = [(('unused#ptr#name%d' % i, syntax.word32T),
479 return syntax.mk_memacc (stack, ptr, syntax.word32T)
490 return logic.var_subst (ptr, {('r0_input', syntax.word32T):
491 syntax.mk_var ('r0', syntax.word32T)}, must_subst = False)
1004 from syntax import mk_var, word32T, builtinTs
1006 arg_regs = mk_var_list (['r0', 'r1', 'r2', 'r3'], word32T)
1008 sp = mk_var ('r13', word32T)
1010 r0_input = mk_var ('r0_input', word32T)
1016 global_args = [mem, dom, st, dom_stack, sp, mk_var ('ret', word32T)]
1018 sregs = mk_stack_sequence (sp, 4, st, word32T, num_c_args + 1)
1025 rets = mk_stack_sequence (r0_input, 4, st, word32T, num_c_rets)
1030 callee_saved_vars = ([mk_var (v, word32T)
1286 if typ != word32T:
1352 if ('r13', word32T) in node.get_lvals ()]])