Query: incorrect results for a very complex predicate with bitwise operations

[maumar]

           // 81 results expected
            var expected = (from e0 in ExpectedData.OperatorEntitiesLong
                            from e1 in ExpectedData.OperatorEntitiesLong
                            from e4 in ExpectedData.OperatorEntitiesLong
                            from e5 in ExpectedData.OperatorEntitiesLong
                            where ((((e1.Value % 2) / e0.Value) & (((e5.Value | e4.Value) - e0.Value) - (e4.Value * e4.Value))) >= (((e1.Value / ~(e5.Value)) % (long)((1 + 1))) % (~(e0.Value) + 1)))
                            select new { Value0 = e0.Value, Value1 = e1.Value, Value4 = e4.Value, Value5 = e5.Value }).ToList();

           // 2 results 
            var actual = (from e0 in context.Set<OperatorEntityLong>()
                            from e1 in context.Set<OperatorEntityLong>()
                            from e4 in context.Set<OperatorEntityLong>()
                            from e5 in context.Set<OperatorEntityLong>()
                            where ((((e1.Value % 2) / e0.Value) & (((e5.Value | e4.Value) - e0.Value) - (e4.Value * e4.Value))) >= (((e1.Value / ~(e5.Value)) % (long)((1 + 1))) % (~(e0.Value) + 1)))
                            select new { Value0 = e0.Value, Value1 = e1.Value, Value4 = e4.Value, Value5 = e5.Value }).ToList();

sql generated:

SELECT [o].[Value] AS [Value0], [o0].[Value] AS [Value1], [o1].[Value] AS [Value4], [o2].[Value] AS [Value5]
FROM [OperatorEntityLong] AS [o]
CROSS JOIN [OperatorEntityLong] AS [o0]
CROSS JOIN [OperatorEntityLong] AS [o1]
CROSS JOIN [OperatorEntityLong] AS [o2]
WHERE ([o0].[Value] % CAST(2 AS bigint)) / [o].[Value] & (([o2].[Value] | [o1].[Value]) - [o].[Value]) - [o1].[Value] * [o1].[Value] >= (([o0].[Value] / ~[o2].[Value]) % CAST(2 AS bigint)) % (~[o].[Value] + CAST(1 AS bigint))

[maumar]

correct results are returned when we add parens around everything like so:

SELECT [o].[Value] AS [Value0], [o0].[Value] AS [Value1], [o1].[Value] AS [Value4], [o2].[Value] AS [Value5]
FROM [OperatorEntityLong] AS [o]
CROSS JOIN [OperatorEntityLong] AS [o0]
CROSS JOIN [OperatorEntityLong] AS [o1]
CROSS JOIN [OperatorEntityLong] AS [o2]
--WHERE ([o0].[Value] % CAST(2 AS bigint)) / [o].[Value] & (([o2].[Value] | [o1].[Value]) - [o].[Value]) - [o1].[Value] * [o1].[Value] >= (([o0].[Value] / ~[o2].[Value]) % CAST(2 AS bigint)) % (~[o].[Value] + CAST(1 AS bigint))
WHERE (((([o0].[Value] % CAST(2 AS bigint)) / [o].[Value]) & ((([o2].[Value] | [o1].[Value]) - [o].[Value]) - ([o1].[Value] * [o1].[Value]))) >= ((([o0].[Value] / ~([o2].[Value])) % ((CAST(2 AS bigint)))) % (~([o].[Value]) + CAST(1 AS bigint))))

[maumar]

found simpler predicate:

(((((e1.Value & (e0.Value + e0.Value)) & e0.Value) / 1) > (e1.Value & (int)((8 + 2)))) && e2.Value)

sql we generate:

SELECT [o].[Id], [o].[Value], [o0].[Id], [o0].[Value], [o1].[Id], [o1].[Value]
FROM [OperatorEntityInt] AS [o]
CROSS JOIN [OperatorEntityInt] AS [o0]
CROSS JOIN [OperatorEntityBool] AS [o1]
WHERE ([o0].[Value] & [o].[Value] + [o].[Value] & [o].[Value]) / 1 > [o0].[Value] & 10 AND [o1].[Value] = CAST(1 AS bit)
ORDER BY [o].[Id], [o0].[Id], [o1].[Id]

sql that produces correct results:

SELECT [o].[Id], [o].[Value], [o0].[Id], [o0].[Value], [o1].[Id], [o1].[Value]
FROM [OperatorEntityInt] AS [o]
CROSS JOIN [OperatorEntityInt] AS [o0]
CROSS JOIN [OperatorEntityBool] AS [o1]
--WHERE ([o0].[Value] & [o].[Value] + [o].[Value] & [o].[Value]) / 1 > [o0].[Value] & 10 AND [o1].[Value] = CAST(1 AS bit)
WHERE ((((([o0].[Value] & ([o].[Value] + [o].[Value])) & [o].[Value]) / 1) > ([o0].[Value] & ((10)))) AND [o1].[Value] = CAST(1 as bit))
ORDER BY [o].[Id], [o0].[Id], [o1].[Id]

[maumar]

related: #30181