]> git.ipfire.org Git - thirdparty/gcc.git/commit
Value Range: Add range op for builtin isfinite
authorHaochen Gui <guihaoc@gcc.gnu.org>
Thu, 15 Aug 2024 03:20:27 +0000 (11:20 +0800)
committerHaochen Gui <guihaoc@gcc.gnu.org>
Thu, 15 Aug 2024 03:26:45 +0000 (11:26 +0800)
commitb1d21582bafa1954db3a62f0972ae3a2e3bc0b48
tree146d136fa985c2a371d827ed236b715383f9cede
parentcd0930768ff936b681135bf8873e7f7b796a4ed9
Value Range: Add range op for builtin isfinite

The former patch adds optab for builtin isfinite. Thus builtin isfinite
might not be folded at front end.  So the range op for isfinite is needed
for value range analysis.  This patch adds range op for builtin isfinite.

gcc/
* gimple-range-op.cc (class cfn_isfinite): New.
(op_cfn_finite): New variables.
(gimple_range_op_handler::maybe_builtin_call): Handle
CFN_BUILT_IN_ISFINITE.

gcc/testsuite/
* gcc.dg/tree-ssa/range-isfinite.c: New test.
gcc/gimple-range-op.cc
gcc/testsuite/gcc.dg/tree-ssa/range-isfinite.c [new file with mode: 0644]