13099    IRTemp src_addr, des_addr, tab_addr, src_len, test_byte;  in s390_irgen_TROO()  local
13101    des_addr = newTemp(Ity_I64);  in s390_irgen_TROO()
13107    assign(des_addr, get_gpr_dw0(r1));  in s390_irgen_TROO()
13134    put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(1)));  in s390_irgen_TROO()
13146    IRTemp src_addr, des_addr, tab_addr, src_len, test_byte;  in s390_irgen_TRTO()  local
13148    des_addr = newTemp(Ity_I64);  in s390_irgen_TRTO()
13154    assign(des_addr, get_gpr_dw0(r1));  in s390_irgen_TRTO()
13183    put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(1)));  in s390_irgen_TRTO()
13194    IRTemp src_addr, des_addr, tab_addr, src_len, test_byte;  in s390_irgen_TROT()  local
13196    des_addr = newTemp(Ity_I64);  in s390_irgen_TROT()
13202    assign(des_addr, get_gpr_dw0(r1));  in s390_irgen_TROT()
13230    put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(2)));  in s390_irgen_TROT()
13241    IRTemp src_addr, des_addr, tab_addr, src_len, test_byte;  in s390_irgen_TRTT()  local
13243    des_addr = newTemp(Ity_I64);  in s390_irgen_TRTT()
13249    assign(des_addr, get_gpr_dw0(r1));  in s390_irgen_TRTT()
13278    put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(2)));  in s390_irgen_TRTT()