Lines Matching refs:word32T
178 foldr1, mk_or, boolT, word32T, word8T, mk_implies, Type, get_global_wrapper)
392 elif expr.is_op ('Equals') and expr.vals[0].typ == word32T:
450 p = solv.cache_large_expr (p, 'memacc_pointer', syntax.word32T)
459 solv.note_model_expr (p, syntax.word32T)
465 p = solv.cache_large_expr (p, 'memupd_pointer', syntax.word32T)
477 p = solv.cache_large_expr (p, 'memupd_pointer', syntax.word32T)
479 solv.note_model_expr (p_align, syntax.word32T)
481 syntax.word32T)
486 solv.note_model_expr (p, syntax.word32T)
921 split = add ('split', syntax.word32T, split)
954 ro_witness = self.add_var ('rodata-witness', word32T)
955 ro_witness_val = self.add_var ('rodata-witness-val', word32T)
979 ro_witness = mk_smt_expr ('rodata-witness', word32T)
1669 p = self.add_def ('ptr', mk_smt_expr (p_s, word32T), {})
1706 return (typ, kind, mk_smt_expr (p, word32T),
1773 addr = self.add_var ('stack-eq-witness', word32T)
1778 ptr = mk_smt_expr (addr, word32T)
1779 eq = syntax.mk_eq (syntax.mk_memacc (s1, ptr, word32T),
1780 syntax.mk_memacc (s2, ptr, word32T))
2190 v = syntax.mk_var ('v', word32T)
2192 env = {('v', word32T): solv.add_var ('v', word32T)}