fix and text bitwise ops (#322)

Author: kevmal

src/ProvidedTypes.fs

@@ -14520,7 +14520,7 @@ namespace ProviderImplementation.ProvidedTypes
                 | Int32 | UInt32 
                 | Int64 | UInt64 
                 | Int16 | UInt16 
-                | SByte | Byte -> ilg.Emit(I_and)
+                | SByte | Byte -> ilg.Emit(I_or)
                 | StaticMethod "op_Or" [|t1; t1|] m -> 
                     ilg.Emit(I_call(Normalcall, transMeth m, None))
                 | _ -> failwithf "Operator (|||) not supported for type %s" t1.Name
@@ -14532,7 +14532,7 @@ namespace ProviderImplementation.ProvidedTypes
                 | Int32 | UInt32 
                 | Int64 | UInt64 
                 | Int16 | UInt16 
-                | SByte | Byte -> ilg.Emit(I_and)
+                | SByte | Byte -> ilg.Emit(I_xor)
                 | StaticMethod "op_Xor" [|t1; t1|] m -> 
                     ilg.Emit(I_call(Normalcall, transMeth m, None))
                 | _ -> failwithf "Operator (^^^) not supported for type %s" t1.Name
@@ -14543,7 +14543,7 @@ namespace ProviderImplementation.ProvidedTypes
                 | Int32 | UInt32 
                 | Int64 | UInt64 
                 | Int16 | UInt16 
-                | SByte | Byte -> ilg.Emit(I_and)
+                | SByte | Byte -> ilg.Emit(I_not)
                 | StaticMethod "op_Not" [|t1; t1|] m -> 
                     ilg.Emit(I_call(Normalcall, transMeth m, None))
                 | _ -> failwithf "Operator (~~~) not supported for type %s" t1.Name

tests/GeneratedOpTests.fs

@@ -1089,4 +1089,65 @@ let ``min execute correctly``() =
                     (mn,a)
                 )
         ]
+
+
+[<Fact>]
+let ``bitwise and execute correctly``() =
+    testProvidedAssembly 
+        [
+        
+            checkExpr <@ 123441 &&& 4125211 @>
+            checkExpr <@ 123441L &&& 4125211L @>
+            checkExpr <@ 1234s &&& 4125s @>
+            checkExpr <@ 12y &&& 41y @>
+            checkExpr <@ 123441u &&& 4125211u @>
+            checkExpr <@ 123441UL &&& 4125211UL @>
+            checkExpr <@ 1234us &&& 4125us @>
+            checkExpr <@ 12uy &&& 41uy @>
+        ]
+        
+[<Fact>]
+let ``bitwise or execute correctly``() =
+    testProvidedAssembly 
+        [
+        
+            checkExpr <@ 123441 ||| 4125211 @>
+            checkExpr <@ 123441L ||| 4125211L @>
+            checkExpr <@ 1234s ||| 4125s @>
+            checkExpr <@ 12y ||| 41y @>
+            checkExpr <@ 123441u ||| 4125211u @>
+            checkExpr <@ 123441UL ||| 4125211UL @>
+            checkExpr <@ 1234us ||| 4125us @>
+            checkExpr <@ 12uy ||| 41uy @>
+        ]
+
+[<Fact>]
+let ``bitwise xor execute correctly``() =
+   testProvidedAssembly 
+       [
+       
+           checkExpr <@ 123441 ^^^ 4125211 @>
+           checkExpr <@ 123441L ^^^ 4125211L @>
+           checkExpr <@ 1234s ^^^ 4125s @>
+           checkExpr <@ 12y ^^^ 41y @>
+           checkExpr <@ 123441u ^^^ 4125211u @>
+           checkExpr <@ 123441UL ^^^ 4125211UL @>
+           checkExpr <@ 1234us ^^^ 4125us @>
+           checkExpr <@ 12uy ^^^ 41uy @>
+       ]
+
+[<Fact>]
+let ``bitwise not execute correctly``() =
+   testProvidedAssembly 
+       [
+       
+           checkExpr <@ ~~~123441 @>
+           checkExpr <@ ~~~123441L @>
+           checkExpr <@ ~~~1234s @>
+           checkExpr <@ ~~~12y @>
+           checkExpr <@ ~~~123441u @>
+           checkExpr <@ ~~~123441UL @>
+           checkExpr <@ ~~~1234us @>
+           checkExpr <@ ~~~12uy @>
+       ]
 #endif