directory /polly/test/ScopInfo/ @ 150:1d019706d866

name size permissions
[up] drwxr-xr-x
dir. BoundChecks/ drwxr-xr-x
dir. NonAffine/ drwxr-xr-x
file 20110312-Fail-without-basicaa.ll 1002 -rw-r--r--
file 20111108-Parameter-not-detected.ll 2731 -rw-r--r--
file 2012-03-16-Crash-because-of-unsigned-in-scev.ll 810 -rw-r--r--
file 2015-10-04-Crash-in-domain-generation.ll 1367 -rw-r--r--
file Alias-0.ll 1812 -rw-r--r--
file Alias-1.ll 1871 -rw-r--r--
file Alias-2.ll 1972 -rw-r--r--
file Alias-3.ll 1358 -rw-r--r--
file Alias-4.ll 1408 -rw-r--r--
file aliasing_conditional_alias_groups_1.ll 1901 -rw-r--r--
file aliasing_conditional_alias_groups_2.ll 1820 -rw-r--r--
file aliasing_dead_access.ll 1779 -rw-r--r--
file aliasing_many_arrays_to_compare.ll 1991 -rw-r--r--
file aliasing_many_parameters_not_all_involved.ll 4100 -rw-r--r--
file aliasing_many_read_only_acesses.ll 9787 -rw-r--r--
file aliasing_multiple_alias_groups.ll 2609 -rw-r--r--
file aliasing_with_non_affine_access.ll 3781 -rw-r--r--
file allow-all-parameters-dereferencable.ll 3939 -rw-r--r--
file assume_gep_bounds.ll 3065 -rw-r--r--
file assume_gep_bounds_2.ll 3559 -rw-r--r--
file assume_gep_bounds_many.ll 30681 -rw-r--r--
file avoid_new_parameters_from_geps.ll 2598 -rw-r--r--
file bool-addrec.ll 1710 -rw-r--r--
file bounded_loop_assumptions.ll 2319 -rw-r--r--
file branch-references-loop-scev-with-unknown-iterations-2.ll 1252 -rw-r--r--
file branch-references-loop-scev-with-unknown-iterations-3.ll 3738 -rw-r--r--
file branch-references-loop-scev-with-unknown-iterations.ll 1809 -rw-r--r--
file bug_2010_10_22.ll 1683 -rw-r--r--
file bug_2011_1_5.ll 2397 -rw-r--r--
file bug_scev_not_fully_eval.ll 1567 -rw-r--r--
file cfg_consequences.ll 14220 -rw-r--r--
file complex-branch-structure.ll 4410 -rw-r--r--
file complex-condition.ll 5615 -rw-r--r--
file complex-expression.ll 7388 -rw-r--r--
file complex-loop-nesting.ll 3284 -rw-r--r--
file complex-successor-structure-2.ll 21077 -rw-r--r--
file complex-successor-structure-3.ll 11483 -rw-r--r--
file complex-successor-structure.ll 21040 -rw-r--r--
file complex_domain_binary_condition.ll 2665 -rw-r--r--
file complex_execution_context.ll 2009 -rw-r--r--
file cond_constant_in_loop.ll 1700 -rw-r--r--
file cond_in_loop.ll 1714 -rw-r--r--
file condition-after-error-block-2.ll 1566 -rw-r--r--
file condtion-after-error-block.ll 1934 -rw-r--r--
file const_srem_sdiv.ll 4117 -rw-r--r--
file constant-non-integer-branch-condition.ll 870 -rw-r--r--
file constant_factor_in_parameter.ll 1543 -rw-r--r--
file constant_functions_as_unknowns.ll 3002 -rw-r--r--
file constant_functions_multi_dim.ll 7361 -rw-r--r--
file constant_functions_outside_scop_as_unknown.ll 878 -rw-r--r--
file constant_start_integer.ll 1894 -rw-r--r--
file debug_call.ll 847 -rw-r--r--
file delinearize-together-all-data-refs.ll 3203 -rw-r--r--
file div_by_zero.ll 1054 -rw-r--r--
file do-not-model-error-block-accesses.ll 2141 -rw-r--r--
file eager-binary-and-or-conditions.ll 3749 -rw-r--r--
file early_exit_for_complex_domains.ll 2803 -rw-r--r--
file error-blocks-1.ll 2443 -rw-r--r--
file error-blocks-2.ll 3150 -rw-r--r--
file error-blocks-3.ll 2792 -rw-r--r--
file escaping_empty_scop.ll 1674 -rw-r--r--
file exit-phi-1.ll 2360 -rw-r--r--
file exit-phi-2.ll 1531 -rw-r--r--
file exit_phi_accesses-2.ll 1617 -rw-r--r--
file exit_phi_accesses.ll 1467 -rw-r--r--
file expensive-boundary-context.ll 15635 -rw-r--r--
file extract_constant_factor_introduces_new_parameter.ll 1392 -rw-r--r--
file fortran_array_global_malloc_nonvectored.ll 5413 -rw-r--r--
file fortran_array_global_nonmalloc_nonvectored.ll 3610 -rw-r--r--
file fortran_array_param_nonmalloc_nonvectored.ll 2513 -rw-r--r--
file fortran_array_param_nonmalloc_nonvectored_read_and_write.ll 4199 -rw-r--r--
file full-function.ll 2739 -rw-r--r--
file granularity_same_name.ll 1589 -rw-r--r--
file granularity_scalar-indep.ll 2326 -rw-r--r--
file granularity_scalar-indep_cross-referencing-phi1.ll 2389 -rw-r--r--
file granularity_scalar-indep_cross-referencing-phi2.ll 2486 -rw-r--r--
file granularity_scalar-indep_epilogue.ll 2078 -rw-r--r--
file granularity_scalar-indep_epilogue_last.ll 2613 -rw-r--r--
file granularity_scalar-indep_noepilogue.ll 1764 -rw-r--r--
file granularity_scalar-indep_ordered-2.ll 2888 -rw-r--r--
file granularity_scalar-indep_ordered.ll 2056 -rw-r--r--
file i1_params.ll 1767 -rw-r--r--
file infeasible-rtc.ll 1761 -rw-r--r--
file infeasible_invalid_context.ll 3310 -rw-r--r--
file int2ptr_ptr2int.ll 2911 -rw-r--r--
file int2ptr_ptr2int_2.ll 2757 -rw-r--r--
file integers.ll 4080 -rw-r--r--
file inter-error-bb-dependence.ll 1772 -rw-r--r--
file inter_bb_scalar_dep.ll 2103 -rw-r--r--
file intra-non-affine-stmt-phi-node.ll 1674 -rw-r--r--
file intra_and_inter_bb_scalar_dep.ll 2524 -rw-r--r--
file intra_bb_scalar_dep.ll 2045 -rw-r--r--
file intrinsics.ll 1807 -rw-r--r--
file invalid_add_rec_after_invariant_load_remapping.ll 3138 -rw-r--r--
file invalidate_iterator_during_MA_removal.ll 9353 -rw-r--r--
file invariant-loads-leave-read-only-statements.ll 5236 -rw-r--r--
file invariant_load.ll 1144 -rw-r--r--
file invariant_load_access_classes_different_base_type.ll 2587 -rw-r--r--
file invariant_load_access_classes_different_base_type_escaping.ll 3585 -rw-r--r--
file invariant_load_access_classes_different_base_type_same_pointer.ll 2893 -rw-r--r--
file invariant_load_access_classes_different_base_type_same_pointer_escaping.ll 3223 -rw-r--r--
file invariant_load_addrec_sum.ll 1953 -rw-r--r--
file invariant_load_base_pointer.ll 1169 -rw-r--r--
file invariant_load_base_pointer_conditional.ll 1706 -rw-r--r--
file invariant_load_base_pointer_in_conditional.ll 1708 -rw-r--r--
file invariant_load_branch_condition.ll 1567 -rw-r--r--
file invariant_load_canonicalize_array_baseptrs.ll 1282 -rw-r--r--
file invariant_load_canonicalize_array_baseptrs_2.ll 3235 -rw-r--r--
file invariant_load_canonicalize_array_baseptrs_3.ll 1738 -rw-r--r--
file invariant_load_canonicalize_array_baseptrs_4.ll 1525 -rw-r--r--
file invariant_load_canonicalize_array_baseptrs_4b.ll 1699 -rw-r--r--
file invariant_load_canonicalize_array_baseptrs_4c.ll 1470 -rw-r--r--
file invariant_load_canonicalize_array_baseptrs_5.ll 2853 -rw-r--r--
file invariant_load_complex_condition.ll 4285 -rw-r--r--
file invariant_load_condition.ll 1374 -rw-r--r--
file invariant_load_dereferenceable.ll 2930 -rw-r--r--
file invariant_load_distinct_parameter_valuations.ll 4812 -rw-r--r--
file invariant_load_in_non_affine.ll 2159 -rw-r--r--
file invariant_load_loop_ub.ll 1299 -rw-r--r--
file invariant_load_ptr_ptr_noalias.ll 1986 -rw-r--r--
file invariant_load_scalar_dep.ll 1359 -rw-r--r--
file invariant_load_stmt_domain.ll 2232 -rw-r--r--
file invariant_load_zext_parameter-2.ll 4471 -rw-r--r--
file invariant_load_zext_parameter.ll 2739 -rw-r--r--
file invariant_load_zextended_in_own_execution_context.ll 1109 -rw-r--r--
file invariant_loads_complicated_dependences.ll 3511 -rw-r--r--
file invariant_loads_cyclic_dependences.ll 2347 -rw-r--r--
file invariant_loop_bounds.ll 4993 -rw-r--r--
file invariant_same_loop_bound_multiple_times-1.ll 4616 -rw-r--r--
file invariant_same_loop_bound_multiple_times-2.ll 4760 -rw-r--r--
file isl_aff_out_of_bounds.ll 1466 -rw-r--r--
file isl_trip_count_01.ll 1039 -rw-r--r--
file isl_trip_count_02.ll 899 -rw-r--r--
file isl_trip_count_03.ll 2148 -rw-r--r--
file isl_trip_count_multiple_exiting_blocks.ll 1652 -rw-r--r--
file licm_load.ll 2083 -rw-r--r--
file licm_potential_store.ll 2924 -rw-r--r--
file licm_reduction.ll 1664 -rw-r--r--
file licm_reduction_nested.ll 2582 -rw-r--r--
file licm_store.ll 1673 -rw-r--r--
file long-compile-time-alias-analysis.ll 10048 -rw-r--r--
file long-sequence-of-error-blocks-2.ll 10739 -rw-r--r--
file long-sequence-of-error-blocks.ll 10272 -rw-r--r--
file loop-multiexit-succ-cond.ll 3052 -rw-r--r--
file loop_affine_bound_0.ll 2962 -rw-r--r--
file loop_affine_bound_1.ll 3131 -rw-r--r--
file loop_affine_bound_2.ll 2659 -rw-r--r--
file loop_carry.ll 3429 -rw-r--r--
file many-scalar-dependences.ll 10555 -rw-r--r--
file max-loop-depth.ll 2488 -rw-r--r--
file memcpy-raw-source.ll 3475 -rw-r--r--
file memcpy.ll 3218 -rw-r--r--
file memmove.ll 3219 -rw-r--r--
file memset.ll 2491 -rw-r--r--
file memset_null.ll 1578 -rw-r--r--
file mismatching-array-dimensions.ll 2366 -rw-r--r--
file mod_ref_access_pointee_arguments.ll 2023 -rw-r--r--
file mod_ref_read_pointee_arguments.ll 2327 -rw-r--r--
file mod_ref_read_pointer.ll 1644 -rw-r--r--
file mod_ref_read_pointers.ll 2110 -rw-r--r--
file modulo_zext_1.ll 1967 -rw-r--r--
file modulo_zext_2.ll 2158 -rw-r--r--
file modulo_zext_3.ll 1843 -rw-r--r--
file multi-scop.ll 1416 -rw-r--r--
file multidim_2d-diagonal-matrix.ll 1117 -rw-r--r--
file multidim_2d_outer_parametric_offset.ll 1692 -rw-r--r--
file multidim_2d_parametric_array_static_loop_bounds.ll 1620 -rw-r--r--
file multidim_2d_with_modref_call.ll 9205 -rw-r--r--
file multidim_2d_with_modref_call_2.ll 8745 -rw-r--r--
file multidim_3d_parametric_array_static_loop_bounds.ll 2120 -rw-r--r--
file multidim_fixedsize_different_dimensionality.ll 10105 -rw-r--r--
file multidim_fixedsize_multi_offset.ll 2585 -rw-r--r--
file multidim_fold_constant_dim.ll 4889 -rw-r--r--
file multidim_fold_constant_dim_zero.ll 2408 -rw-r--r--
file multidim_fortran_2d.ll 2626 -rw-r--r--
file multidim_fortran_2d_params.ll 3047 -rw-r--r--
file multidim_fortran_2d_with_modref_call.ll 9220 -rw-r--r--
file multidim_fortran_srem.ll 12810 -rw-r--r--
file multidim_gep_pointercast.ll 2036 -rw-r--r--
file multidim_gep_pointercast2.ll 1710 -rw-r--r--
file multidim_invalid_dimension.ll 850 -rw-r--r--
file multidim_ivs_and_integer_offsets_3d.ll 2274 -rw-r--r--
file multidim_ivs_and_parameteric_offsets_3d.ll 2926 -rw-r--r--
file multidim_many_references.ll 22255 -rw-r--r--
file multidim_nested_start_integer.ll 2350 -rw-r--r--
file multidim_nested_start_share_parameter.ll 2339 -rw-r--r--
file multidim_only_ivs_2d.ll 1651 -rw-r--r--
file multidim_only_ivs_3d.ll 2064 -rw-r--r--
file multidim_only_ivs_3d_cast.ll 2800 -rw-r--r--
file multidim_only_ivs_3d_reverse.ll 2330 -rw-r--r--
file multidim_param_in_subscript-2.ll 3198 -rw-r--r--
file multidim_param_in_subscript.ll 2220 -rw-r--r--
file multidim_parameter_addrec_product.ll 2237 -rw-r--r--
file multidim_single_and_multidim_array.ll 4121 -rw-r--r--
file multidim_srem.ll 4299 -rw-r--r--
file multidim_with_bitcast.ll 2510 -rw-r--r--
file multiple-binary-or-conditions.ll 1559 -rw-r--r--
file multiple-types-access-offset-not-dividable-by-element-size.ll 3546 -rw-r--r--
file multiple-types-non-affine-2.ll 3647 -rw-r--r--
file multiple-types-non-affine.ll 3662 -rw-r--r--
file multiple-types-non-power-of-two-2.ll 2361 -rw-r--r--
file multiple-types-non-power-of-two.ll 7371 -rw-r--r--
file multiple-types-two-dimensional-2.ll 2151 -rw-r--r--
file multiple-types-two-dimensional.ll 2133 -rw-r--r--
file multiple-types.ll 3040 -rw-r--r--
file multiple_exiting_blocks.ll 2344 -rw-r--r--
file multiple_exiting_blocks_two_loop.ll 2700 -rw-r--r--
file multiple_latch_blocks.ll 1545 -rw-r--r--
file nested-loops.ll 1194 -rw-r--r--
file no-scalar-deps-in-non-affine-subregion.ll 2032 -rw-r--r--
file non-affine-region-phi.ll 2327 -rw-r--r--
file non-affine-region-with-loop-2.ll 1896 -rw-r--r--
file non-affine-region-with-loop.ll 1154 -rw-r--r--
file non-precise-inv-load-1.ll 2131 -rw-r--r--
file non-precise-inv-load-2.ll 1719 -rw-r--r--
file non-precise-inv-load-3.ll 1719 -rw-r--r--
file non-precise-inv-load-4.ll 1961 -rw-r--r--
file non-precise-inv-load-5.ll 2346 -rw-r--r--
file non-precise-inv-load-6.ll 1467 -rw-r--r--
file non-pure-function-call.ll 1538 -rw-r--r--
file non-pure-function-calls-causes-dead-blocks.ll 4658 -rw-r--r--
file non-pure-function-calls.ll 3820 -rw-r--r--
file non_affine_access.ll 1361 -rw-r--r--
file non_affine_region_1.ll 4048 -rw-r--r--
file non_affine_region_2.ll 3683 -rw-r--r--
file non_affine_region_3.ll 3519 -rw-r--r--
file non_affine_region_4.ll 3379 -rw-r--r--
file nonaffine-buildMemoryAccess.ll 1540 -rw-r--r--
file not-a-reduction.ll 1643 -rw-r--r--
file opaque-struct.ll 748 -rw-r--r--
file out-of-scop-use-in-region-entry-phi-node-nonaffine-subregion.ll 1763 -rw-r--r--
file out-of-scop-use-in-region-entry-phi-node.ll 1110 -rw-r--r--
file parameter-constant-division.ll 5294 -rw-r--r--
file parameter_in_dead_statement.ll 1610 -rw-r--r--
file parameter_product.ll 850 -rw-r--r--
file parameter_with_constant_factor_in_add.ll 2185 -rw-r--r--
file partially_invariant_load_1.ll 2195 -rw-r--r--
file partially_invariant_load_2.ll 2326 -rw-r--r--
file phi-in-non-affine-region.ll 2252 -rw-r--r--
file phi_after_error_block.ll 1963 -rw-r--r--
file phi_condition_modeling_1.ll 2277 -rw-r--r--
file phi_condition_modeling_2.ll 3331 -rw-r--r--
file phi_conditional_simple_1.ll 2267 -rw-r--r--
file phi_loop_carried_float.ll 2348 -rw-r--r--
file phi_not_grouped_at_top.ll 1100 -rw-r--r--
file phi_scalar_simple_1.ll 5954 -rw-r--r--
file phi_scalar_simple_2.ll 7421 -rw-r--r--
file phi_with_invoke_edge.ll 1045 -rw-r--r--
file pointer-comparison-no-nsw.ll 1277 -rw-r--r--
file pointer-comparison.ll 1284 -rw-r--r--
file pointer-type-expressions.ll 1310 -rw-r--r--
file pointer-used-as-base-pointer-and-scalar-read.ll 3061 -rw-r--r--
file polly-timeout-parameter-bounds.ll 18979 -rw-r--r--
file pr38218.ll 1184 -rw-r--r--
file preserve-equiv-class-order-in-basic_block.ll 4031 -rw-r--r--
file process_added_dimensions.ll 5814 -rw-r--r--
file pwaff-complexity-bailout.ll 1326 -rw-r--r--
file ranged_parameter.ll 1249 -rw-r--r--
file ranged_parameter_2.ll 1191 -rw-r--r--
file ranged_parameter_wrap.ll 1307 -rw-r--r--
file ranged_parameter_wrap_2.ll 6835 -rw-r--r--
file read-only-scalar-used-in-phi-2.ll 982 -rw-r--r--
file read-only-scalar-used-in-phi.ll 2256 -rw-r--r--
file read-only-scalars.ll 1175 -rw-r--r--
file read-only-statements.ll 2397 -rw-r--r--
file reduction_alternating_base.ll 1158 -rw-r--r--
file reduction_chain_partially_outside_the_scop.ll 1800 -rw-r--r--
file reduction_disabled_multiplicative.ll 1675 -rw-r--r--
file reduction_escaping_intermediate.ll 1994 -rw-r--r--
file reduction_escaping_intermediate_2.ll 2413 -rw-r--r--
file reduction_invalid_different_operators.ll 1517 -rw-r--r--
file reduction_invalid_overlapping_accesses.ll 1891 -rw-r--r--
file reduction_multiple_loops_array_sum.ll 2337 -rw-r--r--
file reduction_multiple_loops_array_sum_1.ll 2243 -rw-r--r--
file reduction_multiple_simple_binary.ll 3832 -rw-r--r--
file reduction_non_overlapping_chains.ll 1908 -rw-r--r--
file reduction_only_reduction_like_access.ll 1089 -rw-r--r--
file reduction_simple_fp.ll 1947 -rw-r--r--
file reduction_simple_w_constant.ll 716 -rw-r--r--
file reduction_simple_w_iv.ll 752 -rw-r--r--
file reduction_two_identical_reads.ll 2288 -rw-r--r--
file redundant_parameter_constraint.ll 1462 -rw-r--r--
file region-with-instructions.ll 3051 -rw-r--r--
file remarks.ll 17158 -rw-r--r--
file required-invariant-loop-bounds.ll 2545 -rw-r--r--
file restriction_in_dead_block.ll 1814 -rw-r--r--
file run-time-check-many-array-disjuncts.ll 10088 -rw-r--r--
file run-time-check-many-parameters.ll 4683 -rw-r--r--
file run-time-check-many-piecewise-aliasing.ll 4585 -rw-r--r--
file run-time-check-read-only-arrays.ll 1018 -rw-r--r--
file same-base-address-scalar-and-array.ll 1152 -rw-r--r--
file scalar.ll 2131 -rw-r--r--
file scalar_dependence_cond_br.ll 1621 -rw-r--r--
file scalar_to_array.ll 7249 -rw-r--r--
file scev-div-with-evaluatable-divisor.ll 2567 -rw-r--r--
file scev-invalidated.ll 641 -rw-r--r--
file schedule-const-post-dominator-walk-2.ll 1260 -rw-r--r--
file schedule-const-post-dominator-walk.ll 1274 -rw-r--r--
file schedule-constuction-endless-loop1.ll 1108 -rw-r--r--
file schedule-constuction-endless-loop2.ll 1160 -rw-r--r--
file schedule-incorrectly-contructed-in-case-of-infinite-loop.ll 3162 -rw-r--r--
file scop-affine-parameter-ordering.ll 1524 -rw-r--r--
file sign_wrapped_set.ll 1849 -rw-r--r--
file simple_loop_1.ll 1341 -rw-r--r--
file simple_loop_2.ll 1374 -rw-r--r--
file simple_loop_unsigned.ll 1041 -rw-r--r--
file simple_loop_unsigned_2.ll 971 -rw-r--r--
file simple_loop_unsigned_3.ll 866 -rw-r--r--
file simple_nonaffine_loop_not.ll 1597 -rw-r--r--
file smax.ll 871 -rw-r--r--
file statistics.ll 7813 -rw-r--r--
file stmt_split_exit_of_region_stmt.ll 2961 -rw-r--r--
file stmt_split_no_after_split.ll 1436 -rw-r--r--
file stmt_split_no_dependence.ll 2278 -rw-r--r--
file stmt_split_on_store.ll 2232 -rw-r--r--
file stmt_split_on_synthesizable.ll 2050 -rw-r--r--
file stmt_split_phi_in_beginning_bb.ll 2092 -rw-r--r--
file stmt_split_phi_in_stmt.ll 3059 -rw-r--r--
file stmt_split_scalar_dependence.ll 2323 -rw-r--r--
file stmt_split_within_loop.ll 2355 -rw-r--r--
file stmt_with_read_but_without_sideffect.ll 5520 -rw-r--r--
file switch-1.ll 4454 -rw-r--r--
file switch-2.ll 3583 -rw-r--r--
file switch-3.ll 5281 -rw-r--r--
file switch-4.ll 5832 -rw-r--r--
file switch-5.ll 2881 -rw-r--r--
file switch-6.ll 5231 -rw-r--r--
file switch-7.ll 4788 -rw-r--r--
file tempscop-printing.ll 3273 -rw-r--r--
file test-wrapping-in-condition.ll 1420 -rw-r--r--
file truncate-1.ll 1445 -rw-r--r--
file truncate-2.ll 1531 -rw-r--r--
file truncate-3.ll 939 -rw-r--r--
file two-loops-one-infinite.ll 1451 -rw-r--r--
file two-loops-right-after-each-other.ll 1973 -rw-r--r--
file undef_in_cond.ll 785 -rw-r--r--
file unnamed_nonaffine.ll 6314 -rw-r--r--
file unnamed_stmts.ll 6285 -rw-r--r--
file unpredictable_nonscop_loop.ll 2731 -rw-r--r--
file unprofitable_scalar-accs.ll 4496 -rw-r--r--
file unsigned-condition.ll 1221 -rw-r--r--
file unsigned-division-1.ll 1358 -rw-r--r--
file unsigned-division-2.ll 1389 -rw-r--r--
file unsigned-division-3.ll 1339 -rw-r--r--
file unsigned-division-4.ll 1392 -rw-r--r--
file unsigned-division-5.ll 1846 -rw-r--r--
file unsigned_wrap_uge.ll 891 -rw-r--r--
file unsigned_wrap_ugt.ll 890 -rw-r--r--
file unsigned_wrap_ule.ll 891 -rw-r--r--
file unsigned_wrap_ult.ll 890 -rw-r--r--
file user_context.ll 1248 -rw-r--r--
file user_provided_assumptions-in-bb-signed-conditional.ll 2052 -rw-r--r--
file user_provided_assumptions-in-bb-signed.ll 1427 -rw-r--r--
file user_provided_assumptions-in-bb-unsigned.ll 1843 -rw-r--r--
file user_provided_assumptions.ll 4919 -rw-r--r--
file user_provided_assumptions_2.ll 1991 -rw-r--r--
file user_provided_assumptions_3.ll 1831 -rw-r--r--
file user_provided_non_dominating_assumptions.ll 4095 -rw-r--r--
file variant_base_pointer.ll 1371 -rw-r--r--
file variant_load_empty_domain.ll 1588 -rw-r--r--
file wraping_signed_expr_0.ll 2207 -rw-r--r--
file wraping_signed_expr_1.ll 2558 -rw-r--r--
file wraping_signed_expr_2.ll 1300 -rw-r--r--
file wraping_signed_expr_3.ll 1071 -rw-r--r--
file wraping_signed_expr_4.ll 1104 -rw-r--r--
file wraping_signed_expr_5.ll 1588 -rw-r--r--
file wraping_signed_expr_6.ll 1270 -rw-r--r--
file wraping_signed_expr_7.ll 1268 -rw-r--r--
file wraping_signed_expr_slow_1.ll 2672 -rw-r--r--
file wraping_signed_expr_slow_2.ll 2788 -rw-r--r--
file zero_ext_of_truncate.ll 1973 -rw-r--r--
file zero_ext_of_truncate_2.ll 1898 -rw-r--r--
file zero_ext_space_mismatch.ll 1160 -rw-r--r--