[all-commits] [llvm/llvm-project] 7f1423: [DA][Delinearization] Move validation logic into D...

[Ryotaro Kasuga via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7f1423e58ac894e7225625f34d90806ce5f052b3
      https://github.com/llvm/llvm-project/commit/7f1423e58ac894e7225625f34d90806ce5f052b3
  Author: Ryotaro Kasuga <kasuga.ryotaro at fujitsu.com>
  Date:   2025-11-27 (Thu, 27 Nov 2025)

  Changed paths:
    M llvm/include/llvm/Analysis/Delinearization.h
    M llvm/lib/Analysis/Delinearization.cpp
    M llvm/lib/Analysis/DependenceAnalysis.cpp
    M llvm/test/Analysis/Delinearization/a.ll
    M llvm/test/Analysis/Delinearization/constant_functions_multi_dim.ll
    M llvm/test/Analysis/Delinearization/divide_by_one.ll
    M llvm/test/Analysis/Delinearization/fixed_size_array.ll
    M llvm/test/Analysis/Delinearization/himeno_1.ll
    M llvm/test/Analysis/Delinearization/himeno_2.ll
    M llvm/test/Analysis/Delinearization/iv_times_constant_in_subscript.ll
    M llvm/test/Analysis/Delinearization/multidim_ivs_and_integer_offsets_3d.ll
    M llvm/test/Analysis/Delinearization/multidim_ivs_and_integer_offsets_nts_3d.ll
    M llvm/test/Analysis/Delinearization/multidim_ivs_and_parameteric_offsets_3d.ll
    M llvm/test/Analysis/Delinearization/multidim_only_ivs_2d.ll
    M llvm/test/Analysis/Delinearization/multidim_only_ivs_3d.ll
    M llvm/test/Analysis/Delinearization/multidim_only_ivs_3d_cast.ll
    M llvm/test/Analysis/Delinearization/multidim_two_accesses_different_delinearization.ll
    M llvm/test/Analysis/Delinearization/parameter_addrec_product.ll
    M llvm/test/Analysis/Delinearization/terms_with_identity_factor.ll

  Log Message:
  -----------
  [DA][Delinearization] Move validation logic into Delinearization (#169047)

This patch moves the validation logic of delinearization results from DA
to Delinearization. Also call it in `printDelinearization` to test its
behavior. The motivation is as follows:

- Almost the same code exists in `tryDelinearizeFixedSize` and
`tryDelinearizeParametricSize`. Consolidating it in Delinearization
avoids code duplication.
- Currently this validation logic is not well tested. Moving it to
Delinearization allows us to write regression tests easily.

This patch changes the test outputs and debug messages, but otherwise
NFCI.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications