__is_pointer_value
if (__is_pointer_value(false, reg1) || __is_pointer_value(false, reg2)) {
if (!__is_pointer_value(false, dst_reg))
!__is_pointer_value(false, src_reg))
__is_pointer_value(false, src_reg) && __is_pointer_value(false, dst_reg) &&
} else if (__is_pointer_value(env->allow_ptr_leaks, reg)) {
return __is_pointer_value(env->allow_ptr_leaks, reg_state(env, regno));