[all-commits] [llvm/llvm-project] f798c0: Revert "[SCEV] Prove condition invariance via cont...

[Max Kazantsev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f798c042f42aaa47604af30eb235edb22d0ca5d3
      https://github.com/llvm/llvm-project/commit/f798c042f42aaa47604af30eb235edb22d0ca5d3
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2022-08-19 (Fri, 19 Aug 2022)

  Changed paths:
    M llvm/include/llvm/Analysis/ScalarEvolution.h
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/lib/Transforms/Utils/SimplifyIndVar.cpp
    M llvm/test/Transforms/IndVarSimplify/cycled_phis.ll
    M llvm/test/Transforms/IndVarSimplify/outer_phi.ll

  Log Message:
  -----------
  Revert "[SCEV] Prove condition invariance via context"

This reverts commit a3d1fb3b59b473e4f262a05f187de6474b7721e7.

Reverting until investigation of https://github.com/llvm/llvm-project/issues/57247
has concluded.


  Commit: 72136d8ba266eea6ce30fbc0e521c7b01a13b378
      https://github.com/llvm/llvm-project/commit/72136d8ba266eea6ce30fbc0e521c7b01a13b378
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2022-08-19 (Fri, 19 Aug 2022)

  Changed paths:
    A llvm/test/Transforms/IndVarSimplify/pr57247.ll

  Log Message:
  -----------
  [Test] Add test for miscompile described in PR57247


Compare: https://github.com/llvm/llvm-project/compare/5779966da82b...72136d8ba266