---

3.9.7 Optimizing Infix Binary Operators

The expression evaluator can perform a number of optimizations over infix binary operators.

See Optimizing Expressions.

See x1f4_line_expression.

Such optimizations are performed with no built-in knowledge of operator semantics. Instead, the operator definition is used to determine which of the supported optimizations do apply.

The operator properties (as they are relevant for the operator optimization logic) are to be listed by the bits1 field in the operator struct x1f4_1stscope_type operator extension record.

See struct x1f4_1stscope_type.

See struct x1f4_operator_type.

See Operator First Extension Scope Flags.

• Right Identity Element Kill
• Left Identity Element Kill
• Right Zero Element Promotion
• Left Zero Element Promotion
• Absorbing Right Unary
• Resolving Constant Primary Constant Primary Terms
• Resolving Constant Primary Constant Secondary Terms
• Resolving Constant Primary Constant Direct Secondary Terms
• Resolving Constant Secondary Constant Primary Terms
• Resolving Constant Secondary Constant Secondary Terms
• Resolving Constant Secondary Constant Direct Secondary Terms
• Variable Primary To Constant Primary Unary Transfer
• Variable Primary To Constant Secondary Unary Transfer
• Variable Secondary To Constant Primary Unary Transfer
• Variable Secondary To Constant Secondary Unary Transfer