http://coolup39.lin.mbt.kalray.eu:8080/function?fct_expr=x%2Fy&io_format=binary32&range_lo=-infty&range_hi=%2Binfty&range_nan=True&vector_size=4&sub_vector_size=default&target=kv3&language=c&new_pass=basic_block_simplification®istered_pass_list=vector_mask_test_legalization%2Cvirtual_vector_bool_legalization
