diff options
| author | Hans Wennborg <hans@chromium.org> | 2023-11-10 14:40:44 +0100 |
|---|---|---|
| committer | Hans Wennborg <hans@chromium.org> | 2023-11-10 14:45:52 +0100 |
| commit | 96a0d714d58e48c363ee6abbbcdfd7a6ce646ac1 (patch) | |
| tree | ed74a941f3bc4c38db03693b49f1fe743ba0565f /mlir/test/lib/Dialect/Vector/TestVectorTransforms.cpp | |
| parent | 10ce319320adba3a6a5e11407af03b44d3622c71 (diff) | |
Revert "ValueTracking: Identify implied fp classes by general fcmp (#66505)"
This causes asserts to fire:
llvm/lib/Analysis/ValueTracking.cpp:4262:
std::tuple<Value *, FPClassTest, FPClassTest> llvm::fcmpImpliesClass(CmpInst::Predicate, const Function &, Value *, const APFloat *, bool):
Assertion `(RHSClass == fcPosNormal || RHSClass == fcNegNormal || RHSClass == fcPosSubnormal || RHSClass == fcNegSubnormal) && "should have been recognized as an exact class test"' failed.
See comments on the PR.
> Previously we could recognize exact class tests performed by
> an fcmp with special values (0s, infs and smallest normal).
> Expand this to recognize the implied classes by a compare with a general
> constant. e.g. fcmp ogt x, 1 implies positive and non-0.
>
> The API should be better merged with fcmpToClassTest but that
> made the diff way bigger, will try to do that in a future
> patch.
This reverts commit dc3faf0ed0e3f1ea9e435a006167d9649f865da1.
Diffstat (limited to 'mlir/test/lib/Dialect/Vector/TestVectorTransforms.cpp')
0 files changed, 0 insertions, 0 deletions
