Lines Matching refs:IRExpr
936 IRExpr **args = mkIRExprVec_0();
969 IRExpr* sp_expr;
986 IRExpr **args = mkIRExprVec_1(mkIRExpr_HWord((HWord)trace_info));
996 IRExpr* next,
1009 IRExpr **args = mkIRExprVec_2(
1028 IRExpr **args = mkIRExprVec_2(
1058 uintptr_t idx, IRExpr *x, IRType tyAddr) {
1060 IRExpr *idx_expr = mkIRExpr_HWord(idx * sizeof(uintptr_t));
1061 IRExpr *tleb_plus_idx_expr = IRExpr_Binop(
1078 IRExpr* addr,
1120 IRExpr *expr_to_store = NULL;
1127 IRExpr *addr_load_expr = IRExpr_Load(Iend_LE, tyAddr, addr);
1133 IRExpr *sub_expr = IRExpr_Binop((IROp)(Iop_Sub32 + is_64),
1140 IRExpr *mask_expr = IRExpr_Unop((IROp)(Iop_CmpwNEZ32 + is_64),
1147 IRExpr *and_expr = IRExpr_Binop((IROp)(Iop_And32 + is_64),
1208 IRExpr* data = st->Ist.WrTmp.data;
1375 IRExpr *tleb_ptr_expr = mkIRExpr_HWord((HWord)&g_cur_tleb);
1376 IRExpr *tleb_expr = IRExpr_Load(Iend_LE, tyAddr, tleb_ptr_expr);
