Test monotonicity of expression typings.

src/compiler/js-operator.h

Index: src/compiler/js-operator.h
diff --git a/src/compiler/js-operator.h b/src/compiler/js-operator.h
index 8cd9fc7605f8b9327263a98304d5ae36e9cc2c09..a599e0b15fc0acbbd67c2534f41d0e25c033e980 100644
--- a/src/compiler/js-operator.h
+++ b/src/compiler/js-operator.h
@@ -8,6 +8,29 @@
 #include "src/runtime/runtime.h"
 #include "src/unique.h"
 
+
+#define SHARED_SIMPLE_BINOP_LIST(V)                       \

[rossberg, 2014/10/15 12:37:27]

Please do not expose this just for the sake of a test. It's okay to repeat the
list in the test.

[neis1, 2014/10/15 13:56:47]

Done.

+  V(Equal, Operator::kNoProperties, 2, 1)                 \
+  V(NotEqual, Operator::kNoProperties, 2, 1)              \
+  V(StrictEqual, Operator::kPure, 2, 1)                   \
+  V(StrictNotEqual, Operator::kPure, 2, 1)                \
+  V(LessThan, Operator::kNoProperties, 2, 1)              \
+  V(GreaterThan, Operator::kNoProperties, 2, 1)           \
+  V(LessThanOrEqual, Operator::kNoProperties, 2, 1)       \
+  V(GreaterThanOrEqual, Operator::kNoProperties, 2, 1)    \
+  V(BitwiseOr, Operator::kNoProperties, 2, 1)             \
+  V(BitwiseXor, Operator::kNoProperties, 2, 1)            \
+  V(BitwiseAnd, Operator::kNoProperties, 2, 1)            \
+  V(ShiftLeft, Operator::kNoProperties, 2, 1)             \
+  V(ShiftRight, Operator::kNoProperties, 2, 1)            \
+  V(ShiftRightLogical, Operator::kNoProperties, 2, 1)     \
+  V(Add, Operator::kNoProperties, 2, 1)                   \
+  V(Subtract, Operator::kNoProperties, 2, 1)              \
+  V(Multiply, Operator::kNoProperties, 2, 1)              \
+  V(Divide, Operator::kNoProperties, 2, 1)                \
+  V(Modulus, Operator::kNoProperties, 2, 1)
+
+
 namespace v8 {
 namespace internal {
 namespace compiler {