[all-commits] [llvm/llvm-project] bed02f: Revert "[SCEV] Prove implications of different typ...

[max-azul via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: bed02fa8b0ec61b442990fb2406f0157fd3f8c13
      https://github.com/llvm/llvm-project/commit/bed02fa8b0ec61b442990fb2406f0157fd3f8c13
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2020-10-21 (Wed, 21 Oct 2020)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/srem.ll
    M llvm/unittests/Analysis/ScalarEvolutionTest.cpp

  Log Message:
  -----------
  Revert "[SCEV] Prove implications of different type via truncation"

This reverts commit 80852a4f2fb154c6094bb9d9e3457757d5a60ad1.

Test is now broken because underlying required patch was also reverted SUDDENLY.