From 793df075c999125cd1f26c69b43803bc61d5c12b Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Tue, 16 Sep 2008 16:44:00 +0000 Subject: FCmpInst predicates UNO, ORD, FALSE, and TRUE are commutative. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@56243 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/llvm/Instructions.h | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/include/llvm/Instructions.h b/include/llvm/Instructions.h index 8ae9c375fb..272ccecfc4 100644 --- a/include/llvm/Instructions.h +++ b/include/llvm/Instructions.h @@ -807,16 +807,22 @@ public: "Invalid operand types for FCmp instruction"); } - /// This also tests for commutativity. If isEquality() returns true then - /// the predicate is also commutative. Only the equality predicates are - /// commutative. /// @returns true if the predicate of this instruction is EQ or NE. /// @brief Determine if this is an equality predicate. bool isEquality() const { return SubclassData == FCMP_OEQ || SubclassData == FCMP_ONE || SubclassData == FCMP_UEQ || SubclassData == FCMP_UNE; } - bool isCommutative() const { return isEquality(); } + + /// @returns true if the predicate of this instruction is commutative. + /// @brief Determine if this is a commutative predicate. + bool isCommutative() const { + return isEquality() || + SubclassData == FCMP_FALSE || + SubclassData == FCMP_TRUE || + SubclassData == FCMP_ORD || + SubclassData == FCMP_UNO; + } /// @returns true if the predicate is relational (not EQ or NE). /// @brief Determine if this a relational predicate. -- cgit v1.2.3