[all-commits] [llvm/llvm-project] c2a9a9: [LICM] Introduce test for PR92655 (NFC)

[Antonio Frighetto via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c2a9a974ca85e4ac4509e368d4b9acae7e67bf71
      https://github.com/llvm/llvm-project/commit/c2a9a974ca85e4ac4509e368d4b9acae7e67bf71
  Author: Antonio Frighetto <me at antoniofrighetto.com>
  Date:   2024-05-29 (Wed, 29 May 2024)

  Changed paths:
    A llvm/test/Transforms/LICM/update-scev-after-hoist.ll

  Log Message:
  -----------
  [LICM] Introduce test for PR92655 (NFC)


  Commit: 70091dc943ade280d75cea1e5ea5e93d9a8f934a
      https://github.com/llvm/llvm-project/commit/70091dc943ade280d75cea1e5ea5e93d9a8f934a
  Author: Antonio Frighetto <me at antoniofrighetto.com>
  Date:   2024-05-29 (Wed, 29 May 2024)

  Changed paths:
    M llvm/lib/Transforms/Scalar/LICM.cpp
    M llvm/test/Transforms/LICM/update-scev-after-hoist.ll

  Log Message:
  -----------
  [LICM] Invalidate cached SCEV results in `hoistMulAddAssociation`

While reassociating expressions, LICM is required to invalidate SCEV
results, as otherwise subsequent passes in the pipeline that leverage
LICM foldings (e.g. IndVars), may reason on invalid expressions; thus
miscompiling. This is achieved by rewriting the reassociable
instruction from scratch.

Fixes: https://github.com/llvm/llvm-project/issues/91957.


Compare: https://github.com/llvm/llvm-project/compare/7f58ffd09b29...70091dc943ad

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