| 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 |