3180     TCGv_i64 op0, op1, diff, t1, tmax;  in trans_WHILE_ptr()  local
3197     diff = tcg_temp_new_i64();  in trans_WHILE_ptr()
3203         tcg_gen_sub_i64(diff, op0, op1);  in trans_WHILE_ptr()
3205         tcg_gen_movcond_i64(TCG_COND_GEU, diff, op0, op1, diff, t1);  in trans_WHILE_ptr()
3207         tcg_gen_andi_i64(diff, diff, -1 << a->esz);  in trans_WHILE_ptr()
3209         tcg_gen_movcond_i64(TCG_COND_EQ, diff, op0, op1, tmax, diff);  in trans_WHILE_ptr()
3212         tcg_gen_sub_i64(diff, op1, op0);  in trans_WHILE_ptr()
3214         tcg_gen_andi_i64(diff, diff, -1 << a->esz);  in trans_WHILE_ptr()
3216         tcg_gen_movcond_i64(TCG_COND_GEU, diff, op0, op1, tmax, diff);  in trans_WHILE_ptr()
3220     tcg_gen_umin_i64(diff, diff, tmax);  in trans_WHILE_ptr()
3224     tcg_gen_extrl_i64_i32(t2, diff);  in trans_WHILE_ptr()