blob: ee44ea6f0d71f6eb49542bcfb5ac358597b72d02 [file] [edit]
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