Yingwei Zheng 4647a4666c
[ConstantFPRange] Implement ConstantFPRange::makeSatisfyingFCmpRegion (#110891)
This patch adds support for `ConstantFPRange::makeSatisfyingFCmpRegion`.
We only check the optimality for cases where the result can be
represented by a ConstantFPRange.

This patch also adds some tests for `ConstantFPRange::fcmp` because it
depends on `makeSatisfyingFCmpRegion`. Unfortunately we cannot
exhaustively test this function due to time limit. I just pick some
interesting ranges instead.
2024-10-08 13:41:24 +08:00
..