Checking min_index_select_u32_u32_start_0
Checking min_index_select_u32_u32_start_0_inc_2
Checking min_index_select_u32_u32_start_2
Checking min_index_select_u32_u32_with_trunc
Checking min_index_select_u32_u32_induction_decrement
Checking min_index_select_u32_u32_start_0_min_idx_neg1
Checking min_index_select_u32_u32_start_3_min_idx_3
Checking min_index_select_u32_u32_start_3_min_idx_2
Checking min_index_select_u32_u32_start_3_min_idx_4
exit 0