From b332499a94df11870dfc7598645c59656deb933d Mon Sep 17 00:00:00 2001 From: Nikita Popov Date: Tue, 17 Jan 2023 10:12:02 +0100 Subject: [PATCH] [Polly] Convert some tests to opaque pointers (NFC) --- polly/test/CodeGen/20100707_2.ll | 60 +-- polly/test/CodeGen/20100708_2.ll | 2 +- polly/test/CodeGen/20100713.ll | 2 +- polly/test/CodeGen/20100713_2.ll | 2 +- polly/test/CodeGen/20100717.ll | 12 +- .../CodeGen/20100720-MultipleConditions.ll | 16 +- .../test/CodeGen/20100809-IndependentBlock.ll | 14 +- polly/test/CodeGen/20101030-Overflow.ll | 4 +- polly/test/CodeGen/20101103-Overflow3.ll | 7 +- polly/test/CodeGen/20101103-signmissmatch.ll | 4 +- polly/test/CodeGen/20120316-InvalidCast.ll | 6 +- .../CodeGen/20120403-RHS-type-mismatch.ll | 2 +- .../CodeGen/20130211-getNumberOfIterations.ll | 4 +- polly/test/CodeGen/20130221.ll | 4 +- .../20150328-SCEVExpanderIntroducesNewIV.ll | 4 +- .../do_not_mutate_debug_info.ll | 10 +- .../loop_nest_param_parallel.ll | 8 +- polly/test/CodeGen/MemAccess/bad_alignment.ll | 6 +- .../default_aligned_new_access_function.ll | 10 +- polly/test/CodeGen/MemAccess/simple.ll | 8 +- .../test/CodeGen/MemAccess/simple_analyze.ll | 56 +-- .../MemAccess/update_access_functions.ll | 28 +- .../floord-as-argument-to-subfunction.ll | 27 +- polly/test/CodeGen/OpenMP/inlineasm.ll | 6 +- .../invariant_base_pointer_preloaded.ll | 14 +- ...ant_base_pointer_preloaded_different_bb.ll | 14 +- ...base_pointer_preloaded_pass_only_needed.ll | 26 +- .../invariant_base_pointers_preloaded.ll | 14 +- .../OpenMP/loop-body-references-outer-iv.ll | 4 +- .../loop-body-references-outer-values-2.ll | 8 +- .../loop-body-references-outer-values-3.ll | 20 +- polly/test/CodeGen/OpenMP/matmul-parallel.ll | 16 +- ...ference-argument-from-non-affine-region.ll | 14 +- .../test/CodeGen/OpenMP/reference-other-bb.ll | 7 +- .../OpenMP/reference-preceeding-loop.ll | 4 +- polly/test/CodeGen/OpenMP/reference_latest.ll | 15 +- .../CodeGen/OpenMP/single_loop_with_param.ll | 12 +- ...o-parallel-loops-reference-outer-indvar.ll | 6 +- polly/test/CodeGen/PHIInExit.ll | 56 +-- .../RuntimeDebugBuilder/stmt_tracing.ll | 10 +- polly/test/CodeGen/alias-check-multi-dim.ll | 12 +- .../CodeGen/alias_metadata_too_many_arrays.ll | 124 ++--- .../aliasing_multidimensional_access.ll | 12 +- polly/test/CodeGen/aliasing_struct_element.ll | 13 +- polly/test/CodeGen/alignment.ll | 6 +- polly/test/CodeGen/blas_sscal_simplified.ll | 8 +- ...code-hosting-and-escape-map-computation.ll | 32 +- polly/test/CodeGen/constant_condition.ll | 10 +- polly/test/CodeGen/create-conditional-scop.ll | 4 +- ...d_instruction_referenced_by_parameter_1.ll | 58 +-- ...d_instruction_referenced_by_parameter_2.ll | 10 +- polly/test/CodeGen/debug-intrinsics.ll | 8 +- ...nce_problem_after_early_codegen_bailout.ll | 12 +- polly/test/CodeGen/empty_domain_in_context.ll | 10 +- polly/test/CodeGen/entry_with_trivial_phi.ll | 12 +- .../entry_with_trivial_phi_other_bb.ll | 8 +- .../error-stmt-in-non-affine-region.ll | 10 +- ...or_block_contains_invalid_memory_access.ll | 28 +- polly/test/CodeGen/exprModDiv.ll | 38 +- .../hoisted_load_escapes_through_phi.ll | 15 +- polly/test/CodeGen/hoisting_1.ll | 47 +- polly/test/CodeGen/hoisting_2.ll | 57 ++- .../CodeGen/if-conditions-in-vector-code.ll | 14 +- polly/test/CodeGen/inner_scev_sdiv_1.ll | 11 +- polly/test/CodeGen/inner_scev_sdiv_2.ll | 11 +- polly/test/CodeGen/inner_scev_sdiv_3.ll | 11 +- polly/test/CodeGen/inner_scev_sdiv_in_lb.ll | 12 +- .../inner_scev_sdiv_in_lb_invariant.ll | 12 +- polly/test/CodeGen/inner_scev_sdiv_in_rtc.ll | 10 +- polly/test/CodeGen/intrinsics_lifetime.ll | 27 +- polly/test/CodeGen/intrinsics_misc.ll | 29 +- .../inv-load-lnt-crash-wrong-order-2.ll | 73 ++- .../inv-load-lnt-crash-wrong-order-3.ll | 56 +-- .../CodeGen/inv-load-lnt-crash-wrong-order.ll | 73 ++- .../test/CodeGen/invariant-load-dimension.ll | 15 +- ...-load-preload-base-pointer-origin-first.ll | 30 +- .../CodeGen/invariant_cannot_handle_void.ll | 15 +- .../CodeGen/invariant_load_alias_metadata.ll | 8 +- .../invariant_load_different_sized_types.ll | 15 +- .../invariant_load_escaping_second_scop.ll | 16 +- polly/test/CodeGen/invariant_load_loop_ub.ll | 8 +- ...ant_load_not_executed_but_in_parameters.ll | 52 +-- .../test/CodeGen/invariant_load_outermost.ll | 10 +- ...riant_load_scalar_escape_alloca_sharing.ll | 24 +- ...oads_from_struct_with_different_types_1.ll | 18 +- ...oads_from_struct_with_different_types_2.ll | 12 +- ...invariant_loads_ignore_parameter_bounds.ll | 12 +- .../invariant_verify_function_failed.ll | 6 +- .../invariant_verify_function_failed_2.ll | 32 +- .../large-numbers-in-boundary-context.ll | 10 +- .../loop-invariant-load-type-mismatch.ll | 11 +- polly/test/CodeGen/loop_with_condition.ll | 30 +- polly/test/CodeGen/loop_with_condition_2.ll | 26 +- .../test/CodeGen/loop_with_condition_ineq.ll | 30 +- ..._conditional_entry_edge_split_hard_case.ll | 6 +- polly/test/CodeGen/memcpy_annotations.ll | 6 +- .../multidim-non-matching-typesize-2.ll | 13 +- .../CodeGen/multidim-non-matching-typesize.ll | 8 +- ..._2d_parametric_array_static_loop_bounds.ll | 6 +- polly/test/CodeGen/multidim_alias_check.ll | 14 +- polly/test/CodeGen/multiple-codegens.ll | 10 +- polly/test/CodeGen/multiple-scops-in-a-row.ll | 6 +- .../multiple-types-invariant-load-2.ll | 7 +- .../multiple_sai_fro_same_base_address.ll | 16 +- polly/test/CodeGen/no_guard_bb.ll | 6 +- ...non-affine-dominance-generated-entering.ll | 8 +- .../non-affine-phi-node-expansion-2.ll | 13 +- .../non-affine-phi-node-expansion-3.ll | 4 +- .../non-affine-phi-node-expansion-4.ll | 4 +- .../CodeGen/non-affine-phi-node-expansion.ll | 9 +- ...e-region-exit-phi-incoming-synthesize-2.ll | 4 +- ...ine-region-phi-references-in-scop-value.ll | 12 +- .../non-hoisted-load-needed-as-base-ptr.ll | 20 +- .../CodeGen/only_non_affine_error_region.ll | 4 +- polly/test/CodeGen/openmp_limit_threads.ll | 16 +- polly/test/CodeGen/param_div_div_div_2.ll | 12 +- polly/test/CodeGen/partial_write_emptyset.ll | 4 +- .../partial_write_in_region_with_loop.ll | 18 +- .../CodeGen/partial_write_mapped_scalar.ll | 8 +- .../partial_write_mapped_scalar_subregion.ll | 8 +- .../CodeGen/partial_write_mapped_vector.ll | 10 +- polly/test/CodeGen/perf_monitoring.ll | 42 +- .../perf_monitoring_cycles_per_scop.ll | 20 +- .../perf_monitoring_trip_counts_per_scop.ll | 20 +- polly/test/CodeGen/phi-defined-before-scop.ll | 16 +- .../phi_after_error_block_outside_of_scop.ll | 15 +- .../test/CodeGen/phi_condition_modeling_1.ll | 14 +- .../test/CodeGen/phi_condition_modeling_2.ll | 16 +- .../phi_in_exit_early_lnt_failure_1.ll | 8 +- .../phi_in_exit_early_lnt_failure_2.ll | 13 +- .../phi_in_exit_early_lnt_failure_3.ll | 36 +- .../phi_in_exit_early_lnt_failure_5.ll | 9 +- polly/test/CodeGen/phi_scalar_simple_1.ll | 36 +- polly/test/CodeGen/phi_scalar_simple_2.ll | 42 +- .../CodeGen/phi_with_multi_exiting_edges_2.ll | 10 +- polly/test/CodeGen/phi_with_one_exit_edge.ll | 6 +- .../CodeGen/pointer-type-expressions-2.ll | 14 +- .../test/CodeGen/pointer-type-expressions.ll | 12 +- .../pointer-type-pointer-type-comparison.ll | 16 +- polly/test/CodeGen/pointer_rem.ll | 15 +- polly/test/CodeGen/pr25241.ll | 6 +- polly/test/CodeGen/ptrtoint_as_parameter.ll | 10 +- polly/test/CodeGen/read-only-scalars.ll | 12 +- polly/test/CodeGen/reduction.ll | 73 ++- polly/test/CodeGen/reduction_2.ll | 57 ++- polly/test/CodeGen/reduction_simple_binary.ll | 4 +- polly/test/CodeGen/region_exiting-domtree.ll | 4 +- .../CodeGen/region_multiexit_partialwrite.ll | 10 +- ...run-time-condition-with-scev-parameters.ll | 6 +- polly/test/CodeGen/run-time-condition.ll | 9 +- .../scalar-references-used-in-scop-compute.ll | 12 +- .../test/CodeGen/scalar-store-from-same-bb.ll | 6 +- polly/test/CodeGen/scalar_codegen_crash.ll | 8 +- .../CodeGen/scev-division-invariant-load.ll | 26 +- .../CodeGen/scop_expander_insert_point.ll | 8 +- polly/test/CodeGen/scop_expander_segfault.ll | 10 +- ...p_never_executed_runtime_check_location.ll | 6 +- polly/test/CodeGen/select-base-pointer.ll | 49 +- polly/test/CodeGen/sequential_loops.ll | 20 +- .../CodeGen/simple_loop_non_single_exit.ll | 6 +- .../CodeGen/simple_loop_non_single_exit_2.ll | 6 +- polly/test/CodeGen/simple_non_single_entry.ll | 10 +- polly/test/CodeGen/simple_nonaffine_loop.ll | 12 +- .../test/CodeGen/simple_vec_assign_scalar.ll | 14 +- .../CodeGen/simple_vec_assign_scalar_2.ll | 10 +- polly/test/CodeGen/simple_vec_large_width.ll | 12 +- .../CodeGen/simple_vec_stride_negative_one.ll | 8 +- polly/test/CodeGen/simple_vec_stride_x.ll | 18 +- .../CodeGen/simple_vec_strides_multidim.ll | 20 +- polly/test/CodeGen/simple_vec_two_stmts.ll | 20 +- .../single_do_loop_int_max_iterations.ll | 24 +- .../single_do_loop_int_param_iterations.ll | 8 +- .../single_do_loop_ll_max_iterations.ll | 8 +- .../CodeGen/single_do_loop_one_iteration.ll | 20 +- .../CodeGen/single_do_loop_scev_replace.ll | 24 +- polly/test/CodeGen/single_loop.ll | 17 +- .../CodeGen/single_loop_int_max_iterations.ll | 20 +- .../CodeGen/single_loop_ll_max_iterations.ll | 20 +- .../test/CodeGen/single_loop_one_iteration.ll | 18 +- polly/test/CodeGen/single_loop_param.ll | 14 +- .../CodeGen/single_loop_zero_iterations.ll | 18 +- polly/test/CodeGen/split_edge_of_exit.ll | 6 +- polly/test/CodeGen/split_edges.ll | 4 +- polly/test/CodeGen/split_edges_2.ll | 4 +- polly/test/CodeGen/srem-in-other-bb.ll | 14 +- .../stack-overflow-in-load-hoisting.ll | 52 +-- .../test-invalid-operands-for-select-2.ll | 21 +- .../test-invalid-operands-for-select.ll | 30 +- polly/test/CodeGen/test.ll | 14 +- .../two-loops-right-after-each-other-2.ll | 42 +- .../two-scops-in-row-invalidate-scevs.ll | 13 +- polly/test/CodeGen/two-scops-in-row.ll | 10 +- polly/test/CodeGen/udiv_expansion_position.ll | 2 +- .../CodeGen/uninitialized_scalar_memory.ll | 16 +- .../unpredictable-loop-unsynthesizable.ll | 12 +- .../test/CodeGen/variant_load_empty_domain.ll | 16 +- .../whole-scop-non-affine-subregion.ll | 10 +- polly/test/DeLICM/confused_order.ll | 8 +- ...ontradicting_assumed_context_and_domain.ll | 19 +- polly/test/DeLICM/load-in-cond-inf-loop.ll | 10 +- polly/test/DeLICM/map_memset_zero.ll | 12 +- polly/test/DeLICM/nomap_alreadymapped.ll | 6 +- polly/test/DeLICM/nomap_escaping.ll | 6 +- polly/test/DeLICM/nomap_occupied.ll | 8 +- polly/test/DeLICM/nomap_readonly.ll | 6 +- polly/test/DeLICM/nomap_spuriouswrite.ll | 8 +- polly/test/DeLICM/nomap_storagesize.ll | 6 +- polly/test/DeLICM/nomap_writewrite.ll | 8 +- polly/test/DeLICM/outofquota-reverseDomain.ll | 77 ++- polly/test/DeLICM/pass_existence.ll | 4 +- polly/test/DeLICM/pr41656.ll | 11 +- polly/test/DeLICM/pr48783.ll | 11 +- polly/test/DeLICM/reduction.ll | 6 +- .../DeLICM/reduction_constant_selfconflict.ll | 8 +- polly/test/DeLICM/reduction_looprotate.ll | 8 +- .../reduction_looprotate_alwaystaken.ll | 8 +- .../DeLICM/reduction_looprotate_gvnpre.ll | 6 +- .../reduction_looprotate_gvnpre_cond1.ll | 6 +- .../reduction_looprotate_gvnpre_cond2.ll | 8 +- ...reduction_looprotate_gvnpre_nopreheader.ll | 6 +- .../DeLICM/reduction_looprotate_hoisted.ll | 8 +- .../test/DeLICM/reduction_looprotate_licm.ll | 8 +- .../test/DeLICM/reduction_looprotate_licm2.ll | 8 +- .../reduction_looprotate_licm_double_write.ll | 10 +- .../reduction_looprotate_licm_nopreheader.ll | 8 +- .../test/DeLICM/reduction_looprotate_load.ll | 8 +- .../reduction_looprotate_loopguard_gvnpre.ll | 6 +- .../reduction_looprotate_loopguard_licm1.ll | 8 +- .../reduction_looprotate_loopguard_licm2.ll | 8 +- .../reduction_looprotate_loopguard_licm3.ll | 8 +- .../DeLICM/reduction_looprotate_readonly.ll | 6 +- .../reduction_looprotate_synthesizable.ll | 6 +- .../test/DeLICM/reduction_looprotate_undef.ll | 6 +- .../test/DeLICM/reduction_overapproximate.ll | 6 +- polly/test/DeLICM/reduction_preheader.ll | 6 +- .../test/DeLICM/reduction_unrelatedunusual.ll | 10 +- polly/test/DeLICM/reject_loadafterstore.ll | 8 +- polly/test/DeLICM/reject_outofquota.ll | 6 +- polly/test/DeLICM/reject_storeafterstore.ll | 8 +- polly/test/DeLICM/reject_storeinsubregion.ll | 12 +- polly/test/DeLICM/reject_unusualstore.ll | 10 +- polly/test/DeLICM/skip_maywrite.ll | 6 +- polly/test/DeLICM/skip_multiaccess.ll | 10 +- polly/test/DeLICM/skip_notinloop.ll | 4 +- polly/test/DeLICM/skip_scalaraccess.ll | 4 +- .../DeadCodeElimination/chained_iterations.ll | 12 +- .../chained_iterations_2.ll | 20 +- polly/test/DeadCodeElimination/computeout.ll | 12 +- .../dead_iteration_elimination.ll | 18 +- .../non-affine-affine-mix.ll | 10 +- polly/test/DeadCodeElimination/non-affine.ll | 6 +- .../test/DeadCodeElimination/null_schedule.ll | 19 +- polly/test/DependenceInfo/computeout.ll | 12 +- .../different_schedule_dimensions.ll | 11 +- polly/test/DependenceInfo/do_pluto_matmult.ll | 24 +- polly/test/DependenceInfo/fine_grain_dep_0.ll | 18 +- .../generate_may_write_dependence_info.ll | 22 +- .../test/DependenceInfo/infeasible_context.ll | 10 +- ...writes_do_not_block_must_writes_for_war.ll | 16 +- .../nonaffine-condition-buildMemoryAccess.ll | 12 +- .../reduction_complex_location.ll | 8 +- ...ndences_equal_non_reduction_dependences.ll | 26 +- .../reduction_dependences_not_null.ll | 4 +- ...reduction_and_non_reduction_dependences.ll | 10 +- .../reduction_multiple_loops_array_sum.ll | 14 +- .../reduction_multiple_loops_array_sum_2.ll | 10 +- .../reduction_multiple_loops_array_sum_3.ll | 22 +- .../reduction_multiple_reductions.ll | 10 +- .../reduction_multiple_reductions_2.ll | 18 +- .../reduction_only_reduction_like_access.ll | 10 +- ...lly_escaping_intermediate_in_other_stmt.ll | 16 +- .../reduction_privatization_deps.ll | 22 +- .../reduction_privatization_deps_2.ll | 20 +- .../reduction_privatization_deps_3.ll | 20 +- .../reduction_privatization_deps_4.ll | 20 +- .../reduction_privatization_deps_5.ll | 14 +- .../test/DependenceInfo/reduction_sequence.ll | 58 +-- .../DependenceInfo/reduction_simple_iv.ll | 6 +- ...ion_simple_iv_debug_wrapped_dependences.ll | 6 +- .../reduction_simple_privatization_deps_2.ll | 14 +- ...n_simple_privatization_deps_w_parameter.ll | 12 +- ...duction_two_reductions_different_rloops.ll | 22 +- polly/test/DependenceInfo/sequential_loops.ll | 56 +-- polly/test/FlattenSchedule/gemm.ll | 32 +- polly/test/ForwardOpTree/atax.ll | 49 +- polly/test/ForwardOpTree/changed-kind.ll | 2 +- .../test/ForwardOpTree/forward_from_region.ll | 8 +- polly/test/ForwardOpTree/forward_hoisted.ll | 10 +- .../test/ForwardOpTree/forward_instruction.ll | 6 +- .../test/ForwardOpTree/forward_into_region.ll | 4 +- .../forward_into_region_redundant_use.ll | 14 +- polly/test/ForwardOpTree/forward_load.ll | 14 +- .../forward_load_differentarray.ll | 28 +- .../forward_load_double_write.ll | 18 +- .../ForwardOpTree/forward_load_fromloop.ll | 16 +- .../ForwardOpTree/forward_load_indirect.ll | 16 +- .../forward_load_memset_after.ll | 16 +- .../forward_load_memset_before.ll | 22 +- .../ForwardOpTree/forward_load_tripleuse.ll | 48 +- .../forward_load_unrelatedunusual.ll | 18 +- polly/test/ForwardOpTree/forward_phi_load.ll | 14 +- polly/test/ForwardOpTree/forward_readonly.ll | 8 +- polly/test/ForwardOpTree/forward_reusue.ll | 6 +- polly/test/ForwardOpTree/forward_store.ll | 14 +- .../forward_synthesizable_definloop.ll | 6 +- .../forward_synthesizable_indvar.ll | 6 +- .../forward_synthesizable_useinloop.ll | 6 +- .../test/ForwardOpTree/forward_transitive.ll | 6 +- polly/test/ForwardOpTree/jacobi-1d.ll | 30 +- .../ForwardOpTree/noforward_from_region.ll | 8 +- .../noforward_load_conditional.ll | 12 +- .../noforward_load_writebetween.ll | 12 +- .../ForwardOpTree/noforward_outofquota.ll | 10 +- polly/test/ForwardOpTree/noforward_partial.ll | 4 +- polly/test/ForwardOpTree/noforward_phi.ll | 4 +- .../ForwardOpTree/noforward_selfrefphi.ll | 6 +- .../ForwardOpTree/noforward_sideffects.ll | 8 +- .../noforward_synthesizable_unknownit.ll | 4 +- polly/test/ForwardOpTree/out-of-quota1.ll | 48 +- .../GPGPU/add-scalars-in-scop-to-kills.ll | 14 +- polly/test/GPGPU/align-params-in-schedule.ll | 16 +- .../array-with-elem-type-smaller-than-byte.ll | 8 +- ...s-construction-with-ignore-param-bounds.ll | 8 +- polly/test/GPGPU/cuda-annotations.ll | 12 +- polly/test/GPGPU/debug-metadata-leak.ll | 12 +- polly/test/GPGPU/double-parallel-loop.ll | 46 +- .../GPGPU/failing-invariant-load-handling.ll | 15 +- .../GPGPU/failing-invariant-load-hoisting.ll | 15 +- polly/test/GPGPU/host-statement.ll | 64 +-- polly/test/GPGPU/ignore-parameter-bounds.ll | 6 +- .../invalid-kernel-assert-verifymodule.ll | 16 +- polly/test/GPGPU/invalid-kernel.ll | 16 +- .../test/GPGPU/invariant-load-array-access.ll | 12 +- .../GPGPU/invariant-load-escaping-values.ll | 12 +- .../invariant-load-hoisting-read-in-kernel.ll | 20 +- ...iant-load-hoisting-with-variable-bounds.ll | 14 +- ...load-hoisting-with-variable-lower-bound.ll | 10 +- ...load-hoisting-with-variable-upper-bound.ll | 12 +- polly/test/GPGPU/invariant-load-hoisting.ll | 30 +- polly/test/GPGPU/invariant-load-of-scalar.ll | 18 +- .../GPGPU/kernel-params-scop-parameter.ll | 10 +- .../GPGPU/kernels-names-across-scops-funcs.ll | 32 +- .../libdevice-functions-copied-into-kernel.ll | 12 +- ...ive-range-reordering-with-privatization.ll | 16 +- polly/test/GPGPU/loops-outside-scop.ll | 10 +- .../GPGPU/managed-memory-rewrite-alloca.ll | 8 +- ...ry-rewrite-malloc-free-inside-constexpr.ll | 29 +- .../managed-memory-rewrite-malloc-free.ll | 32 +- .../GPGPU/managed-pointers-preparation.ll | 27 +- .../memory-only-referenced-from-access.ll | 16 +- polly/test/GPGPU/mostly-sequential.ll | 14 +- polly/test/GPGPU/non-read-only-scalars.ll | 35 +- polly/test/GPGPU/non-zero-array-offset.ll | 29 +- .../test/GPGPU/only-part-of-array-modified.ll | 12 +- polly/test/GPGPU/parametric-loop-bound.ll | 15 +- polly/test/GPGPU/partial_writes.ll | 11 +- polly/test/GPGPU/privatization-simple.ll | 16 +- polly/test/GPGPU/privatization.ll | 16 +- polly/test/GPGPU/region-stmt.ll | 18 +- .../remove-dead-instructions-in-stmt-2.ll | 8 +- .../GPGPU/remove-dead-instructions-in-stmt.ll | 10 +- polly/test/GPGPU/run-time-check.ll | 12 +- .../GPGPU/scalar-param-and-value-32-bit.ll | 10 +- .../test/GPGPU/scalar-param-and-value-use.ll | 16 +- polly/test/GPGPU/scalar-parameter-fp128.ll | 8 +- polly/test/GPGPU/scalar-parameter-half.ll | 8 +- polly/test/GPGPU/scalar-parameter-i120.ll | 8 +- polly/test/GPGPU/scalar-parameter-i128.ll | 8 +- polly/test/GPGPU/scalar-parameter-i3000.ll | 8 +- polly/test/GPGPU/scalar-parameter-i80.ll | 8 +- .../test/GPGPU/scalar-parameter-ppc_fp128.ll | 8 +- polly/test/GPGPU/scalar-parameter-x86_fp80.ll | 8 +- polly/test/GPGPU/scalar-parameter.ll | 84 ++-- .../scalar-writes-in-scop-requires-abort.ll | 10 +- polly/test/GPGPU/scheduler-timeout.ll | 44 +- polly/test/GPGPU/shared-memory-scalar.ll | 8 +- .../GPGPU/simple-managed-memory-rewrite.ll | 15 +- polly/test/GPGPU/size-cast.ll | 12 +- polly/test/GPGPU/spir-typesize.ll | 12 +- .../unknown-fn-call-not-copied-into-kernel.ll | 10 +- polly/test/GPGPU/untouched-arrays.ll | 19 +- .../OpenMP/multiple_loops_outer_parallel.ll | 14 +- .../OpenMP/nested_loop_both_parallel.ll | 4 +- .../nested_loop_both_parallel_parametric.ll | 4 +- .../OpenMP/nested_loop_inner_parallel.ll | 4 +- .../OpenMP/nested_loop_outer_parallel.ll | 4 +- .../OpenMP/single_loop_param_non_parallel.ll | 3 +- .../OpenMP/single_loop_param_parallel.ll | 4 +- .../single_loop_param_parallel_computeout.ll | 4 +- .../alias_checks_with_empty_context.ll | 12 +- polly/test/IstAstInfo/alias_simple_1.ll | 10 +- polly/test/IstAstInfo/alias_simple_2.ll | 8 +- polly/test/IstAstInfo/alias_simple_3.ll | 8 +- .../aliasing_arrays_with_identical_base.ll | 18 +- .../aliasing_multiple_alias_groups.ll | 18 +- .../aliasing_parametric_simple_1.ll | 10 +- .../aliasing_parametric_simple_2.ll | 14 +- .../dependence_distance_constant.ll | 10 +- .../IstAstInfo/dependence_distance_minimal.ll | 18 +- .../dependence_distance_multiple_constant.ll | 18 +- .../dependence_distance_parametric.ll | 10 +- .../dependence_distance_parametric_expr.ll | 10 +- .../IstAstInfo/dependence_distance_varying.ll | 10 +- ...pendence_distance_varying_in_outer_loop.ll | 10 +- .../dependence_distance_varying_multiple.ll | 42 +- .../domain_bounded_only_with_context.ll | 8 +- polly/test/IstAstInfo/non_affine_access.ll | 6 +- ...duction_clauses_multidimensional_access.ll | 8 +- ...reduction_clauses_onedimensional_access.ll | 8 +- ...ndences_equal_non_reduction_dependences.ll | 26 +- .../reduction_different_reduction_clauses.ll | 22 +- .../IstAstInfo/reduction_in_one_dimension.ll | 8 +- .../IstAstInfo/reduction_loop_reversal.ll | 10 +- ...ction_modulo_and_loop_reversal_schedule.ll | 10 +- ...ion_modulo_and_loop_reversal_schedule_2.ll | 10 +- .../IstAstInfo/reduction_modulo_schedule.ll | 10 +- ...ion_modulo_schedule_multiple_dimensions.ll | 8 +- ...n_modulo_schedule_multiple_dimensions_2.ll | 8 +- ...n_modulo_schedule_multiple_dimensions_3.ll | 8 +- ...n_modulo_schedule_multiple_dimensions_4.ll | 8 +- ...n_modulo_schedule_multiple_dimensions_5.ll | 8 +- .../reduction_multiple_dimensions.ll | 8 +- .../reduction_multiple_dimensions_2.ll | 8 +- .../reduction_multiple_dimensions_3.ll | 8 +- .../reduction_multiple_dimensions_4.ll | 8 +- polly/test/IstAstInfo/run-time-condition.ll | 9 +- .../runtime_context_with_error_blocks.ll | 29 +- .../IstAstInfo/simple-run-time-condition.ll | 10 +- .../test/IstAstInfo/single_loop_strip_mine.ll | 9 +- .../single_loop_uint_max_iterations.ll | 20 +- .../single_loop_ull_max_iterations.ll | 20 +- .../ImportAccesses-Bad-relation.ll | 10 +- .../ImportAccesses-No-accesses-key.ll | 10 +- .../ImportAccesses-Not-enough-MemAcc.ll | 10 +- .../ImportAccesses-Not-enough-statements.ll | 10 +- .../ImportAccesses-Relation-mispelled.ll | 10 +- .../ImportAccesses-Statements-mispelled.ll | 10 +- ...ImportAccesses-Undeclared-ScopArrayInfo.ll | 10 +- .../ImportAccesses-Wrong-number-dimensions.ll | 10 +- .../ImportArrays-Mispelled-type.ll | 10 +- .../ImportArrays-Negative-size.ll | 28 +- .../ImportArrays/ImportArrays-No-name.ll | 10 +- .../ImportArrays/ImportArrays-No-sizes-key.ll | 10 +- .../ImportArrays/ImportArrays-No-type-key.ll | 10 +- .../ImportContext-Context-mispelled.ll | 10 +- .../ImportContext-Not-parameter-set.ll | 10 +- .../ImportContext-Unvalid-Context.ll | 10 +- .../ImportContext-Wrong-dimension.ll | 10 +- .../ImportSchedule-No-schedule-key.ll | 10 +- .../ImportSchedule-Schedule-not-valid.ll | 10 +- .../ImportSchedule-Statements-mispelled.ll | 10 +- .../ImportSchedule-Wrong-number-statements.ll | 10 +- .../load_after_store_same_statement.ll | 16 +- .../read_from_original.ll | 16 +- .../MaximalStaticExpansion/too_many_writes.ll | 20 +- .../working_deps_between_inners.ll | 14 +- .../working_deps_between_inners_phi.ll | 14 +- .../working_expansion.ll | 16 +- ...sion_multiple_dependences_per_statement.ll | 30 +- ...sion_multiple_instruction_per_statement.ll | 30 +- .../working_phi_expansion.ll | 6 +- .../working_phi_two_scalars.ll | 2 +- .../working_value_expansion.ll | 10 +- .../prune_only_scalardeps.ll | 6 +- ...2012-04-16-Trivially-vectorizable-loops.ll | 68 +-- .../2013-04-11-Empty-Domain-two.ll | 2 +- .../GreedyFuse/fuse-double.ll | 10 +- .../GreedyFuse/fuse-except-first.ll | 14 +- .../GreedyFuse/fuse-except-third.ll | 14 +- .../GreedyFuse/fuse-inner-carried.ll | 10 +- .../GreedyFuse/fuse-inner-third.ll | 14 +- .../GreedyFuse/fuse-inner.ll | 10 +- .../GreedyFuse/fuse-simple.ll | 10 +- .../GreedyFuse/nofuse-simple.ll | 10 +- .../GreedyFuse/nofuse-with-middle.ll | 12 +- .../ManualOptimization/disable_nonforced.ll | 6 +- .../distribute_heuristic.ll | 6 +- .../distribute_illegal_looploc.ll | 22 +- .../distribute_illegal_pragmaloc.ll | 22 +- .../ManualOptimization/unroll_disable.ll | 4 +- .../ManualOptimization/unroll_double.ll | 4 +- .../ManualOptimization/unroll_full.ll | 4 +- .../ManualOptimization/unroll_heuristic.ll | 4 +- .../ManualOptimization/unroll_partial.ll | 4 +- .../unroll_partial_followup.ll | 4 +- .../ScheduleOptimizer/SIMDInParallelFor.ll | 8 +- polly/test/ScheduleOptimizer/computeout.ll | 12 +- .../ensure-correct-tile-sizes.ll | 20 +- .../focaltech_test_detail_threshold-7bc17e.ll | 14 +- .../full_partial_tile_separation.ll | 16 +- polly/test/ScheduleOptimizer/line-tiling-2.ll | 6 +- polly/test/ScheduleOptimizer/line-tiling.ll | 6 +- .../mat_mul_pattern_data_layout.ll | 20 +- .../mat_mul_pattern_data_layout_2.ll | 20 +- .../ScheduleOptimizer/one-dimensional-band.ll | 34 +- .../ScheduleOptimizer/outer_coincidence.ll | 20 +- ...attern-matching-based-opts-after-delicm.ll | 16 +- ...tern-matching-based-opts-after-delicm_2.ll | 16 +- .../pattern-matching-based-opts.ll | 20 +- .../pattern-matching-based-opts_11.ll | 12 +- .../pattern-matching-based-opts_12.ll | 16 +- .../pattern-matching-based-opts_13.ll | 16 +- .../pattern-matching-based-opts_14.ll | 18 +- .../pattern-matching-based-opts_15.ll | 22 +- .../pattern-matching-based-opts_16.ll | 16 +- .../pattern-matching-based-opts_17.ll | 16 +- .../pattern-matching-based-opts_18.ll | 16 +- .../pattern-matching-based-opts_19.ll | 16 +- .../pattern-matching-based-opts_2.ll | 20 +- .../pattern-matching-based-opts_20.ll | 16 +- .../pattern-matching-based-opts_21.ll | 16 +- .../pattern-matching-based-opts_22.ll | 16 +- .../pattern-matching-based-opts_24.ll | 16 +- .../pattern-matching-based-opts_25.ll | 16 +- .../pattern-matching-based-opts_3.ll | 20 +- .../pattern-matching-based-opts_4.ll | 16 +- .../pattern-matching-based-opts_5.ll | 16 +- .../pattern-matching-based-opts_6.ll | 16 +- .../pattern-matching-based-opts_7.ll | 16 +- .../pattern-matching-based-opts_8.ll | 16 +- .../pattern-matching-based-opts_9.ll | 16 +- .../pattern_matching_based_opts_splitmap.ll | 16 +- .../prevectorization-without-tiling.ll | 16 +- .../ScheduleOptimizer/prevectorization.ll | 16 +- .../ScheduleOptimizer/rectangular-tiling.ll | 6 +- polly/test/ScheduleOptimizer/statistics.ll | 40 +- .../ScheduleOptimizer/tile_after_fusion.ll | 22 +- .../test/ScheduleOptimizer/vec-addr-space.ll | 26 +- ...vivid_vbi_gen_sliced-before-llvmreduced.ll | 15 +- .../aliasing_parametric_simple_1.ll | 10 +- .../aliasing_parametric_simple_2.ll | 14 +- polly/test/ScopDetect/aliasing_simple_1.ll | 8 +- polly/test/ScopDetect/aliasing_simple_2.ll | 12 +- polly/test/ScopDetect/base_pointer.ll | 84 ++-- .../base_pointer_setNewAccessRelation.ll | 10 +- polly/test/ScopDetect/callbr.ll | 4 +- .../ScopDetect/collective_invariant_loads.ll | 22 +- .../ScopDetect/cross_loop_non_single_exit.ll | 10 +- .../cross_loop_non_single_exit_2.ll | 10 +- ...ependency_to_phi_node_outside_of_region.ll | 10 +- polly/test/ScopDetect/dot-scops-npm.ll | 10 +- polly/test/ScopDetect/dot-scops.ll | 10 +- .../ScopDetect/error-block-always-executed.ll | 6 +- .../error-block-referenced-from-scop.ll | 2 +- .../test/ScopDetect/ignore_func_flag_regex.ll | 24 +- .../index_from_unpredictable_loop.ll | 6 +- .../index_from_unpredictable_loop2.ll | 6 +- polly/test/ScopDetect/indvars.ll | 10 +- polly/test/ScopDetect/intrinsics_1.ll | 10 +- polly/test/ScopDetect/intrinsics_2.ll | 27 +- polly/test/ScopDetect/intrinsics_3.ll | 27 +- .../ScopDetect/invalid-latch-conditions.ll | 8 +- .../ScopDetect/invalidate_scalar_evolution.ll | 6 +- .../ScopDetect/invariant-load-before-scop.ll | 62 +-- polly/test/ScopDetect/keep_going_expansion.ll | 18 +- polly/test/ScopDetect/mod_ref_read_pointer.ll | 10 +- polly/test/ScopDetect/more-than-one-loop.ll | 14 +- .../ScopDetect/multidim-with-undef-size.ll | 11 +- polly/test/ScopDetect/multidim.ll | 13 +- .../ScopDetect/multidim_indirect_access.ll | 12 +- ..._two_accesses_different_delinearization.ll | 10 +- .../ScopDetect/nested_loop_single_exit.ll | 6 +- .../test/ScopDetect/non-affine-conditional.ll | 10 +- .../ScopDetect/non-affine-float-compare.ll | 16 +- ...-affine-loop-condition-dependent-access.ll | 12 +- ...ffine-loop-condition-dependent-access_2.ll | 16 +- ...ffine-loop-condition-dependent-access_3.ll | 16 +- polly/test/ScopDetect/non-affine-loop.ll | 12 +- .../non-beneficial-loops-small-trip-count.ll | 20 +- .../non-constant-add-rec-start-expr.ll | 8 +- .../ScopDetect/non-simple-memory-accesses.ll | 2 +- .../ScopDetect/non_affine_loop_condition.ll | 12 +- polly/test/ScopDetect/only-one-affine-loop.ll | 24 +- polly/test/ScopDetect/only_func_flag.ll | 18 +- polly/test/ScopDetect/only_func_flag_regex.ll | 24 +- .../parametric-multiply-in-scev-2.ll | 12 +- .../ScopDetect/parametric-multiply-in-scev.ll | 6 +- .../phi_with_multi_exiting_edges.ll | 10 +- .../profitability-large-basic-blocks.ll | 8 +- .../profitability-two-nested-loops.ll | 8 +- polly/test/ScopDetect/remove_all_children.ll | 6 +- polly/test/ScopDetect/report-scop-location.ll | 12 +- .../restrict-undef-size-scopdetect.ll | 9 +- polly/test/ScopDetect/run_time_alias_check.ll | 12 +- polly/test/ScopDetect/scev_remove_max.ll | 8 +- polly/test/ScopDetect/sequential_loops.ll | 20 +- polly/test/ScopDetect/simple_loop.ll | 6 +- .../simple_loop_non_single_entry.ll | 6 +- .../ScopDetect/simple_loop_non_single_exit.ll | 6 +- .../simple_loop_non_single_exit_2.ll | 6 +- .../ScopDetect/simple_loop_two_phi_nodes.ll | 6 +- .../test/ScopDetect/simple_loop_with_param.ll | 8 +- .../ScopDetect/simple_loop_with_param_2.ll | 8 +- .../ScopDetect/simple_non_single_entry.ll | 6 +- .../ScopDetect/skip_function_attribute.ll | 10 +- .../srem_with_parametric_divisor.ll | 8 +- polly/test/ScopDetect/statistics.ll | 44 +- .../test/ScopDetect/tlr_is_hoistable_load.ll | 39 +- .../ReportAlias-01.ll | 14 +- .../ScopDetectionDiagnostics/ReportEntry.ll | 2 +- .../ReportFuncCall-01.ll | 10 +- .../ReportIrreducibleRegion.ll | 22 +- .../ReportIrreducibleRegionWithoutDebugLoc.ll | 2 +- .../ReportLoopBound-01.ll | 18 +- .../ReportLoopHasNoExit.ll | 38 +- .../ReportMultipleNonAffineAccesses.ll | 36 +- .../ReportNonAffineAccess-01.ll | 8 +- .../ReportUnprofitable.ll | 16 +- .../ReportUnreachableInExit.ll | 6 +- .../ReportVariantBasePtr-01.ll | 32 +- .../loop_has_multiple_exits.ll | 100 ++-- .../loop_partially_in_scop-2.ll | 8 +- .../ScopInfo/20110312-Fail-without-basicaa.ll | 6 +- .../20111108-Parameter-not-detected.ll | 6 +- ...03-16-Crash-because-of-unsigned-in-scev.ll | 8 +- .../2015-10-04-Crash-in-domain-generation.ll | 8 +- polly/test/ScopInfo/Alias-0.ll | 16 +- polly/test/ScopInfo/Alias-1.ll | 18 +- polly/test/ScopInfo/Alias-2.ll | 26 +- polly/test/ScopInfo/Alias-3.ll | 10 +- polly/test/ScopInfo/Alias-4.ll | 10 +- .../test/ScopInfo/BoundChecks/single-loop.ll | 8 +- polly/test/ScopInfo/BoundChecks/two-loops.ll | 8 +- polly/test/ScopInfo/NonAffine/div_backedge.ll | 8 +- polly/test/ScopInfo/NonAffine/div_domain.ll | 14 +- ...nt_loads_dependent_in_non_affine_region.ll | 14 +- .../ScopInfo/NonAffine/modulo_backedge.ll | 8 +- .../test/ScopInfo/NonAffine/modulo_domain.ll | 14 +- ...ffine-loop-condition-dependent-access_1.ll | 12 +- ...ffine-loop-condition-dependent-access_2.ll | 16 +- ...ffine-loop-condition-dependent-access_3.ll | 16 +- .../non_affine_access_with_range_2.ll | 8 +- .../ScopInfo/NonAffine/non_affine_but_sdiv.ll | 14 +- .../ScopInfo/NonAffine/non_affine_but_srem.ll | 16 +- .../non_affine_conditional_nested.ll | 18 +- ...ine_conditional_surrounding_affine_loop.ll | 12 +- ...conditional_surrounding_non_affine_loop.ll | 12 +- .../NonAffine/non_affine_float_compare.ll | 16 +- .../NonAffine/non_affine_loop_condition.ll | 12 +- .../NonAffine/non_affine_loop_used_later.ll | 20 +- .../NonAffine/non_affine_parametric_loop.ll | 10 +- .../non_affine_region_guaranteed_non-entry.ll | 12 +- .../aliasing_conditional_alias_groups_1.ll | 18 +- .../aliasing_conditional_alias_groups_2.ll | 18 +- polly/test/ScopInfo/aliasing_dead_access.ll | 10 +- .../aliasing_many_arrays_to_compare.ll | 26 +- ...iasing_many_parameters_not_all_involved.ll | 66 +-- .../aliasing_many_read_only_acesses.ll | 172 +++---- .../aliasing_multiple_alias_groups.ll | 18 +- .../aliasing_with_non_affine_access.ll | 39 +- .../allow-all-parameters-dereferencable.ll | 21 +- polly/test/ScopInfo/assume_gep_bounds.ll | 6 +- polly/test/ScopInfo/assume_gep_bounds_2.ll | 10 +- polly/test/ScopInfo/assume_gep_bounds_many.ll | 110 ++--- .../avoid_new_parameters_from_geps.ll | 8 +- polly/test/ScopInfo/bool-addrec.ll | 14 +- .../test/ScopInfo/bounded_loop_assumptions.ll | 6 +- ...ces-loop-scev-with-unknown-iterations-2.ll | 6 +- ...ces-loop-scev-with-unknown-iterations-3.ll | 6 +- ...ences-loop-scev-with-unknown-iterations.ll | 4 +- polly/test/ScopInfo/bug_2011_1_5.ll | 5 +- .../test/ScopInfo/bug_scev_not_fully_eval.ll | 6 +- polly/test/ScopInfo/cfg_consequences.ll | 50 +- .../test/ScopInfo/complex-branch-structure.ll | 102 ++-- polly/test/ScopInfo/complex-condition.ll | 108 ++--- polly/test/ScopInfo/complex-expression.ll | 94 ++-- polly/test/ScopInfo/complex-loop-nesting.ll | 20 +- .../ScopInfo/complex-successor-structure-2.ll | 440 +++++++++--------- .../ScopInfo/complex-successor-structure-3.ll | 150 +++--- .../ScopInfo/complex-successor-structure.ll | 440 +++++++++--------- .../complex_domain_binary_condition.ll | 20 +- .../ScopInfo/complex_execution_context.ll | 17 +- polly/test/ScopInfo/cond_constant_in_loop.ll | 12 +- polly/test/ScopInfo/cond_in_loop.ll | 12 +- .../ScopInfo/condition-after-error-block-2.ll | 8 +- ...condition-after-error-block-before-scop.ll | 10 +- .../ScopInfo/condtion-after-error-block.ll | 8 +- polly/test/ScopInfo/const_srem_sdiv.ll | 66 +-- .../constant-non-integer-branch-condition.ll | 6 +- ...stant_functions_outside_scop_as_unknown.ll | 10 +- polly/test/ScopInfo/constant_start_integer.ll | 10 +- polly/test/ScopInfo/debug_call.ll | 4 +- .../delinearize-together-all-data-refs.ll | 10 +- polly/test/ScopInfo/div_by_zero.ll | 8 +- .../do-not-model-error-block-accesses.ll | 4 +- .../eager-binary-and-or-conditions.ll | 16 +- .../early_exit_for_complex_domains.ll | 13 +- polly/test/ScopInfo/error-blocks-1.ll | 14 +- polly/test/ScopInfo/error-blocks-2.ll | 20 +- polly/test/ScopInfo/error-blocks-3.ll | 14 +- polly/test/ScopInfo/escaping_empty_scop.ll | 4 +- polly/test/ScopInfo/exit-phi-1.ll | 11 +- polly/test/ScopInfo/exit-phi-2.ll | 2 +- polly/test/ScopInfo/exit_phi_accesses-2.ll | 6 +- polly/test/ScopInfo/exit_phi_accesses.ll | 2 +- .../ScopInfo/expensive-boundary-context.ll | 211 ++++----- ...onstant_factor_introduces_new_parameter.ll | 8 +- polly/test/ScopInfo/full-function.ll | 6 +- polly/test/ScopInfo/granularity_same_name.ll | 4 +- .../test/ScopInfo/granularity_scalar-indep.ll | 14 +- ...ity_scalar-indep_cross-referencing-phi1.ll | 6 +- ...ity_scalar-indep_cross-referencing-phi2.ll | 6 +- .../granularity_scalar-indep_epilogue.ll | 10 +- .../granularity_scalar-indep_epilogue_last.ll | 18 +- .../granularity_scalar-indep_noepilogue.ll | 10 +- .../granularity_scalar-indep_ordered-2.ll | 26 +- .../granularity_scalar-indep_ordered.ll | 18 +- polly/test/ScopInfo/i1_params.ll | 10 +- polly/test/ScopInfo/infeasible-rtc.ll | 16 +- .../ScopInfo/infeasible_invalid_context.ll | 10 +- polly/test/ScopInfo/integers.ll | 34 +- .../ScopInfo/inter-error-bb-dependence.ll | 6 +- polly/test/ScopInfo/inter_bb_scalar_dep.ll | 8 +- .../intra-non-affine-stmt-phi-node.ll | 4 +- .../ScopInfo/intra_and_inter_bb_scalar_dep.ll | 10 +- polly/test/ScopInfo/intra_bb_scalar_dep.ll | 8 +- polly/test/ScopInfo/intrinsics.ll | 6 +- ..._add_rec_after_invariant_load_remapping.ll | 30 +- .../invalidate_iterator_during_MA_removal.ll | 58 ++- .../test/ScopInfo/invariant-load-instlist.ll | 10 +- ...ariant-loads-leave-read-only-statements.ll | 54 +-- polly/test/ScopInfo/invariant_load.ll | 8 +- ...lasses_different_base_type_same_pointer.ll | 19 +- ...fferent_base_type_same_pointer_escaping.ll | 23 +- .../ScopInfo/invariant_load_addrec_sum.ll | 14 +- .../ScopInfo/invariant_load_base_pointer.ll | 8 +- ...invariant_load_base_pointer_conditional.ll | 12 +- ...ariant_load_base_pointer_in_conditional.ll | 12 +- .../invariant_load_branch_condition.ll | 8 +- ...ariant_load_canonicalize_array_baseptrs.ll | 10 +- ...iant_load_canonicalize_array_baseptrs_2.ll | 22 +- ...iant_load_canonicalize_array_baseptrs_3.ll | 10 +- ...iant_load_canonicalize_array_baseptrs_4.ll | 12 +- ...ant_load_canonicalize_array_baseptrs_4b.ll | 14 +- ...ant_load_canonicalize_array_baseptrs_4c.ll | 11 +- ...iant_load_canonicalize_array_baseptrs_5.ll | 18 +- .../invariant_load_complex_condition.ll | 20 +- .../test/ScopInfo/invariant_load_condition.ll | 8 +- .../invariant_load_dereferenceable.ll | 16 +- ...iant_load_distinct_parameter_valuations.ll | 30 +- .../ScopInfo/invariant_load_in_non_affine.ll | 14 +- polly/test/ScopInfo/invariant_load_loop_ub.ll | 8 +- .../invariant_load_ptr_ptr_noalias.ll | 22 +- .../ScopInfo/invariant_load_scalar_dep.ll | 8 +- .../ScopInfo/invariant_load_stmt_domain.ll | 10 +- .../invariant_load_zext_parameter-2.ll | 50 +- ...load_zextended_in_own_execution_context.ll | 6 +- ...invariant_loads_complicated_dependences.ll | 22 +- .../invariant_loads_cyclic_dependences.ll | 14 +- polly/test/ScopInfo/invariant_loop_bounds.ll | 12 +- ...ariant_same_loop_bound_multiple_times-1.ll | 12 +- ...ariant_same_loop_bound_multiple_times-2.ll | 12 +- polly/test/ScopInfo/isl_aff_out_of_bounds.ll | 12 +- polly/test/ScopInfo/isl_trip_count_01.ll | 6 +- polly/test/ScopInfo/isl_trip_count_02.ll | 6 +- polly/test/ScopInfo/isl_trip_count_03.ll | 6 +- .../isl_trip_count_multiple_exiting_blocks.ll | 6 +- polly/test/ScopInfo/licm_load.ll | 12 +- polly/test/ScopInfo/licm_potential_store.ll | 39 +- polly/test/ScopInfo/licm_reduction_nested.ll | 12 +- .../long-compile-time-alias-analysis.ll | 135 +++--- .../long-sequence-of-error-blocks-2.ll | 83 ++-- .../ScopInfo/long-sequence-of-error-blocks.ll | 37 +- .../test/ScopInfo/loop-multiexit-succ-cond.ll | 12 +- polly/test/ScopInfo/loop_affine_bound_0.ll | 6 +- polly/test/ScopInfo/loop_affine_bound_1.ll | 6 +- polly/test/ScopInfo/loop_affine_bound_2.ll | 6 +- polly/test/ScopInfo/loop_carry.ll | 16 +- .../test/ScopInfo/many-scalar-dependences.ll | 8 +- polly/test/ScopInfo/max-loop-depth.ll | 14 +- polly/test/ScopInfo/memcpy-raw-source.ll | 21 +- polly/test/ScopInfo/memset.ll | 10 +- polly/test/ScopInfo/memset_null.ll | 8 +- .../ScopInfo/mismatching-array-dimensions.ll | 17 +- .../mod_ref_access_pointee_arguments.ll | 15 +- .../mod_ref_read_pointee_arguments.ll | 19 +- polly/test/ScopInfo/mod_ref_read_pointer.ll | 10 +- polly/test/ScopInfo/mod_ref_read_pointers.ll | 14 +- polly/test/ScopInfo/modulo_zext_1.ll | 8 +- polly/test/ScopInfo/modulo_zext_2.ll | 8 +- polly/test/ScopInfo/modulo_zext_3.ll | 8 +- polly/test/ScopInfo/multi-scop.ll | 6 +- .../ScopInfo/multidim_2d-diagonal-matrix.ll | 6 +- .../multidim_2d_outer_parametric_offset.ll | 6 +- ..._2d_parametric_array_static_loop_bounds.ll | 6 +- .../ScopInfo/multidim_2d_with_modref_call.ll | 16 +- .../multidim_2d_with_modref_call_2.ll | 25 +- ..._3d_parametric_array_static_loop_bounds.ll | 6 +- ...idim_fixedsize_different_dimensionality.ll | 46 +- .../multidim_fixedsize_multi_offset.ll | 17 +- .../ScopInfo/multidim_fold_constant_dim.ll | 35 +- polly/test/ScopInfo/multidim_fortran_2d.ll | 12 +- .../ScopInfo/multidim_fortran_2d_params.ll | 16 +- .../multidim_fortran_2d_with_modref_call.ll | 16 +- polly/test/ScopInfo/multidim_fortran_srem.ll | 56 ++- .../test/ScopInfo/multidim_gep_pointercast.ll | 15 +- .../ScopInfo/multidim_gep_pointercast2.ll | 7 +- .../ScopInfo/multidim_invalid_dimension.ll | 7 +- .../multidim_ivs_and_integer_offsets_3d.ll | 6 +- ...multidim_ivs_and_parameteric_offsets_3d.ll | 6 +- .../test/ScopInfo/multidim_many_references.ll | 365 +++++++-------- .../ScopInfo/multidim_nested_start_integer.ll | 6 +- .../multidim_nested_start_share_parameter.ll | 10 +- polly/test/ScopInfo/multidim_only_ivs_2d.ll | 6 +- polly/test/ScopInfo/multidim_only_ivs_3d.ll | 6 +- .../ScopInfo/multidim_only_ivs_3d_cast.ll | 6 +- .../ScopInfo/multidim_only_ivs_3d_reverse.ll | 6 +- .../ScopInfo/multidim_param_in_subscript-2.ll | 12 +- .../ScopInfo/multidim_param_in_subscript.ll | 12 +- .../multidim_parameter_addrec_product.ll | 10 +- .../multidim_single_and_multidim_array.ll | 10 +- polly/test/ScopInfo/multidim_srem.ll | 16 +- polly/test/ScopInfo/multidim_with_bitcast.ll | 28 +- .../ScopInfo/multiple-binary-or-conditions.ll | 8 +- ...ss-offset-not-dividable-by-element-size.ll | 29 +- .../ScopInfo/multiple-types-non-affine-2.ll | 29 +- .../ScopInfo/multiple-types-non-affine.ll | 29 +- .../multiple-types-non-power-of-two-2.ll | 14 +- .../multiple-types-non-power-of-two.ll | 61 +-- .../multiple-types-two-dimensional-2.ll | 15 +- .../multiple-types-two-dimensional.ll | 15 +- polly/test/ScopInfo/multiple-types.ll | 29 +- .../test/ScopInfo/multiple_exiting_blocks.ll | 8 +- .../multiple_exiting_blocks_two_loop.ll | 8 +- polly/test/ScopInfo/multiple_latch_blocks.ll | 8 +- polly/test/ScopInfo/nested-loops.ll | 6 +- .../no-scalar-deps-in-non-affine-subregion.ll | 10 +- polly/test/ScopInfo/non-affine-region-phi.ll | 14 +- .../ScopInfo/non-affine-region-with-loop-2.ll | 4 +- .../ScopInfo/non-affine-region-with-loop.ll | 4 +- polly/test/ScopInfo/non-precise-inv-load-1.ll | 12 +- polly/test/ScopInfo/non-precise-inv-load-2.ll | 12 +- polly/test/ScopInfo/non-precise-inv-load-3.ll | 10 +- polly/test/ScopInfo/non-precise-inv-load-4.ll | 10 +- polly/test/ScopInfo/non-precise-inv-load-5.ll | 14 +- polly/test/ScopInfo/non-precise-inv-load-6.ll | 10 +- polly/test/ScopInfo/non-pure-function-call.ll | 8 +- ...-pure-function-calls-causes-dead-blocks.ll | 25 +- .../test/ScopInfo/non-pure-function-calls.ll | 22 +- polly/test/ScopInfo/non_affine_access.ll | 6 +- polly/test/ScopInfo/non_affine_region_1.ll | 10 +- polly/test/ScopInfo/non_affine_region_2.ll | 10 +- polly/test/ScopInfo/non_affine_region_3.ll | 10 +- polly/test/ScopInfo/non_affine_region_4.ll | 10 +- .../ScopInfo/nonaffine-buildMemoryAccess.ll | 14 +- polly/test/ScopInfo/not-a-reduction.ll | 12 +- polly/test/ScopInfo/opaque-struct.ll | 5 +- ...ut-of-scop-use-in-region-entry-phi-node.ll | 8 +- .../ScopInfo/parameter-constant-division.ll | 57 ++- .../ScopInfo/parameter_in_dead_statement.ll | 2 +- .../parameter_with_constant_factor_in_add.ll | 10 +- .../ScopInfo/partially_invariant_load_1.ll | 12 +- .../ScopInfo/partially_invariant_load_2.ll | 18 +- .../test/ScopInfo/phi-in-non-affine-region.ll | 2 +- polly/test/ScopInfo/phi_after_error_block.ll | 6 +- .../test/ScopInfo/phi_condition_modeling_1.ll | 6 +- .../test/ScopInfo/phi_condition_modeling_2.ll | 6 +- .../test/ScopInfo/phi_conditional_simple_1.ll | 6 +- polly/test/ScopInfo/phi_loop_carried_float.ll | 6 +- polly/test/ScopInfo/phi_not_grouped_at_top.ll | 8 +- polly/test/ScopInfo/phi_scalar_simple_1.ll | 6 +- polly/test/ScopInfo/phi_scalar_simple_2.ll | 10 +- polly/test/ScopInfo/phi_with_invoke_edge.ll | 10 +- .../ScopInfo/pointer-comparison-no-nsw.ll | 12 +- polly/test/ScopInfo/pointer-comparison.ll | 12 +- .../test/ScopInfo/pointer-type-expressions.ll | 8 +- ...er-used-as-base-pointer-and-scalar-read.ll | 18 +- .../polly-timeout-parameter-bounds.ll | 4 +- polly/test/ScopInfo/pr38218.ll | 13 +- ...eserve-equiv-class-order-in-basic_block.ll | 24 +- .../test/ScopInfo/process_added_dimensions.ll | 18 +- polly/test/ScopInfo/ranged_parameter.ll | 8 +- polly/test/ScopInfo/ranged_parameter_2.ll | 13 +- polly/test/ScopInfo/ranged_parameter_wrap.ll | 8 +- .../test/ScopInfo/ranged_parameter_wrap_2.ll | 130 +++--- .../read-only-scalar-used-in-phi-2.ll | 6 +- .../ScopInfo/read-only-scalar-used-in-phi.ll | 6 +- polly/test/ScopInfo/read-only-scalars.ll | 8 +- polly/test/ScopInfo/read-only-statements.ll | 24 +- .../ScopInfo/reduction_alternating_base.ll | 8 +- ...uction_chain_partially_outside_the_scop.ll | 16 +- .../reduction_disabled_multiplicative.ll | 8 +- .../reduction_escaping_intermediate.ll | 12 +- .../reduction_escaping_intermediate_2.ll | 20 +- .../reduction_invalid_different_operators.ll | 20 +- .../reduction_invalid_overlapping_accesses.ll | 14 +- .../reduction_multiple_loops_array_sum.ll | 18 +- .../reduction_multiple_loops_array_sum_1.ll | 22 +- .../reduction_multiple_simple_binary.ll | 40 +- .../reduction_non_overlapping_chains.ll | 14 +- .../reduction_only_reduction_like_access.ll | 10 +- polly/test/ScopInfo/reduction_simple_fp.ll | 12 +- .../ScopInfo/reduction_simple_w_constant.ll | 6 +- polly/test/ScopInfo/reduction_simple_w_iv.ll | 6 +- .../ScopInfo/reduction_two_identical_reads.ll | 24 +- .../redundant_parameter_constraint.ll | 10 +- .../test/ScopInfo/region-with-instructions.ll | 14 +- polly/test/ScopInfo/remarks.ll | 37 +- .../required-invariant-loop-bounds.ll | 10 +- .../ScopInfo/restriction_in_dead_block.ll | 10 +- .../run-time-check-many-array-disjuncts.ll | 135 +++--- .../run-time-check-many-parameters.ll | 54 +-- .../run-time-check-many-piecewise-aliasing.ll | 10 +- .../run-time-check-read-only-arrays.ll | 14 +- .../same-base-address-scalar-and-array.ll | 10 +- polly/test/ScopInfo/scalar.ll | 10 +- .../ScopInfo/scalar_dependence_cond_br.ll | 8 +- polly/test/ScopInfo/scalar_to_array.ll | 24 +- .../scev-div-with-evaluatable-divisor.ll | 4 +- polly/test/ScopInfo/scev-invalidated.ll | 2 +- .../schedule-const-post-dominator-walk-2.ll | 12 +- .../schedule-constuction-endless-loop1.ll | 6 +- .../schedule-constuction-endless-loop2.ll | 6 +- ...tly-contructed-in-case-of-infinite-loop.ll | 22 +- .../scop-affine-parameter-ordering.ll | 10 +- polly/test/ScopInfo/sign_wrapped_set.ll | 10 +- polly/test/ScopInfo/simple_loop_1.ll | 6 +- polly/test/ScopInfo/simple_loop_2.ll | 6 +- polly/test/ScopInfo/simple_loop_unsigned.ll | 6 +- polly/test/ScopInfo/simple_loop_unsigned_2.ll | 6 +- polly/test/ScopInfo/simple_loop_unsigned_3.ll | 6 +- .../ScopInfo/simple_nonaffine_loop_not.ll | 12 +- polly/test/ScopInfo/smax.ll | 6 +- polly/test/ScopInfo/statistics.ll | 32 +- .../stmt_split_exit_of_region_stmt.ll | 16 +- .../ScopInfo/stmt_split_no_after_split.ll | 8 +- .../test/ScopInfo/stmt_split_no_dependence.ll | 14 +- polly/test/ScopInfo/stmt_split_on_store.ll | 14 +- .../ScopInfo/stmt_split_on_synthesizable.ll | 14 +- .../stmt_split_phi_in_beginning_bb.ll | 14 +- polly/test/ScopInfo/stmt_split_phi_in_stmt.ll | 18 +- .../ScopInfo/stmt_split_scalar_dependence.ll | 12 +- polly/test/ScopInfo/stmt_split_within_loop.ll | 14 +- .../stmt_with_read_but_without_sideffect.ll | 18 +- polly/test/ScopInfo/switch-1.ll | 20 +- polly/test/ScopInfo/switch-2.ll | 14 +- polly/test/ScopInfo/switch-3.ll | 26 +- polly/test/ScopInfo/switch-4.ll | 36 +- polly/test/ScopInfo/switch-5.ll | 14 +- polly/test/ScopInfo/switch-6.ll | 26 +- polly/test/ScopInfo/switch-7.ll | 22 +- polly/test/ScopInfo/tempscop-printing.ll | 16 +- .../ScopInfo/test-wrapping-in-condition.ll | 8 +- polly/test/ScopInfo/truncate-1.ll | 8 +- polly/test/ScopInfo/truncate-2.ll | 8 +- polly/test/ScopInfo/truncate-3.ll | 8 +- polly/test/ScopInfo/two-loops-one-infinite.ll | 12 +- .../two-loops-right-after-each-other.ll | 10 +- polly/test/ScopInfo/unnamed_nonaffine.ll | 10 +- polly/test/ScopInfo/unnamed_stmts.ll | 32 +- .../test/ScopInfo/unprofitable_scalar-accs.ll | 10 +- polly/test/ScopInfo/unsigned-condition.ll | 6 +- polly/test/ScopInfo/unsigned-division-1.ll | 8 +- polly/test/ScopInfo/unsigned-division-2.ll | 8 +- polly/test/ScopInfo/unsigned-division-3.ll | 8 +- polly/test/ScopInfo/unsigned-division-4.ll | 8 +- polly/test/ScopInfo/unsigned-division-5.ll | 10 +- polly/test/ScopInfo/unsigned_wrap_uge.ll | 6 +- polly/test/ScopInfo/unsigned_wrap_ugt.ll | 6 +- polly/test/ScopInfo/unsigned_wrap_ule.ll | 6 +- polly/test/ScopInfo/unsigned_wrap_ult.ll | 6 +- polly/test/ScopInfo/user_context.ll | 6 +- ...ed_assumptions-in-bb-signed-conditional.ll | 6 +- .../user_provided_assumptions-in-bb-signed.ll | 6 +- ...ser_provided_assumptions-in-bb-unsigned.ll | 6 +- .../ScopInfo/user_provided_assumptions.ll | 23 +- .../ScopInfo/user_provided_assumptions_2.ll | 8 +- .../ScopInfo/user_provided_assumptions_3.ll | 8 +- ...ser_provided_non_dominating_assumptions.ll | 16 +- polly/test/ScopInfo/variant_base_pointer.ll | 11 +- .../ScopInfo/variant_load_empty_domain.ll | 16 +- polly/test/ScopInfo/wraping_signed_expr_0.ll | 12 +- polly/test/ScopInfo/wraping_signed_expr_1.ll | 12 +- polly/test/ScopInfo/wraping_signed_expr_2.ll | 6 +- polly/test/ScopInfo/wraping_signed_expr_3.ll | 6 +- polly/test/ScopInfo/wraping_signed_expr_4.ll | 6 +- polly/test/ScopInfo/wraping_signed_expr_5.ll | 10 +- polly/test/ScopInfo/wraping_signed_expr_6.ll | 8 +- polly/test/ScopInfo/wraping_signed_expr_7.ll | 8 +- .../ScopInfo/wraping_signed_expr_slow_1.ll | 16 +- .../ScopInfo/wraping_signed_expr_slow_2.ll | 16 +- polly/test/ScopInfo/zero_ext_of_truncate.ll | 10 +- polly/test/ScopInfo/zero_ext_of_truncate_2.ll | 10 +- .../test/ScopInfo/zero_ext_space_mismatch.ll | 12 +- polly/test/ScopInliner/invariant-load-func.ll | 16 +- polly/test/ScopInliner/simple-inline-loop.ll | 12 +- polly/test/Simplify/coalesce_3partials.ll | 8 +- .../Simplify/coalesce_disjointelements.ll | 13 +- polly/test/Simplify/coalesce_overlapping.ll | 6 +- polly/test/Simplify/coalesce_partial.ll | 6 +- polly/test/Simplify/dead_access_load.ll | 6 +- polly/test/Simplify/dead_access_phi.ll | 4 +- polly/test/Simplify/dead_access_value.ll | 4 +- polly/test/Simplify/dead_instruction.ll | 4 +- polly/test/Simplify/emptyaccessdomain.ll | 4 +- polly/test/Simplify/exit_phi_accesses-2.ll | 6 +- polly/test/Simplify/func-b320a7.ll | 10 +- polly/test/Simplify/gemm.ll | 22 +- .../Simplify/nocoalesce_differentvalues.ll | 6 +- .../Simplify/nocoalesce_elementmismatch.ll | 9 +- polly/test/Simplify/nocoalesce_readbetween.ll | 8 +- .../test/Simplify/nocoalesce_writebetween.ll | 8 +- polly/test/Simplify/notdead_region_exitphi.ll | 4 +- .../test/Simplify/notdead_region_innerphi.ll | 4 +- .../test/Simplify/notredundant_region_loop.ll | 6 +- .../Simplify/notredundant_region_middle.ll | 8 +- .../notredundant_synthesizable_unknownit.ll | 4 +- ...ut-of-scop-use-in-region-entry-phi-node.ll | 8 +- polly/test/Simplify/overwritten.ll | 6 +- polly/test/Simplify/overwritten_3phi.ll | 4 +- polly/test/Simplify/overwritten_3store.ll | 8 +- .../overwritten_implicit_and_explicit.ll | 6 +- .../test/Simplify/overwritten_loadbetween.ll | 10 +- polly/test/Simplify/overwritten_scalar.ll | 4 +- polly/test/Simplify/pass_existence.ll | 4 +- polly/test/Simplify/phi_in_regionstmt.ll | 16 +- polly/test/Simplify/pr33323.ll | 8 +- polly/test/Simplify/redundant.ll | 6 +- .../test/Simplify/redundant_differentindex.ll | 8 +- polly/test/Simplify/redundant_partialwrite.ll | 6 +- polly/test/Simplify/redundant_region.ll | 6 +- .../test/Simplify/redundant_region_scalar.ll | 8 +- polly/test/Simplify/redundant_scalarwrite.ll | 6 +- polly/test/Simplify/redundant_storebetween.ll | 10 +- polly/test/Simplify/scalability1.ll | 134 +++--- polly/test/Simplify/scalability2.ll | 288 ++++++------ polly/test/Simplify/sweep_mapped_phi.ll | 10 +- polly/test/Simplify/sweep_mapped_value.ll | 10 +- .../Simplify/ununsed_read_in_region_entry.ll | 6 +- polly/test/Support/defaultpipelines.ll | 6 +- polly/test/Support/dumpfunction.ll | 12 +- polly/test/Support/dumpmodule.ll | 14 +- polly/test/Support/exportjson.ll | 4 +- polly/test/Support/isl-args.ll | 8 +- polly/test/Support/pipelineposition.ll | 10 +- 1035 files changed, 8635 insertions(+), 8972 deletions(-) diff --git a/polly/test/CodeGen/20100707_2.ll b/polly/test/CodeGen/20100707_2.ll index adbfd2b773f4..df784c6d7957 100644 --- a/polly/test/CodeGen/20100707_2.ll +++ b/polly/test/CodeGen/20100707_2.ll @@ -1,8 +1,8 @@ ; RUN: opt %loadPolly -polly-codegen < %s target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" -@win193 = external global [4 x [36 x double]], align 32 ; <[4 x [36 x double]]*> [#uses=3] -@sb_sample = external global [2 x [2 x [18 x [32 x double]]]], align 32 ; <[2 x [2 x [18 x [32 x double]]]]*> [#uses=2] +@win193 = external global [4 x [36 x double]], align 32 ; [#uses=3] +@sb_sample = external global [2 x [2 x [18 x [32 x double]]]], align 32 ; [#uses=2] define void @mdct_sub48() nounwind { entry: @@ -36,45 +36,45 @@ bb32: ; preds = %bb27 br label %bb37 bb34: ; preds = %bb35 - %0 = getelementptr inbounds [36 x double], [36 x double]* undef, i64 0, i64 0 ; [#uses=0] - %1 = getelementptr inbounds [18 x [32 x double]], [18 x [32 x double]]* undef, i64 0, i64 0 ; <[32 x double]*> [#uses=1] - %2 = getelementptr inbounds [32 x double], [32 x double]* %1, i64 0, i64 0 ; [#uses=0] - %3 = getelementptr inbounds [36 x double], [36 x double]* undef, i64 0, i64 0 ; [#uses=0] + %0 = getelementptr inbounds [36 x double], ptr undef, i64 0, i64 0 ; [#uses=0] + %1 = getelementptr inbounds [18 x [32 x double]], ptr undef, i64 0, i64 0 ; [#uses=1] + %2 = getelementptr inbounds [32 x double], ptr %1, i64 0, i64 0 ; [#uses=0] + %3 = getelementptr inbounds [36 x double], ptr undef, i64 0, i64 0 ; [#uses=0] %4 = sub nsw i32 17, %k.4 ; [#uses=1] - %5 = getelementptr inbounds [2 x [2 x [18 x [32 x double]]]], [2 x [2 x [18 x [32 x double]]]]* @sb_sample, i64 0, i64 0 ; <[2 x [18 x [32 x double]]]*> [#uses=1] - %6 = getelementptr inbounds [2 x [18 x [32 x double]]], [2 x [18 x [32 x double]]]* %5, i64 0, i64 0 ; <[18 x [32 x double]]*> [#uses=1] + %5 = getelementptr inbounds [2 x [2 x [18 x [32 x double]]]], ptr @sb_sample, i64 0, i64 0 ; [#uses=1] + %6 = getelementptr inbounds [2 x [18 x [32 x double]]], ptr %5, i64 0, i64 0 ; [#uses=1] %7 = sext i32 %4 to i64 ; [#uses=1] - %8 = getelementptr inbounds [18 x [32 x double]], [18 x [32 x double]]* %6, i64 0, i64 %7 ; <[32 x double]*> [#uses=1] - %9 = getelementptr inbounds [32 x double], [32 x double]* %8, i64 0, i64 0 ; [#uses=1] - %10 = load double, double* %9, align 8 ; [#uses=0] + %8 = getelementptr inbounds [18 x [32 x double]], ptr %6, i64 0, i64 %7 ; [#uses=1] + %9 = getelementptr inbounds [32 x double], ptr %8, i64 0, i64 0 ; [#uses=1] + %10 = load double, ptr %9, align 8 ; [#uses=0] %11 = fsub double 0.000000e+00, undef ; [#uses=1] - %12 = getelementptr inbounds double, double* getelementptr inbounds ([4 x [36 x double]], [4 x [36 x double]]* @win193, i64 0, i64 2, i64 4), i64 0 ; [#uses=1] - store double %11, double* %12, align 8 + %12 = getelementptr inbounds double, ptr getelementptr inbounds ([4 x [36 x double]], ptr @win193, i64 0, i64 2, i64 4), i64 0 ; [#uses=1] + store double %11, ptr %12, align 8 %13 = add nsw i32 %k.4, 9 ; [#uses=1] %14 = add nsw i32 %k.4, 18 ; [#uses=1] - %15 = getelementptr inbounds [4 x [36 x double]], [4 x [36 x double]]* @win193, i64 0, i64 0 ; <[36 x double]*> [#uses=1] + %15 = getelementptr inbounds [4 x [36 x double]], ptr @win193, i64 0, i64 0 ; [#uses=1] %16 = sext i32 %14 to i64 ; [#uses=1] - %17 = getelementptr inbounds [36 x double], [36 x double]* %15, i64 0, i64 %16 ; [#uses=1] - %18 = load double, double* %17, align 8 ; [#uses=0] + %17 = getelementptr inbounds [36 x double], ptr %15, i64 0, i64 %16 ; [#uses=1] + %18 = load double, ptr %17, align 8 ; [#uses=0] %19 = sext i32 %k.4 to i64 ; [#uses=1] - %20 = getelementptr inbounds [18 x [32 x double]], [18 x [32 x double]]* undef, i64 0, i64 %19 ; <[32 x double]*> [#uses=1] + %20 = getelementptr inbounds [18 x [32 x double]], ptr undef, i64 0, i64 %19 ; [#uses=1] %21 = sext i32 %band.2 to i64 ; [#uses=1] - %22 = getelementptr inbounds [32 x double], [32 x double]* %20, i64 0, i64 %21 ; [#uses=1] - %23 = load double, double* %22, align 8 ; [#uses=0] + %22 = getelementptr inbounds [32 x double], ptr %20, i64 0, i64 %21 ; [#uses=1] + %23 = load double, ptr %22, align 8 ; [#uses=0] %24 = sext i32 %39 to i64 ; [#uses=1] - %25 = getelementptr inbounds [4 x [36 x double]], [4 x [36 x double]]* @win193, i64 0, i64 %24 ; <[36 x double]*> [#uses=1] - %26 = getelementptr inbounds [36 x double], [36 x double]* %25, i64 0, i64 0 ; [#uses=1] - %27 = load double, double* %26, align 8 ; [#uses=0] + %25 = getelementptr inbounds [4 x [36 x double]], ptr @win193, i64 0, i64 %24 ; [#uses=1] + %26 = getelementptr inbounds [36 x double], ptr %25, i64 0, i64 0 ; [#uses=1] + %27 = load double, ptr %26, align 8 ; [#uses=0] %28 = sub nsw i32 17, %k.4 ; [#uses=1] - %29 = getelementptr inbounds [2 x [2 x [18 x [32 x double]]]], [2 x [2 x [18 x [32 x double]]]]* @sb_sample, i64 0, i64 0 ; <[2 x [18 x [32 x double]]]*> [#uses=1] - %30 = getelementptr inbounds [2 x [18 x [32 x double]]], [2 x [18 x [32 x double]]]* %29, i64 0, i64 0 ; <[18 x [32 x double]]*> [#uses=1] + %29 = getelementptr inbounds [2 x [2 x [18 x [32 x double]]]], ptr @sb_sample, i64 0, i64 0 ; [#uses=1] + %30 = getelementptr inbounds [2 x [18 x [32 x double]]], ptr %29, i64 0, i64 0 ; [#uses=1] %31 = sext i32 %28 to i64 ; [#uses=1] - %32 = getelementptr inbounds [18 x [32 x double]], [18 x [32 x double]]* %30, i64 0, i64 %31 ; <[32 x double]*> [#uses=1] - %33 = getelementptr inbounds [32 x double], [32 x double]* %32, i64 0, i64 0 ; [#uses=1] - %34 = load double, double* %33, align 8 ; [#uses=0] + %32 = getelementptr inbounds [18 x [32 x double]], ptr %30, i64 0, i64 %31 ; [#uses=1] + %33 = getelementptr inbounds [32 x double], ptr %32, i64 0, i64 0 ; [#uses=1] + %34 = load double, ptr %33, align 8 ; [#uses=0] %35 = sext i32 %13 to i64 ; [#uses=1] - %36 = getelementptr inbounds double, double* getelementptr inbounds ([4 x [36 x double]], [4 x [36 x double]]* @win193, i64 0, i64 2, i64 4), i64 %35 ; [#uses=1] - store double 0.000000e+00, double* %36, align 8 + %36 = getelementptr inbounds double, ptr getelementptr inbounds ([4 x [36 x double]], ptr @win193, i64 0, i64 2, i64 4), i64 %35 ; [#uses=1] + store double 0.000000e+00, ptr %36, align 8 %37 = sub nsw i32 %k.4, 1 ; [#uses=1] br label %bb35 @@ -91,7 +91,7 @@ bb37: ; preds = %bb32, %bb26 bb48: ; preds = %bb37, %bb9 %band.2 = phi i32 [ %38, %bb37 ], [ 0, %bb9 ] ; [#uses=2] - %39 = load i32, i32* null, align 8 ; [#uses=1] + %39 = load i32, ptr null, align 8 ; [#uses=1] br i1 undef, label %bb26, label %bb25 bb50: ; preds = %bb54 diff --git a/polly/test/CodeGen/20100708_2.ll b/polly/test/CodeGen/20100708_2.ll index 58ef5a4fe3ce..2f4807d9e4d7 100644 --- a/polly/test/CodeGen/20100708_2.ll +++ b/polly/test/CodeGen/20100708_2.ll @@ -15,7 +15,7 @@ bb2: ; preds = %bb3, %bb1 bb3: ; preds = %bb2 %tmp = srem i32 %tmp3, 1024 ; [#uses=0] - store double undef, double* undef + store double undef, ptr undef %indvar.next = add i64 %indvar, 1 ; [#uses=1] br label %bb2 diff --git a/polly/test/CodeGen/20100713.ll b/polly/test/CodeGen/20100713.ll index c322db1d4bd3..edd352a4c4cc 100644 --- a/polly/test/CodeGen/20100713.ll +++ b/polly/test/CodeGen/20100713.ll @@ -12,7 +12,7 @@ bb19: ; preds = %bb18 br label %bb21 bb20: ; preds = %bb21 - %1 = load float, float* undef, align 4 ; [#uses=0] + %1 = load float, ptr undef, align 4 ; [#uses=0] %2 = fpext float undef to double ; [#uses=1] %3 = fdiv double %2, %a ; [#uses=0] %indvar.next = add i64 %indvar, 1 ; [#uses=1] diff --git a/polly/test/CodeGen/20100713_2.ll b/polly/test/CodeGen/20100713_2.ll index 62cbc67623ed..92f8959d91d6 100644 --- a/polly/test/CodeGen/20100713_2.ll +++ b/polly/test/CodeGen/20100713_2.ll @@ -25,7 +25,7 @@ bb5: ; preds = %bb4 unreachable bb6: ; preds = %bb4 - %1 = getelementptr inbounds i8, i8* undef, i64 %0 ; [#uses=0] + %1 = getelementptr inbounds i8, ptr undef, i64 %0 ; [#uses=0] ret void return: ; preds = %bb, %entry diff --git a/polly/test/CodeGen/20100717.ll b/polly/test/CodeGen/20100717.ll index 36ca35ed3209..a400eeaa3370 100644 --- a/polly/test/CodeGen/20100717.ll +++ b/polly/test/CodeGen/20100717.ll @@ -1,7 +1,7 @@ ; RUN: opt %loadPolly -polly-codegen -disable-output < %s target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" -define void @matrixTranspose(double** %A) nounwind { +define void @matrixTranspose(ptr %A) nounwind { entry: br label %bb4 @@ -10,12 +10,12 @@ bb: ; preds = %bb4 br label %bb2 bb1: ; preds = %bb2 - %1 = getelementptr inbounds double*, double** %A, i64 0 ; [#uses=0] - %2 = getelementptr inbounds double*, double** %A, i64 0 ; [#uses=0] - %3 = getelementptr inbounds double*, double** %A, i64 0 ; [#uses=0] + %1 = getelementptr inbounds ptr, ptr %A, i64 0 ; [#uses=0] + %2 = getelementptr inbounds ptr, ptr %A, i64 0 ; [#uses=0] + %3 = getelementptr inbounds ptr, ptr %A, i64 0 ; [#uses=0] %4 = sext i32 %j.0 to i64 ; [#uses=1] - %5 = getelementptr inbounds double*, double** %A, i64 %4 ; [#uses=1] - %6 = load double*, double** %5, align 8 ; [#uses=0] + %5 = getelementptr inbounds ptr, ptr %A, i64 %4 ; [#uses=1] + %6 = load ptr, ptr %5, align 8 ; [#uses=0] %7 = add nsw i32 %j.0, 1 ; [#uses=1] br label %bb2 diff --git a/polly/test/CodeGen/20100720-MultipleConditions.ll b/polly/test/CodeGen/20100720-MultipleConditions.ll index eeb54f67de94..9f2268713853 100644 --- a/polly/test/CodeGen/20100720-MultipleConditions.ll +++ b/polly/test/CodeGen/20100720-MultipleConditions.ll @@ -26,8 +26,8 @@ target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" -@A = common global [100 x i32] zeroinitializer, align 16 ; <[100 x i32]*> [#uses=2] -@k = common global i32 0, align 4 ; [#uses=0] +@A = common global [100 x i32] zeroinitializer, align 16 ; [#uses=2] +@k = common global i32 0, align 4 ; [#uses=0] define i32 @main() nounwind { ;