Searched refs:t_addr1 (Results 1 - 2 of 2) sorted by relevance

/external/valgrind/main/VEX/priv/
H A Dguest_x86_toIR.c6215 t_addr1, t_esp, t_mask, t_new; local
6220 = t_addr0 = t_addr1 = t_esp
6228 t_addr1 = newTemp(Ity_I32);
6270 assign( t_addr1,
6275 /* t_addr1 now holds effective address */
6290 assign( t_fetched, loadLE(Ity_I8, mkexpr(t_addr1)) );
6311 casLE( mkexpr(t_addr1), mkexpr(t_fetched)/*expd*/,
6315 storeLE( mkexpr(t_addr1), mkexpr(t_new) );
H A Dguest_amd64_toIR.c7604 t_addr1, t_rsp, t_mask, t_new; local
7609 = t_addr0 = t_addr1 = t_rsp
7617 t_addr1 = newTemp(Ity_I64);
7668 assign( t_addr1,
7673 /* t_addr1 now holds effective address */
7688 assign( t_fetched, loadLE(Ity_I8, mkexpr(t_addr1)) );
7709 casLE( mkexpr(t_addr1), mkexpr(t_fetched)/*expd*/,
7713 storeLE( mkexpr(t_addr1), mkexpr(t_new) );

Completed in 326 milliseconds