[PATCH] ScopDetection: Only detect scops that have at least one read and one write

Tobias Grosser tobias at grosser.es
Wed Feb 18 21:34:00 PST 2015 

REPOSITORY
  rL LLVM

http://reviews.llvm.org/D7735

Files:
  polly/trunk/include/polly/ScopDetection.h
  polly/trunk/include/polly/ScopDetectionDiagnostic.h
  polly/trunk/lib/Analysis/ScopDetection.cpp
  polly/trunk/lib/Analysis/ScopDetectionDiagnostic.cpp
  polly/trunk/test/CodePreparation/if_condition.ll
  polly/trunk/test/CodePreparation/multiple_loops_trivial_phis.ll
  polly/trunk/test/CodePreparation/single_loop_trivial_phi.ll
  polly/trunk/test/DeadCodeElimination/chained_iterations.ll
  polly/trunk/test/DeadCodeElimination/chained_iterations_2.ll
  polly/trunk/test/DeadCodeElimination/computeout.ll
  polly/trunk/test/DeadCodeElimination/dead_iteration_elimination.ll
  polly/trunk/test/DeadCodeElimination/non-affine-affine-mix.ll
  polly/trunk/test/DeadCodeElimination/non-affine.ll
  polly/trunk/test/DeadCodeElimination/null_schedule.ll
  polly/trunk/test/Dependences/computeout.ll
  polly/trunk/test/Dependences/do_pluto_matmult.ll
  polly/trunk/test/Dependences/reduction_complex_location.ll
  polly/trunk/test/Dependences/reduction_dependences_equal_non_reduction_dependences.ll
  polly/trunk/test/Dependences/reduction_mixed_reduction_and_non_reduction_dependences.ll
  polly/trunk/test/Dependences/reduction_multiple_loops_array_sum.ll
  polly/trunk/test/Dependences/reduction_multiple_loops_array_sum_2.ll
  polly/trunk/test/Dependences/reduction_multiple_loops_array_sum_3.ll
  polly/trunk/test/Dependences/reduction_multiple_reductions.ll
  polly/trunk/test/Dependences/reduction_multiple_reductions_2.ll
  polly/trunk/test/Dependences/reduction_only_reduction_like_access.ll
  polly/trunk/test/Dependences/reduction_partially_escaping_intermediate_in_other_stmt.ll
  polly/trunk/test/Dependences/reduction_privatization_deps.ll
  polly/trunk/test/Dependences/reduction_privatization_deps_2.ll
  polly/trunk/test/Dependences/reduction_privatization_deps_3.ll
  polly/trunk/test/Dependences/reduction_privatization_deps_4.ll
  polly/trunk/test/Dependences/reduction_privatization_deps_5.ll
  polly/trunk/test/Dependences/reduction_simple_iv.ll
  polly/trunk/test/Dependences/reduction_simple_iv_debug_wrapped_dependences.ll
  polly/trunk/test/Dependences/reduction_simple_privatization_deps_2.ll
  polly/trunk/test/Dependences/reduction_simple_privatization_deps_w_parameter.ll
  polly/trunk/test/Dependences/reduction_two_reductions_different_rloops.ll
  polly/trunk/test/Dependences/sequential_loops.ll
  polly/trunk/test/IndependentBlocks/inter_bb_scalar_dep.ll
  polly/trunk/test/IndependentBlocks/intra_and_inter_bb_scalar_dep.ll
  polly/trunk/test/IndependentBlocks/intra_bb_scalar_dep.ll
  polly/trunk/test/IndependentBlocks/phi_outside_scop.ll
  polly/trunk/test/IndependentBlocks/scalar_to_array.ll
  polly/trunk/test/IndependentBlocks/scev-invalidated.ll
  polly/trunk/test/Isl/Ast/OpenMP/multiple_loops_outer_parallel.ll
  polly/trunk/test/Isl/Ast/OpenMP/nested_loop_both_parallel.ll
  polly/trunk/test/Isl/Ast/OpenMP/nested_loop_both_parallel_parametric.ll
  polly/trunk/test/Isl/Ast/OpenMP/nested_loop_inner_parallel.ll
  polly/trunk/test/Isl/Ast/OpenMP/nested_loop_outer_parallel.ll
  polly/trunk/test/Isl/Ast/OpenMP/single_loop_param_non_parallel.ll
  polly/trunk/test/Isl/Ast/OpenMP/single_loop_param_parallel.ll
  polly/trunk/test/Isl/Ast/OpenMP/single_loop_param_parallel_computeout.ll
  polly/trunk/test/Isl/Ast/alias_simple_1.ll
  polly/trunk/test/Isl/Ast/alias_simple_2.ll
  polly/trunk/test/Isl/Ast/alias_simple_3.ll
  polly/trunk/test/Isl/Ast/aliasing_multiple_alias_groups.ll
  polly/trunk/test/Isl/Ast/aliasing_parametric_simple_1.ll
  polly/trunk/test/Isl/Ast/aliasing_parametric_simple_2.ll
  polly/trunk/test/Isl/Ast/dependence_distance_constant.ll
  polly/trunk/test/Isl/Ast/dependence_distance_multiple_constant.ll
  polly/trunk/test/Isl/Ast/dependence_distance_parametric.ll
  polly/trunk/test/Isl/Ast/dependence_distance_parametric_expr.ll
  polly/trunk/test/Isl/Ast/dependence_distance_varying.ll
  polly/trunk/test/Isl/Ast/dependence_distance_varying_in_outer_loop.ll
  polly/trunk/test/Isl/Ast/dependence_distance_varying_multiple.ll
  polly/trunk/test/Isl/Ast/reduction_clauses_multidimensional_access.ll
  polly/trunk/test/Isl/Ast/reduction_clauses_onedimensional_access.ll
  polly/trunk/test/Isl/Ast/reduction_dependences_equal_non_reduction_dependences.ll
  polly/trunk/test/Isl/Ast/reduction_different_reduction_clauses.ll
  polly/trunk/test/Isl/Ast/reduction_in_one_dimension.ll
  polly/trunk/test/Isl/Ast/reduction_loop_reversal.ll
  polly/trunk/test/Isl/Ast/reduction_modulo_and_loop_reversal_schedule.ll
  polly/trunk/test/Isl/Ast/reduction_modulo_and_loop_reversal_schedule_2.ll
  polly/trunk/test/Isl/Ast/reduction_modulo_schedule.ll
  polly/trunk/test/Isl/Ast/reduction_modulo_schedule_multiple_dimensions.ll
  polly/trunk/test/Isl/Ast/reduction_modulo_schedule_multiple_dimensions_2.ll
  polly/trunk/test/Isl/Ast/reduction_modulo_schedule_multiple_dimensions_3.ll
  polly/trunk/test/Isl/Ast/reduction_modulo_schedule_multiple_dimensions_4.ll
  polly/trunk/test/Isl/Ast/reduction_modulo_schedule_multiple_dimensions_5.ll
  polly/trunk/test/Isl/Ast/reduction_multiple_dimensions.ll
  polly/trunk/test/Isl/Ast/reduction_multiple_dimensions_2.ll
  polly/trunk/test/Isl/Ast/reduction_multiple_dimensions_3.ll
  polly/trunk/test/Isl/Ast/reduction_multiple_dimensions_4.ll
  polly/trunk/test/Isl/Ast/run-time-condition.ll
  polly/trunk/test/Isl/Ast/simple-run-time-condition.ll
  polly/trunk/test/Isl/Ast/single_loop_strip_mine.ll
  polly/trunk/test/Isl/CodeGen/20100617.ll
  polly/trunk/test/Isl/CodeGen/20100622.ll
  polly/trunk/test/Isl/CodeGen/20100707.ll
  polly/trunk/test/Isl/CodeGen/20100707_2.ll
  polly/trunk/test/Isl/CodeGen/20100708.ll
  polly/trunk/test/Isl/CodeGen/20100708_2.ll
  polly/trunk/test/Isl/CodeGen/20100713.ll
  polly/trunk/test/Isl/CodeGen/20100713_2.ll
  polly/trunk/test/Isl/CodeGen/20100717.ll
  polly/trunk/test/Isl/CodeGen/20100718-DomInfo-2.ll
  polly/trunk/test/Isl/CodeGen/20100718-DomInfo.ll
  polly/trunk/test/Isl/CodeGen/20100720-MultipleConditions.ll
  polly/trunk/test/Isl/CodeGen/20100809-IndependentBlock.ll
  polly/trunk/test/Isl/CodeGen/20100811-ScalarDependencyBetweenBrAndCnd.ll
  polly/trunk/test/Isl/CodeGen/20101030-Overflow.ll
  polly/trunk/test/Isl/CodeGen/20101103-Overflow3.ll
  polly/trunk/test/Isl/CodeGen/20101103-signmissmatch.ll
  polly/trunk/test/Isl/CodeGen/20110226-Ignore-Dead-Code.ll
  polly/trunk/test/Isl/CodeGen/20110226-PHI-Node-removed.ll
  polly/trunk/test/Isl/CodeGen/20110312-Fail-without-basicaa.ll
  polly/trunk/test/Isl/CodeGen/20120316-InvalidCast.ll
  polly/trunk/test/Isl/CodeGen/20120403-RHS-type-mismatch.ll
  polly/trunk/test/Isl/CodeGen/20130211-getNumberOfIterations.ll
  polly/trunk/test/Isl/CodeGen/20130221.ll
  polly/trunk/test/Isl/CodeGen/LoopParallelMD/do_not_mutate_debug_info.ll
  polly/trunk/test/Isl/CodeGen/LoopParallelMD/loop_nest_param_parallel.ll
  polly/trunk/test/Isl/CodeGen/LoopParallelMD/single_loop_param_parallel.ll
  polly/trunk/test/Isl/CodeGen/MemAccess/bad_alignment.ll
  polly/trunk/test/Isl/CodeGen/MemAccess/codegen_constant_offset.ll
  polly/trunk/test/Isl/CodeGen/MemAccess/codegen_simple.ll
  polly/trunk/test/Isl/CodeGen/MemAccess/codegen_simple_float.ll
  polly/trunk/test/Isl/CodeGen/MemAccess/codegen_simple_md.ll
  polly/trunk/test/Isl/CodeGen/MemAccess/codegen_simple_md_float.ll
  polly/trunk/test/Isl/CodeGen/MemAccess/default_aligned_new_access_function.ll
  polly/trunk/test/Isl/CodeGen/MemAccess/simple.ll
  polly/trunk/test/Isl/CodeGen/MemAccess/simple_analyze.ll
  polly/trunk/test/Isl/CodeGen/MemAccess/simple_stride_test.ll
  polly/trunk/test/Isl/CodeGen/OpenMP/loop-body-references-outer-iv.ll
  polly/trunk/test/Isl/CodeGen/OpenMP/loop-body-references-outer-values-2.ll
  polly/trunk/test/Isl/CodeGen/OpenMP/loop-body-references-outer-values-3.ll
  polly/trunk/test/Isl/CodeGen/OpenMP/loop-body-references-outer-values.ll
  polly/trunk/test/Isl/CodeGen/OpenMP/loop-bounds-reference-outer-ids.ll
  polly/trunk/test/Isl/CodeGen/OpenMP/reference-other-bb.ll
  polly/trunk/test/Isl/CodeGen/OpenMP/reference-preceeding-loop.ll
  polly/trunk/test/Isl/CodeGen/OpenMP/single_loop.ll
  polly/trunk/test/Isl/CodeGen/OpenMP/single_loop_with_loop_invariant_baseptr.ll
  polly/trunk/test/Isl/CodeGen/OpenMP/two-parallel-loops-reference-outer-indvar.ll
  polly/trunk/test/Isl/CodeGen/PHIInExit.ll
  polly/trunk/test/Isl/CodeGen/aliasing_different_base_and_access_type.ll
  polly/trunk/test/Isl/CodeGen/aliasing_different_pointer_types.ll
  polly/trunk/test/Isl/CodeGen/aliasing_multidimensional_access.ll
  polly/trunk/test/Isl/CodeGen/aliasing_parametric_simple_1.ll
  polly/trunk/test/Isl/CodeGen/aliasing_parametric_simple_2.ll
  polly/trunk/test/Isl/CodeGen/aliasing_struct_element.ll
  polly/trunk/test/Isl/CodeGen/alignment.ll
  polly/trunk/test/Isl/CodeGen/annotated_alias_scopes.ll
  polly/trunk/test/Isl/CodeGen/blas_sscal_simplified.ll
  polly/trunk/test/Isl/CodeGen/constant_condition.ll
  polly/trunk/test/Isl/CodeGen/create-conditional-scop.ll
  polly/trunk/test/Isl/CodeGen/debug-intrinsics.ll
  polly/trunk/test/Isl/CodeGen/intrinsics_lifetime.ll
  polly/trunk/test/Isl/CodeGen/intrinsics_misc.ll
  polly/trunk/test/Isl/CodeGen/loop_with_condition.ll
  polly/trunk/test/Isl/CodeGen/loop_with_condition_2.ll
  polly/trunk/test/Isl/CodeGen/loop_with_condition_ineq.ll
  polly/trunk/test/Isl/CodeGen/loop_with_condition_nested.ll
  polly/trunk/test/Isl/CodeGen/loop_with_conditional_entry_edge_splited_hard_case.ll
  polly/trunk/test/Isl/CodeGen/multidim_2d_parametric_array_static_loop_bounds.ll
  polly/trunk/test/Isl/CodeGen/multidim_alias_check.ll
  polly/trunk/test/Isl/CodeGen/no_guard_bb.ll
  polly/trunk/test/Isl/CodeGen/openmp_limit_threads.ll
  polly/trunk/test/Isl/CodeGen/pointer-type-expressions-2.ll
  polly/trunk/test/Isl/CodeGen/pointer-type-expressions.ll
  polly/trunk/test/Isl/CodeGen/pointer-type-pointer-type-comparison.ll
  polly/trunk/test/Isl/CodeGen/reduction.ll
  polly/trunk/test/Isl/CodeGen/reduction_2.ll
  polly/trunk/test/Isl/CodeGen/reduction_simple_binary.ll
  polly/trunk/test/Isl/CodeGen/run-time-condition-with-scev-parameters.ll
  polly/trunk/test/Isl/CodeGen/run-time-condition.ll
  polly/trunk/test/Isl/CodeGen/scalar-references-used-in-scop-compute.ll
  polly/trunk/test/Isl/CodeGen/scev.ll
  polly/trunk/test/Isl/CodeGen/scop_never_executed_runtime_check_location.ll
  polly/trunk/test/Isl/CodeGen/sequential_loops.ll
  polly/trunk/test/Isl/CodeGen/simple_loop_non_single_exit.ll
  polly/trunk/test/Isl/CodeGen/simple_loop_non_single_exit_2.ll
  polly/trunk/test/Isl/CodeGen/simple_non_single_entry.ll
  polly/trunk/test/Isl/CodeGen/simple_nonaffine_loop.ll
  polly/trunk/test/Isl/CodeGen/simple_vec_assign_scalar.ll
  polly/trunk/test/Isl/CodeGen/simple_vec_assign_scalar_2.ll
  polly/trunk/test/Isl/CodeGen/simple_vec_call.ll
  polly/trunk/test/Isl/CodeGen/simple_vec_call_2.ll
  polly/trunk/test/Isl/CodeGen/simple_vec_cast.ll
  polly/trunk/test/Isl/CodeGen/simple_vec_const.ll
  polly/trunk/test/Isl/CodeGen/simple_vec_large_width.ll
  polly/trunk/test/Isl/CodeGen/simple_vec_ptr_ptr_ty.ll
  polly/trunk/test/Isl/CodeGen/simple_vec_stride_negative_one.ll
  polly/trunk/test/Isl/CodeGen/simple_vec_stride_x.ll
  polly/trunk/test/Isl/CodeGen/simple_vec_two_stmts.ll
  polly/trunk/test/Isl/CodeGen/single_do_loop_int_max_iterations.ll
  polly/trunk/test/Isl/CodeGen/single_do_loop_int_param_iterations.ll
  polly/trunk/test/Isl/CodeGen/single_do_loop_ll_max_iterations.ll
  polly/trunk/test/Isl/CodeGen/single_do_loop_one_iteration.ll
  polly/trunk/test/Isl/CodeGen/single_do_loop_scev_replace.ll
  polly/trunk/test/Isl/CodeGen/single_loop.ll
  polly/trunk/test/Isl/CodeGen/single_loop_int_max_iterations.ll
  polly/trunk/test/Isl/CodeGen/single_loop_ll_max_iterations.ll
  polly/trunk/test/Isl/CodeGen/single_loop_one_iteration.ll
  polly/trunk/test/Isl/CodeGen/single_loop_param.ll
  polly/trunk/test/Isl/CodeGen/single_loop_zero_iterations.ll
  polly/trunk/test/Isl/CodeGen/split_edges.ll
  polly/trunk/test/Isl/CodeGen/split_edges_2.ll
  polly/trunk/test/Isl/CodeGen/test-invalid-operands-for-select-2.ll
  polly/trunk/test/Isl/CodeGen/test-invalid-operands-for-select.ll
  polly/trunk/test/Isl/CodeGen/test.ll
  polly/trunk/test/Isl/CodeGen/two-scops-in-row.ll
  polly/trunk/test/Isl/single_loop_param_less_equal.ll
  polly/trunk/test/Isl/single_loop_param_less_than.ll
  polly/trunk/test/Isl/single_loop_uint_max_iterations.ll
  polly/trunk/test/Isl/single_loop_ull_max_iterations.ll
  polly/trunk/test/ScheduleOptimizer/2012-03-16-Empty-Domain.ll
  polly/trunk/test/ScheduleOptimizer/2012-04-16-Trivially-vectorizable-loops.ll
  polly/trunk/test/ScheduleOptimizer/2012-10-14-Zero-Bands.ll
  polly/trunk/test/ScheduleOptimizer/2013-04-11-Empty-Domain-two.ll
  polly/trunk/test/ScheduleOptimizer/computeout.ll
  polly/trunk/test/ScheduleOptimizer/line-tiling-2.ll
  polly/trunk/test/ScheduleOptimizer/line-tiling.ll
  polly/trunk/test/ScheduleOptimizer/prevectorization.ll
  polly/trunk/test/ScheduleOptimizer/rectangular-tiling.ll
  polly/trunk/test/ScopDetect/aliasing_parametric_simple_1.ll
  polly/trunk/test/ScopDetect/aliasing_parametric_simple_2.ll
  polly/trunk/test/ScopDetect/aliasing_simple_1.ll
  polly/trunk/test/ScopDetect/aliasing_simple_2.ll
  polly/trunk/test/ScopDetect/base_pointer.ll
  polly/trunk/test/ScopDetect/cross_loop_non_single_exit.ll
  polly/trunk/test/ScopDetect/cross_loop_non_single_exit_2.ll
  polly/trunk/test/ScopDetect/dependency_to_phi_node_outside_of_region.ll
  polly/trunk/test/ScopDetect/indvars.ll
  polly/trunk/test/ScopDetect/intrinsics_1.ll
  polly/trunk/test/ScopDetect/intrinsics_2.ll
  polly/trunk/test/ScopDetect/intrinsics_3.ll
  polly/trunk/test/ScopDetect/invalidate_scalar_evolution.ll
  polly/trunk/test/ScopDetect/keep_going_expansion.ll
  polly/trunk/test/ScopDetect/multidim_two_accesses_different_delinearization.ll
  polly/trunk/test/ScopDetect/nested_loop_single_exit.ll
  polly/trunk/test/ScopDetect/parametric-multiply-in-scev.ll
  polly/trunk/test/ScopDetect/remove_all_children.ll
  polly/trunk/test/ScopDetect/report-scop-location.ll
  polly/trunk/test/ScopDetect/run_time_alias_check.ll
  polly/trunk/test/ScopDetect/sequential_loops.ll
  polly/trunk/test/ScopDetect/simple_loop.ll
  polly/trunk/test/ScopDetect/simple_loop_non_single_entry.ll
  polly/trunk/test/ScopDetect/simple_loop_non_single_exit.ll
  polly/trunk/test/ScopDetect/simple_loop_non_single_exit_2.ll
  polly/trunk/test/ScopDetect/simple_loop_two_phi_nodes.ll
  polly/trunk/test/ScopDetect/simple_loop_with_param.ll
  polly/trunk/test/ScopDetect/simple_loop_with_param_2.ll
  polly/trunk/test/ScopDetect/simple_non_single_entry.ll
  polly/trunk/test/ScopDetect/skip_function_attribute.ll
  polly/trunk/test/ScopDetectionDiagnostics/ReportAlias-01.ll
  polly/trunk/test/ScopDetectionDiagnostics/ReportDifferentElementSize.ll
  polly/trunk/test/ScopDetectionDiagnostics/ReportFuncCall-01.ll
  polly/trunk/test/ScopDetectionDiagnostics/ReportLoopBound-01.ll
  polly/trunk/test/ScopDetectionDiagnostics/ReportMultipleNonAffineAccesses.ll
  polly/trunk/test/ScopDetectionDiagnostics/ReportNonAffineAccess-01.ll
  polly/trunk/test/ScopDetectionDiagnostics/ReportUnprofitable.ll
  (91 more files...)

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D7735.20258.patch
Type: text/x-patch
Size: 246008 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150219/760e3510/attachment.bin>

More information about the llvm-commits mailing list