Lines Matching refs:word32T
10 from syntax import word32T, word8T, boolT, builtinTs, Expr, Node
132 arg_regs = mk_var_list (['r0', 'r1', 'r2', 'r3'], word32T)
134 sp = mk_var ('r13', word32T)
136 r0_input = mk_var ('r0_input', word32T)
137 sregs = mk_stack_sequence (sp, 4, st, word32T, len (var_c_args) + 1)
139 ret = mk_var ('ret', word32T)
140 preconds = [mk_aligned (sp, 2), mk_eq (ret, mk_var ('r14', word32T)),
144 'r9', 'r10', 'r11', 'r13'], word32T)]
152 save_seq = mk_stack_sequence (r0_input, 4, st, word32T,
158 init_save_seq = mk_stack_sequence (r0, 4, st, word32T,
327 return [rew for typ in [word8T, word32T, syntax.word16T,
356 i2_def = default_val (word32T)
1521 assert x.kind == 'Num' and x.typ == word32T
1551 assert addr.typ == syntax.word32T