[PATCH] D111066: Disable "[SCEV] Prove implications of different type via truncation"

Bjorn Pettersson via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Oct 19 08:22:26 PDT 2021

Previous message: [PATCH] D112080: [SCEV] Avoid long execution time in ScalarEvolution::isImpliedCond
Next message: [PATCH] D111066: Disable "[SCEV] Prove implications of different type via truncation"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

bjope added a comment.

An alternative solution is presented in D112080 <https://reviews.llvm.org/D112080> (using a different order for the checks involved).


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D111066/new/

https://reviews.llvm.org/D111066

Previous message: [PATCH] D112080: [SCEV] Avoid long execution time in ScalarEvolution::isImpliedCond
Next message: [PATCH] D111066: Disable "[SCEV] Prove implications of different type via truncation"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list