summaryrefslogtreecommitdiff
path: root/mlir/test/lib/Dialect/Vector/TestVectorTransforms.cpp
diff options
context:
space:
mode:
authorHans Wennborg <hans@chromium.org>2023-11-10 14:40:44 +0100
committerHans Wennborg <hans@chromium.org>2023-11-10 14:45:52 +0100
commit96a0d714d58e48c363ee6abbbcdfd7a6ce646ac1 (patch)
treeed74a941f3bc4c38db03693b49f1fe743ba0565f /mlir/test/lib/Dialect/Vector/TestVectorTransforms.cpp
parent10ce319320adba3a6a5e11407af03b44d3622c71 (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