Lines Matching full:t_fetched
7948 IRTemp t_fetched, t_bitno0, t_bitno1, t_bitno2, t_addr0,
7953 t_fetched = t_bitno0 = t_bitno1 = t_bitno2
7957 t_fetched = newTemp(Ity_I8);
8051 assign( t_fetched, loadLE(Ity_I8, mkexpr(t_addr1)) );
8057 binop(Iop_Or8, mkexpr(t_fetched), mkexpr(t_mask)) );
8061 binop(Iop_Xor8, mkexpr(t_fetched), mkexpr(t_mask)) );
8065 binop(Iop_And8, mkexpr(t_fetched),
8072 casLE( mkexpr(t_addr1), mkexpr(t_fetched)/*expd*/,
8088 unop(Iop_8Uto64, mkexpr(t_fetched)),
