Binder\Binder_Operators.cs (310)
38BinaryOperatorKind kind = SyntaxKindToBinaryOperatorKind(node.Kind());
45BinaryOperatorKind kindOperator = kind.Operator();
48case BinaryOperatorKind.Addition:
49case BinaryOperatorKind.Subtraction:
69if (IsLegalDynamicOperand(right) && IsLegalDynamicOperand(left) && kind != BinaryOperatorKind.UnsignedRightShift)
86kind.WithType(BinaryOperatorKind.Dynamic).WithOverflowChecksIfApplicable(CheckOverflowAtRuntime),
250isUnsignedRightShift: bestSignature.Kind.Operator() == BinaryOperatorKind.UnsignedRightShift, bestSignature.ConstrainedToTypeOpt, diagnostics);
323BinaryOperatorKind kind,
374BinaryOperatorKind kind,
420BinaryOperatorKind kind,
571BinaryOperatorKind kind,
654BinaryOperatorKind kind,
690private BoundExpression BindEventAssignment(AssignmentExpressionSyntax node, BoundEventAccess left, BoundExpression right, BinaryOperatorKind opKind, BindingDiagnosticBag diagnostics)
692Debug.Assert(opKind == BinaryOperatorKind.Addition || opKind == BinaryOperatorKind.Subtraction);
715bool isAddition = opKind == BinaryOperatorKind.Addition;
801BinaryOperatorKind kind,
814if (!leftValidOperand || !rightValidOperand || kind == BinaryOperatorKind.UnsignedRightShift)
828if (!IsValidDynamicCondition(left, isNegative: kind == BinaryOperatorKind.LogicalAnd, diagnostics, userDefinedOperator: out userDefinedOperator))
832Error(diagnostics, ErrorCode.ERR_InvalidDynamicCondition, node.Left, left.Type, kind == BinaryOperatorKind.LogicalAnd ? "false" : "true");
845operatorKind: (hasError ? kind : kind.WithType(BinaryOperatorKind.Dynamic)).WithOverflowChecksIfApplicable(CheckOverflowAtRuntime),
939BinaryOperatorKind kind = SyntaxKindToBinaryOperatorKind(node.Kind());
970bool isEquality = kind == BinaryOperatorKind.Equal || kind == BinaryOperatorKind.NotEqual;
973return new BoundLiteral(node, ConstantValue.Create(kind == BinaryOperatorKind.Equal), GetSpecialType(SpecialType.System_Boolean, diagnostics, node));
977(kind == BinaryOperatorKind.Equal || kind == BinaryOperatorKind.NotEqual))
984&& kind == BinaryOperatorKind.Addition
989var stringConstant = FoldBinaryOperator(node, BinaryOperatorKind.StringConcatenation, left, right, right.Type, diagnostics);
990return new BoundBinaryOperator(node, BinaryOperatorKind.StringConcatenation, BoundBinaryOperator.UncommonData.UnconvertedInterpolatedStringAddition(stringConstant), LookupResultKind.Empty, left, right, right.Type);
1017BinaryOperatorKind resultOperatorKind = signature.Kind;
1022resultOperatorKind &= ~BinaryOperatorKind.TypeMask;
1040if ((resultOperatorKind & BinaryOperatorKind.Pointer) == BinaryOperatorKind.Pointer &&
1063isUnsignedRightShift: resultOperatorKind.Operator() == BinaryOperatorKind.UnsignedRightShift, signature.ConstrainedToTypeOpt, diagnostics);
1071if (foundOperator && (resultOperatorKind.OperandTypes() != BinaryOperatorKind.NullableNull))
1078resultOperatorKind is BinaryOperatorKind.ObjectEqual or BinaryOperatorKind.ObjectNotEqual &&
1134private bool BindSimpleBinaryOperatorParts(BinaryExpressionSyntax node, BindingDiagnosticBag diagnostics, BoundExpression left, BoundExpression right, BinaryOperatorKind kind,
1158BinaryOperatorKind kind,
1186bool isObjectEquality = signature.Kind == BinaryOperatorKind.ObjectEqual || signature.Kind == BinaryOperatorKind.ObjectNotEqual;
1195(signature.Kind.Operator() == BinaryOperatorKind.Equal || signature.Kind.Operator() == BinaryOperatorKind.NotEqual) &&
1201resultSignature = new BinaryOperatorSignature(kind | BinaryOperatorKind.NullableNull, leftType: null, rightType: null,
1304private void ReportAssignmentOperatorError(AssignmentExpressionSyntax node, BinaryOperatorKind kind, BindingDiagnosticBag diagnostics, BoundExpression left, BoundExpression right,
1433BinaryOperatorKind kind = SyntaxKindToBinaryOperatorKind(node.Kind());
1435Debug.Assert(kind == BinaryOperatorKind.LogicalAnd || kind == BinaryOperatorKind.LogicalOr);
1444var constantValue = FoldBinaryOperator(node, kind | BinaryOperatorKind.Bool, left, right, left.Type, diagnostics);
1447return new BoundBinaryOperator(node, kind | BinaryOperatorKind.Bool, constantValue, methodOpt: null, constrainedToTypeOpt: null,
1518var resultKind = kind | signature.Kind.OperandTypes();
1521resultKind |= BinaryOperatorKind.Lifted;
1529UnaryOperatorAnalysisResult trueFalseOperator = (kind == BinaryOperatorKind.LogicalAnd ? falseOperator : trueOperator).GetValueOrDefault();
1677Debug.Assert(signature.Kind.OperandTypes() == BinaryOperatorKind.UserDefined);
2012private TypeSymbol GetBinaryOperatorErrorType(BinaryOperatorKind kind, BindingDiagnosticBag diagnostics, CSharpSyntaxNode node)
2016case BinaryOperatorKind.Equal:
2017case BinaryOperatorKind.NotEqual:
2018case BinaryOperatorKind.GreaterThan:
2019case BinaryOperatorKind.LessThan:
2020case BinaryOperatorKind.GreaterThanOrEqual:
2021case BinaryOperatorKind.LessThanOrEqual:
2029BinaryOperatorKind kind,
2045BinaryOperatorKind kind,
2086BinaryOperatorKind kind,
2146BinaryOperatorKind kind,
2231private bool IsTypelessExpressionAllowedInBinaryOperator(BinaryOperatorKind kind, BoundExpression left, BoundExpression right)
2242bool isEquality = kind == BinaryOperatorKind.Equal || kind == BinaryOperatorKind.NotEqual;
2458private static object FoldDecimalBinaryOperators(BinaryOperatorKind kind, ConstantValue valueLeft, ConstantValue valueRight)
2474case BinaryOperatorKind.DecimalAddition:
2476case BinaryOperatorKind.DecimalSubtraction:
2478case BinaryOperatorKind.DecimalMultiplication:
2480case BinaryOperatorKind.DecimalDivision:
2482case BinaryOperatorKind.DecimalRemainder:
2489private static object FoldNativeIntegerOverflowingBinaryOperator(BinaryOperatorKind kind, ConstantValue valueLeft, ConstantValue valueRight)
2498case BinaryOperatorKind.NIntAddition:
2500case BinaryOperatorKind.NUIntAddition:
2502case BinaryOperatorKind.NIntSubtraction:
2504case BinaryOperatorKind.NUIntSubtraction:
2506case BinaryOperatorKind.NIntMultiplication:
2508case BinaryOperatorKind.NUIntMultiplication:
2510case BinaryOperatorKind.NIntDivision:
2512case BinaryOperatorKind.NIntRemainder:
2514case BinaryOperatorKind.NIntLeftShift:
2520case BinaryOperatorKind.NUIntLeftShift:
2532private static object FoldUncheckedIntegralBinaryOperator(BinaryOperatorKind kind, ConstantValue valueLeft, ConstantValue valueRight)
2541case BinaryOperatorKind.IntAddition:
2543case BinaryOperatorKind.LongAddition:
2545case BinaryOperatorKind.UIntAddition:
2547case BinaryOperatorKind.ULongAddition:
2549case BinaryOperatorKind.IntSubtraction:
2551case BinaryOperatorKind.LongSubtraction:
2553case BinaryOperatorKind.UIntSubtraction:
2555case BinaryOperatorKind.ULongSubtraction:
2557case BinaryOperatorKind.IntMultiplication:
2559case BinaryOperatorKind.LongMultiplication:
2561case BinaryOperatorKind.UIntMultiplication:
2563case BinaryOperatorKind.ULongMultiplication:
2567case BinaryOperatorKind.IntDivision:
2575case BinaryOperatorKind.LongDivision:
2588private static object FoldCheckedIntegralBinaryOperator(BinaryOperatorKind kind, ConstantValue valueLeft, ConstantValue valueRight)
2597case BinaryOperatorKind.IntAddition:
2599case BinaryOperatorKind.LongAddition:
2601case BinaryOperatorKind.UIntAddition:
2603case BinaryOperatorKind.ULongAddition:
2605case BinaryOperatorKind.IntSubtraction:
2607case BinaryOperatorKind.LongSubtraction:
2609case BinaryOperatorKind.UIntSubtraction:
2611case BinaryOperatorKind.ULongSubtraction:
2613case BinaryOperatorKind.IntMultiplication:
2615case BinaryOperatorKind.LongMultiplication:
2617case BinaryOperatorKind.UIntMultiplication:
2619case BinaryOperatorKind.ULongMultiplication:
2621case BinaryOperatorKind.IntDivision:
2623case BinaryOperatorKind.LongDivision:
2631internal static TypeSymbol GetEnumType(BinaryOperatorKind kind, BoundExpression left, BoundExpression right)
2635case BinaryOperatorKind.EnumAndUnderlyingAddition:
2636case BinaryOperatorKind.EnumAndUnderlyingSubtraction:
2637case BinaryOperatorKind.EnumAnd:
2638case BinaryOperatorKind.EnumOr:
2639case BinaryOperatorKind.EnumXor:
2640case BinaryOperatorKind.EnumEqual:
2641case BinaryOperatorKind.EnumGreaterThan:
2642case BinaryOperatorKind.EnumGreaterThanOrEqual:
2643case BinaryOperatorKind.EnumLessThan:
2644case BinaryOperatorKind.EnumLessThanOrEqual:
2645case BinaryOperatorKind.EnumNotEqual:
2646case BinaryOperatorKind.EnumSubtraction:
2648case BinaryOperatorKind.UnderlyingAndEnumAddition:
2649case BinaryOperatorKind.UnderlyingAndEnumSubtraction:
2680BinaryOperatorKind kind,
2714BinaryOperatorKind newKind = kind.Operator().WithType(newLeftOperand.Type!.SpecialType);
2718case BinaryOperatorKind.Addition:
2719case BinaryOperatorKind.Subtraction:
2720case BinaryOperatorKind.And:
2721case BinaryOperatorKind.Or:
2722case BinaryOperatorKind.Xor:
2726case BinaryOperatorKind.LessThan:
2727case BinaryOperatorKind.LessThanOrEqual:
2728case BinaryOperatorKind.GreaterThan:
2729case BinaryOperatorKind.GreaterThanOrEqual:
2730case BinaryOperatorKind.Equal:
2731case BinaryOperatorKind.NotEqual:
2743TypeSymbol resultType = kind == BinaryOperatorKind.EnumSubtraction ? underlyingType : enumType;
2755BinaryOperatorKind kind,
2910private static ConstantValue? TryFoldingNullableEquality(BinaryOperatorKind kind, BoundExpression left, BoundExpression right)
2914BinaryOperatorKind op = kind.Operator();
2915if (op == BinaryOperatorKind.Equal || op == BinaryOperatorKind.NotEqual)
2932return (leftIsNull == rightIsNull) == (op == BinaryOperatorKind.Equal) ? ConstantValue.True : ConstantValue.False;
2943private static object? FoldNeverOverflowBinaryOperators(BinaryOperatorKind kind, ConstantValue valueLeft, ConstantValue valueRight)
2952case BinaryOperatorKind.ObjectEqual:
2956case BinaryOperatorKind.ObjectNotEqual:
2960case BinaryOperatorKind.DoubleAddition:
2962case BinaryOperatorKind.FloatAddition:
2964case BinaryOperatorKind.DoubleSubtraction:
2966case BinaryOperatorKind.FloatSubtraction:
2968case BinaryOperatorKind.DoubleMultiplication:
2970case BinaryOperatorKind.FloatMultiplication:
2972case BinaryOperatorKind.DoubleDivision:
2974case BinaryOperatorKind.FloatDivision:
2976case BinaryOperatorKind.DoubleRemainder:
2978case BinaryOperatorKind.FloatRemainder:
2980case BinaryOperatorKind.IntLeftShift:
2982case BinaryOperatorKind.LongLeftShift:
2984case BinaryOperatorKind.UIntLeftShift:
2986case BinaryOperatorKind.ULongLeftShift:
2988case BinaryOperatorKind.IntRightShift:
2990case BinaryOperatorKind.NIntRightShift:
2998case BinaryOperatorKind.IntUnsignedRightShift:
3000case BinaryOperatorKind.NIntUnsignedRightShift:
3006case BinaryOperatorKind.LongRightShift:
3008case BinaryOperatorKind.LongUnsignedRightShift:
3010case BinaryOperatorKind.UIntRightShift:
3012case BinaryOperatorKind.UIntUnsignedRightShift:
3014case BinaryOperatorKind.NUIntRightShift:
3020case BinaryOperatorKind.NUIntUnsignedRightShift:
3026case BinaryOperatorKind.ULongRightShift:
3028case BinaryOperatorKind.ULongUnsignedRightShift:
3030case BinaryOperatorKind.BoolAnd:
3032case BinaryOperatorKind.IntAnd:
3033case BinaryOperatorKind.NIntAnd:
3035case BinaryOperatorKind.LongAnd:
3037case BinaryOperatorKind.UIntAnd:
3038case BinaryOperatorKind.NUIntAnd:
3040case BinaryOperatorKind.ULongAnd:
3042case BinaryOperatorKind.BoolOr:
3044case BinaryOperatorKind.IntOr:
3045case BinaryOperatorKind.NIntOr:
3047case BinaryOperatorKind.LongOr:
3049case BinaryOperatorKind.UIntOr:
3050case BinaryOperatorKind.NUIntOr:
3052case BinaryOperatorKind.ULongOr:
3054case BinaryOperatorKind.BoolXor:
3056case BinaryOperatorKind.IntXor:
3057case BinaryOperatorKind.NIntXor:
3059case BinaryOperatorKind.LongXor:
3061case BinaryOperatorKind.UIntXor:
3062case BinaryOperatorKind.NUIntXor:
3064case BinaryOperatorKind.ULongXor:
3066case BinaryOperatorKind.LogicalBoolAnd:
3068case BinaryOperatorKind.LogicalBoolOr:
3070case BinaryOperatorKind.BoolEqual:
3072case BinaryOperatorKind.StringEqual:
3074case BinaryOperatorKind.DecimalEqual:
3076case BinaryOperatorKind.FloatEqual:
3078case BinaryOperatorKind.DoubleEqual:
3080case BinaryOperatorKind.IntEqual:
3081case BinaryOperatorKind.NIntEqual:
3083case BinaryOperatorKind.LongEqual:
3085case BinaryOperatorKind.UIntEqual:
3086case BinaryOperatorKind.NUIntEqual:
3088case BinaryOperatorKind.ULongEqual:
3090case BinaryOperatorKind.BoolNotEqual:
3092case BinaryOperatorKind.StringNotEqual:
3094case BinaryOperatorKind.DecimalNotEqual:
3096case BinaryOperatorKind.FloatNotEqual:
3098case BinaryOperatorKind.DoubleNotEqual:
3100case BinaryOperatorKind.IntNotEqual:
3101case BinaryOperatorKind.NIntNotEqual:
3103case BinaryOperatorKind.LongNotEqual:
3105case BinaryOperatorKind.UIntNotEqual:
3106case BinaryOperatorKind.NUIntNotEqual:
3108case BinaryOperatorKind.ULongNotEqual:
3110case BinaryOperatorKind.DecimalLessThan:
3112case BinaryOperatorKind.FloatLessThan:
3114case BinaryOperatorKind.DoubleLessThan:
3116case BinaryOperatorKind.IntLessThan:
3117case BinaryOperatorKind.NIntLessThan:
3119case BinaryOperatorKind.LongLessThan:
3121case BinaryOperatorKind.UIntLessThan:
3122case BinaryOperatorKind.NUIntLessThan:
3124case BinaryOperatorKind.ULongLessThan:
3126case BinaryOperatorKind.DecimalGreaterThan:
3128case BinaryOperatorKind.FloatGreaterThan:
3130case BinaryOperatorKind.DoubleGreaterThan:
3132case BinaryOperatorKind.IntGreaterThan:
3133case BinaryOperatorKind.NIntGreaterThan:
3135case BinaryOperatorKind.LongGreaterThan:
3137case BinaryOperatorKind.UIntGreaterThan:
3138case BinaryOperatorKind.NUIntGreaterThan:
3140case BinaryOperatorKind.ULongGreaterThan:
3142case BinaryOperatorKind.DecimalLessThanOrEqual:
3144case BinaryOperatorKind.FloatLessThanOrEqual:
3146case BinaryOperatorKind.DoubleLessThanOrEqual:
3148case BinaryOperatorKind.IntLessThanOrEqual:
3149case BinaryOperatorKind.NIntLessThanOrEqual:
3151case BinaryOperatorKind.LongLessThanOrEqual:
3153case BinaryOperatorKind.UIntLessThanOrEqual:
3154case BinaryOperatorKind.NUIntLessThanOrEqual:
3156case BinaryOperatorKind.ULongLessThanOrEqual:
3158case BinaryOperatorKind.DecimalGreaterThanOrEqual:
3160case BinaryOperatorKind.FloatGreaterThanOrEqual:
3162case BinaryOperatorKind.DoubleGreaterThanOrEqual:
3164case BinaryOperatorKind.IntGreaterThanOrEqual:
3165case BinaryOperatorKind.NIntGreaterThanOrEqual:
3167case BinaryOperatorKind.LongGreaterThanOrEqual:
3169case BinaryOperatorKind.UIntGreaterThanOrEqual:
3170case BinaryOperatorKind.NUIntGreaterThanOrEqual:
3172case BinaryOperatorKind.ULongGreaterThanOrEqual:
3174case BinaryOperatorKind.UIntDivision:
3175case BinaryOperatorKind.NUIntDivision:
3177case BinaryOperatorKind.ULongDivision:
3181case BinaryOperatorKind.IntRemainder:
3183case BinaryOperatorKind.LongRemainder:
3185case BinaryOperatorKind.UIntRemainder:
3186case BinaryOperatorKind.NUIntRemainder:
3188case BinaryOperatorKind.ULongRemainder:
3198private static ConstantValue? FoldStringConcatenation(BinaryOperatorKind kind, ConstantValue valueLeft, ConstantValue valueRight)
3203if (kind == BinaryOperatorKind.StringConcatenation)
3216public static BinaryOperatorKind SyntaxKindToBinaryOperatorKind(SyntaxKind kind)
3221case SyntaxKind.MultiplyExpression: return BinaryOperatorKind.Multiplication;
3223case SyntaxKind.DivideExpression: return BinaryOperatorKind.Division;
3225case SyntaxKind.ModuloExpression: return BinaryOperatorKind.Remainder;
3227case SyntaxKind.AddExpression: return BinaryOperatorKind.Addition;
3229case SyntaxKind.SubtractExpression: return BinaryOperatorKind.Subtraction;
3231case SyntaxKind.RightShiftExpression: return BinaryOperatorKind.RightShift;
3233case SyntaxKind.UnsignedRightShiftExpression: return BinaryOperatorKind.UnsignedRightShift;
3235case SyntaxKind.LeftShiftExpression: return BinaryOperatorKind.LeftShift;
3236case SyntaxKind.EqualsExpression: return BinaryOperatorKind.Equal;
3237case SyntaxKind.NotEqualsExpression: return BinaryOperatorKind.NotEqual;
3238case SyntaxKind.GreaterThanExpression: return BinaryOperatorKind.GreaterThan;
3239case SyntaxKind.LessThanExpression: return BinaryOperatorKind.LessThan;
3240case SyntaxKind.GreaterThanOrEqualExpression: return BinaryOperatorKind.GreaterThanOrEqual;
3241case SyntaxKind.LessThanOrEqualExpression: return BinaryOperatorKind.LessThanOrEqual;
3243case SyntaxKind.BitwiseAndExpression: return BinaryOperatorKind.And;
3245case SyntaxKind.BitwiseOrExpression: return BinaryOperatorKind.Or;
3247case SyntaxKind.ExclusiveOrExpression: return BinaryOperatorKind.Xor;
3248case SyntaxKind.LogicalAndExpression: return BinaryOperatorKind.LogicalAnd;
3249case SyntaxKind.LogicalOrExpression: return BinaryOperatorKind.LogicalOr;
4753private static bool IsDivisionByZero(BinaryOperatorKind kind, ConstantValue valueRight)
4759case BinaryOperatorKind.DecimalDivision:
4760case BinaryOperatorKind.DecimalRemainder:
4762case BinaryOperatorKind.IntDivision:
4763case BinaryOperatorKind.IntRemainder:
4764case BinaryOperatorKind.NIntDivision:
4765case BinaryOperatorKind.NIntRemainder:
4767case BinaryOperatorKind.LongDivision:
4768case BinaryOperatorKind.LongRemainder:
4770case BinaryOperatorKind.UIntDivision:
4771case BinaryOperatorKind.UIntRemainder:
4772case BinaryOperatorKind.NUIntDivision:
4773case BinaryOperatorKind.NUIntRemainder:
4775case BinaryOperatorKind.ULongDivision:
4776case BinaryOperatorKind.ULongRemainder:
6110private void CheckNativeIntegerFeatureAvailability(BinaryOperatorKind operatorKind, SyntaxNode syntax, BindingDiagnosticBag diagnostics)
6117switch (operatorKind & BinaryOperatorKind.TypeMask)
6119case BinaryOperatorKind.NInt:
6120case BinaryOperatorKind.NUInt:
Binder\Binder_Patterns.cs (32)
2320BinaryOperatorKind operation = tokenKindToBinaryOperatorKind(node.OperatorToken.Kind());
2321if (operation == BinaryOperatorKind.Equal)
2327BinaryOperatorKind opType = RelationalOperatorType(type.EnumUnderlyingTypeOrSelf());
2330case BinaryOperatorKind.Float:
2331case BinaryOperatorKind.Double:
2338case BinaryOperatorKind.String:
2339case BinaryOperatorKind.Bool:
2340case BinaryOperatorKind.Error:
2364static BinaryOperatorKind tokenKindToBinaryOperatorKind(SyntaxKind kind) => kind switch
2366SyntaxKind.LessThanEqualsToken => BinaryOperatorKind.LessThanOrEqual,
2367SyntaxKind.LessThanToken => BinaryOperatorKind.LessThan,
2368SyntaxKind.GreaterThanToken => BinaryOperatorKind.GreaterThan,
2369SyntaxKind.GreaterThanEqualsToken => BinaryOperatorKind.GreaterThanOrEqual,
2371_ => BinaryOperatorKind.Equal,
2380internal static BinaryOperatorKind RelationalOperatorType(TypeSymbol type) => type.SpecialType switch
2382SpecialType.System_Single => BinaryOperatorKind.Float,
2383SpecialType.System_Double => BinaryOperatorKind.Double,
2384SpecialType.System_Char => BinaryOperatorKind.Char,
2385SpecialType.System_SByte => BinaryOperatorKind.Int, // operands are converted to int
2386SpecialType.System_Byte => BinaryOperatorKind.Int, // operands are converted to int
2387SpecialType.System_UInt16 => BinaryOperatorKind.Int, // operands are converted to int
2388SpecialType.System_Int16 => BinaryOperatorKind.Int, // operands are converted to int
2389SpecialType.System_Int32 => BinaryOperatorKind.Int,
2390SpecialType.System_UInt32 => BinaryOperatorKind.UInt,
2391SpecialType.System_Int64 => BinaryOperatorKind.Long,
2392SpecialType.System_UInt64 => BinaryOperatorKind.ULong,
2393SpecialType.System_Decimal => BinaryOperatorKind.Decimal,
2394SpecialType.System_String => BinaryOperatorKind.String,
2395SpecialType.System_Boolean => BinaryOperatorKind.Bool,
2396SpecialType.System_IntPtr when type.IsNativeIntegerType => BinaryOperatorKind.NInt,
2397SpecialType.System_UIntPtr when type.IsNativeIntegerType => BinaryOperatorKind.NUInt,
2398_ => BinaryOperatorKind.Error,
Binder\Binder_TupleOperators.cs (9)
25private BoundTupleBinaryOperator BindTupleBinaryOperator(BinaryExpressionSyntax node, BinaryOperatorKind kind,
82private TupleBinaryOperatorInfo BindTupleBinaryOperatorInfo(BinaryExpressionSyntax node, BinaryOperatorKind kind,
126private void PrepareBoolConversionAndTruthOperator(TypeSymbol type, BinaryExpressionSyntax node, BinaryOperatorKind binaryOperator, BindingDiagnosticBag diagnostics,
149case BinaryOperatorKind.Equal:
152case BinaryOperatorKind.NotEqual:
183private TupleBinaryOperatorInfo BindTupleDynamicBinaryOperatorSingleInfo(BinaryExpressionSyntax node, BinaryOperatorKind kind,
197BinaryOperatorKind elementOperatorKind = hasError ? kind : kind.WithType(BinaryOperatorKind.Dynamic);
206private TupleBinaryOperatorInfo.Multiple BindTupleBinaryOperatorNestedInfo(BinaryExpressionSyntax node, BinaryOperatorKind kind,
Binder\DecisionDagBuilder.cs (15)
912if (ValueSetFactory.ForInput(input)?.Related(BinaryOperatorKind.Equal, constantValue).IsEmpty == true)
1750return resultForRelation(BinaryOperatorKind.Equal, t.Value);
1762resultForRelation(BinaryOperatorKind relation, ConstantValue value)
2032handleRelationWithValue(BinaryOperatorKind.Equal, v2.Value,
2037BinaryOperatorKind relation,
2905BinaryOperatorKind.LessThan => "<",
2906BinaryOperatorKind.LessThanOrEqual => "<=",
2907BinaryOperatorKind.GreaterThan => ">",
2908BinaryOperatorKind.GreaterThanOrEqual => ">=",
3494Debug.Assert(t.Relation == BinaryOperatorKind.GreaterThanOrEqual);
3509return knownResult(BinaryOperatorKind.Equal, t.Value, offset) ??
3521static Tests? knownResult(BinaryOperatorKind relation, ConstantValue constant, int offset)
3524IConstantValueSet possibleValues = fac.Related(BinaryOperatorKind.LessThanOrEqual, int.MaxValue - offset);
3847if (lengthValues.All(BinaryOperatorKind.Equal, lengthValue))
3855if (!dagBuilder._forLowering && lengthValues.Any(BinaryOperatorKind.Equal, lengthValue))
Binder\Semantics\Operators\BinaryOperatorEasyOut.cs (78)
14private const BinaryOperatorKind ERR = BinaryOperatorKind.Error;
15private const BinaryOperatorKind OBJ = BinaryOperatorKind.Object;
16private const BinaryOperatorKind STR = BinaryOperatorKind.String;
17private const BinaryOperatorKind OSC = BinaryOperatorKind.ObjectAndString;
18private const BinaryOperatorKind SOC = BinaryOperatorKind.StringAndObject;
19private const BinaryOperatorKind INT = BinaryOperatorKind.Int;
20private const BinaryOperatorKind UIN = BinaryOperatorKind.UInt;
21private const BinaryOperatorKind LNG = BinaryOperatorKind.Long;
22private const BinaryOperatorKind ULG = BinaryOperatorKind.ULong;
23private const BinaryOperatorKind NIN = BinaryOperatorKind.NInt;
24private const BinaryOperatorKind NUI = BinaryOperatorKind.NUInt;
25private const BinaryOperatorKind FLT = BinaryOperatorKind.Float;
26private const BinaryOperatorKind DBL = BinaryOperatorKind.Double;
27private const BinaryOperatorKind DEC = BinaryOperatorKind.Decimal;
28private const BinaryOperatorKind BOL = BinaryOperatorKind.Bool;
29private const BinaryOperatorKind LIN = BinaryOperatorKind.Lifted | BinaryOperatorKind.Int;
30private const BinaryOperatorKind LUN = BinaryOperatorKind.Lifted | BinaryOperatorKind.UInt;
31private const BinaryOperatorKind LLG = BinaryOperatorKind.Lifted | BinaryOperatorKind.Long;
32private const BinaryOperatorKind LUL = BinaryOperatorKind.Lifted | BinaryOperatorKind.ULong;
33private const BinaryOperatorKind LNI = BinaryOperatorKind.Lifted | BinaryOperatorKind.NInt;
34private const BinaryOperatorKind LNU = BinaryOperatorKind.Lifted | BinaryOperatorKind.NUInt;
35private const BinaryOperatorKind LFL = BinaryOperatorKind.Lifted | BinaryOperatorKind.Float;
36private const BinaryOperatorKind LDB = BinaryOperatorKind.Lifted | BinaryOperatorKind.Double;
37private const BinaryOperatorKind LDC = BinaryOperatorKind.Lifted | BinaryOperatorKind.Decimal;
38private const BinaryOperatorKind LBL = BinaryOperatorKind.Lifted | BinaryOperatorKind.Bool;
41private static readonly BinaryOperatorKind[,] s_arithmetic =
79private static readonly BinaryOperatorKind[,] s_addition =
117private static readonly BinaryOperatorKind[,] s_shift =
159private static readonly BinaryOperatorKind[,] s_equality =
197private static readonly BinaryOperatorKind[,] s_logical =
234private static readonly BinaryOperatorKind[][,] s_opkind =
255public static BinaryOperatorKind OpKind(BinaryOperatorKind kind, TypeSymbol left, TypeSymbol right)
260return BinaryOperatorKind.Error;
265return BinaryOperatorKind.Error;
268var result = BinaryOperatorKind.Error;
277if (!kind.IsLogical() || (leftIndex == (int)BinaryOperatorKind.Bool && rightIndex == (int)BinaryOperatorKind.Bool))
282return result == BinaryOperatorKind.Error ? result : result | kind;
286private void BinaryOperatorEasyOut(BinaryOperatorKind kind, BoundExpression left, BoundExpression right, BinaryOperatorOverloadResolutionResult result)
305var easyOut = BinopEasyOut.OpKind(kind, leftType, rightType);
307if (easyOut == BinaryOperatorKind.Error)
Binder\Semantics\Operators\BinaryOperatorOverloadResolution.cs (151)
22BinaryOperatorKind kind,
41internal void BinaryOperatorOverloadResolution_EasyOut(BinaryOperatorKind kind, BoundExpression left, BoundExpression right, BinaryOperatorOverloadResolutionResult result)
52BinaryOperatorKind underlyingKind = kind & ~BinaryOperatorKind.Logical;
58BinaryOperatorKind kind,
220private bool GetUserDefinedBinaryOperatorsFromInterfaces(BinaryOperatorKind kind, bool isChecked,
318private void AddDelegateOperation(BinaryOperatorKind kind, TypeSymbol delegateType,
323case BinaryOperatorKind.Equal:
324case BinaryOperatorKind.NotEqual:
325operators.Add(new BinaryOperatorSignature(kind | BinaryOperatorKind.Delegate, delegateType, delegateType, Compilation.GetSpecialType(SpecialType.System_Boolean)));
328case BinaryOperatorKind.Addition:
329case BinaryOperatorKind.Subtraction:
331operators.Add(new BinaryOperatorSignature(kind | BinaryOperatorKind.Delegate, delegateType, delegateType, delegateType));
336private void GetDelegateOperations(BinaryOperatorKind kind, BoundExpression left, BoundExpression right,
345case BinaryOperatorKind.Multiplication:
346case BinaryOperatorKind.Division:
347case BinaryOperatorKind.Remainder:
348case BinaryOperatorKind.RightShift:
349case BinaryOperatorKind.UnsignedRightShift:
350case BinaryOperatorKind.LeftShift:
351case BinaryOperatorKind.And:
352case BinaryOperatorKind.Or:
353case BinaryOperatorKind.Xor:
354case BinaryOperatorKind.GreaterThan:
355case BinaryOperatorKind.LessThan:
356case BinaryOperatorKind.GreaterThanOrEqual:
357case BinaryOperatorKind.LessThanOrEqual:
358case BinaryOperatorKind.LogicalAnd:
359case BinaryOperatorKind.LogicalOr:
362case BinaryOperatorKind.Addition:
363case BinaryOperatorKind.Subtraction:
364case BinaryOperatorKind.Equal:
365case BinaryOperatorKind.NotEqual:
391case BinaryOperatorKind.Equal:
392case BinaryOperatorKind.NotEqual:
454bool useIdentityConversion = kind == BinaryOperatorKind.Equal || kind == BinaryOperatorKind.NotEqual;
468if ((kind == BinaryOperatorKind.Equal || kind == BinaryOperatorKind.NotEqual)
477private void GetEnumOperation(BinaryOperatorKind kind, TypeSymbol enumType, BoundExpression right, ArrayBuilder<BinaryOperatorSignature> operators)
496case BinaryOperatorKind.Addition:
497operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.EnumAndUnderlyingAddition, enumType, underlying, enumType));
498operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.UnderlyingAndEnumAddition, underlying, enumType, enumType));
499operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.LiftedEnumAndUnderlyingAddition, nullableEnum, nullableUnderlying, nullableEnum));
500operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.LiftedUnderlyingAndEnumAddition, nullableUnderlying, nullableEnum, nullableEnum));
502case BinaryOperatorKind.Subtraction:
505operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.EnumSubtraction, enumType, enumType, underlying));
506operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.EnumAndUnderlyingSubtraction, enumType, underlying, enumType));
507operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.LiftedEnumSubtraction, nullableEnum, nullableEnum, nullableUnderlying));
508operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.LiftedEnumAndUnderlyingSubtraction, nullableEnum, nullableUnderlying, nullableEnum));
518operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.EnumSubtraction, enumType, enumType, underlying)
520operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.EnumAndUnderlyingSubtraction, enumType, underlying, enumType)
522operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.LiftedEnumSubtraction, nullableEnum, nullableEnum, nullableUnderlying)
524operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.LiftedEnumAndUnderlyingSubtraction, nullableEnum, nullableUnderlying, nullableEnum)
528operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.UnderlyingAndEnumSubtraction, underlying, enumType, enumType)
530operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.LiftedUnderlyingAndEnumSubtraction, nullableUnderlying, nullableEnum, nullableEnum)
534case BinaryOperatorKind.Equal:
535case BinaryOperatorKind.NotEqual:
536case BinaryOperatorKind.GreaterThan:
537case BinaryOperatorKind.LessThan:
538case BinaryOperatorKind.GreaterThanOrEqual:
539case BinaryOperatorKind.LessThanOrEqual:
541operators.Add(new BinaryOperatorSignature(kind | BinaryOperatorKind.Enum, enumType, enumType, boolean));
542operators.Add(new BinaryOperatorSignature(kind | BinaryOperatorKind.Lifted | BinaryOperatorKind.Enum, nullableEnum, nullableEnum, boolean));
544case BinaryOperatorKind.And:
545case BinaryOperatorKind.Or:
546case BinaryOperatorKind.Xor:
547operators.Add(new BinaryOperatorSignature(kind | BinaryOperatorKind.Enum, enumType, enumType, enumType));
548operators.Add(new BinaryOperatorSignature(kind | BinaryOperatorKind.Lifted | BinaryOperatorKind.Enum, nullableEnum, nullableEnum, nullableEnum));
554BinaryOperatorKind kind,
563case BinaryOperatorKind.Addition:
564operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.PointerAndIntAddition, pointerType, Compilation.GetSpecialType(SpecialType.System_Int32), pointerType));
565operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.PointerAndUIntAddition, pointerType, Compilation.GetSpecialType(SpecialType.System_UInt32), pointerType));
566operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.PointerAndLongAddition, pointerType, Compilation.GetSpecialType(SpecialType.System_Int64), pointerType));
567operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.PointerAndULongAddition, pointerType, Compilation.GetSpecialType(SpecialType.System_UInt64), pointerType));
568operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.IntAndPointerAddition, Compilation.GetSpecialType(SpecialType.System_Int32), pointerType, pointerType));
569operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.UIntAndPointerAddition, Compilation.GetSpecialType(SpecialType.System_UInt32), pointerType, pointerType));
570operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.LongAndPointerAddition, Compilation.GetSpecialType(SpecialType.System_Int64), pointerType, pointerType));
571operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.ULongAndPointerAddition, Compilation.GetSpecialType(SpecialType.System_UInt64), pointerType, pointerType));
573case BinaryOperatorKind.Subtraction:
574operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.PointerAndIntSubtraction, pointerType, Compilation.GetSpecialType(SpecialType.System_Int32), pointerType));
575operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.PointerAndUIntSubtraction, pointerType, Compilation.GetSpecialType(SpecialType.System_UInt32), pointerType));
576operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.PointerAndLongSubtraction, pointerType, Compilation.GetSpecialType(SpecialType.System_Int64), pointerType));
577operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.PointerAndULongSubtraction, pointerType, Compilation.GetSpecialType(SpecialType.System_UInt64), pointerType));
578operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.PointerSubtraction, pointerType, pointerType, Compilation.GetSpecialType(SpecialType.System_Int64)));
584BinaryOperatorKind kind,
589case BinaryOperatorKind.Equal:
590case BinaryOperatorKind.NotEqual:
591case BinaryOperatorKind.GreaterThan:
592case BinaryOperatorKind.LessThan:
593case BinaryOperatorKind.GreaterThanOrEqual:
594case BinaryOperatorKind.LessThanOrEqual:
596operators.Add(new BinaryOperatorSignature(kind | BinaryOperatorKind.Pointer, voidPointerType, voidPointerType, Compilation.GetSpecialType(SpecialType.System_Boolean)));
601private void GetEnumOperations(BinaryOperatorKind kind, BoundExpression left, BoundExpression right, ArrayBuilder<BinaryOperatorSignature> results)
610case BinaryOperatorKind.Multiplication:
611case BinaryOperatorKind.Division:
612case BinaryOperatorKind.Remainder:
613case BinaryOperatorKind.RightShift:
614case BinaryOperatorKind.UnsignedRightShift:
615case BinaryOperatorKind.LeftShift:
616case BinaryOperatorKind.LogicalAnd:
617case BinaryOperatorKind.LogicalOr:
636case BinaryOperatorKind.And:
637case BinaryOperatorKind.Or:
638case BinaryOperatorKind.Xor:
645case BinaryOperatorKind.Addition:
652case BinaryOperatorKind.Subtraction:
659case BinaryOperatorKind.Equal:
660case BinaryOperatorKind.NotEqual:
661case BinaryOperatorKind.GreaterThan:
662case BinaryOperatorKind.LessThan:
663case BinaryOperatorKind.GreaterThanOrEqual:
664case BinaryOperatorKind.LessThanOrEqual:
687BinaryOperatorKind kind,
719private void GetAllBuiltInOperators(BinaryOperatorKind kind, bool isChecked, BoundExpression left, BoundExpression right, ArrayBuilder<BinaryOperatorAnalysisResult> results, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo)
725bool isEquality = kind == BinaryOperatorKind.Equal || kind == BinaryOperatorKind.NotEqual;
765if (kind.Operator() is BinaryOperatorKind.Addition &&
787return value is BoundUtf8String or BoundBinaryOperator { OperatorKind: BinaryOperatorKind.Utf8Addition };
796private void GetReferenceEquality(BinaryOperatorKind kind, ArrayBuilder<BinaryOperatorSignature> operators)
799operators.Add(new BinaryOperatorSignature(kind | BinaryOperatorKind.Object, @object, @object, Compilation.GetSpecialType(SpecialType.System_Boolean)));
865BinaryOperatorKind kind,
933internal static void GetStaticUserDefinedBinaryOperatorMethodNames(BinaryOperatorKind kind, bool isChecked, out string name1, out string? name2Opt)
950BinaryOperatorKind kind,
989private static void GetDeclaredUserDefinedBinaryOperators(TypeSymbol? constrainedToTypeOpt, NamedTypeSymbol type, BinaryOperatorKind kind, string name, ArrayBuilder<BinaryOperatorSignature> operators)
997private static void GetDeclaredUserDefinedBinaryOperators(TypeSymbol? constrainedToTypeOpt, ArrayBuilder<MethodSymbol> typeOperators, BinaryOperatorKind kind, string name, ArrayBuilder<BinaryOperatorSignature> operators)
1016operators.Add(new BinaryOperatorSignature(BinaryOperatorKind.UserDefined | kind, leftOperandType, rightOperandType, resultType, op, constrainedToTypeOpt));
1020void AddLiftedUserDefinedBinaryOperators(TypeSymbol? constrainedToTypeOpt, BinaryOperatorKind kind, ArrayBuilder<BinaryOperatorSignature> operators)
1034BinaryOperatorKind.Lifted | BinaryOperatorKind.UserDefined | kind,
1040BinaryOperatorKind.Lifted | BinaryOperatorKind.UserDefined | kind,
1055private static LiftingResult UserDefinedBinaryOperatorCanBeLifted(TypeSymbol left, TypeSymbol right, TypeSymbol result, BinaryOperatorKind kind)
1080case BinaryOperatorKind.Equal:
1081case BinaryOperatorKind.NotEqual:
1085goto case BinaryOperatorKind.GreaterThan;
1086case BinaryOperatorKind.GreaterThan:
1087case BinaryOperatorKind.GreaterThanOrEqual:
1088case BinaryOperatorKind.LessThan:
1089case BinaryOperatorKind.LessThanOrEqual:
1424private static void AssertNotChecked(BinaryOperatorKind kind)
1426Debug.Assert((kind & ~BinaryOperatorKind.Checked) == kind, "Did not expect operator to be checked. Consider using .Operator() to mask.");
1433BinaryOperatorKind kind,
1472static void getDeclaredUserDefinedBinaryOperatorsInScope(ArrayBuilder<Symbol> extensionCandidatesInSingleScope, BinaryOperatorKind kind, string name1, string? name2Opt, ArrayBuilder<BinaryOperatorSignature> operators)
1503static void getDeclaredUserDefinedBinaryOperators(ArrayBuilder<Symbol> extensionCandidatesInSingleScope, BinaryOperatorKind kind, string name, ArrayBuilder<BinaryOperatorSignature> operators)
1512void inferTypeArgumentsAndRemoveInapplicableToReceiverType(BinaryOperatorKind kind, BoundExpression left, BoundExpression right, ArrayBuilder<BinaryOperatorSignature> operators, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo)
1560BinaryOperatorKind.Lifted | BinaryOperatorKind.UserDefined | kind,
1568inferredCandidate = new BinaryOperatorSignature(BinaryOperatorKind.UserDefined | kind, leftOperandType, rightOperandType, resultType, method, constrainedToTypeOpt: null);
Compilation\BuiltInOperators.cs (368)
297builder.Add(GetSignature((BinaryOperatorKind)kind));
303internal void GetSimpleBuiltInOperators(BinaryOperatorKind kind, ArrayBuilder<BinaryOperatorSignature> operators, bool skipNativeIntegerOperators)
322ImmutableArray.Create<BinaryOperatorSignature>(GetSignature(BinaryOperatorKind.LogicalBoolAnd)), //and
324ImmutableArray.Create<BinaryOperatorSignature>(GetSignature(BinaryOperatorKind.LogicalBoolOr)), //or
332(int)BinaryOperatorKind.IntMultiplication,
333(int)BinaryOperatorKind.UIntMultiplication,
334(int)BinaryOperatorKind.LongMultiplication,
335(int)BinaryOperatorKind.ULongMultiplication,
336(int)BinaryOperatorKind.NIntMultiplication,
337(int)BinaryOperatorKind.NUIntMultiplication,
338(int)BinaryOperatorKind.FloatMultiplication,
339(int)BinaryOperatorKind.DoubleMultiplication,
340(int)BinaryOperatorKind.DecimalMultiplication,
341(int)BinaryOperatorKind.LiftedIntMultiplication,
342(int)BinaryOperatorKind.LiftedUIntMultiplication,
343(int)BinaryOperatorKind.LiftedLongMultiplication,
344(int)BinaryOperatorKind.LiftedULongMultiplication,
345(int)BinaryOperatorKind.LiftedNIntMultiplication,
346(int)BinaryOperatorKind.LiftedNUIntMultiplication,
347(int)BinaryOperatorKind.LiftedFloatMultiplication,
348(int)BinaryOperatorKind.LiftedDoubleMultiplication,
349(int)BinaryOperatorKind.LiftedDecimalMultiplication,
353(int)BinaryOperatorKind.IntAddition,
354(int)BinaryOperatorKind.UIntAddition,
355(int)BinaryOperatorKind.LongAddition,
356(int)BinaryOperatorKind.ULongAddition,
357(int)BinaryOperatorKind.NIntAddition,
358(int)BinaryOperatorKind.NUIntAddition,
359(int)BinaryOperatorKind.FloatAddition,
360(int)BinaryOperatorKind.DoubleAddition,
361(int)BinaryOperatorKind.DecimalAddition,
362(int)BinaryOperatorKind.LiftedIntAddition,
363(int)BinaryOperatorKind.LiftedUIntAddition,
364(int)BinaryOperatorKind.LiftedLongAddition,
365(int)BinaryOperatorKind.LiftedULongAddition,
366(int)BinaryOperatorKind.LiftedNIntAddition,
367(int)BinaryOperatorKind.LiftedNUIntAddition,
368(int)BinaryOperatorKind.LiftedFloatAddition,
369(int)BinaryOperatorKind.LiftedDoubleAddition,
370(int)BinaryOperatorKind.LiftedDecimalAddition,
371(int)BinaryOperatorKind.StringConcatenation,
372(int)BinaryOperatorKind.StringAndObjectConcatenation,
373(int)BinaryOperatorKind.ObjectAndStringConcatenation,
377(int)BinaryOperatorKind.IntSubtraction,
378(int)BinaryOperatorKind.UIntSubtraction,
379(int)BinaryOperatorKind.LongSubtraction,
380(int)BinaryOperatorKind.ULongSubtraction,
381(int)BinaryOperatorKind.NIntSubtraction,
382(int)BinaryOperatorKind.NUIntSubtraction,
383(int)BinaryOperatorKind.FloatSubtraction,
384(int)BinaryOperatorKind.DoubleSubtraction,
385(int)BinaryOperatorKind.DecimalSubtraction,
386(int)BinaryOperatorKind.LiftedIntSubtraction,
387(int)BinaryOperatorKind.LiftedUIntSubtraction,
388(int)BinaryOperatorKind.LiftedLongSubtraction,
389(int)BinaryOperatorKind.LiftedULongSubtraction,
390(int)BinaryOperatorKind.LiftedNIntSubtraction,
391(int)BinaryOperatorKind.LiftedNUIntSubtraction,
392(int)BinaryOperatorKind.LiftedFloatSubtraction,
393(int)BinaryOperatorKind.LiftedDoubleSubtraction,
394(int)BinaryOperatorKind.LiftedDecimalSubtraction,
398(int)BinaryOperatorKind.IntDivision,
399(int)BinaryOperatorKind.UIntDivision,
400(int)BinaryOperatorKind.LongDivision,
401(int)BinaryOperatorKind.ULongDivision,
402(int)BinaryOperatorKind.NIntDivision,
403(int)BinaryOperatorKind.NUIntDivision,
404(int)BinaryOperatorKind.FloatDivision,
405(int)BinaryOperatorKind.DoubleDivision,
406(int)BinaryOperatorKind.DecimalDivision,
407(int)BinaryOperatorKind.LiftedIntDivision,
408(int)BinaryOperatorKind.LiftedUIntDivision,
409(int)BinaryOperatorKind.LiftedLongDivision,
410(int)BinaryOperatorKind.LiftedULongDivision,
411(int)BinaryOperatorKind.LiftedNIntDivision,
412(int)BinaryOperatorKind.LiftedNUIntDivision,
413(int)BinaryOperatorKind.LiftedFloatDivision,
414(int)BinaryOperatorKind.LiftedDoubleDivision,
415(int)BinaryOperatorKind.LiftedDecimalDivision,
419(int)BinaryOperatorKind.IntRemainder,
420(int)BinaryOperatorKind.UIntRemainder,
421(int)BinaryOperatorKind.LongRemainder,
422(int)BinaryOperatorKind.ULongRemainder,
423(int)BinaryOperatorKind.NIntRemainder,
424(int)BinaryOperatorKind.NUIntRemainder,
425(int)BinaryOperatorKind.FloatRemainder,
426(int)BinaryOperatorKind.DoubleRemainder,
427(int)BinaryOperatorKind.DecimalRemainder,
428(int)BinaryOperatorKind.LiftedIntRemainder,
429(int)BinaryOperatorKind.LiftedUIntRemainder,
430(int)BinaryOperatorKind.LiftedLongRemainder,
431(int)BinaryOperatorKind.LiftedULongRemainder,
432(int)BinaryOperatorKind.LiftedNIntRemainder,
433(int)BinaryOperatorKind.LiftedNUIntRemainder,
434(int)BinaryOperatorKind.LiftedFloatRemainder,
435(int)BinaryOperatorKind.LiftedDoubleRemainder,
436(int)BinaryOperatorKind.LiftedDecimalRemainder,
440(int)BinaryOperatorKind.IntLeftShift,
441(int)BinaryOperatorKind.UIntLeftShift,
442(int)BinaryOperatorKind.LongLeftShift,
443(int)BinaryOperatorKind.ULongLeftShift,
444(int)BinaryOperatorKind.NIntLeftShift,
445(int)BinaryOperatorKind.NUIntLeftShift,
446(int)BinaryOperatorKind.LiftedIntLeftShift,
447(int)BinaryOperatorKind.LiftedUIntLeftShift,
448(int)BinaryOperatorKind.LiftedLongLeftShift,
449(int)BinaryOperatorKind.LiftedULongLeftShift,
450(int)BinaryOperatorKind.LiftedNIntLeftShift,
451(int)BinaryOperatorKind.LiftedNUIntLeftShift,
455(int)BinaryOperatorKind.IntRightShift,
456(int)BinaryOperatorKind.UIntRightShift,
457(int)BinaryOperatorKind.LongRightShift,
458(int)BinaryOperatorKind.ULongRightShift,
459(int)BinaryOperatorKind.NIntRightShift,
460(int)BinaryOperatorKind.NUIntRightShift,
461(int)BinaryOperatorKind.LiftedIntRightShift,
462(int)BinaryOperatorKind.LiftedUIntRightShift,
463(int)BinaryOperatorKind.LiftedLongRightShift,
464(int)BinaryOperatorKind.LiftedULongRightShift,
465(int)BinaryOperatorKind.LiftedNIntRightShift,
466(int)BinaryOperatorKind.LiftedNUIntRightShift,
470(int)BinaryOperatorKind.IntEqual,
471(int)BinaryOperatorKind.UIntEqual,
472(int)BinaryOperatorKind.LongEqual,
473(int)BinaryOperatorKind.ULongEqual,
474(int)BinaryOperatorKind.NIntEqual,
475(int)BinaryOperatorKind.NUIntEqual,
476(int)BinaryOperatorKind.FloatEqual,
477(int)BinaryOperatorKind.DoubleEqual,
478(int)BinaryOperatorKind.DecimalEqual,
479(int)BinaryOperatorKind.BoolEqual,
480(int)BinaryOperatorKind.LiftedIntEqual,
481(int)BinaryOperatorKind.LiftedUIntEqual,
482(int)BinaryOperatorKind.LiftedLongEqual,
483(int)BinaryOperatorKind.LiftedULongEqual,
484(int)BinaryOperatorKind.LiftedNIntEqual,
485(int)BinaryOperatorKind.LiftedNUIntEqual,
486(int)BinaryOperatorKind.LiftedFloatEqual,
487(int)BinaryOperatorKind.LiftedDoubleEqual,
488(int)BinaryOperatorKind.LiftedDecimalEqual,
489(int)BinaryOperatorKind.LiftedBoolEqual,
490(int)BinaryOperatorKind.ObjectEqual,
491(int)BinaryOperatorKind.StringEqual,
495(int)BinaryOperatorKind.IntNotEqual,
496(int)BinaryOperatorKind.UIntNotEqual,
497(int)BinaryOperatorKind.LongNotEqual,
498(int)BinaryOperatorKind.ULongNotEqual,
499(int)BinaryOperatorKind.NIntNotEqual,
500(int)BinaryOperatorKind.NUIntNotEqual,
501(int)BinaryOperatorKind.FloatNotEqual,
502(int)BinaryOperatorKind.DoubleNotEqual,
503(int)BinaryOperatorKind.DecimalNotEqual,
504(int)BinaryOperatorKind.BoolNotEqual,
505(int)BinaryOperatorKind.LiftedIntNotEqual,
506(int)BinaryOperatorKind.LiftedUIntNotEqual,
507(int)BinaryOperatorKind.LiftedLongNotEqual,
508(int)BinaryOperatorKind.LiftedULongNotEqual,
509(int)BinaryOperatorKind.LiftedNIntNotEqual,
510(int)BinaryOperatorKind.LiftedNUIntNotEqual,
511(int)BinaryOperatorKind.LiftedFloatNotEqual,
512(int)BinaryOperatorKind.LiftedDoubleNotEqual,
513(int)BinaryOperatorKind.LiftedDecimalNotEqual,
514(int)BinaryOperatorKind.LiftedBoolNotEqual,
515(int)BinaryOperatorKind.ObjectNotEqual,
516(int)BinaryOperatorKind.StringNotEqual,
520(int)BinaryOperatorKind.IntGreaterThan,
521(int)BinaryOperatorKind.UIntGreaterThan,
522(int)BinaryOperatorKind.LongGreaterThan,
523(int)BinaryOperatorKind.ULongGreaterThan,
524(int)BinaryOperatorKind.NIntGreaterThan,
525(int)BinaryOperatorKind.NUIntGreaterThan,
526(int)BinaryOperatorKind.FloatGreaterThan,
527(int)BinaryOperatorKind.DoubleGreaterThan,
528(int)BinaryOperatorKind.DecimalGreaterThan,
529(int)BinaryOperatorKind.LiftedIntGreaterThan,
530(int)BinaryOperatorKind.LiftedUIntGreaterThan,
531(int)BinaryOperatorKind.LiftedLongGreaterThan,
532(int)BinaryOperatorKind.LiftedULongGreaterThan,
533(int)BinaryOperatorKind.LiftedNIntGreaterThan,
534(int)BinaryOperatorKind.LiftedNUIntGreaterThan,
535(int)BinaryOperatorKind.LiftedFloatGreaterThan,
536(int)BinaryOperatorKind.LiftedDoubleGreaterThan,
537(int)BinaryOperatorKind.LiftedDecimalGreaterThan,
541(int)BinaryOperatorKind.IntLessThan,
542(int)BinaryOperatorKind.UIntLessThan,
543(int)BinaryOperatorKind.LongLessThan,
544(int)BinaryOperatorKind.ULongLessThan,
545(int)BinaryOperatorKind.NIntLessThan,
546(int)BinaryOperatorKind.NUIntLessThan,
547(int)BinaryOperatorKind.FloatLessThan,
548(int)BinaryOperatorKind.DoubleLessThan,
549(int)BinaryOperatorKind.DecimalLessThan,
550(int)BinaryOperatorKind.LiftedIntLessThan,
551(int)BinaryOperatorKind.LiftedUIntLessThan,
552(int)BinaryOperatorKind.LiftedLongLessThan,
553(int)BinaryOperatorKind.LiftedULongLessThan,
554(int)BinaryOperatorKind.LiftedNIntLessThan,
555(int)BinaryOperatorKind.LiftedNUIntLessThan,
556(int)BinaryOperatorKind.LiftedFloatLessThan,
557(int)BinaryOperatorKind.LiftedDoubleLessThan,
558(int)BinaryOperatorKind.LiftedDecimalLessThan,
562(int)BinaryOperatorKind.IntGreaterThanOrEqual,
563(int)BinaryOperatorKind.UIntGreaterThanOrEqual,
564(int)BinaryOperatorKind.LongGreaterThanOrEqual,
565(int)BinaryOperatorKind.ULongGreaterThanOrEqual,
566(int)BinaryOperatorKind.NIntGreaterThanOrEqual,
567(int)BinaryOperatorKind.NUIntGreaterThanOrEqual,
568(int)BinaryOperatorKind.FloatGreaterThanOrEqual,
569(int)BinaryOperatorKind.DoubleGreaterThanOrEqual,
570(int)BinaryOperatorKind.DecimalGreaterThanOrEqual,
571(int)BinaryOperatorKind.LiftedIntGreaterThanOrEqual,
572(int)BinaryOperatorKind.LiftedUIntGreaterThanOrEqual,
573(int)BinaryOperatorKind.LiftedLongGreaterThanOrEqual,
574(int)BinaryOperatorKind.LiftedULongGreaterThanOrEqual,
575(int)BinaryOperatorKind.LiftedNIntGreaterThanOrEqual,
576(int)BinaryOperatorKind.LiftedNUIntGreaterThanOrEqual,
577(int)BinaryOperatorKind.LiftedFloatGreaterThanOrEqual,
578(int)BinaryOperatorKind.LiftedDoubleGreaterThanOrEqual,
579(int)BinaryOperatorKind.LiftedDecimalGreaterThanOrEqual,
583(int)BinaryOperatorKind.IntLessThanOrEqual,
584(int)BinaryOperatorKind.UIntLessThanOrEqual,
585(int)BinaryOperatorKind.LongLessThanOrEqual,
586(int)BinaryOperatorKind.ULongLessThanOrEqual,
587(int)BinaryOperatorKind.NIntLessThanOrEqual,
588(int)BinaryOperatorKind.NUIntLessThanOrEqual,
589(int)BinaryOperatorKind.FloatLessThanOrEqual,
590(int)BinaryOperatorKind.DoubleLessThanOrEqual,
591(int)BinaryOperatorKind.DecimalLessThanOrEqual,
592(int)BinaryOperatorKind.LiftedIntLessThanOrEqual,
593(int)BinaryOperatorKind.LiftedUIntLessThanOrEqual,
594(int)BinaryOperatorKind.LiftedLongLessThanOrEqual,
595(int)BinaryOperatorKind.LiftedULongLessThanOrEqual,
596(int)BinaryOperatorKind.LiftedNIntLessThanOrEqual,
597(int)BinaryOperatorKind.LiftedNUIntLessThanOrEqual,
598(int)BinaryOperatorKind.LiftedFloatLessThanOrEqual,
599(int)BinaryOperatorKind.LiftedDoubleLessThanOrEqual,
600(int)BinaryOperatorKind.LiftedDecimalLessThanOrEqual,
604(int)BinaryOperatorKind.IntAnd,
605(int)BinaryOperatorKind.UIntAnd,
606(int)BinaryOperatorKind.LongAnd,
607(int)BinaryOperatorKind.ULongAnd,
608(int)BinaryOperatorKind.NIntAnd,
609(int)BinaryOperatorKind.NUIntAnd,
610(int)BinaryOperatorKind.BoolAnd,
611(int)BinaryOperatorKind.LiftedIntAnd,
612(int)BinaryOperatorKind.LiftedUIntAnd,
613(int)BinaryOperatorKind.LiftedLongAnd,
614(int)BinaryOperatorKind.LiftedULongAnd,
615(int)BinaryOperatorKind.LiftedNIntAnd,
616(int)BinaryOperatorKind.LiftedNUIntAnd,
617(int)BinaryOperatorKind.LiftedBoolAnd,
621(int)BinaryOperatorKind.IntXor,
622(int)BinaryOperatorKind.UIntXor,
623(int)BinaryOperatorKind.LongXor,
624(int)BinaryOperatorKind.ULongXor,
625(int)BinaryOperatorKind.NIntXor,
626(int)BinaryOperatorKind.NUIntXor,
627(int)BinaryOperatorKind.BoolXor,
628(int)BinaryOperatorKind.LiftedIntXor,
629(int)BinaryOperatorKind.LiftedUIntXor,
630(int)BinaryOperatorKind.LiftedLongXor,
631(int)BinaryOperatorKind.LiftedULongXor,
632(int)BinaryOperatorKind.LiftedNIntXor,
633(int)BinaryOperatorKind.LiftedNUIntXor,
634(int)BinaryOperatorKind.LiftedBoolXor,
638(int)BinaryOperatorKind.IntOr,
639(int)BinaryOperatorKind.UIntOr,
640(int)BinaryOperatorKind.LongOr,
641(int)BinaryOperatorKind.ULongOr,
642(int)BinaryOperatorKind.NIntOr,
643(int)BinaryOperatorKind.NUIntOr,
644(int)BinaryOperatorKind.BoolOr,
645(int)BinaryOperatorKind.LiftedIntOr,
646(int)BinaryOperatorKind.LiftedUIntOr,
647(int)BinaryOperatorKind.LiftedLongOr,
648(int)BinaryOperatorKind.LiftedULongOr,
649(int)BinaryOperatorKind.LiftedNIntOr,
650(int)BinaryOperatorKind.LiftedNUIntOr,
651(int)BinaryOperatorKind.LiftedBoolOr,
655(int)BinaryOperatorKind.IntUnsignedRightShift,
656(int)BinaryOperatorKind.UIntUnsignedRightShift,
657(int)BinaryOperatorKind.LongUnsignedRightShift,
658(int)BinaryOperatorKind.ULongUnsignedRightShift,
659(int)BinaryOperatorKind.NIntUnsignedRightShift,
660(int)BinaryOperatorKind.NUIntUnsignedRightShift,
661(int)BinaryOperatorKind.LiftedIntUnsignedRightShift,
662(int)BinaryOperatorKind.LiftedUIntUnsignedRightShift,
663(int)BinaryOperatorKind.LiftedLongUnsignedRightShift,
664(int)BinaryOperatorKind.LiftedULongUnsignedRightShift,
665(int)BinaryOperatorKind.LiftedNIntUnsignedRightShift,
666(int)BinaryOperatorKind.LiftedNUIntUnsignedRightShift,
681case BinaryOperatorKind.NInt:
682case BinaryOperatorKind.NUInt:
696static readonlySpanOfByte => new BinaryOperatorSignature(BinaryOperatorKind.Utf8Addition, readonlySpanOfByte, readonlySpanOfByte, readonlySpanOfByte),
702internal BinaryOperatorSignature GetSignature(BinaryOperatorKind kind)
707case BinaryOperatorKind.Multiplication:
708case BinaryOperatorKind.Division:
709case BinaryOperatorKind.Subtraction:
710case BinaryOperatorKind.Remainder:
711case BinaryOperatorKind.And:
712case BinaryOperatorKind.Or:
713case BinaryOperatorKind.Xor:
715case BinaryOperatorKind.Addition:
717case BinaryOperatorKind.LeftShift:
718case BinaryOperatorKind.RightShift:
719case BinaryOperatorKind.UnsignedRightShift:
727case BinaryOperatorKind.Equal:
728case BinaryOperatorKind.NotEqual:
729case BinaryOperatorKind.GreaterThan:
730case BinaryOperatorKind.LessThan:
731case BinaryOperatorKind.GreaterThanOrEqual:
732case BinaryOperatorKind.LessThanOrEqual:
738private TypeSymbol LeftType(BinaryOperatorKind kind)
748case BinaryOperatorKind.Int: return _compilation.GetSpecialType(SpecialType.System_Int32);
749case BinaryOperatorKind.UInt: return _compilation.GetSpecialType(SpecialType.System_UInt32);
750case BinaryOperatorKind.Long: return _compilation.GetSpecialType(SpecialType.System_Int64);
751case BinaryOperatorKind.ULong: return _compilation.GetSpecialType(SpecialType.System_UInt64);
752case BinaryOperatorKind.NInt: return _compilation.CreateNativeIntegerTypeSymbol(signed: true);
753case BinaryOperatorKind.NUInt: return _compilation.CreateNativeIntegerTypeSymbol(signed: false);
754case BinaryOperatorKind.Float: return _compilation.GetSpecialType(SpecialType.System_Single);
755case BinaryOperatorKind.Double: return _compilation.GetSpecialType(SpecialType.System_Double);
756case BinaryOperatorKind.Decimal: return _compilation.GetSpecialType(SpecialType.System_Decimal);
757case BinaryOperatorKind.Bool: return _compilation.GetSpecialType(SpecialType.System_Boolean);
758case BinaryOperatorKind.ObjectAndString:
759case BinaryOperatorKind.Object:
761case BinaryOperatorKind.String:
762case BinaryOperatorKind.StringAndObject:
770private TypeSymbol RightType(BinaryOperatorKind kind)
780case BinaryOperatorKind.Int: return _compilation.GetSpecialType(SpecialType.System_Int32);
781case BinaryOperatorKind.UInt: return _compilation.GetSpecialType(SpecialType.System_UInt32);
782case BinaryOperatorKind.Long: return _compilation.GetSpecialType(SpecialType.System_Int64);
783case BinaryOperatorKind.ULong: return _compilation.GetSpecialType(SpecialType.System_UInt64);
784case BinaryOperatorKind.NInt: return _compilation.CreateNativeIntegerTypeSymbol(signed: true);
785case BinaryOperatorKind.NUInt: return _compilation.CreateNativeIntegerTypeSymbol(signed: false);
786case BinaryOperatorKind.Float: return _compilation.GetSpecialType(SpecialType.System_Single);
787case BinaryOperatorKind.Double: return _compilation.GetSpecialType(SpecialType.System_Double);
788case BinaryOperatorKind.Decimal: return _compilation.GetSpecialType(SpecialType.System_Decimal);
789case BinaryOperatorKind.Bool: return _compilation.GetSpecialType(SpecialType.System_Boolean);
790case BinaryOperatorKind.ObjectAndString:
791case BinaryOperatorKind.String:
793case BinaryOperatorKind.StringAndObject:
794case BinaryOperatorKind.Object:
802private TypeSymbol ReturnType(BinaryOperatorKind kind)
812case BinaryOperatorKind.Int: return _compilation.GetSpecialType(SpecialType.System_Int32);
813case BinaryOperatorKind.UInt: return _compilation.GetSpecialType(SpecialType.System_UInt32);
814case BinaryOperatorKind.Long: return _compilation.GetSpecialType(SpecialType.System_Int64);
815case BinaryOperatorKind.ULong: return _compilation.GetSpecialType(SpecialType.System_UInt64);
816case BinaryOperatorKind.NInt: return _compilation.CreateNativeIntegerTypeSymbol(signed: true);
817case BinaryOperatorKind.NUInt: return _compilation.CreateNativeIntegerTypeSymbol(signed: false);
818case BinaryOperatorKind.Float: return _compilation.GetSpecialType(SpecialType.System_Single);
819case BinaryOperatorKind.Double: return _compilation.GetSpecialType(SpecialType.System_Double);
820case BinaryOperatorKind.Decimal: return _compilation.GetSpecialType(SpecialType.System_Decimal);
821case BinaryOperatorKind.Bool: return _compilation.GetSpecialType(SpecialType.System_Boolean);
822case BinaryOperatorKind.Object: return _compilation.GetSpecialType(SpecialType.System_Object);
823case BinaryOperatorKind.ObjectAndString:
824case BinaryOperatorKind.StringAndObject:
825case BinaryOperatorKind.String:
833private TypeSymbol LiftedType(BinaryOperatorKind kind)
839BinaryOperatorKind.Int => _compilation.GetSpecialType(SpecialType.System_Int32),
840BinaryOperatorKind.UInt => _compilation.GetSpecialType(SpecialType.System_UInt32),
841BinaryOperatorKind.Long => _compilation.GetSpecialType(SpecialType.System_Int64),
842BinaryOperatorKind.ULong => _compilation.GetSpecialType(SpecialType.System_UInt64),
843BinaryOperatorKind.NInt => _compilation.CreateNativeIntegerTypeSymbol(signed: true),
844BinaryOperatorKind.NUInt => _compilation.CreateNativeIntegerTypeSymbol(signed: false),
845BinaryOperatorKind.Float => _compilation.GetSpecialType(SpecialType.System_Single),
846BinaryOperatorKind.Double => _compilation.GetSpecialType(SpecialType.System_Double),
847BinaryOperatorKind.Decimal => _compilation.GetSpecialType(SpecialType.System_Decimal),
848BinaryOperatorKind.Bool => _compilation.GetSpecialType(SpecialType.System_Boolean),
Compiler\MethodBodySynthesizer.Lowered.cs (11)
85F.Binary(BinaryOperatorKind.ObjectNotEqual, F.SpecialType(SpecialType.System_Boolean),
95F.Binary(BinaryOperatorKind.Multiplication, hashCode.Type,
96F.Binary(BinaryOperatorKind.Xor, hashCode.Type,
107F.Binary(BinaryOperatorKind.Addition, i.Type,
112F.Binary(BinaryOperatorKind.LessThan, F.SpecialType(SpecialType.System_Boolean),
182F.Binary(BinaryOperatorKind.Multiplication, hashCode.Type,
183F.Binary(BinaryOperatorKind.Xor, hashCode.Type,
196F.Binary(BinaryOperatorKind.Addition, i.Type,
201F.Binary(BinaryOperatorKind.LessThan, F.SpecialType(SpecialType.System_Boolean),
367currentHashValue = F.Binary(BinaryOperatorKind.IntMultiplication, system_Int32, currentHashValue, boundHashFactor);
370currentHashValue = F.Binary(BinaryOperatorKind.IntAddition,
Generated\BoundNodes.xml.Generated.cs (15)
1688public BoundBinaryOperator(SyntaxNode syntax, BinaryOperatorKind operatorKind, BoundBinaryOperator.UncommonData? data, LookupResultKind resultKind, BoundExpression left, BoundExpression right, TypeSymbol type, bool hasErrors = false)
1705public BinaryOperatorKind OperatorKind { get; }
1712public BoundBinaryOperator Update(BinaryOperatorKind operatorKind, BoundBinaryOperator.UncommonData? data, LookupResultKind resultKind, BoundExpression left, BoundExpression right, TypeSymbol type)
1726public BoundTupleBinaryOperator(SyntaxNode syntax, BoundExpression left, BoundExpression right, BinaryOperatorKind operatorKind, TupleBinaryOperatorInfo.Multiple operators, TypeSymbol type, bool hasErrors = false)
1744public BinaryOperatorKind OperatorKind { get; }
1750public BoundTupleBinaryOperator Update(BoundExpression left, BoundExpression right, BinaryOperatorKind operatorKind, TupleBinaryOperatorInfo.Multiple operators, TypeSymbol type)
1764public BoundUserDefinedConditionalLogicalOperator(SyntaxNode syntax, BinaryOperatorKind operatorKind, MethodSymbol logicalOperator, MethodSymbol trueOperator, MethodSymbol falseOperator, BoundValuePlaceholder? trueFalseOperandPlaceholder, BoundExpression? trueFalseOperandConversion, TypeSymbol? constrainedToTypeOpt, LookupResultKind resultKind, ImmutableArray<MethodSymbol> originalUserDefinedOperatorsOpt, BoundExpression left, BoundExpression right, TypeSymbol type, bool hasErrors = false)
1790public BinaryOperatorKind OperatorKind { get; }
1803public BoundUserDefinedConditionalLogicalOperator Update(BinaryOperatorKind operatorKind, MethodSymbol logicalOperator, MethodSymbol trueOperator, MethodSymbol falseOperator, BoundValuePlaceholder? trueFalseOperandPlaceholder, BoundExpression? trueFalseOperandConversion, TypeSymbol? constrainedToTypeOpt, LookupResultKind resultKind, ImmutableArray<MethodSymbol> originalUserDefinedOperatorsOpt, BoundExpression left, BoundExpression right, TypeSymbol type)
5403public BoundDagRelationalTest(SyntaxNode syntax, BinaryOperatorKind operatorKind, ConstantValue value, BoundDagTemp input, bool hasErrors = false)
5414public BinaryOperatorKind OperatorKind { get; }
5420public BoundDagRelationalTest Update(BinaryOperatorKind operatorKind, ConstantValue value, BoundDagTemp input)
8726public BoundRelationalPattern(SyntaxNode syntax, BinaryOperatorKind relation, BoundExpression value, ConstantValue constantValue, bool isUnionMatching, TypeSymbol inputType, TypeSymbol narrowedType, bool hasErrors = false)
8745public BinaryOperatorKind Relation { get; }
8753public BoundRelationalPattern Update(BinaryOperatorKind relation, BoundExpression value, ConstantValue constantValue, bool isUnionMatching, TypeSymbol inputType, TypeSymbol narrowedType)
Lowering\LocalRewriter\LocalRewriter.DecisionDagRewriter.cs (7)
644splitCases(ImmutableArray<(ConstantValue value, LabelSymbol label)> cases, BinaryOperatorKind op, ConstantValue value)
732_fac.Related(BinaryOperatorKind.LessThanOrEqual, x, y) ?
733(_fac.Related(BinaryOperatorKind.LessThanOrEqual, y, x) ? 0 : -1) :
821var lessThanOrEqualOperator = input.Type.SpecialType switch
823SpecialType.System_Single => BinaryOperatorKind.FloatLessThanOrEqual,
824SpecialType.System_Double => BinaryOperatorKind.DoubleLessThanOrEqual,
825SpecialType.System_Decimal => BinaryOperatorKind.DecimalLessThanOrEqual,
Lowering\LocalRewriter\LocalRewriter.DecisionDagRewriter.ValueDispatchNode.cs (12)
63/// For <see cref="BinaryOperatorKind.LessThan"/> and <see cref="BinaryOperatorKind.LessThanOrEqual"/>,
65/// is <see cref="Right"/>; for <see cref="BinaryOperatorKind.GreaterThan"/> and
66/// <see cref="BinaryOperatorKind.GreaterThanOrEqual"/> it is reversed.
67/// See <see cref="IsReversed(BinaryOperatorKind)"/> for where that is computed.
81public readonly BinaryOperatorKind Operator;
86private RelationalDispatch(SyntaxNode syntax, ConstantValue value, BinaryOperatorKind op, ValueDispatchNode left, ValueDispatchNode right) : base(syntax)
100private static bool IsReversed(BinaryOperatorKind op) => op.Operator() switch { BinaryOperatorKind.GreaterThan => true, BinaryOperatorKind.GreaterThanOrEqual => true, _ => false };
133public static ValueDispatchNode CreateBalanced(SyntaxNode syntax, ConstantValue value, BinaryOperatorKind op, ValueDispatchNode whenTrue, ValueDispatchNode whenFalse)
140private static ValueDispatchNode CreateBalancedCore(SyntaxNode syntax, ConstantValue value, BinaryOperatorKind op, ValueDispatchNode left, ValueDispatchNode right)
Lowering\LocalRewriter\LocalRewriter_BinaryOperator.cs (224)
72var operatorKind = node.OperatorKind;
89operatorKind.Operator() == BinaryOperatorKind.And ? node.FalseOperator : node.TrueOperator,
93var andOperatorCall = LowerUserDefinedBinaryOperator(syntax, operatorKind & ~BinaryOperatorKind.Logical, boundTemp, loweredRight, type, node.LogicalOperator, node.ConstrainedToTypeOpt);
123if (node.OperatorKind is BinaryOperatorKind.Utf8Addition)
145if (current.InterpolatedStringHandlerData is not null || current.OperatorKind is BinaryOperatorKind.Utf8Addition || IsBinaryStringConcatenation(current))
169Debug.Assert(node.OperatorKind == BinaryOperatorKind.StringConcatenation);
183BinaryOperatorKind operatorKind,
199BinaryOperatorKind operatorKind,
215case BinaryOperatorKind.ObjectAndStringConcatenation:
216case BinaryOperatorKind.StringAndObjectConcatenation:
217case BinaryOperatorKind.StringConcatenation:
219case BinaryOperatorKind.DelegateCombination:
221case BinaryOperatorKind.DelegateRemoval:
223case BinaryOperatorKind.DelegateEqual:
225case BinaryOperatorKind.DelegateNotEqual:
259case BinaryOperatorKind.NullableNullEqual:
260case BinaryOperatorKind.NullableNullNotEqual:
263case BinaryOperatorKind.ObjectAndStringConcatenation:
264case BinaryOperatorKind.StringAndObjectConcatenation:
265case BinaryOperatorKind.StringConcatenation:
268case BinaryOperatorKind.StringEqual:
271case BinaryOperatorKind.StringNotEqual:
274case BinaryOperatorKind.DelegateCombination:
277case BinaryOperatorKind.DelegateRemoval:
280case BinaryOperatorKind.DelegateEqual:
283case BinaryOperatorKind.DelegateNotEqual:
286case BinaryOperatorKind.LogicalBoolAnd:
293operatorKind &= ~BinaryOperatorKind.Logical;
298case BinaryOperatorKind.LogicalBoolOr:
305operatorKind &= ~BinaryOperatorKind.Logical;
310case BinaryOperatorKind.BoolAnd:
331case BinaryOperatorKind.BoolOr:
336case BinaryOperatorKind.BoolEqual:
350case BinaryOperatorKind.BoolNotEqual:
364case BinaryOperatorKind.BoolXor:
378case BinaryOperatorKind.IntLeftShift:
379case BinaryOperatorKind.UIntLeftShift:
380case BinaryOperatorKind.IntRightShift:
381case BinaryOperatorKind.UIntRightShift:
382case BinaryOperatorKind.IntUnsignedRightShift:
383case BinaryOperatorKind.UIntUnsignedRightShift:
386case BinaryOperatorKind.LongLeftShift:
387case BinaryOperatorKind.ULongLeftShift:
388case BinaryOperatorKind.LongRightShift:
389case BinaryOperatorKind.ULongRightShift:
390case BinaryOperatorKind.LongUnsignedRightShift:
391case BinaryOperatorKind.ULongUnsignedRightShift:
394case BinaryOperatorKind.NIntRightShift:
395case BinaryOperatorKind.NUIntRightShift:
396case BinaryOperatorKind.NIntUnsignedRightShift:
397case BinaryOperatorKind.NUIntUnsignedRightShift:
398case BinaryOperatorKind.NIntLeftShift:
399case BinaryOperatorKind.NUIntLeftShift:
402case BinaryOperatorKind.DecimalAddition:
403case BinaryOperatorKind.DecimalSubtraction:
404case BinaryOperatorKind.DecimalMultiplication:
405case BinaryOperatorKind.DecimalDivision:
406case BinaryOperatorKind.DecimalRemainder:
407case BinaryOperatorKind.DecimalEqual:
408case BinaryOperatorKind.DecimalNotEqual:
409case BinaryOperatorKind.DecimalLessThan:
410case BinaryOperatorKind.DecimalLessThanOrEqual:
411case BinaryOperatorKind.DecimalGreaterThan:
412case BinaryOperatorKind.DecimalGreaterThanOrEqual:
415case BinaryOperatorKind.PointerAndIntAddition:
416case BinaryOperatorKind.PointerAndUIntAddition:
417case BinaryOperatorKind.PointerAndLongAddition:
418case BinaryOperatorKind.PointerAndULongAddition:
419case BinaryOperatorKind.PointerAndIntSubtraction:
420case BinaryOperatorKind.PointerAndUIntSubtraction:
421case BinaryOperatorKind.PointerAndLongSubtraction:
422case BinaryOperatorKind.PointerAndULongSubtraction:
429case BinaryOperatorKind.IntAndPointerAddition:
430case BinaryOperatorKind.UIntAndPointerAddition:
431case BinaryOperatorKind.LongAndPointerAddition:
432case BinaryOperatorKind.ULongAndPointerAddition:
439case BinaryOperatorKind.PointerSubtraction:
442case BinaryOperatorKind.IntAddition:
443case BinaryOperatorKind.UIntAddition:
444case BinaryOperatorKind.LongAddition:
445case BinaryOperatorKind.ULongAddition:
456case BinaryOperatorKind.IntSubtraction:
457case BinaryOperatorKind.LongSubtraction:
458case BinaryOperatorKind.UIntSubtraction:
459case BinaryOperatorKind.ULongSubtraction:
466case BinaryOperatorKind.IntMultiplication:
467case BinaryOperatorKind.LongMultiplication:
468case BinaryOperatorKind.UIntMultiplication:
469case BinaryOperatorKind.ULongMultiplication:
488case BinaryOperatorKind.IntGreaterThan:
489case BinaryOperatorKind.IntLessThanOrEqual:
493var newOp = operatorKind == BinaryOperatorKind.IntGreaterThan ?
494BinaryOperatorKind.NotEqual :
495BinaryOperatorKind.Equal;
497operatorKind &= ~BinaryOperatorKind.OpMask;
503case BinaryOperatorKind.IntLessThan:
504case BinaryOperatorKind.IntGreaterThanOrEqual:
508var newOp = operatorKind == BinaryOperatorKind.IntLessThan ?
509BinaryOperatorKind.NotEqual :
510BinaryOperatorKind.Equal;
512operatorKind &= ~BinaryOperatorKind.OpMask;
518case BinaryOperatorKind.IntEqual:
519case BinaryOperatorKind.IntNotEqual:
531case BinaryOperatorKind.Utf8Addition:
545private BoundExpression RewriteLiftedBinaryOperator(SyntaxNode syntax, BinaryOperatorKind operatorKind, BoundExpression loweredLeft, BoundExpression loweredRight, TypeSymbol type, MethodSymbol? method, TypeSymbol? constrainedToTypeOpt)
553operatorKind != BinaryOperatorKind.LiftedBoolOr && operatorKind != BinaryOperatorKind.LiftedBoolAnd &&
574if (operatorKind.Operator() == BinaryOperatorKind.NotEqual ||
575operatorKind.Operator() == BinaryOperatorKind.Equal)
605BinaryOperatorKind operatorKind,
614Debug.Assert(operatorKind.Operator() == BinaryOperatorKind.And || operatorKind.Operator() == BinaryOperatorKind.Or);
625bool isAnd = operatorKind.Operator() == BinaryOperatorKind.And;
689result = _factory.Binary(BinaryOperatorKind.LogicalOr, boolean, leftTest, result);
733private BoundExpression MakeTruthTestForDynamicLogicalOperator(SyntaxNode syntax, BinaryOperatorKind operatorKind, BoundExpression loweredLeft, TypeSymbol boolean, MethodSymbol? leftTruthOperator, TypeSymbol? constrainedToTypeOpt, bool negative)
788BinaryOperatorKind operatorKind,
816BinaryOperatorKind kind,
835return MakeLiteral(syntax, ConstantValue.Create(kind.Operator() == BinaryOperatorKind.Equal), boolType);
858BinaryOperatorKind operatorKind = kind.Operator();
862BoundExpression result = MakeLiteral(syntax, ConstantValue.Create(operatorKind == BinaryOperatorKind.NotEqual), boolType);
889if (operatorKind == BinaryOperatorKind.Equal || operatorKind == BinaryOperatorKind.NotEqual)
892BoundExpression result = operatorKind == BinaryOperatorKind.Equal ?
899BoundExpression falseExpr = MakeBooleanConstant(syntax, operatorKind == BinaryOperatorKind.NotEqual);
956BinaryOperatorKind kind,
1019if (kind.Operator() is BinaryOperatorKind.Equal or BinaryOperatorKind.NotEqual)
1056BinaryOperatorKind leftOperator;
1057BinaryOperatorKind rightOperator;
1059BinaryOperatorKind operatorKind = kind.Operator();
1062case BinaryOperatorKind.Equal:
1063case BinaryOperatorKind.NotEqual:
1064leftOperator = BinaryOperatorKind.Equal;
1065rightOperator = BinaryOperatorKind.BoolEqual;
1069rightOperator = BinaryOperatorKind.BoolAnd;
1097operatorKind: BinaryOperatorKind.BoolAnd,
1106if (operatorKind == BinaryOperatorKind.NotEqual)
1146BinaryOperatorKind kind,
1230BinaryOperatorKind conditionOperator;
1231BinaryOperatorKind operatorKind = kind.Operator();
1234case BinaryOperatorKind.Equal:
1235case BinaryOperatorKind.NotEqual:
1236conditionOperator = BinaryOperatorKind.BoolEqual;
1239conditionOperator = BinaryOperatorKind.BoolAnd;
1265if (operatorKind == BinaryOperatorKind.Equal || operatorKind == BinaryOperatorKind.NotEqual)
1280rewrittenAlternative: MakeLiteral(syntax, ConstantValue.Create(operatorKind == BinaryOperatorKind.Equal), boolType),
1293BoundExpression alternative = MakeBooleanConstant(syntax, operatorKind == BinaryOperatorKind.NotEqual);
1314BinaryOperatorKind kind,
1354BinaryOperatorKind kind,
1423BinaryOperatorKind kind,
1477BoundExpression condition = MakeBinaryOperator(syntax, BinaryOperatorKind.BoolAnd, callX_HasValue, callY_HasValue, boolType, method: null, constrainedToTypeOpt: null);
1525BinaryOperatorKind kind,
1539if (kind == BinaryOperatorKind.LiftedBoolAnd || kind == BinaryOperatorKind.LiftedBoolOr)
1676BinaryOperatorKind kind,
1713BoundExpression newNullBool = MakeNewNullableBoolean(syntax, kind == BinaryOperatorKind.LiftedBoolOr);
1718rewrittenConsequence: kind == BinaryOperatorKind.LiftedBoolAnd ? nullBool : newNullBool,
1719rewrittenAlternative: kind == BinaryOperatorKind.LiftedBoolAnd ? newNullBool : nullBool,
1740BoundExpression consequence = kind == BinaryOperatorKind.LiftedBoolAnd ? nullBool : boundTemp;
1741BoundExpression alternative = kind == BinaryOperatorKind.LiftedBoolAnd ? boundTemp : nullBool;
1761BinaryOperatorKind kind,
1801BoundExpression newNullBool = MakeNewNullableBoolean(syntax, kind == BinaryOperatorKind.LiftedBoolOr);
1802BoundExpression consequence = kind == BinaryOperatorKind.LiftedBoolOr ? newNullBool : maybeNullTemp;
1803BoundExpression alternative = kind == BinaryOperatorKind.LiftedBoolOr ? maybeNullTemp : newNullBool;
1822BinaryOperatorKind kind,
1868operatorKind: BinaryOperatorKind.LogicalBoolOr,
1881operatorKind: BinaryOperatorKind.LogicalBoolOr,
1888BoundExpression consequence = kind == BinaryOperatorKind.LiftedBoolAnd ? boundTempY : boundTempX;
1889BoundExpression alternative = kind == BinaryOperatorKind.LiftedBoolAnd ? boundTempX : boundTempY;
1944BinaryOperatorKind kind,
1970return MakeLiteral(syntax, ConstantValue.Create(kind == BinaryOperatorKind.NullableNullEqual), returnType);
1985value: MakeBooleanConstant(syntax, kind == BinaryOperatorKind.NullableNullNotEqual),
2001var whenNull = kind == BinaryOperatorKind.NullableNullEqual ? MakeBooleanConstant(syntax, true) : null;
2007BoundExpression result = kind == BinaryOperatorKind.NullableNullNotEqual ?
2014private BoundExpression RewriteStringEquality(BoundBinaryOperator? oldNode, SyntaxNode syntax, BinaryOperatorKind operatorKind, BoundExpression loweredLeft, BoundExpression loweredRight, TypeSymbol type, SpecialMember member)
2027private BoundExpression RewriteDelegateOperation(SyntaxNode syntax, BinaryOperatorKind operatorKind, BoundExpression loweredLeft, BoundExpression loweredRight, TypeSymbol type, SpecialMember member)
2030if (operatorKind == BinaryOperatorKind.DelegateEqual || operatorKind == BinaryOperatorKind.DelegateNotEqual)
2038operatorKind = (operatorKind & (~BinaryOperatorKind.Delegate)) | BinaryOperatorKind.Object;
2057private BoundExpression RewriteDecimalBinaryOperation(SyntaxNode syntax, BoundExpression loweredLeft, BoundExpression loweredRight, BinaryOperatorKind operatorKind)
2066case BinaryOperatorKind.DecimalAddition: member = SpecialMember.System_Decimal__op_Addition; break;
2067case BinaryOperatorKind.DecimalSubtraction: member = SpecialMember.System_Decimal__op_Subtraction; break;
2068case BinaryOperatorKind.DecimalMultiplication: member = SpecialMember.System_Decimal__op_Multiply; break;
2069case BinaryOperatorKind.DecimalDivision: member = SpecialMember.System_Decimal__op_Division; break;
2070case BinaryOperatorKind.DecimalRemainder: member = SpecialMember.System_Decimal__op_Modulus; break;
2071case BinaryOperatorKind.DecimalEqual: member = SpecialMember.System_Decimal__op_Equality; break;
2072case BinaryOperatorKind.DecimalNotEqual: member = SpecialMember.System_Decimal__op_Inequality; break;
2073case BinaryOperatorKind.DecimalLessThan: member = SpecialMember.System_Decimal__op_LessThan; break;
2074case BinaryOperatorKind.DecimalLessThanOrEqual: member = SpecialMember.System_Decimal__op_LessThanOrEqual; break;
2075case BinaryOperatorKind.DecimalGreaterThan: member = SpecialMember.System_Decimal__op_GreaterThan; break;
2076case BinaryOperatorKind.DecimalGreaterThanOrEqual: member = SpecialMember.System_Decimal__op_GreaterThanOrEqual; break;
2088private BoundExpression MakeNullCheck(SyntaxNode syntax, BoundExpression rewrittenExpr, BinaryOperatorKind operatorKind)
2090Debug.Assert((operatorKind == BinaryOperatorKind.Equal) || (operatorKind == BinaryOperatorKind.NotEqual) ||
2091(operatorKind == BinaryOperatorKind.NullableNullEqual) || (operatorKind == BinaryOperatorKind.NullableNullNotEqual));
2109case BinaryOperatorKind.Equal:
2111case BinaryOperatorKind.NotEqual:
2127operatorKind |= BinaryOperatorKind.NullableNull;
2148BinaryOperatorKind operatorKind,
2172BinaryOperatorKind andOperatorKind = (operatorKind & ~BinaryOperatorKind.OpMask) | BinaryOperatorKind.And;
2210BinaryOperatorKind operatorKind,
2250BinaryOperatorKind andOperatorKind = (operatorKind & ~BinaryOperatorKind.OpMask) | BinaryOperatorKind.And;
2270BinaryOperatorKind kind,
2290Debug.Assert(kind.Operator() == BinaryOperatorKind.Addition);
2295kind = kind & ~BinaryOperatorKind.Checked;
2392BinaryOperatorKind multiplicationKind = BinaryOperatorKind.Multiplication;
2407multiplicationKind |= BinaryOperatorKind.Int; //i.e. signed
2420multiplicationKind |= BinaryOperatorKind.Long;
2432multiplicationKind |= BinaryOperatorKind.Long;
2444multiplicationKind |= BinaryOperatorKind.ULong;
2457multiplicationKind |= BinaryOperatorKind.Checked;
2466BinaryOperatorKind kind,
2484BinaryOperatorKind.Division,
2487kind & ~BinaryOperatorKind.Checked, // For some reason, dev10 never checks for subtraction overflow.
Lowering\LocalRewriter\LocalRewriter_CollectionExpression.cs (4)
938_factory.Binary(BinaryOperatorKind.Addition, indexTemp.Type, indexTemp, _factory.Literal(1)),
1146sideEffects.Add(new BoundAssignmentOperator(rewrittenSpreadOperand.Syntax, indexTemp, _factory.Binary(BinaryOperatorKind.Addition, indexTemp.Type, indexTemp, spreadLength), isRef: false, indexTemp.Type));
1309_factory.Binary(BinaryOperatorKind.Addition, indexTemp.Type, indexTemp, _factory.Literal(1)),
1485_factory.Binary(BinaryOperatorKind.Addition, sum.Type!, sum, value);
Lowering\LocalRewriter\LocalRewriter_FixedStatement.cs (5)
474BoundExpression notNullCheck = _factory.MakeNullCheck(factory.Syntax, factory.Local(localSymbol), BinaryOperatorKind.NotEqual);
487BoundExpression addition = factory.Binary(BinaryOperatorKind.PointerAndIntAddition, localType, factory.Local(localSymbol), helperCall);
528BoundExpression notNullCheck = _factory.MakeNullCheck(factory.Syntax, arrayTempInit, BinaryOperatorKind.NotEqual);
551BoundExpression lengthCheck = factory.Binary(BinaryOperatorKind.IntNotEqual, factory.SpecialType(SpecialType.System_Boolean), lengthCall, factory.Literal(0));
554BoundExpression condition = factory.Binary(BinaryOperatorKind.LogicalBoolAnd, factory.SpecialType(SpecialType.System_Boolean), notNullCheck, lengthCheck);
Lowering\LocalRewriter\LocalRewriter_TupleBinaryOperator.cs (14)
252ArrayBuilder<LocalSymbol> temps, BinaryOperatorKind operatorKind)
264return new BoundLiteral(left.Syntax, ConstantValue.Create(nullnull.Kind == BinaryOperatorKind.Equal), boolType);
272TypeSymbol boolType, ArrayBuilder<LocalSymbol> temps, BinaryOperatorKind operatorKind)
322bool boolValue = operatorKind == BinaryOperatorKind.Equal; // true/false
347_factory.Binary(BinaryOperatorKind.Equal, boolType, leftHasValue, rightHasValue),
493ArrayBuilder<LocalSymbol> temps, BinaryOperatorKind operatorKind)
509var logicalOperator = operatorKind == BinaryOperatorKind.Equal ? BinaryOperatorKind.LogicalBoolAnd : BinaryOperatorKind.LogicalBoolOr;
549BoundExpression left, BoundExpression right, TypeSymbol boolType, BinaryOperatorKind operatorKind)
563if (operatorKind == BinaryOperatorKind.Equal)
576return new BoundLiteral(left.Syntax, ConstantValue.Create(operatorKind == BinaryOperatorKind.Equal), boolType);
593if (operatorKind == BinaryOperatorKind.Equal)
Lowering\SyntheticBoundNodeFactory.cs (26)
648public BoundBinaryOperator Binary(BinaryOperatorKind kind, TypeSymbol type, BoundExpression left, BoundExpression right)
671return Binary(BinaryOperatorKind.LogicalBoolAnd, SpecialType(Microsoft.CodeAnalysis.SpecialType.System_Boolean), left, right);
678return Binary(BinaryOperatorKind.LogicalBoolOr, SpecialType(Microsoft.CodeAnalysis.SpecialType.System_Boolean), left, right);
683return Binary(BinaryOperatorKind.IntEqual, SpecialType(Microsoft.CodeAnalysis.SpecialType.System_Boolean), left, right);
688return Binary(BinaryOperatorKind.ObjectEqual, SpecialType(Microsoft.CodeAnalysis.SpecialType.System_Boolean), left, right);
714return Binary(BinaryOperatorKind.ObjectNotEqual, SpecialType(Microsoft.CodeAnalysis.SpecialType.System_Boolean), left, right);
719return Binary(BinaryOperatorKind.IntNotEqual, SpecialType(Microsoft.CodeAnalysis.SpecialType.System_Boolean), left, right);
724return Binary(BinaryOperatorKind.IntLessThan, SpecialType(Microsoft.CodeAnalysis.SpecialType.System_Boolean), left, right);
729return Binary(BinaryOperatorKind.IntGreaterThanOrEqual, SpecialType(CodeAnalysis.SpecialType.System_Boolean), left, right);
734return Binary(BinaryOperatorKind.IntSubtraction, SpecialType(CodeAnalysis.SpecialType.System_Int32), left, right);
739return Binary(BinaryOperatorKind.IntMultiplication, SpecialType(CodeAnalysis.SpecialType.System_Int32), left, right);
1760internal BoundExpression MakeNullCheck(SyntaxNode syntax, BoundExpression rewrittenExpr, BinaryOperatorKind operatorKind)
1762Debug.Assert((operatorKind == BinaryOperatorKind.Equal) || (operatorKind == BinaryOperatorKind.NotEqual) ||
1763(operatorKind == BinaryOperatorKind.NullableNullEqual) || (operatorKind == BinaryOperatorKind.NullableNullNotEqual));
1781case BinaryOperatorKind.Equal:
1783case BinaryOperatorKind.NotEqual:
1799operatorKind |= BinaryOperatorKind.NullableNull;
1802if (operatorKind == BinaryOperatorKind.NullableNullEqual || operatorKind == BinaryOperatorKind.NullableNullNotEqual)
1824BinaryOperatorKind kind,
1850return Literal(kind == BinaryOperatorKind.NullableNullEqual);
1865value: Literal(kind == BinaryOperatorKind.NullableNullNotEqual),
1881var whenNull = kind == BinaryOperatorKind.NullableNullEqual ? Literal(true) : null;
1887BoundExpression result = kind == BinaryOperatorKind.NullableNullNotEqual ?
Utilities\IValueSet.cs (13)
38/// are <see cref="BinaryOperatorKind.Equal"/> for all supported types, and for numeric types we also support
39/// <see cref="BinaryOperatorKind.LessThan"/>, <see cref="BinaryOperatorKind.LessThanOrEqual"/>, <see cref="BinaryOperatorKind.GreaterThan"/>, and
40/// <see cref="BinaryOperatorKind.GreaterThanOrEqual"/>.
42bool Any(BinaryOperatorKind relation, ConstantValue value);
46/// Because of that all four combinations of results from <see cref="Any(BinaryOperatorKind, ConstantValue)"/> and <see cref="All(BinaryOperatorKind, ConstantValue)"/>
51bool All(BinaryOperatorKind relation, ConstantValue value);
88bool Any(BinaryOperatorKind relation, T value);
92/// Because of that all four combinations of results from <see cref="Any(BinaryOperatorKind, T)"/> and <see cref="All(BinaryOperatorKind, T)"/>
97bool All(BinaryOperatorKind relation, T value);