I forgot to check that Load node is in processed loop block in the fix for 8001183:
- if (load->is_Load() && (velt_type(load)->basic_type() == T_INT)) {
+ if (load->is_Load() && in_bb(load) && (velt_type(load)->basic_type() == T_INT)) {