Searched defs:des_addr (Results 1 - 1 of 1) sorted by relevance
| /external/valgrind/VEX/priv/ |
| H A D | guest_s390_toIR.c | 13099 IRTemp src_addr, des_addr, tab_addr, src_len, test_byte; local
13101 des_addr = newTemp(Ity_I64);
13107 assign(des_addr, get_gpr_dw0(r1));
13134 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(1)));
13146 IRTemp src_addr, des_addr, tab_addr, src_len, test_byte; local
13148 des_addr = newTemp(Ity_I64);
13154 assign(des_addr, get_gpr_dw0(r1));
13183 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(1)));
13194 IRTemp src_addr, des_addr, tab_addr, src_len, test_byte; local
13196 des_addr
13241 IRTemp src_addr, des_addr, tab_addr, src_len, test_byte; local
[all...] |
Completed in 93 milliseconds