| Checking argmin_uint8_t_uint8_t_start_0 |
| Checking argmin_uint8_t_uint8_t_start_0_inc_2 |
| Checking argmin_uint8_t_uint8_t_start_2 |
| Checking argmin_uint8_t_uint8_t_start_0_min_idx_neg1 |
| Checking argmin_uint8_t_uint8_t_start_3_min_idx_3 |
| Checking argmin_uint8_t_uint8_t_start_3_min_idx_2 |
| Checking argmin_uint8_t_uint8_t_start_3_min_idx_4 |
| Checking argmin_uint8_t_uint8_t_separate_selects |
| Checking argmin_uint8_t_uint8_t_different_selects |
| Checking argmin_uint8_t_uint8_t_start_0_lt |
| Checking argmax_uint8_t_uint8_t_start_0_ge |
| Checking argmax_uint8_t_uint8_t_start_0_gt |
| Checking argmin_uint8_t_uint8_t_separate_selects_lt |
| Checking argmax_uint8_t_uint8_t_separate_selects_gt |
| Checking argmin_uint16_t_uint16_t_start_0 |
| Checking argmin_uint16_t_uint16_t_start_0_inc_2 |
| Checking argmin_uint16_t_uint16_t_start_2 |
| Checking argmin_uint16_t_uint16_t_start_0_min_idx_neg1 |
| Checking argmin_uint16_t_uint16_t_start_3_min_idx_3 |
| Checking argmin_uint16_t_uint16_t_start_3_min_idx_2 |
| Checking argmin_uint16_t_uint16_t_start_3_min_idx_4 |
| Checking argmin_uint16_t_uint16_t_separate_selects |
| Checking argmin_uint16_t_uint16_t_different_selects |
| Checking argmin_uint16_t_uint16_t_start_0_lt |
| Checking argmax_uint16_t_uint16_t_start_0_ge |
| Checking argmax_uint16_t_uint16_t_start_0_gt |
| Checking argmin_uint16_t_uint16_t_separate_selects_lt |
| Checking argmax_uint16_t_uint16_t_separate_selects_gt |
| Checking argmin_uint32_t_uint32_t_start_0 |
| Checking argmin_uint32_t_uint32_t_start_0_inc_2 |
| Checking argmin_uint32_t_uint32_t_start_2 |
| Checking argmin_uint32_t_uint32_t_start_0_min_idx_neg1 |
| Checking argmin_uint32_t_uint32_t_start_3_min_idx_3 |
| Checking argmin_uint32_t_uint32_t_start_3_min_idx_2 |
| Checking argmin_uint32_t_uint32_t_start_3_min_idx_4 |
| Checking argmin_uint32_t_uint32_t_separate_selects |
| Checking argmin_uint32_t_uint32_t_different_selects |
| Checking argmin_uint32_t_uint32_t_start_0_lt |
| Checking argmax_uint32_t_uint32_t_start_0_ge |
| Checking argmax_uint32_t_uint32_t_start_0_gt |
| Checking argmin_uint32_t_uint32_t_separate_selects_lt |
| Checking argmax_uint32_t_uint32_t_separate_selects_gt |
| Checking argmin_uint32_t_uint32_t_start_0_vf4_ic1 |
| Checking argmin_uint32_t_uint32_t_start_0_vf2_ic2 |
| Checking argmin_uint64_t_uint64_t_start_0 |
| Checking argmin_uint64_t_uint64_t_start_0_inc_2 |
| Checking argmin_uint64_t_uint64_t_start_2 |
| Checking argmin_uint64_t_uint64_t_start_0_min_idx_neg1 |
| Checking argmin_uint64_t_uint64_t_start_3_min_idx_3 |
| Checking argmin_uint64_t_uint64_t_start_3_min_idx_2 |
| Checking argmin_uint64_t_uint64_t_start_3_min_idx_4 |
| Checking argmin_uint64_t_uint64_t_separate_selects |
| Checking argmin_uint64_t_uint64_t_different_selects |
| Checking argmin_uint64_t_uint64_t_start_0_lt |
| Checking argmax_uint64_t_uint64_t_start_0_ge |
| Checking argmax_uint64_t_uint64_t_start_0_gt |
| Checking argmin_uint64_t_uint64_t_separate_selects_lt |
| Checking argmax_uint64_t_uint64_t_separate_selects_gt |
| Checking argmin_uint64_t_uint64_t_start_0_vf4_ic1 |
| Checking argmin_uint64_t_uint64_t_start_0_vf2_ic2 |
| Checking argmin_int8_t_int8_t_start_0 |
| Checking argmin_int8_t_int8_t_start_0_inc_2 |
| Checking argmin_int8_t_int8_t_start_2 |
| Checking argmin_int8_t_int8_t_start_0_min_idx_neg1 |
| Checking argmin_int8_t_int8_t_start_3_min_idx_3 |
| Checking argmin_int8_t_int8_t_start_3_min_idx_2 |
| Checking argmin_int8_t_int8_t_start_3_min_idx_4 |
| Checking argmin_int8_t_int8_t_separate_selects |
| Checking argmin_int8_t_int8_t_different_selects |
| Checking argmin_int8_t_int8_t_start_0_lt |
| Checking argmax_int8_t_int8_t_start_0_ge |
| Checking argmax_int8_t_int8_t_start_0_gt |
| Checking argmin_int8_t_int8_t_separate_selects_lt |
| Checking argmax_int8_t_int8_t_separate_selects_gt |
| Checking argmin_int16_t_int16_t_start_0 |
| Checking argmin_int16_t_int16_t_start_0_inc_2 |
| Checking argmin_int16_t_int16_t_start_2 |
| Checking argmin_int16_t_int16_t_start_0_min_idx_neg1 |
| Checking argmin_int16_t_int16_t_start_3_min_idx_3 |
| Checking argmin_int16_t_int16_t_start_3_min_idx_2 |
| Checking argmin_int16_t_int16_t_start_3_min_idx_4 |
| Checking argmin_int16_t_int16_t_separate_selects |
| Checking argmin_int16_t_int16_t_different_selects |
| Checking argmin_int16_t_int16_t_start_0_lt |
| Checking argmax_int16_t_int16_t_start_0_ge |
| Checking argmax_int16_t_int16_t_start_0_gt |
| Checking argmin_int16_t_int16_t_separate_selects_lt |
| Checking argmax_int16_t_int16_t_separate_selects_gt |
| Checking argmin_int32_t_int32_t_start_0 |
| Checking argmin_int32_t_int32_t_start_0_inc_2 |
| Checking argmin_int32_t_int32_t_start_2 |
| Checking argmin_int32_t_int32_t_start_0_min_idx_neg1 |
| Checking argmin_int32_t_int32_t_start_3_min_idx_3 |
| Checking argmin_int32_t_int32_t_start_3_min_idx_2 |
| Checking argmin_int32_t_int32_t_start_3_min_idx_4 |
| Checking argmin_int32_t_int32_t_separate_selects |
| Checking argmin_int32_t_int32_t_different_selects |
| Checking argmin_int32_t_int32_t_start_0_lt |
| Checking argmax_int32_t_int32_t_start_0_ge |
| Checking argmax_int32_t_int32_t_start_0_gt |
| Checking argmin_int32_t_int32_t_separate_selects_lt |
| Checking argmax_int32_t_int32_t_separate_selects_gt |
| Checking argmin_int32_t_int32_t_start_0_vf4_ic1 |
| Checking argmin_int32_t_int32_t_start_0_vf2_ic2 |
| Checking argmin_int64_t_int64_t_start_0 |
| Checking argmin_int64_t_int64_t_start_0_inc_2 |
| Checking argmin_int64_t_int64_t_start_2 |
| Checking argmin_int64_t_int64_t_start_0_min_idx_neg1 |
| Checking argmin_int64_t_int64_t_start_3_min_idx_3 |
| Checking argmin_int64_t_int64_t_start_3_min_idx_2 |
| Checking argmin_int64_t_int64_t_start_3_min_idx_4 |
| Checking argmin_int64_t_int64_t_separate_selects |
| Checking argmin_int64_t_int64_t_different_selects |
| Checking argmin_int64_t_int64_t_start_0_lt |
| Checking argmax_int64_t_int64_t_start_0_ge |
| Checking argmax_int64_t_int64_t_start_0_gt |
| Checking argmin_int64_t_int64_t_separate_selects_lt |
| Checking argmax_int64_t_int64_t_separate_selects_gt |
| Checking argmin_uint8_t_int8_t_start_0 |
| Checking argmin_uint8_t_int8_t_start_0_inc_2 |
| Checking argmin_uint8_t_int8_t_start_2 |
| Checking argmin_uint8_t_int8_t_start_0_min_idx_neg1 |
| Checking argmin_uint8_t_int8_t_start_3_min_idx_3 |
| Checking argmin_uint8_t_int8_t_start_3_min_idx_2 |
| Checking argmin_uint8_t_int8_t_start_3_min_idx_4 |
| Checking argmin_uint8_t_int8_t_separate_selects |
| Checking argmin_uint8_t_int8_t_different_selects |
| Checking argmin_uint8_t_int8_t_start_0_lt |
| Checking argmax_uint8_t_int8_t_start_0_ge |
| Checking argmax_uint8_t_int8_t_start_0_gt |
| Checking argmin_uint8_t_int8_t_separate_selects_lt |
| Checking argmax_uint8_t_int8_t_separate_selects_gt |
| Checking argmin_uint16_t_int16_t_start_0 |
| Checking argmin_uint16_t_int16_t_start_0_inc_2 |
| Checking argmin_uint16_t_int16_t_start_2 |
| Checking argmin_uint16_t_int16_t_start_0_min_idx_neg1 |
| Checking argmin_uint16_t_int16_t_start_3_min_idx_3 |
| Checking argmin_uint16_t_int16_t_start_3_min_idx_2 |
| Checking argmin_uint16_t_int16_t_start_3_min_idx_4 |
| Checking argmin_uint16_t_int16_t_separate_selects |
| Checking argmin_uint16_t_int16_t_different_selects |
| Checking argmin_uint16_t_int16_t_start_0_lt |
| Checking argmax_uint16_t_int16_t_start_0_ge |
| Checking argmax_uint16_t_int16_t_start_0_gt |
| Checking argmin_uint16_t_int16_t_separate_selects_lt |
| Checking argmax_uint16_t_int16_t_separate_selects_gt |
| Checking argmin_uint32_t_int32_t_start_0 |
| Checking argmin_uint32_t_int32_t_start_0_inc_2 |
| Checking argmin_uint32_t_int32_t_start_2 |
| Checking argmin_uint32_t_int32_t_start_0_min_idx_neg1 |
| Checking argmin_uint32_t_int32_t_start_3_min_idx_3 |
| Checking argmin_uint32_t_int32_t_start_3_min_idx_2 |
| Checking argmin_uint32_t_int32_t_start_3_min_idx_4 |
| Checking argmin_uint32_t_int32_t_separate_selects |
| Checking argmin_uint32_t_int32_t_different_selects |
| Checking argmin_uint32_t_int32_t_start_0_lt |
| Checking argmax_uint32_t_int32_t_start_0_ge |
| Checking argmax_uint32_t_int32_t_start_0_gt |
| Checking argmin_uint32_t_int32_t_separate_selects_lt |
| Checking argmax_uint32_t_int32_t_separate_selects_gt |
| Checking argmin_uint64_t_int64_t_start_0 |
| Checking argmin_uint64_t_int64_t_start_0_inc_2 |
| Checking argmin_uint64_t_int64_t_start_2 |
| Checking argmin_uint64_t_int64_t_start_0_min_idx_neg1 |
| Checking argmin_uint64_t_int64_t_start_3_min_idx_3 |
| Checking argmin_uint64_t_int64_t_start_3_min_idx_2 |
| Checking argmin_uint64_t_int64_t_start_3_min_idx_4 |
| Checking argmin_uint64_t_int64_t_separate_selects |
| Checking argmin_uint64_t_int64_t_different_selects |
| Checking argmin_uint64_t_int64_t_start_0_lt |
| Checking argmax_uint64_t_int64_t_start_0_ge |
| Checking argmax_uint64_t_int64_t_start_0_gt |
| Checking argmin_uint64_t_int64_t_separate_selects_lt |
| Checking argmax_uint64_t_int64_t_separate_selects_gt |
| Checking argmin_int8_t_uint8_t_start_0 |
| Checking argmin_int8_t_uint8_t_start_0_inc_2 |
| Checking argmin_int8_t_uint8_t_start_2 |
| Checking argmin_int8_t_uint8_t_start_0_min_idx_neg1 |
| Checking argmin_int8_t_uint8_t_start_3_min_idx_3 |
| Checking argmin_int8_t_uint8_t_start_3_min_idx_2 |
| Checking argmin_int8_t_uint8_t_start_3_min_idx_4 |
| Checking argmin_int8_t_uint8_t_separate_selects |
| Checking argmin_int8_t_uint8_t_different_selects |
| Checking argmin_int8_t_uint8_t_start_0_lt |
| Checking argmax_int8_t_uint8_t_start_0_ge |
| Checking argmax_int8_t_uint8_t_start_0_gt |
| Checking argmin_int8_t_uint8_t_separate_selects_lt |
| Checking argmax_int8_t_uint8_t_separate_selects_gt |
| Checking argmin_int16_t_uint16_t_start_0 |
| Checking argmin_int16_t_uint16_t_start_0_inc_2 |
| Checking argmin_int16_t_uint16_t_start_2 |
| Checking argmin_int16_t_uint16_t_start_0_min_idx_neg1 |
| Checking argmin_int16_t_uint16_t_start_3_min_idx_3 |
| Checking argmin_int16_t_uint16_t_start_3_min_idx_2 |
| Checking argmin_int16_t_uint16_t_start_3_min_idx_4 |
| Checking argmin_int16_t_uint16_t_separate_selects |
| Checking argmin_int16_t_uint16_t_different_selects |
| Checking argmin_int16_t_uint16_t_start_0_lt |
| Checking argmax_int16_t_uint16_t_start_0_ge |
| Checking argmax_int16_t_uint16_t_start_0_gt |
| Checking argmin_int16_t_uint16_t_separate_selects_lt |
| Checking argmax_int16_t_uint16_t_separate_selects_gt |
| Checking argmin_int32_t_uint32_t_start_0 |
| Checking argmin_int32_t_uint32_t_start_0_inc_2 |
| Checking argmin_int32_t_uint32_t_start_2 |
| Checking argmin_int32_t_uint32_t_start_0_min_idx_neg1 |
| Checking argmin_int32_t_uint32_t_start_3_min_idx_3 |
| Checking argmin_int32_t_uint32_t_start_3_min_idx_2 |
| Checking argmin_int32_t_uint32_t_start_3_min_idx_4 |
| Checking argmin_int32_t_uint32_t_separate_selects |
| Checking argmin_int32_t_uint32_t_different_selects |
| Checking argmin_int32_t_uint32_t_start_0_lt |
| Checking argmax_int32_t_uint32_t_start_0_ge |
| Checking argmax_int32_t_uint32_t_start_0_gt |
| Checking argmin_int32_t_uint32_t_separate_selects_lt |
| Checking argmax_int32_t_uint32_t_separate_selects_gt |
| Checking argmin_int64_t_uint64_t_start_0 |
| Checking argmin_int64_t_uint64_t_start_0_inc_2 |
| Checking argmin_int64_t_uint64_t_start_2 |
| Checking argmin_int64_t_uint64_t_start_0_min_idx_neg1 |
| Checking argmin_int64_t_uint64_t_start_3_min_idx_3 |
| Checking argmin_int64_t_uint64_t_start_3_min_idx_2 |
| Checking argmin_int64_t_uint64_t_start_3_min_idx_4 |
| Checking argmin_int64_t_uint64_t_separate_selects |
| Checking argmin_int64_t_uint64_t_different_selects |
| Checking argmin_int64_t_uint64_t_start_0_lt |
| Checking argmax_int64_t_uint64_t_start_0_ge |
| Checking argmax_int64_t_uint64_t_start_0_gt |
| Checking argmin_int64_t_uint64_t_separate_selects_lt |
| Checking argmax_int64_t_uint64_t_separate_selects_gt |
| Checking argmin_uint64_t_uint32_t_with_trunc |
| Checking argmin_uint64_t_uint32_t_induction_decrement |
| Checking argmixed_uint64_t_uint64_t_predicate_mismatch_0 |
| Checking argmixed_uint64_t_uint64_t_predicate_mismatch_1 |
| exit 0 |