BlockGenerator: Assert that we do not get alloca of array access
[polly-mirror.git] / test / ScopInfo / 
tree54c2162132b97d4a257c23b57a4fd8f0fd949a36
drwxr-xr-x   ..
-rw-r--r-- 1002 20110312-Fail-without-basicaa.ll
-rw-r--r-- 2731 20111108-Parameter-not-detected.ll
-rw-r--r-- 810 2012-03-16-Crash-because-of-unsigned-in-scev.ll
-rw-r--r-- 1367 2015-10-04-Crash-in-domain-generation.ll
-rw-r--r-- 1847 Alias-0.ll
-rw-r--r-- 1906 Alias-1.ll
-rw-r--r-- 2007 Alias-2.ll
-rw-r--r-- 1393 Alias-3.ll
-rw-r--r-- 1443 Alias-4.ll
drwxr-xr-x - BoundChecks
drwxr-xr-x - NonAffine
-rw-r--r-- 1901 aliasing_conditional_alias_groups_1.ll
-rw-r--r-- 1820 aliasing_conditional_alias_groups_2.ll
-rw-r--r-- 1779 aliasing_dead_access.ll
-rw-r--r-- 1991 aliasing_many_arrays_to_compare.ll
-rw-r--r-- 4272 aliasing_many_parameters_not_all_involved.ll
-rw-r--r-- 2609 aliasing_multiple_alias_groups.ll
-rw-r--r-- 2064 aliasing_with_non_affine_access.ll
-rw-r--r-- 3065 assume_gep_bounds.ll
-rw-r--r-- 3525 assume_gep_bounds_2.ll
-rw-r--r-- 2598 avoid_new_parameters_from_geps.ll
-rw-r--r-- 2319 bounded_loop_assumptions.ll
-rw-r--r-- 1683 bug_2010_10_22.ll
-rw-r--r-- 2397 bug_2011_1_5.ll
-rw-r--r-- 1567 bug_scev_not_fully_eval.ll
-rw-r--r-- 14220 cfg_consequences.ll
-rw-r--r-- 4410 complex-branch-structure.ll
-rw-r--r-- 5570 complex-condition.ll
-rw-r--r-- 7530 complex-expression.ll
-rw-r--r-- 3007 complex-loop-nesting.ll
-rw-r--r-- 21032 complex-successor-structure-2.ll
-rw-r--r-- 11438 complex-successor-structure-3.ll
-rw-r--r-- 20998 complex-successor-structure.ll
-rw-r--r-- 2665 complex_domain_binary_condition.ll
-rw-r--r-- 1964 complex_execution_context.ll
-rw-r--r-- 1700 cond_constant_in_loop.ll
-rw-r--r-- 1839 cond_in_loop.ll
-rw-r--r-- 4045 const_srem_sdiv.ll
-rw-r--r-- 870 constant-non-integer-branch-condition.ll
-rw-r--r-- 1543 constant_factor_in_parameter.ll
-rw-r--r-- 1894 constant_start_integer.ll
-rw-r--r-- 3176 delinearize-together-all-data-refs.ll
-rw-r--r-- 1054 div_by_zero.ll
-rw-r--r-- 2232 do-not-model-error-block-accesses.ll
-rw-r--r-- 3749 eager-binary-and-or-conditions.ll
-rw-r--r-- 2885 early_exit_for_complex_domains.ll
-rw-r--r-- 2443 error-blocks-1.ll
-rw-r--r-- 3105 error-blocks-2.ll
-rw-r--r-- 2792 error-blocks-3.ll
-rw-r--r-- 1647 escaping_empty_scop.ll
-rw-r--r-- 1465 exit-phi-1.ll
-rw-r--r-- 1590 exit_phi_accesses-2.ll
-rw-r--r-- 1467 exit_phi_accesses.ll
-rw-r--r-- 15644 expensive-boundary-context.ll
-rw-r--r-- 1767 i1_params.ll
-rw-r--r-- 1116 infeasible-rtc.ll
-rw-r--r-- 3310 infeasible_invalid_context.ll
-rw-r--r-- 2881 int2ptr_ptr2int.ll
-rw-r--r-- 2635 int2ptr_ptr2int_2.ll
-rw-r--r-- 3321 integers.ll
-rw-r--r-- 2058 inter_bb_scalar_dep.ll
-rw-r--r-- 1674 intra-non-affine-stmt-phi-node.ll
-rw-r--r-- 2479 intra_and_inter_bb_scalar_dep.ll
-rw-r--r-- 2000 intra_bb_scalar_dep.ll
-rw-r--r-- 3138 invalid_add_rec_after_invariant_load_remapping.ll
-rw-r--r-- 5359 invariant-loads-leave-read-only-statements.ll
-rw-r--r-- 1108 invariant_load.ll
-rw-r--r-- 2515 invariant_load_access_classes_different_base_type.ll
-rw-r--r-- 3513 invariant_load_access_classes_different_base_type_escaping.ll
-rw-r--r-- 2821 invariant_load_access_classes_different_base_type_same_pointer.ll
-rw-r--r-- 3151 invariant_load_access_classes_different_base_type_same_pointer_escaping.ll
-rw-r--r-- 1133 invariant_load_base_pointer.ll
-rw-r--r-- 1670 invariant_load_base_pointer_conditional.ll
-rw-r--r-- 1672 invariant_load_base_pointer_in_conditional.ll
-rw-r--r-- 1338 invariant_load_condition.ll
-rw-r--r-- 4779 invariant_load_distinct_parameter_valuations.ll
-rw-r--r-- 1227 invariant_load_loop_ub.ll
-rw-r--r-- 1950 invariant_load_ptr_ptr_noalias.ll
-rw-r--r-- 1323 invariant_load_scalar_dep.ll
-rw-r--r-- 2196 invariant_load_stmt_domain.ll
-rw-r--r-- 4311 invariant_load_zext_parameter-2.ll
-rw-r--r-- 2666 invariant_load_zext_parameter.ll
-rw-r--r-- 1037 invariant_load_zextended_in_own_execution_context.ll
-rw-r--r-- 3475 invariant_loads_complicated_dependences.ll
-rw-r--r-- 2311 invariant_loads_cyclic_dependences.ll
-rw-r--r-- 4957 invariant_loop_bounds.ll
-rw-r--r-- 4580 invariant_same_loop_bound_multiple_times-1.ll
-rw-r--r-- 4724 invariant_same_loop_bound_multiple_times-2.ll
-rw-r--r-- 1466 isl_aff_out_of_bounds.ll
-rw-r--r-- 1039 isl_trip_count_01.ll
-rw-r--r-- 899 isl_trip_count_02.ll
-rw-r--r-- 2148 isl_trip_count_03.ll
-rw-r--r-- 1376 isl_trip_count_multiple_exiting_blocks.ll
-rw-r--r-- 1029 kernel_gemm___%for.cond.1.preheader---%for.end.12.jscop
-rw-r--r-- 1979 licm_load.ll
-rw-r--r-- 2924 licm_potential_store.ll
-rw-r--r-- 1664 licm_reduction.ll
-rw-r--r-- 2582 licm_reduction_nested.ll
-rw-r--r-- 1673 licm_store.ll
-rw-r--r-- 10766 long-sequence-of-error-blocks-2.ll
-rw-r--r-- 10254 long-sequence-of-error-blocks.ll
-rw-r--r-- 2776 loop-multiexit-succ-cond.ll
-rw-r--r-- 2962 loop_affine_bound_0.ll
-rw-r--r-- 3131 loop_affine_bound_1.ll
-rw-r--r-- 2659 loop_affine_bound_2.ll
-rw-r--r-- 3363 loop_carry.ll
-rw-r--r-- 10528 many-scalar-dependences.ll
-rw-r--r-- 2606 max-loop-depth.ll
-rw-r--r-- 3209 memcpy.ll
-rw-r--r-- 3210 memmove.ll
-rw-r--r-- 2490 memset.ll
-rw-r--r-- 1578 memset_null.ll
-rw-r--r-- 2375 mismatching-array-dimensions.ll
-rw-r--r-- 2120 mod_ref_access_pointee_arguments.ll
-rw-r--r-- 2428 mod_ref_read_pointee_arguments.ll
-rw-r--r-- 1786 mod_ref_read_pointer.ll
-rw-r--r-- 2261 mod_ref_read_pointers.ll
-rw-r--r-- 2004 modulo_zext_1.ll
-rw-r--r-- 2171 modulo_zext_2.ll
-rw-r--r-- 1843 modulo_zext_3.ll
-rw-r--r-- 1416 multi-scop.ll
-rw-r--r-- 1117 multidim_2d-diagonal-matrix.ll
-rw-r--r-- 1692 multidim_2d_outer_parametric_offset.ll
-rw-r--r-- 1620 multidim_2d_parametric_array_static_loop_bounds.ll
-rw-r--r-- 9113 multidim_2d_with_modref_call.ll
-rw-r--r-- 8653 multidim_2d_with_modref_call_2.ll
-rw-r--r-- 2120 multidim_3d_parametric_array_static_loop_bounds.ll
-rw-r--r-- 10105 multidim_fixedsize_different_dimensionality.ll
-rw-r--r-- 2558 multidim_fixedsize_multi_offset.ll
-rw-r--r-- 2581 multidim_fortran_2d.ll
-rw-r--r-- 2964 multidim_fortran_2d_params.ll
-rw-r--r-- 9128 multidim_fortran_2d_with_modref_call.ll
-rw-r--r-- 12812 multidim_fortran_srem.ll
-rw-r--r-- 2036 multidim_gep_pointercast.ll
-rw-r--r-- 1710 multidim_gep_pointercast2.ll
-rw-r--r-- 2274 multidim_ivs_and_integer_offsets_3d.ll
-rw-r--r-- 2884 multidim_ivs_and_parameteric_offsets_3d.ll
-rw-r--r-- 22255 multidim_many_references.ll
-rw-r--r-- 2350 multidim_nested_start_integer.ll
-rw-r--r-- 2312 multidim_nested_start_share_parameter.ll
-rw-r--r-- 1651 multidim_only_ivs_2d.ll
-rw-r--r-- 2064 multidim_only_ivs_3d.ll
-rw-r--r-- 2833 multidim_only_ivs_3d_cast.ll
-rw-r--r-- 2330 multidim_only_ivs_3d_reverse.ll
-rw-r--r-- 3158 multidim_param_in_subscript-2.ll
-rw-r--r-- 2220 multidim_param_in_subscript.ll
-rw-r--r-- 2192 multidim_parameter_addrec_product.ll
-rw-r--r-- 4173 multidim_single_and_multidim_array.ll
-rw-r--r-- 4334 multidim_srem.ll
-rw-r--r-- 2483 multidim_with_bitcast.ll
-rw-r--r-- 1559 multiple-binary-or-conditions.ll
-rw-r--r-- 3519 multiple-types-access-offset-not-dividable-by-element-size.ll
-rw-r--r-- 3593 multiple-types-non-affine-2.ll
-rw-r--r-- 3608 multiple-types-non-affine.ll
-rw-r--r-- 2361 multiple-types-non-power-of-two-2.ll
-rw-r--r-- 7371 multiple-types-non-power-of-two.ll
-rw-r--r-- 2151 multiple-types-two-dimensional-2.ll
-rw-r--r-- 2133 multiple-types-two-dimensional.ll
-rw-r--r-- 3013 multiple-types.ll
-rw-r--r-- 2068 multiple_exiting_blocks.ll
-rw-r--r-- 2424 multiple_exiting_blocks_two_loop.ll
-rw-r--r-- 1545 multiple_latch_blocks.ll
-rw-r--r-- 1194 nested-loops.ll
-rw-r--r-- 2032 no-scalar-deps-in-non-affine-subregion.ll
-rw-r--r-- 2327 non-affine-region-phi.ll
-rw-r--r-- 1842 non-affine-region-with-loop-2.ll
-rw-r--r-- 1154 non-affine-region-with-loop.ll
-rw-r--r-- 2095 non-precise-inv-load-1.ll
-rw-r--r-- 1683 non-precise-inv-load-2.ll
-rw-r--r-- 1683 non-precise-inv-load-3.ll
-rw-r--r-- 1925 non-precise-inv-load-4.ll
-rw-r--r-- 2310 non-precise-inv-load-5.ll
-rw-r--r-- 1431 non-precise-inv-load-6.ll
-rw-r--r-- 1538 non-pure-function-call.ll
-rw-r--r-- 4658 non-pure-function-calls-causes-dead-blocks.ll
-rw-r--r-- 3820 non-pure-function-calls.ll
-rw-r--r-- 1413 non_affine_access.ll
-rw-r--r-- 4116 non_affine_region_1.ll
-rw-r--r-- 3683 non_affine_region_2.ll
-rw-r--r-- 3519 non_affine_region_3.ll
-rw-r--r-- 3431 non_affine_region_4.ll
-rw-r--r-- 1540 nonaffine-buildMemoryAccess.ll
-rw-r--r-- 1643 not-a-reduction.ll
-rw-r--r-- 748 opaque-struct.ll
-rw-r--r-- 1764 out-of-scop-use-in-region-entry-phi-node-nonaffine-subregion.ll
-rw-r--r-- 1083 out-of-scop-use-in-region-entry-phi-node.ll
-rw-r--r-- 5119 parameter-constat-division.ll
-rw-r--r-- 1520 parameter_in_dead_statement.ll
-rw-r--r-- 850 parameter_product.ll
-rw-r--r-- 2188 parameter_with_constant_factor_in_add.ll
-rw-r--r-- 2123 partially_invariant_load_1.ll
-rw-r--r-- 2362 partially_invariant_load_2.ll
-rw-r--r-- 2277 phi_condition_modeling_1.ll
-rw-r--r-- 3331 phi_condition_modeling_2.ll
-rw-r--r-- 2267 phi_conditional_simple_1.ll
-rw-r--r-- 2348 phi_loop_carried_float.ll
-rw-r--r-- 1100 phi_not_grouped_at_top.ll
-rw-r--r-- 5976 phi_scalar_simple_1.ll
-rw-r--r-- 7394 phi_scalar_simple_2.ll
-rw-r--r-- 1045 phi_with_invoke_edge.ll
-rw-r--r-- 1307 pointer-comparison-no-nsw.ll
-rw-r--r-- 1313 pointer-comparison.ll
-rw-r--r-- 1310 pointer-type-expressions.ll
-rw-r--r-- 3034 pointer-used-as-base-pointer-and-scalar-read.ll
-rw-r--r-- 5787 process_added_dimensions.ll
-rw-r--r-- 1249 ranged_parameter.ll
-rw-r--r-- 1269 ranged_parameter_wrap.ll
-rw-r--r-- 982 read-only-scalar-used-in-phi-2.ll
-rw-r--r-- 2256 read-only-scalar-used-in-phi.ll
-rw-r--r-- 1121 read-only-scalars.ll
-rw-r--r-- 2397 read-only-statements.ll
-rw-r--r-- 1158 reduction_alternating_base.ll
-rw-r--r-- 1800 reduction_chain_partially_outside_the_scop.ll
-rw-r--r-- 1648 reduction_disabled_multiplicative.ll
-rw-r--r-- 1994 reduction_escaping_intermediate.ll
-rw-r--r-- 2386 reduction_escaping_intermediate_2.ll
-rw-r--r-- 1517 reduction_invalid_different_operators.ll
-rw-r--r-- 1864 reduction_invalid_overlapping_accesses.ll
-rw-r--r-- 2337 reduction_multiple_loops_array_sum.ll
-rw-r--r-- 2243 reduction_multiple_loops_array_sum_1.ll
-rw-r--r-- 3805 reduction_multiple_simple_binary.ll
-rw-r--r-- 1908 reduction_non_overlapping_chains.ll
-rw-r--r-- 1089 reduction_only_reduction_like_access.ll
-rw-r--r-- 1947 reduction_simple_fp.ll
-rw-r--r-- 716 reduction_simple_w_constant.ll
-rw-r--r-- 752 reduction_simple_w_iv.ll
-rw-r--r-- 2288 reduction_two_identical_reads.ll
-rw-r--r-- 1462 redundant_parameter_constraint.ll
-rw-r--r-- 17367 remarks.ll
-rw-r--r-- 2500 required-invariant-loop-bounds.ll
-rw-r--r-- 1814 restriction_in_dead_block.ll
-rw-r--r-- 4683 run-time-check-many-parameters.ll
-rw-r--r-- 1018 run-time-check-read-only-arrays.ll
-rw-r--r-- 1152 same-base-address-scalar-and-array.ll
-rw-r--r-- 2183 scalar.ll
-rw-r--r-- 1621 scalar_dependence_cond_br.ll
-rw-r--r-- 7249 scalar_to_array.ll
-rw-r--r-- 2579 scev-div-with-evaluatable-divisor.ll
-rw-r--r-- 641 scev-invalidated.ll
-rw-r--r-- 985 schedule-const-post-dominator-walk-2.ll
-rw-r--r-- 999 schedule-const-post-dominator-walk.ll
-rw-r--r-- 1108 schedule-constuction-endless-loop1.ll
-rw-r--r-- 1160 schedule-constuction-endless-loop2.ll
-rw-r--r-- 3162 schedule-incorrectly-contructed-in-case-of-infinite-loop.ll
-rw-r--r-- 1341 simple_loop_1.ll
-rw-r--r-- 1374 simple_loop_2.ll
-rw-r--r-- 1042 simple_loop_unsigned.ll
-rw-r--r-- 971 simple_loop_unsigned_2.ll
-rw-r--r-- 900 simple_loop_unsigned_3.ll
-rw-r--r-- 1597 simple_nonaffine_loop_not.ll
-rw-r--r-- 871 smax.ll
-rw-r--r-- 2962 stride_detection.ll
-rw-r--r-- 4488 switch-1.ll
-rw-r--r-- 3601 switch-2.ll
-rw-r--r-- 5297 switch-3.ll
-rw-r--r-- 5872 switch-4.ll
-rw-r--r-- 2605 switch-5.ll
-rw-r--r-- 5231 switch-6.ll
-rw-r--r-- 4788 switch-7.ll
-rw-r--r-- 3228 tempscop-printing.ll
-rw-r--r-- 1420 test-wrapping-in-condition.ll
-rw-r--r-- 1381 truncate-1.ll
-rw-r--r-- 1566 truncate-2.ll
-rw-r--r-- 1451 two-loops-one-infinite.ll
-rw-r--r-- 1973 two-loops-right-after-each-other.ll
-rw-r--r-- 785 undef_in_cond.ll
-rw-r--r-- 1221 unsigned-condition.ll
-rw-r--r-- 1358 unsigned-division-1.ll
-rw-r--r-- 1389 unsigned-division-2.ll
-rw-r--r-- 1339 unsigned-division-3.ll
-rw-r--r-- 1392 unsigned-division-4.ll
-rw-r--r-- 1801 unsigned-division-5.ll
-rw-r--r-- 1248 user_context.ll
-rw-r--r-- 2052 user_provided_assumptions-in-bb-signed-conditional.ll
-rw-r--r-- 1427 user_provided_assumptions-in-bb-signed.ll
-rw-r--r-- 1843 user_provided_assumptions-in-bb-unsigned.ll
-rw-r--r-- 4919 user_provided_assumptions.ll
-rw-r--r-- 1755 user_provided_assumptions_2.ll
-rw-r--r-- 1831 user_provided_assumptions_3.ll
-rw-r--r-- 2911 user_provided_non_dominating_assumptions.ll
-rw-r--r-- 1095 variant_base_pointer.ll
-rw-r--r-- 1588 variant_load_empty_domain.ll
-rw-r--r-- 2207 wraping_signed_expr_0.ll
-rw-r--r-- 2558 wraping_signed_expr_1.ll
-rw-r--r-- 1300 wraping_signed_expr_2.ll
-rw-r--r-- 1071 wraping_signed_expr_3.ll
-rw-r--r-- 1104 wraping_signed_expr_4.ll
-rw-r--r-- 1588 wraping_signed_expr_5.ll
-rw-r--r-- 1270 wraping_signed_expr_6.ll
-rw-r--r-- 1268 wraping_signed_expr_7.ll
-rw-r--r-- 2672 wraping_signed_expr_slow_1.ll
-rw-r--r-- 2788 wraping_signed_expr_slow_2.ll
-rw-r--r-- 1892 zero_ext_of_truncate.ll
-rw-r--r-- 1852 zero_ext_of_truncate_2.ll
-rw-r--r-- 1160 zero_ext_space_mismatch.ll