Lines Matching full:t_fetched
7975 IRTemp t_fetched, t_bitno0, t_bitno1, t_bitno2, t_addr0,
7980 t_fetched = t_bitno0 = t_bitno1 = t_bitno2
7984 t_fetched = newTemp(Ity_I8);
8078 assign( t_fetched, loadLE(Ity_I8, mkexpr(t_addr1)) );
8084 binop(Iop_Or8, mkexpr(t_fetched), mkexpr(t_mask)) );
8088 binop(Iop_Xor8, mkexpr(t_fetched), mkexpr(t_mask)) );
8092 binop(Iop_And8, mkexpr(t_fetched),
8099 casLE( mkexpr(t_addr1), mkexpr(t_fetched)/*expd*/,
8115 unop(Iop_8Uto64, mkexpr(t_fetched)),
