| commit | cd45f4f580806fc29ff698bf6df01e2994e211de | |
| author | James Molloy <james.molloy@arm.com> | |
| Tue, 11 Aug 2015 09:12:57 +0000 (11 09:12 +0000) | ||
| committer | James Molloy <james.molloy@arm.com> | |
| Tue, 11 Aug 2015 09:12:57 +0000 (11 09:12 +0000) | ||
| tree | 064495893d4c0114d5b36d1235f5aa84595a2237 | treesnapshot (tar.gz zip) |
| parent | e7b9d6cf4548f09973f4b31bda2d775e0d6fd631 | commitdiff |
Add support for floating-point minnum and maxnum
The select pattern recognition in ValueTracking (as used by InstCombine
and SelectionDAGBuilder) only knew about integer patterns. This teaches
it about minimum and maximum operations.
matchSelectPattern() has been extended to return a struct containing the
existing Flavor and a new enum defining the pattern's behavior when
given one NaN operand.
C minnum() is defined to return the non-NaN operand in this case, but
the idiomatic C "a < b ? a : b" would return the NaN operand.
ARM and AArch64 at least have different instructions for these different cases.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@244580 91177308-0d34-0410-b5e6-96231b3b80d8
The select pattern recognition in ValueTracking (as used by InstCombine
and SelectionDAGBuilder) only knew about integer patterns. This teaches
it about minimum and maximum operations.
matchSelectPattern() has been extended to return a struct containing the
existing Flavor and a new enum defining the pattern's behavior when
given one NaN operand.
C minnum() is defined to return the non-NaN operand in this case, but
the idiomatic C "a < b ? a : b" would return the NaN operand.
ARM and AArch64 at least have different instructions for these different cases.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@244580 91177308-0d34-0410-b5e6-96231b3b80d8