[clang] Improve the lifetime_capture_by diagnostic on the constructor. (#117792)main
[llvm-project.git] / polly / test / ScopInfo / 
tree766351eca579e1a4ee81d3e993ccc764112e7a5b
drwxr-xr-x   ..
-rw-r--r-- 1038 20110312-Fail-without-basicaa.ll
-rw-r--r-- 2781 20111108-Parameter-not-detected.ll
-rw-r--r-- 841 2012-03-16-Crash-because-of-unsigned-in-scev.ll
-rw-r--r-- 1219 2015-10-04-Crash-in-domain-generation.ll
-rw-r--r-- 1868 Alias-0.ll
-rw-r--r-- 1925 Alias-1.ll
-rw-r--r-- 2004 Alias-2.ll
-rw-r--r-- 1420 Alias-3.ll
-rw-r--r-- 1504 Alias-4.ll
drwxr-xr-x - BoundChecks
drwxr-xr-x - NonAffine
-rw-r--r-- 1931 aliasing_conditional_alias_groups_1.ll
-rw-r--r-- 1849 aliasing_conditional_alias_groups_2.ll
-rw-r--r-- 1833 aliasing_dead_access.ll
-rw-r--r-- 2063 aliasing_many_arrays_to_compare.ll
-rw-r--r-- 4091 aliasing_many_parameters_not_all_involved.ll
-rw-r--r-- 9566 aliasing_many_read_only_acesses.ll
-rw-r--r-- 2690 aliasing_multiple_alias_groups.ll
-rw-r--r-- 3526 aliasing_with_non_affine_access.ll
-rw-r--r-- 3930 allow-all-parameters-dereferencable.ll
-rw-r--r-- 3099 assume_gep_bounds.ll
-rw-r--r-- 3566 assume_gep_bounds_2.ll
-rw-r--r-- 30532 assume_gep_bounds_many.ll
-rw-r--r-- 2614 avoid_new_parameters_from_geps.ll
-rw-r--r-- 1734 bool-addrec.ll
-rw-r--r-- 2356 bounded_loop_assumptions.ll
-rw-r--r-- 1314 branch-references-loop-scev-with-unknown-iterations-2.ll
-rw-r--r-- 3809 branch-references-loop-scev-with-unknown-iterations-3.ll
-rw-r--r-- 1923 branch-references-loop-scev-with-unknown-iterations.ll
-rw-r--r-- 1727 bug_2010_10_22.ll
-rw-r--r-- 2319 bug_2011_1_5.ll
-rw-r--r-- 1579 bug_scev_not_fully_eval.ll
-rw-r--r-- 14235 cfg_consequences.ll
-rw-r--r-- 4289 complex-branch-structure.ll
-rw-r--r-- 5609 complex-condition.ll
-rw-r--r-- 7386 complex-expression.ll
-rw-r--r-- 3314 complex-loop-nesting.ll
-rw-r--r-- 20718 complex-successor-structure-2.ll
-rw-r--r-- 11447 complex-successor-structure-3.ll
-rw-r--r-- 20681 complex-successor-structure.ll
-rw-r--r-- 2521 complex_domain_binary_condition.ll
-rw-r--r-- 1655 complex_execution_context.ll
-rw-r--r-- 1732 cond_constant_in_loop.ll
-rw-r--r-- 1746 cond_in_loop.ll
-rw-r--r-- 1594 condition-after-error-block-2.ll
-rw-r--r-- 1013 condition-after-error-block-before-scop.ll
-rw-r--r-- 1962 condtion-after-error-block.ll
-rw-r--r-- 4123 const_srem_sdiv.ll
-rw-r--r-- 893 constant-non-integer-branch-condition.ll
-rw-r--r-- 1614 constant_factor_in_parameter.ll
-rw-r--r-- 918 constant_functions_outside_scop_as_unknown.ll
-rw-r--r-- 1919 constant_start_integer.ll
-rw-r--r-- 887 debug_call.ll
-rw-r--r-- 3223 delinearize-together-all-data-refs.ll
-rw-r--r-- 1110 div_by_zero.ll
-rw-r--r-- 2120 do-not-model-error-block-accesses.ll
-rw-r--r-- 3781 eager-binary-and-or-conditions.ll
-rw-r--r-- 2250 early_exit_for_complex_domains.ll
-rw-r--r-- 2476 error-blocks-1.ll
-rw-r--r-- 3172 error-blocks-2.ll
-rw-r--r-- 2383 error-blocks-3.ll
-rw-r--r-- 1712 escaping_empty_scop.ll
-rw-r--r-- 2340 exit-phi-1.ll
-rw-r--r-- 1570 exit-phi-2.ll
-rw-r--r-- 1650 exit_phi_accesses-2.ll
-rw-r--r-- 1506 exit_phi_accesses.ll
-rw-r--r-- 11350 expensive-boundary-context.ll
-rw-r--r-- 1438 extract_constant_factor_introduces_new_parameter.ll
-rw-r--r-- 2810 full-function.ll
-rw-r--r-- 1741 granularity_same_name.ll
-rw-r--r-- 2361 granularity_scalar-indep.ll
-rw-r--r-- 2426 granularity_scalar-indep_cross-referencing-phi1.ll
-rw-r--r-- 2523 granularity_scalar-indep_cross-referencing-phi2.ll
-rw-r--r-- 2116 granularity_scalar-indep_epilogue.ll
-rw-r--r-- 2649 granularity_scalar-indep_epilogue_last.ll
-rw-r--r-- 1802 granularity_scalar-indep_noepilogue.ll
-rw-r--r-- 2918 granularity_scalar-indep_ordered-2.ll
-rw-r--r-- 2092 granularity_scalar-indep_ordered.ll
-rw-r--r-- 1802 i1_params.ll
-rw-r--r-- 1808 infeasible-rtc.ll
-rw-r--r-- 2635 infeasible_invalid_context.ll
-rw-r--r-- 3222 int2ptr_ptr2int.ll
-rw-r--r-- 3059 int2ptr_ptr2int_2.ll
-rw-r--r-- 4090 integers.ll
-rw-r--r-- 1807 inter-error-bb-dependence.ll
-rw-r--r-- 2151 inter_bb_scalar_dep.ll
-rw-r--r-- 1705 intra-non-affine-stmt-phi-node.ll
-rw-r--r-- 2571 intra_and_inter_bb_scalar_dep.ll
-rw-r--r-- 2093 intra_bb_scalar_dep.ll
-rw-r--r-- 1835 intrinsics.ll
-rw-r--r-- 2722 invalid_add_rec_after_invariant_load_remapping.ll
-rw-r--r-- 6546 invalidate_iterator_during_MA_removal.ll
-rw-r--r-- 1096 invariant-load-instlist.ll
-rw-r--r-- 4765 invariant-loads-leave-read-only-statements.ll
-rw-r--r-- 1179 invariant_load.ll
-rw-r--r-- 2390 invariant_load_access_classes_different_base_type.ll
-rw-r--r-- 3384 invariant_load_access_classes_different_base_type_escaping.ll
-rw-r--r-- 2865 invariant_load_access_classes_different_base_type_same_pointer.ll
-rw-r--r-- 3191 invariant_load_access_classes_different_base_type_same_pointer_escaping.ll
-rw-r--r-- 1985 invariant_load_addrec_sum.ll
-rw-r--r-- 1202 invariant_load_base_pointer.ll
-rw-r--r-- 1736 invariant_load_base_pointer_conditional.ll
-rw-r--r-- 1741 invariant_load_base_pointer_in_conditional.ll
-rw-r--r-- 1598 invariant_load_branch_condition.ll
-rw-r--r-- 1298 invariant_load_canonicalize_array_baseptrs.ll
-rw-r--r-- 3205 invariant_load_canonicalize_array_baseptrs_2.ll
-rw-r--r-- 1753 invariant_load_canonicalize_array_baseptrs_3.ll
-rw-r--r-- 1538 invariant_load_canonicalize_array_baseptrs_4.ll
-rw-r--r-- 1709 invariant_load_canonicalize_array_baseptrs_4b.ll
-rw-r--r-- 1443 invariant_load_canonicalize_array_baseptrs_4c.ll
-rw-r--r-- 2854 invariant_load_canonicalize_array_baseptrs_5.ll
-rw-r--r-- 4103 invariant_load_complex_condition.ll
-rw-r--r-- 1409 invariant_load_condition.ll
-rw-r--r-- 2958 invariant_load_dereferenceable.ll
-rw-r--r-- 4836 invariant_load_distinct_parameter_valuations.ll
-rw-r--r-- 2167 invariant_load_in_non_affine.ll
-rw-r--r-- 1365 invariant_load_loop_ub.ll
-rw-r--r-- 2011 invariant_load_ptr_ptr_noalias.ll
-rw-r--r-- 1394 invariant_load_scalar_dep.ll
-rw-r--r-- 2254 invariant_load_stmt_domain.ll
-rw-r--r-- 4500 invariant_load_zext_parameter-2.ll
-rw-r--r-- 2866 invariant_load_zext_parameter.ll
-rw-r--r-- 1164 invariant_load_zextended_in_own_execution_context.ll
-rw-r--r-- 3536 invariant_loads_complicated_dependences.ll
-rw-r--r-- 2398 invariant_loads_cyclic_dependences.ll
-rw-r--r-- 4916 invariant_loop_bounds.ll
-rw-r--r-- 4431 invariant_same_loop_bound_multiple_times-1.ll
-rw-r--r-- 4575 invariant_same_loop_bound_multiple_times-2.ll
-rw-r--r-- 1463 isl_aff_out_of_bounds.ll
-rw-r--r-- 1076 isl_trip_count_01.ll
-rw-r--r-- 956 isl_trip_count_02.ll
-rw-r--r-- 2177 isl_trip_count_03.ll
-rw-r--r-- 1689 isl_trip_count_multiple_exiting_blocks.ll
-rw-r--r-- 2039 licm_load.ll
-rw-r--r-- 2807 licm_potential_store.ll
-rw-r--r-- 2695 licm_reduction_nested.ll
-rw-r--r-- 9915 long-compile-time-alias-analysis.ll
-rw-r--r-- 10207 long-sequence-of-error-blocks-2.ll
-rw-r--r-- 10001 long-sequence-of-error-blocks.ll
-rw-r--r-- 3089 loop-multiexit-succ-cond.ll
-rw-r--r-- 3013 loop_affine_bound_0.ll
-rw-r--r-- 3181 loop_affine_bound_1.ll
-rw-r--r-- 2711 loop_affine_bound_2.ll
-rw-r--r-- 3471 loop_carry.ll
-rw-r--r-- 10567 many-scalar-dependences.ll
-rw-r--r-- 2520 max-loop-depth.ll
-rw-r--r-- 2926 memcpy-raw-source.ll
-rw-r--r-- 3090 memcpy.ll
-rw-r--r-- 3091 memmove.ll
-rw-r--r-- 2446 memset.ll
-rw-r--r-- 1622 memset_null.ll
-rw-r--r-- 2196 mismatching-array-dimensions.ll
-rw-r--r-- 2068 mod_ref_access_pointee_arguments.ll
-rw-r--r-- 2370 mod_ref_read_pointee_arguments.ll
-rw-r--r-- 1696 mod_ref_read_pointer.ll
-rw-r--r-- 2186 mod_ref_read_pointers.ll
-rw-r--r-- 2002 modulo_zext_1.ll
-rw-r--r-- 2194 modulo_zext_2.ll
-rw-r--r-- 1879 modulo_zext_3.ll
-rw-r--r-- 1424 multi-scop.ll
-rw-r--r-- 1176 multidim_2d-diagonal-matrix.ll
-rw-r--r-- 1720 multidim_2d_outer_parametric_offset.ll
-rw-r--r-- 1648 multidim_2d_parametric_array_static_loop_bounds.ll
-rw-r--r-- 9256 multidim_2d_with_modref_call.ll
-rw-r--r-- 8715 multidim_2d_with_modref_call_2.ll
-rw-r--r-- 2148 multidim_3d_parametric_array_static_loop_bounds.ll
-rw-r--r-- 9826 multidim_fixedsize_different_dimensionality.ll
-rw-r--r-- 2552 multidim_fixedsize_multi_offset.ll
-rw-r--r-- 4534 multidim_fold_constant_dim.ll
-rw-r--r-- 2441 multidim_fold_constant_dim_zero.ll
-rw-r--r-- 2635 multidim_fortran_2d.ll
-rw-r--r-- 3054 multidim_fortran_2d_params.ll
-rw-r--r-- 9276 multidim_fortran_2d_with_modref_call.ll
-rw-r--r-- 11639 multidim_fortran_srem.ll
-rw-r--r-- 1911 multidim_gep_pointercast.ll
-rw-r--r-- 1698 multidim_gep_pointercast2.ll
-rw-r--r-- 824 multidim_invalid_dimension.ll
-rw-r--r-- 2302 multidim_ivs_and_integer_offsets_3d.ll
-rw-r--r-- 2941 multidim_ivs_and_parameteric_offsets_3d.ll
-rw-r--r-- 19726 multidim_many_references.ll
-rw-r--r-- 2409 multidim_nested_start_integer.ll
-rw-r--r-- 2359 multidim_nested_start_share_parameter.ll
-rw-r--r-- 1679 multidim_only_ivs_2d.ll
-rw-r--r-- 2092 multidim_only_ivs_3d.ll
-rw-r--r-- 2828 multidim_only_ivs_3d_cast.ll
-rw-r--r-- 2358 multidim_only_ivs_3d_reverse.ll
-rw-r--r-- 3209 multidim_param_in_subscript-2.ll
-rw-r--r-- 2242 multidim_param_in_subscript.ll
-rw-r--r-- 2254 multidim_parameter_addrec_product.ll
-rw-r--r-- 4390 multidim_single_and_multidim_array.ll
-rw-r--r-- 4419 multidim_srem.ll
-rw-r--r-- 2392 multidim_with_bitcast.ll
-rw-r--r-- 1604 multiple-binary-or-conditions.ll
-rw-r--r-- 3451 multiple-types-access-offset-not-dividable-by-element-size.ll
-rw-r--r-- 3570 multiple-types-non-affine-2.ll
-rw-r--r-- 3589 multiple-types-non-affine.ll
-rw-r--r-- 2256 multiple-types-non-power-of-two-2.ll
-rw-r--r-- 6723 multiple-types-non-power-of-two.ll
-rw-r--r-- 2142 multiple-types-two-dimensional-2.ll
-rw-r--r-- 2118 multiple-types-two-dimensional.ll
-rw-r--r-- 2955 multiple-types.ll
-rw-r--r-- 2380 multiple_exiting_blocks.ll
-rw-r--r-- 2728 multiple_exiting_blocks_two_loop.ll
-rw-r--r-- 1581 multiple_latch_blocks.ll
-rw-r--r-- 1231 nested-loops.ll
-rw-r--r-- 2043 no-scalar-deps-in-non-affine-subregion.ll
-rw-r--r-- 2368 non-affine-region-phi.ll
-rw-r--r-- 1872 non-affine-region-with-loop-2.ll
-rw-r--r-- 1209 non-affine-region-with-loop.ll
-rw-r--r-- 2156 non-precise-inv-load-1.ll
-rw-r--r-- 1752 non-precise-inv-load-2.ll
-rw-r--r-- 1753 non-precise-inv-load-3.ll
-rw-r--r-- 1935 non-precise-inv-load-4.ll
-rw-r--r-- 2370 non-precise-inv-load-5.ll
-rw-r--r-- 1501 non-precise-inv-load-6.ll
-rw-r--r-- 1574 non-pure-function-call.ll
-rw-r--r-- 4633 non-pure-function-calls-causes-dead-blocks.ll
-rw-r--r-- 3848 non-pure-function-calls.ll
-rw-r--r-- 1303 non_affine_access.ll
-rw-r--r-- 4083 non_affine_region_1.ll
-rw-r--r-- 3718 non_affine_region_2.ll
-rw-r--r-- 3585 non_affine_region_3.ll
-rw-r--r-- 3413 non_affine_region_4.ll
-rw-r--r-- 1573 nonaffine-buildMemoryAccess.ll
-rw-r--r-- 1642 not-a-reduction.ll
-rw-r--r-- 698 opaque-struct.ll
-rw-r--r-- 1769 out-of-scop-use-in-region-entry-phi-node-nonaffine-subregion.ll
-rw-r--r-- 1144 out-of-scop-use-in-region-entry-phi-node.ll
-rw-r--r-- 4876 parameter-constant-division.ll
-rw-r--r-- 1664 parameter_in_dead_statement.ll
-rw-r--r-- 887 parameter_product.ll
-rw-r--r-- 2206 parameter_with_constant_factor_in_add.ll
-rw-r--r-- 2243 partially_invariant_load_1.ll
-rw-r--r-- 2356 partially_invariant_load_2.ll
-rw-r--r-- 2221 phi-in-non-affine-region.ll
-rw-r--r-- 1994 phi_after_error_block.ll
-rw-r--r-- 2314 phi_condition_modeling_1.ll
-rw-r--r-- 3368 phi_condition_modeling_2.ll
-rw-r--r-- 2304 phi_conditional_simple_1.ll
-rw-r--r-- 2379 phi_loop_carried_float.ll
-rw-r--r-- 1088 phi_not_grouped_at_top.ll
-rw-r--r-- 5991 phi_scalar_simple_1.ll
-rw-r--r-- 7456 phi_scalar_simple_2.ll
-rw-r--r-- 1044 phi_with_invoke_edge.ll
-rw-r--r-- 1309 pointer-comparison-no-nsw.ll
-rw-r--r-- 1317 pointer-comparison.ll
-rw-r--r-- 1378 pointer-type-expressions.ll
-rw-r--r-- 3062 pointer-used-as-base-pointer-and-scalar-read.ll
-rw-r--r-- 19017 polly-timeout-parameter-bounds.ll
-rw-r--r-- 1098 pr38218.ll
-rw-r--r-- 4054 preserve-equiv-class-order-in-basic_block.ll
-rw-r--r-- 5753 process_added_dimensions.ll
-rw-r--r-- 1349 pwaff-complexity-bailout.ll
-rw-r--r-- 1283 ranged_parameter.ll
-rw-r--r-- 1065 ranged_parameter_2.ll
-rw-r--r-- 1342 ranged_parameter_wrap.ll
-rw-r--r-- 6810 ranged_parameter_wrap_2.ll
-rw-r--r-- 1004 read-only-scalar-used-in-phi-2.ll
-rw-r--r-- 2278 read-only-scalar-used-in-phi.ll
-rw-r--r-- 1169 read-only-scalars.ll
-rw-r--r-- 2425 read-only-statements.ll
-rw-r--r-- 1194 reduction_alternating_base.ll
-rw-r--r-- 1832 reduction_chain_partially_outside_the_scop.ll
-rw-r--r-- 1536 reduction_different_index.ll
-rw-r--r-- 1948 reduction_different_index1.ll
-rw-r--r-- 1723 reduction_disabled_multiplicative.ll
-rw-r--r-- 2061 reduction_double.ll
-rw-r--r-- 2040 reduction_escaping_intermediate.ll
-rw-r--r-- 2455 reduction_escaping_intermediate_2.ll
-rw-r--r-- 1350 reduction_escaping_intermediate_3.ll
-rw-r--r-- 1919 reduction_if.ll
-rw-r--r-- 1418 reduction_indirect_access.ll
-rw-r--r-- 1660 reduction_indirect_access_2.ll
-rw-r--r-- 1560 reduction_invalid_different_operators.ll
-rw-r--r-- 1924 reduction_invalid_overlapping_accesses.ll
-rw-r--r-- 2137 reduction_long_reduction_chain.ll
-rw-r--r-- 2145 reduction_long_reduction_chain_double_use.ll
-rw-r--r-- 1134 reduction_multiple_different_operators.ll
-rw-r--r-- 2380 reduction_multiple_loops_array_sum.ll
-rw-r--r-- 2285 reduction_multiple_loops_array_sum_1.ll
-rw-r--r-- 3865 reduction_multiple_simple_binary.ll
-rw-r--r-- 1941 reduction_non_overlapping_chains.ll
-rw-r--r-- 1124 reduction_only_reduction_like_access.ll
-rw-r--r-- 1969 reduction_simple_fp.ll
-rw-r--r-- 753 reduction_simple_w_constant.ll
-rw-r--r-- 789 reduction_simple_w_iv.ll
-rw-r--r-- 2347 reduction_two_identical_reads.ll
-rw-r--r-- 1495 redundant_parameter_constraint.ll
-rw-r--r-- 3071 region-with-instructions.ll
-rw-r--r-- 16986 remarks.ll
-rw-r--r-- 2485 required-invariant-loop-bounds.ll
-rw-r--r-- 1854 restriction_in_dead_block.ll
-rw-r--r-- 10011 run-time-check-many-array-disjuncts.ll
-rw-r--r-- 4659 run-time-check-many-parameters.ll
-rw-r--r-- 4651 run-time-check-many-piecewise-aliasing.ll
-rw-r--r-- 1031 run-time-check-read-only-arrays.ll
-rw-r--r-- 1177 same-base-address-scalar-and-array.ll
-rw-r--r-- 2166 scalar.ll
-rw-r--r-- 1656 scalar_dependence_cond_br.ll
-rw-r--r-- 7265 scalar_to_array.ll
-rw-r--r-- 2599 scev-div-with-evaluatable-divisor.ll
-rw-r--r-- 704 scev-invalidated.ll
-rw-r--r-- 1282 schedule-const-post-dominator-walk-2.ll
-rw-r--r-- 1314 schedule-const-post-dominator-walk.ll
-rw-r--r-- 1166 schedule-constuction-endless-loop1.ll
-rw-r--r-- 1218 schedule-constuction-endless-loop2.ll
-rw-r--r-- 2957 schedule-incorrectly-contructed-in-case-of-infinite-loop.ll
-rw-r--r-- 1563 scop-affine-parameter-ordering.ll
-rw-r--r-- 1880 sign_wrapped_set.ll
-rw-r--r-- 1378 simple_loop_1.ll
-rw-r--r-- 1411 simple_loop_2.ll
-rw-r--r-- 1078 simple_loop_unsigned.ll
-rw-r--r-- 1008 simple_loop_unsigned_2.ll
-rw-r--r-- 903 simple_loop_unsigned_3.ll
-rw-r--r-- 1548 simple_nonaffine_loop_not.ll
-rw-r--r-- 905 smax.ll
-rw-r--r-- 7800 statistics.ll
-rw-r--r-- 2985 stmt_split_exit_of_region_stmt.ll
-rw-r--r-- 1472 stmt_split_no_after_split.ll
-rw-r--r-- 2310 stmt_split_no_dependence.ll
-rw-r--r-- 2264 stmt_split_on_store.ll
-rw-r--r-- 2078 stmt_split_on_synthesizable.ll
-rw-r--r-- 2124 stmt_split_phi_in_beginning_bb.ll
-rw-r--r-- 3079 stmt_split_phi_in_stmt.ll
-rw-r--r-- 2347 stmt_split_scalar_dependence.ll
-rw-r--r-- 2383 stmt_split_within_loop.ll
-rw-r--r-- 5320 stmt_with_read_but_without_sideffect.ll
-rw-r--r-- 4515 switch-1.ll
-rw-r--r-- 3647 switch-2.ll
-rw-r--r-- 5339 switch-3.ll
-rw-r--r-- 5884 switch-4.ll
-rw-r--r-- 2944 switch-5.ll
-rw-r--r-- 5289 switch-6.ll
-rw-r--r-- 4847 switch-7.ll
-rw-r--r-- 3307 tempscop-printing.ll
-rw-r--r-- 1479 test-wrapping-in-condition.ll
-rw-r--r-- 1485 truncate-1.ll
-rw-r--r-- 1571 truncate-2.ll
-rw-r--r-- 963 truncate-3.ll
-rw-r--r-- 1495 two-loops-one-infinite.ll
-rw-r--r-- 1989 two-loops-right-after-each-other.ll
-rw-r--r-- 845 undef_in_cond.ll
-rw-r--r-- 6362 unnamed_nonaffine.ll
-rw-r--r-- 6274 unnamed_stmts.ll
-rw-r--r-- 2771 unpredictable_nonscop_loop.ll
-rw-r--r-- 4596 unprofitable_scalar-accs.ll
-rw-r--r-- 1258 unsigned-condition.ll
-rw-r--r-- 1394 unsigned-division-1.ll
-rw-r--r-- 1425 unsigned-division-2.ll
-rw-r--r-- 1375 unsigned-division-3.ll
-rw-r--r-- 1428 unsigned-division-4.ll
-rw-r--r-- 1871 unsigned-division-5.ll
-rw-r--r-- 919 unsigned_wrap_uge.ll
-rw-r--r-- 918 unsigned_wrap_ugt.ll
-rw-r--r-- 919 unsigned_wrap_ule.ll
-rw-r--r-- 918 unsigned_wrap_ult.ll
-rw-r--r-- 1447 user_context.ll
-rw-r--r-- 2095 user_provided_assumptions-in-bb-signed-conditional.ll
-rw-r--r-- 1442 user_provided_assumptions-in-bb-signed.ll
-rw-r--r-- 1886 user_provided_assumptions-in-bb-unsigned.ll
-rw-r--r-- 4810 user_provided_assumptions.ll
-rw-r--r-- 2055 user_provided_assumptions_2.ll
-rw-r--r-- 1895 user_provided_assumptions_3.ll
-rw-r--r-- 4125 user_provided_non_dominating_assumptions.ll
-rw-r--r-- 1370 variant_base_pointer.ll
-rw-r--r-- 1620 variant_load_empty_domain.ll
-rw-r--r-- 2242 wraping_signed_expr_0.ll
-rw-r--r-- 2592 wraping_signed_expr_1.ll
-rw-r--r-- 1337 wraping_signed_expr_2.ll
-rw-r--r-- 1108 wraping_signed_expr_3.ll
-rw-r--r-- 1145 wraping_signed_expr_4.ll
-rw-r--r-- 1623 wraping_signed_expr_5.ll
-rw-r--r-- 1298 wraping_signed_expr_6.ll
-rw-r--r-- 1296 wraping_signed_expr_7.ll
-rw-r--r-- 2712 wraping_signed_expr_slow_1.ll
-rw-r--r-- 2828 wraping_signed_expr_slow_2.ll
-rw-r--r-- 1998 zero_ext_of_truncate.ll
-rw-r--r-- 1923 zero_ext_of_truncate_2.ll
-rw-r--r-- 1048 zero_ext_space_mismatch.ll