// Metadata version: v4.0.30319 .assembly extern mscorlib { .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) // .z\V.4.. .ver 4:0:0:0 } .assembly LiftedOperators.opt { .custom instance void [mscorlib]System.Runtime.CompilerServices.CompilationRelaxationsAttribute::.ctor(int32) = ( 01 00 08 00 00 00 00 00 ) .custom instance void [mscorlib]System.Runtime.CompilerServices.RuntimeCompatibilityAttribute::.ctor() = ( 01 00 01 00 54 02 16 57 72 61 70 4E 6F 6E 45 78 // ....T..WrapNonEx 63 65 70 74 69 6F 6E 54 68 72 6F 77 73 01 ) // ceptionThrows. .permissionset reqmin = {[mscorlib]System.Security.Permissions.SecurityPermissionAttribute = {property bool 'SkipVerification' = bool(true)}} .hash algorithm 0x00008004 .ver 0:0:0:0 } .module LiftedOperators.opt.dll .custom instance void [mscorlib]System.Security.UnverifiableCodeAttribute::.ctor() = ( 01 00 00 00 ) .imagebase 0x10000000 .file alignment 0x00000200 .stackreserve 0x00100000 .subsystem 0x0003 // WINDOWS_CUI .corflags 0x00000001 // ILONLY // =============== CLASS MEMBERS DECLARATION =================== .class public abstract auto ansi sealed beforefieldinit ICSharpCode.Decompiler.Tests.TestCases.Pretty.LiftedOperators extends [mscorlib]System.Object { .method public hidebysig static void BoolBasic(valuetype [mscorlib]System.Nullable`1 a, valuetype [mscorlib]System.Nullable`1 b) cil managed { // Code size 96 (0x60) .maxstack 2 .locals init (valuetype [mscorlib]System.Nullable`1 V_0, valuetype [mscorlib]System.Nullable`1 V_1, valuetype [mscorlib]System.Nullable`1 V_2, valuetype [mscorlib]System.Nullable`1 V_3) IL_0000: ldarg.0 IL_0001: stloc.0 IL_0002: ldarg.1 IL_0003: stloc.1 IL_0004: ldloca.s V_0 IL_0006: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_000b: ldloca.s V_1 IL_000d: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0012: bne.un.s IL_0026 IL_0014: ldloca.s V_0 IL_0016: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_001b: ldloca.s V_1 IL_001d: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0022: ceq IL_0024: br.s IL_0027 IL_0026: ldc.i4.0 IL_0027: brfalse.s IL_002e IL_0029: call void [mscorlib]System.Console::WriteLine() IL_002e: ldarg.0 IL_002f: stloc.2 IL_0030: ldarg.1 IL_0031: stloc.3 IL_0032: ldloca.s V_2 IL_0034: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0039: ldloca.s V_3 IL_003b: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0040: bne.un.s IL_0057 IL_0042: ldloca.s V_2 IL_0044: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0049: ldloca.s V_3 IL_004b: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0050: ceq IL_0052: ldc.i4.0 IL_0053: ceq IL_0055: br.s IL_0058 IL_0057: ldc.i4.1 IL_0058: brfalse.s IL_005f IL_005a: call void [mscorlib]System.Console::WriteLine() IL_005f: ret } // end of method LiftedOperators::BoolBasic .method public hidebysig static void BoolComplex(valuetype [mscorlib]System.Nullable`1 a, class [mscorlib]System.Func`1 x) cil managed { // Code size 157 (0x9d) .maxstack 2 .locals init (valuetype [mscorlib]System.Nullable`1 V_0, bool V_1, valuetype [mscorlib]System.Nullable`1 V_2, bool V_3, bool V_4, valuetype [mscorlib]System.Nullable`1 V_5, bool V_6, valuetype [mscorlib]System.Nullable`1 V_7) IL_0000: ldarg.0 IL_0001: stloc.0 IL_0002: ldarg.1 IL_0003: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_0008: stloc.1 IL_0009: ldloca.s V_0 IL_000b: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0010: ldloc.1 IL_0011: bne.un.s IL_001c IL_0013: ldloca.s V_0 IL_0015: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_001a: br.s IL_001d IL_001c: ldc.i4.0 IL_001d: brfalse.s IL_0024 IL_001f: call void [mscorlib]System.Console::WriteLine() IL_0024: ldarg.0 IL_0025: stloc.2 IL_0026: ldarg.1 IL_0027: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_002c: stloc.3 IL_002d: ldloca.s V_2 IL_002f: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0034: ldloc.3 IL_0035: bne.un.s IL_0043 IL_0037: ldloca.s V_2 IL_0039: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_003e: ldc.i4.0 IL_003f: ceq IL_0041: br.s IL_0044 IL_0043: ldc.i4.1 IL_0044: brfalse.s IL_004b IL_0046: call void [mscorlib]System.Console::WriteLine() IL_004b: ldarg.1 IL_004c: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_0051: stloc.s V_4 IL_0053: ldarg.0 IL_0054: stloc.s V_5 IL_0056: ldloc.s V_4 IL_0058: ldloca.s V_5 IL_005a: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_005f: bne.un.s IL_006a IL_0061: ldloca.s V_5 IL_0063: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0068: br.s IL_006b IL_006a: ldc.i4.0 IL_006b: brfalse.s IL_0072 IL_006d: call void [mscorlib]System.Console::WriteLine() IL_0072: ldarg.1 IL_0073: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_0078: stloc.s V_6 IL_007a: ldarg.0 IL_007b: stloc.s V_7 IL_007d: ldloc.s V_6 IL_007f: ldloca.s V_7 IL_0081: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0086: bne.un.s IL_0094 IL_0088: ldloca.s V_7 IL_008a: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_008f: ldc.i4.0 IL_0090: ceq IL_0092: br.s IL_0095 IL_0094: ldc.i4.1 IL_0095: brfalse.s IL_009c IL_0097: call void [mscorlib]System.Console::WriteLine() IL_009c: ret } // end of method LiftedOperators::BoolComplex .method public hidebysig static void BoolConst(valuetype [mscorlib]System.Nullable`1 a) cil managed { // Code size 177 (0xb1) .maxstack 2 .locals init (valuetype [mscorlib]System.Nullable`1 V_0, valuetype [mscorlib]System.Nullable`1 V_1, valuetype [mscorlib]System.Nullable`1 V_2, valuetype [mscorlib]System.Nullable`1 V_3, valuetype [mscorlib]System.Nullable`1 V_4, valuetype [mscorlib]System.Nullable`1 V_5) IL_0000: ldarg.0 IL_0001: stloc.0 IL_0002: ldloca.s V_0 IL_0004: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0009: brfalse.s IL_0014 IL_000b: ldloca.s V_0 IL_000d: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0012: br.s IL_0015 IL_0014: ldc.i4.0 IL_0015: brfalse.s IL_001c IL_0017: call void [mscorlib]System.Console::WriteLine() IL_001c: ldarg.0 IL_001d: stloc.1 IL_001e: ldloca.s V_1 IL_0020: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0025: brfalse.s IL_0033 IL_0027: ldloca.s V_1 IL_0029: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_002e: ldc.i4.0 IL_002f: ceq IL_0031: br.s IL_0034 IL_0033: ldc.i4.1 IL_0034: brfalse.s IL_003b IL_0036: call void [mscorlib]System.Console::WriteLine() IL_003b: ldarg.0 IL_003c: stloc.2 IL_003d: ldloca.s V_2 IL_003f: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0044: brtrue.s IL_004f IL_0046: ldloca.s V_2 IL_0048: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_004d: br.s IL_0050 IL_004f: ldc.i4.0 IL_0050: brfalse.s IL_0057 IL_0052: call void [mscorlib]System.Console::WriteLine() IL_0057: ldarg.0 IL_0058: stloc.3 IL_0059: ldloca.s V_3 IL_005b: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0060: brtrue.s IL_006e IL_0062: ldloca.s V_3 IL_0064: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0069: ldc.i4.0 IL_006a: ceq IL_006c: br.s IL_006f IL_006e: ldc.i4.1 IL_006f: brfalse.s IL_0076 IL_0071: call void [mscorlib]System.Console::WriteLine() IL_0076: ldarg.0 IL_0077: stloc.s V_4 IL_0079: ldloca.s V_4 IL_007b: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0080: brtrue.s IL_0085 IL_0082: ldc.i4.1 IL_0083: br.s IL_008c IL_0085: ldloca.s V_4 IL_0087: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_008c: brfalse.s IL_0093 IL_008e: call void [mscorlib]System.Console::WriteLine() IL_0093: ldarg.0 IL_0094: stloc.s V_5 IL_0096: ldloca.s V_5 IL_0098: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_009d: brtrue.s IL_00a2 IL_009f: ldc.i4.0 IL_00a0: br.s IL_00a9 IL_00a2: ldloca.s V_5 IL_00a4: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_00a9: brfalse.s IL_00b0 IL_00ab: call void [mscorlib]System.Console::WriteLine() IL_00b0: ret } // end of method LiftedOperators::BoolConst .method public hidebysig static void BoolValueBasic(valuetype [mscorlib]System.Nullable`1 a, valuetype [mscorlib]System.Nullable`1 b) cil managed { // Code size 480 (0x1e0) .maxstack 2 .locals init (valuetype [mscorlib]System.Nullable`1 V_0, valuetype [mscorlib]System.Nullable`1 V_1, valuetype [mscorlib]System.Nullable`1 V_2, valuetype [mscorlib]System.Nullable`1 V_3, valuetype [mscorlib]System.Nullable`1 V_4, valuetype [mscorlib]System.Nullable`1 V_5, valuetype [mscorlib]System.Nullable`1 V_6, valuetype [mscorlib]System.Nullable`1 V_7, valuetype [mscorlib]System.Nullable`1 V_8, valuetype [mscorlib]System.Nullable`1 V_9, valuetype [mscorlib]System.Nullable`1 V_10, valuetype [mscorlib]System.Nullable`1 V_11, valuetype [mscorlib]System.Nullable`1 V_12, valuetype [mscorlib]System.Nullable`1 V_13, valuetype [mscorlib]System.Nullable`1 V_14, valuetype [mscorlib]System.Nullable`1 V_15, valuetype [mscorlib]System.Nullable`1 V_16, valuetype [mscorlib]System.Nullable`1 V_17, valuetype [mscorlib]System.Nullable`1 V_18, valuetype [mscorlib]System.Nullable`1 V_19, valuetype [mscorlib]System.Nullable`1 V_20) IL_0000: ldarg.0 IL_0001: stloc.0 IL_0002: ldarg.1 IL_0003: stloc.1 IL_0004: ldloca.s V_0 IL_0006: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_000b: ldloca.s V_1 IL_000d: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0012: bne.un.s IL_0026 IL_0014: ldloca.s V_0 IL_0016: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_001b: ldloca.s V_1 IL_001d: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0022: ceq IL_0024: br.s IL_0027 IL_0026: ldc.i4.0 IL_0027: call void [mscorlib]System.Console::WriteLine(bool) IL_002c: ldarg.0 IL_002d: stloc.2 IL_002e: ldarg.1 IL_002f: stloc.3 IL_0030: ldloca.s V_2 IL_0032: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0037: ldloca.s V_3 IL_0039: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_003e: bne.un.s IL_0055 IL_0040: ldloca.s V_2 IL_0042: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0047: ldloca.s V_3 IL_0049: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_004e: ceq IL_0050: ldc.i4.0 IL_0051: ceq IL_0053: br.s IL_0056 IL_0055: ldc.i4.1 IL_0056: call void [mscorlib]System.Console::WriteLine(bool) IL_005b: ldarg.0 IL_005c: stloc.s V_4 IL_005e: ldarg.1 IL_005f: stloc.s V_5 IL_0061: ldloca.s V_4 IL_0063: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0068: brtrue.s IL_0080 IL_006a: ldloca.s V_5 IL_006c: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0071: brtrue.s IL_007c IL_0073: ldloca.s V_4 IL_0075: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_007a: brfalse.s IL_0080 IL_007c: ldloc.s V_4 IL_007e: br.s IL_0082 IL_0080: ldloc.s V_5 IL_0082: box valuetype [mscorlib]System.Nullable`1 IL_0087: call void [mscorlib]System.Console::WriteLine(object) IL_008c: ldarg.0 IL_008d: stloc.s V_6 IL_008f: ldarg.1 IL_0090: stloc.s V_7 IL_0092: ldloca.s V_6 IL_0094: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0099: brtrue.s IL_00b1 IL_009b: ldloca.s V_7 IL_009d: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_00a2: brtrue.s IL_00ad IL_00a4: ldloca.s V_6 IL_00a6: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_00ab: brfalse.s IL_00b1 IL_00ad: ldloc.s V_7 IL_00af: br.s IL_00b3 IL_00b1: ldloc.s V_6 IL_00b3: box valuetype [mscorlib]System.Nullable`1 IL_00b8: call void [mscorlib]System.Console::WriteLine(object) IL_00bd: ldarg.0 IL_00be: stloc.s V_8 IL_00c0: ldarg.1 IL_00c1: stloc.s V_9 IL_00c3: ldloca.s V_8 IL_00c5: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_00ca: ldloca.s V_9 IL_00cc: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_00d1: and IL_00d2: brtrue.s IL_00e0 IL_00d4: ldloca.s V_10 IL_00d6: initobj valuetype [mscorlib]System.Nullable`1 IL_00dc: ldloc.s V_10 IL_00de: br.s IL_00f4 IL_00e0: ldloca.s V_8 IL_00e2: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_00e7: ldloca.s V_9 IL_00e9: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_00ee: xor IL_00ef: newobj instance void valuetype [mscorlib]System.Nullable`1::.ctor(!0) IL_00f4: box valuetype [mscorlib]System.Nullable`1 IL_00f9: call void [mscorlib]System.Console::WriteLine(object) IL_00fe: ldarg.0 IL_00ff: stloc.s V_11 IL_0101: ldloca.s V_11 IL_0103: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0108: brtrue.s IL_010d IL_010a: ldarg.1 IL_010b: br.s IL_0119 IL_010d: ldloca.s V_11 IL_010f: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0114: newobj instance void valuetype [mscorlib]System.Nullable`1::.ctor(!0) IL_0119: box valuetype [mscorlib]System.Nullable`1 IL_011e: call void [mscorlib]System.Console::WriteLine(object) IL_0123: ldarg.0 IL_0124: stloc.s V_12 IL_0126: ldloca.s V_12 IL_0128: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_012d: brtrue.s IL_013b IL_012f: ldloca.s V_13 IL_0131: initobj valuetype [mscorlib]System.Nullable`1 IL_0137: ldloc.s V_13 IL_0139: br.s IL_014a IL_013b: ldloca.s V_12 IL_013d: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0142: ldc.i4.0 IL_0143: ceq IL_0145: newobj instance void valuetype [mscorlib]System.Nullable`1::.ctor(!0) IL_014a: box valuetype [mscorlib]System.Nullable`1 IL_014f: call void [mscorlib]System.Console::WriteLine(object) IL_0154: ldarg.0 IL_0155: stloc.s V_14 IL_0157: ldarg.1 IL_0158: stloc.s V_15 IL_015a: ldloca.s V_14 IL_015c: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0161: brtrue.s IL_0179 IL_0163: ldloca.s V_15 IL_0165: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_016a: brtrue.s IL_0175 IL_016c: ldloca.s V_14 IL_016e: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0173: brfalse.s IL_0179 IL_0175: ldloc.s V_14 IL_0177: br.s IL_017b IL_0179: ldloc.s V_15 IL_017b: starg.s a IL_017d: ldarg.0 IL_017e: stloc.s V_16 IL_0180: ldarg.1 IL_0181: stloc.s V_17 IL_0183: ldloca.s V_16 IL_0185: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_018a: brtrue.s IL_01a2 IL_018c: ldloca.s V_17 IL_018e: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0193: brtrue.s IL_019e IL_0195: ldloca.s V_16 IL_0197: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_019c: brfalse.s IL_01a2 IL_019e: ldloc.s V_17 IL_01a0: br.s IL_01a4 IL_01a2: ldloc.s V_16 IL_01a4: starg.s a IL_01a6: ldarg.0 IL_01a7: stloc.s V_18 IL_01a9: ldarg.1 IL_01aa: stloc.s V_19 IL_01ac: ldloca.s V_18 IL_01ae: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_01b3: ldloca.s V_19 IL_01b5: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_01ba: and IL_01bb: brtrue.s IL_01c9 IL_01bd: ldloca.s V_20 IL_01bf: initobj valuetype [mscorlib]System.Nullable`1 IL_01c5: ldloc.s V_20 IL_01c7: br.s IL_01dd IL_01c9: ldloca.s V_18 IL_01cb: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_01d0: ldloca.s V_19 IL_01d2: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_01d7: xor IL_01d8: newobj instance void valuetype [mscorlib]System.Nullable`1::.ctor(!0) IL_01dd: starg.s a IL_01df: ret } // end of method LiftedOperators::BoolValueBasic .method public hidebysig static void BoolValueComplex(valuetype [mscorlib]System.Nullable`1 a, class [mscorlib]System.Func`1 x) cil managed { // Code size 552 (0x228) .maxstack 3 .locals init (valuetype [mscorlib]System.Nullable`1 V_0, bool V_1, valuetype [mscorlib]System.Nullable`1 V_2, bool V_3, bool V_4, valuetype [mscorlib]System.Nullable`1 V_5, bool V_6, valuetype [mscorlib]System.Nullable`1 V_7, valuetype [mscorlib]System.Nullable`1 V_8, bool V_9, valuetype [mscorlib]System.Nullable`1 V_10, valuetype [mscorlib]System.Nullable`1 V_11, valuetype [mscorlib]System.Nullable`1 V_12, bool V_13, valuetype [mscorlib]System.Nullable`1 V_14, valuetype [mscorlib]System.Nullable`1 V_15, valuetype [mscorlib]System.Nullable`1 V_16, bool V_17, valuetype [mscorlib]System.Nullable`1 V_18, valuetype [mscorlib]System.Nullable`1 V_19, valuetype [mscorlib]System.Nullable`1 V_20, bool V_21, valuetype [mscorlib]System.Nullable`1 V_22, valuetype [mscorlib]System.Nullable`1 V_23, valuetype [mscorlib]System.Nullable`1 V_24, valuetype [mscorlib]System.Nullable`1 V_25) IL_0000: ldarg.0 IL_0001: stloc.0 IL_0002: ldarg.1 IL_0003: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_0008: stloc.1 IL_0009: ldloca.s V_0 IL_000b: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0010: ldloc.1 IL_0011: bne.un.s IL_001c IL_0013: ldloca.s V_0 IL_0015: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_001a: br.s IL_001d IL_001c: ldc.i4.0 IL_001d: call void [mscorlib]System.Console::WriteLine(bool) IL_0022: ldarg.0 IL_0023: stloc.2 IL_0024: ldarg.1 IL_0025: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_002a: stloc.3 IL_002b: ldloca.s V_2 IL_002d: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0032: ldloc.3 IL_0033: bne.un.s IL_0041 IL_0035: ldloca.s V_2 IL_0037: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_003c: ldc.i4.0 IL_003d: ceq IL_003f: br.s IL_0042 IL_0041: ldc.i4.1 IL_0042: call void [mscorlib]System.Console::WriteLine(bool) IL_0047: ldarg.1 IL_0048: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_004d: stloc.s V_4 IL_004f: ldarg.0 IL_0050: stloc.s V_5 IL_0052: ldloc.s V_4 IL_0054: ldloca.s V_5 IL_0056: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_005b: bne.un.s IL_0066 IL_005d: ldloca.s V_5 IL_005f: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0064: br.s IL_0067 IL_0066: ldc.i4.0 IL_0067: call void [mscorlib]System.Console::WriteLine(bool) IL_006c: ldarg.1 IL_006d: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_0072: stloc.s V_6 IL_0074: ldarg.0 IL_0075: stloc.s V_7 IL_0077: ldloc.s V_6 IL_0079: ldloca.s V_7 IL_007b: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0080: bne.un.s IL_008e IL_0082: ldloca.s V_7 IL_0084: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0089: ldc.i4.0 IL_008a: ceq IL_008c: br.s IL_008f IL_008e: ldc.i4.1 IL_008f: call void [mscorlib]System.Console::WriteLine(bool) IL_0094: ldarg.0 IL_0095: stloc.s V_8 IL_0097: ldarg.1 IL_0098: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_009d: stloc.s V_9 IL_009f: ldloca.s V_8 IL_00a1: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_00a6: brtrue.s IL_00b4 IL_00a8: ldloca.s V_10 IL_00aa: initobj valuetype [mscorlib]System.Nullable`1 IL_00b0: ldloc.s V_10 IL_00b2: br.s IL_00c3 IL_00b4: ldloca.s V_8 IL_00b6: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_00bb: ldloc.s V_9 IL_00bd: xor IL_00be: newobj instance void valuetype [mscorlib]System.Nullable`1::.ctor(!0) IL_00c3: box valuetype [mscorlib]System.Nullable`1 IL_00c8: call void [mscorlib]System.Console::WriteLine(object) IL_00cd: ldarg.0 IL_00ce: stloc.s V_11 IL_00d0: ldloca.s V_11 IL_00d2: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_00d7: brtrue.s IL_00e1 IL_00d9: ldarg.1 IL_00da: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_00df: br.s IL_00e8 IL_00e1: ldloca.s V_11 IL_00e3: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_00e8: call void [mscorlib]System.Console::WriteLine(bool) IL_00ed: ldarg.0 IL_00ee: stloc.s V_12 IL_00f0: ldarg.1 IL_00f1: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_00f6: stloc.s V_13 IL_00f8: ldloca.s V_12 IL_00fa: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_00ff: brtrue.s IL_010d IL_0101: ldloca.s V_14 IL_0103: initobj valuetype [mscorlib]System.Nullable`1 IL_0109: ldloc.s V_14 IL_010b: br.s IL_011c IL_010d: ldloca.s V_12 IL_010f: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0114: ldloc.s V_13 IL_0116: xor IL_0117: newobj instance void valuetype [mscorlib]System.Nullable`1::.ctor(!0) IL_011c: starg.s a IL_011e: ldarg.1 IL_011f: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_0124: ldarg.0 IL_0125: stloc.s V_15 IL_0127: brtrue.s IL_0131 IL_0129: ldc.i4.0 IL_012a: newobj instance void valuetype [mscorlib]System.Nullable`1::.ctor(!0) IL_012f: br.s IL_0133 IL_0131: ldloc.s V_15 IL_0133: box valuetype [mscorlib]System.Nullable`1 IL_0138: call void [mscorlib]System.Console::WriteLine(object) IL_013d: ldarg.1 IL_013e: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_0143: ldarg.0 IL_0144: stloc.s V_16 IL_0146: brtrue.s IL_014c IL_0148: ldloc.s V_16 IL_014a: br.s IL_0152 IL_014c: ldc.i4.1 IL_014d: newobj instance void valuetype [mscorlib]System.Nullable`1::.ctor(!0) IL_0152: box valuetype [mscorlib]System.Nullable`1 IL_0157: call void [mscorlib]System.Console::WriteLine(object) IL_015c: ldarg.1 IL_015d: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_0162: stloc.s V_17 IL_0164: ldarg.0 IL_0165: stloc.s V_18 IL_0167: ldloca.s V_18 IL_0169: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_016e: brtrue.s IL_017c IL_0170: ldloca.s V_19 IL_0172: initobj valuetype [mscorlib]System.Nullable`1 IL_0178: ldloc.s V_19 IL_017a: br.s IL_018b IL_017c: ldloc.s V_17 IL_017e: ldloca.s V_18 IL_0180: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0185: xor IL_0186: newobj instance void valuetype [mscorlib]System.Nullable`1::.ctor(!0) IL_018b: box valuetype [mscorlib]System.Nullable`1 IL_0190: call void [mscorlib]System.Console::WriteLine(object) IL_0195: ldc.i4.0 IL_0196: newarr valuetype [mscorlib]System.Nullable`1 IL_019b: ldc.i4.0 IL_019c: ldelema valuetype [mscorlib]System.Nullable`1 IL_01a1: dup IL_01a2: ldobj valuetype [mscorlib]System.Nullable`1 IL_01a7: stloc.s V_20 IL_01a9: ldarg.1 IL_01aa: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_01af: stloc.s V_21 IL_01b1: ldloca.s V_20 IL_01b3: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_01b8: brtrue.s IL_01c6 IL_01ba: ldloca.s V_22 IL_01bc: initobj valuetype [mscorlib]System.Nullable`1 IL_01c2: ldloc.s V_22 IL_01c4: br.s IL_01d5 IL_01c6: ldloca.s V_20 IL_01c8: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_01cd: ldloc.s V_21 IL_01cf: xor IL_01d0: newobj instance void valuetype [mscorlib]System.Nullable`1::.ctor(!0) IL_01d5: stobj valuetype [mscorlib]System.Nullable`1 IL_01da: ldc.i4.0 IL_01db: newarr valuetype [mscorlib]System.Nullable`1 IL_01e0: ldc.i4.0 IL_01e1: ldelema valuetype [mscorlib]System.Nullable`1 IL_01e6: dup IL_01e7: ldobj valuetype [mscorlib]System.Nullable`1 IL_01ec: stloc.s V_23 IL_01ee: ldarg.0 IL_01ef: stloc.s V_24 IL_01f1: ldloca.s V_23 IL_01f3: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_01f8: ldloca.s V_24 IL_01fa: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_01ff: and IL_0200: brtrue.s IL_020e IL_0202: ldloca.s V_25 IL_0204: initobj valuetype [mscorlib]System.Nullable`1 IL_020a: ldloc.s V_25 IL_020c: br.s IL_0222 IL_020e: ldloca.s V_23 IL_0210: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0215: ldloca.s V_24 IL_0217: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_021c: xor IL_021d: newobj instance void valuetype [mscorlib]System.Nullable`1::.ctor(!0) IL_0222: stobj valuetype [mscorlib]System.Nullable`1 IL_0227: ret } // end of method LiftedOperators::BoolValueComplex .method public hidebysig static void BoolValueConst(valuetype [mscorlib]System.Nullable`1 a) cil managed { // Code size 165 (0xa5) .maxstack 2 .locals init (valuetype [mscorlib]System.Nullable`1 V_0, valuetype [mscorlib]System.Nullable`1 V_1, valuetype [mscorlib]System.Nullable`1 V_2, valuetype [mscorlib]System.Nullable`1 V_3, valuetype [mscorlib]System.Nullable`1 V_4, valuetype [mscorlib]System.Nullable`1 V_5) IL_0000: ldarg.0 IL_0001: stloc.0 IL_0002: ldloca.s V_0 IL_0004: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0009: brfalse.s IL_0014 IL_000b: ldloca.s V_0 IL_000d: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0012: br.s IL_0015 IL_0014: ldc.i4.0 IL_0015: call void [mscorlib]System.Console::WriteLine(bool) IL_001a: ldarg.0 IL_001b: stloc.1 IL_001c: ldloca.s V_1 IL_001e: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0023: brfalse.s IL_0031 IL_0025: ldloca.s V_1 IL_0027: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_002c: ldc.i4.0 IL_002d: ceq IL_002f: br.s IL_0032 IL_0031: ldc.i4.1 IL_0032: call void [mscorlib]System.Console::WriteLine(bool) IL_0037: ldarg.0 IL_0038: stloc.2 IL_0039: ldloca.s V_2 IL_003b: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0040: brtrue.s IL_004b IL_0042: ldloca.s V_2 IL_0044: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0049: br.s IL_004c IL_004b: ldc.i4.0 IL_004c: call void [mscorlib]System.Console::WriteLine(bool) IL_0051: ldarg.0 IL_0052: stloc.3 IL_0053: ldloca.s V_3 IL_0055: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_005a: brtrue.s IL_0068 IL_005c: ldloca.s V_3 IL_005e: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0063: ldc.i4.0 IL_0064: ceq IL_0066: br.s IL_0069 IL_0068: ldc.i4.1 IL_0069: call void [mscorlib]System.Console::WriteLine(bool) IL_006e: ldarg.0 IL_006f: stloc.s V_4 IL_0071: ldloca.s V_4 IL_0073: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0078: brtrue.s IL_007d IL_007a: ldc.i4.1 IL_007b: br.s IL_0084 IL_007d: ldloca.s V_4 IL_007f: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0084: call void [mscorlib]System.Console::WriteLine(bool) IL_0089: ldarg.0 IL_008a: stloc.s V_5 IL_008c: ldloca.s V_5 IL_008e: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0093: brtrue.s IL_0098 IL_0095: ldc.i4.0 IL_0096: br.s IL_009f IL_0098: ldloca.s V_5 IL_009a: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_009f: call void [mscorlib]System.Console::WriteLine(bool) IL_00a4: ret } // end of method LiftedOperators::BoolValueConst .method public hidebysig static void IntBasic(valuetype [mscorlib]System.Nullable`1 a, valuetype [mscorlib]System.Nullable`1 b) cil managed { // Code size 378 (0x17a) .maxstack 2 .locals init (valuetype [mscorlib]System.Nullable`1 V_0, valuetype [mscorlib]System.Nullable`1 V_1, valuetype [mscorlib]System.Nullable`1 V_2, valuetype [mscorlib]System.Nullable`1 V_3, valuetype [mscorlib]System.Nullable`1 V_4, valuetype [mscorlib]System.Nullable`1 V_5, valuetype [mscorlib]System.Nullable`1 V_6, valuetype [mscorlib]System.Nullable`1 V_7, valuetype [mscorlib]System.Nullable`1 V_8, valuetype [mscorlib]System.Nullable`1 V_9, valuetype [mscorlib]System.Nullable`1 V_10, valuetype [mscorlib]System.Nullable`1 V_11, valuetype [mscorlib]System.Nullable`1 V_12, valuetype [mscorlib]System.Nullable`1 V_13, valuetype [mscorlib]System.Nullable`1 V_14, valuetype [mscorlib]System.Nullable`1 V_15) IL_0000: ldarg.0 IL_0001: stloc.0 IL_0002: ldarg.1 IL_0003: stloc.1 IL_0004: ldloca.s V_0 IL_0006: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_000b: ldloca.s V_1 IL_000d: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0012: bne.un.s IL_0026 IL_0014: ldloca.s V_0 IL_0016: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_001b: ldloca.s V_1 IL_001d: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0022: ceq IL_0024: br.s IL_0027 IL_0026: ldc.i4.0 IL_0027: brfalse.s IL_002e IL_0029: call void [mscorlib]System.Console::WriteLine() IL_002e: ldarg.0 IL_002f: stloc.2 IL_0030: ldarg.1 IL_0031: stloc.3 IL_0032: ldloca.s V_2 IL_0034: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0039: ldloca.s V_3 IL_003b: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0040: bne.un.s IL_0057 IL_0042: ldloca.s V_2 IL_0044: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0049: ldloca.s V_3 IL_004b: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0050: ceq IL_0052: ldc.i4.0 IL_0053: ceq IL_0055: br.s IL_0058 IL_0057: ldc.i4.1 IL_0058: brfalse.s IL_005f IL_005a: call void [mscorlib]System.Console::WriteLine() IL_005f: ldarg.0 IL_0060: stloc.s V_4 IL_0062: ldarg.1 IL_0063: stloc.s V_5 IL_0065: ldloca.s V_4 IL_0067: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_006c: ldloca.s V_5 IL_006e: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0073: ble.s IL_0086 IL_0075: ldloca.s V_4 IL_0077: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_007c: ldloca.s V_5 IL_007e: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0083: and IL_0084: br.s IL_0087 IL_0086: ldc.i4.0 IL_0087: brfalse.s IL_008e IL_0089: call void [mscorlib]System.Console::WriteLine() IL_008e: ldarg.0 IL_008f: stloc.s V_6 IL_0091: ldarg.1 IL_0092: stloc.s V_7 IL_0094: ldloca.s V_6 IL_0096: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_009b: ldloca.s V_7 IL_009d: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_00a2: bge.s IL_00b5 IL_00a4: ldloca.s V_6 IL_00a6: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_00ab: ldloca.s V_7 IL_00ad: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_00b2: and IL_00b3: br.s IL_00b6 IL_00b5: ldc.i4.0 IL_00b6: brfalse.s IL_00bd IL_00b8: call void [mscorlib]System.Console::WriteLine() IL_00bd: ldarg.0 IL_00be: stloc.s V_8 IL_00c0: ldarg.1 IL_00c1: stloc.s V_9 IL_00c3: ldloca.s V_8 IL_00c5: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_00ca: ldloca.s V_9 IL_00cc: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_00d1: blt.s IL_00e4 IL_00d3: ldloca.s V_8 IL_00d5: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_00da: ldloca.s V_9 IL_00dc: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_00e1: and IL_00e2: br.s IL_00e5 IL_00e4: ldc.i4.0 IL_00e5: brfalse.s IL_00ec IL_00e7: call void [mscorlib]System.Console::WriteLine() IL_00ec: ldarg.0 IL_00ed: stloc.s V_10 IL_00ef: ldarg.1 IL_00f0: stloc.s V_11 IL_00f2: ldloca.s V_10 IL_00f4: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_00f9: ldloca.s V_11 IL_00fb: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0100: bgt.s IL_0113 IL_0102: ldloca.s V_10 IL_0104: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0109: ldloca.s V_11 IL_010b: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0110: and IL_0111: br.s IL_0114 IL_0113: ldc.i4.0 IL_0114: brfalse.s IL_011b IL_0116: call void [mscorlib]System.Console::WriteLine() IL_011b: ldarg.0 IL_011c: stloc.s V_12 IL_011e: ldarg.1 IL_011f: stloc.s V_13 IL_0121: ldloca.s V_12 IL_0123: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0128: ldloca.s V_13 IL_012a: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_012f: ble.s IL_0142 IL_0131: ldloca.s V_12 IL_0133: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0138: ldloca.s V_13 IL_013a: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_013f: and IL_0140: br.s IL_0143 IL_0142: ldc.i4.0 IL_0143: brtrue.s IL_014a IL_0145: call void [mscorlib]System.Console::WriteLine() IL_014a: ldarg.0 IL_014b: stloc.s V_14 IL_014d: ldarg.1 IL_014e: stloc.s V_15 IL_0150: ldloca.s V_14 IL_0152: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0157: ldloca.s V_15 IL_0159: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_015e: bgt.s IL_0171 IL_0160: ldloca.s V_14 IL_0162: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0167: ldloca.s V_15 IL_0169: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_016e: and IL_016f: br.s IL_0172 IL_0171: ldc.i4.0 IL_0172: brtrue.s IL_0179 IL_0174: call void [mscorlib]System.Console::WriteLine() IL_0179: ret } // end of method LiftedOperators::IntBasic .method public hidebysig static void IntComplex(valuetype [mscorlib]System.Nullable`1 a, class [mscorlib]System.Func`1 x) cil managed { // Code size 313 (0x139) .maxstack 2 .locals init (valuetype [mscorlib]System.Nullable`1 V_0, int32 V_1, valuetype [mscorlib]System.Nullable`1 V_2, int32 V_3, valuetype [mscorlib]System.Nullable`1 V_4, int32 V_5, int32 V_6, valuetype [mscorlib]System.Nullable`1 V_7, int32 V_8, valuetype [mscorlib]System.Nullable`1 V_9, int32 V_10, valuetype [mscorlib]System.Nullable`1 V_11, valuetype [mscorlib]System.Nullable`1 V_12, int32 V_13, valuetype [mscorlib]System.Nullable`1 V_14, int32 V_15) IL_0000: ldarg.0 IL_0001: stloc.0 IL_0002: ldarg.1 IL_0003: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_0008: stloc.1 IL_0009: ldloca.s V_0 IL_000b: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0010: ldloc.1 IL_0011: bne.un.s IL_001c IL_0013: ldloca.s V_0 IL_0015: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_001a: br.s IL_001d IL_001c: ldc.i4.0 IL_001d: brfalse.s IL_0024 IL_001f: call void [mscorlib]System.Console::WriteLine() IL_0024: ldarg.0 IL_0025: stloc.2 IL_0026: ldarg.1 IL_0027: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_002c: stloc.3 IL_002d: ldloca.s V_2 IL_002f: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0034: ldloc.3 IL_0035: bne.un.s IL_0043 IL_0037: ldloca.s V_2 IL_0039: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_003e: ldc.i4.0 IL_003f: ceq IL_0041: br.s IL_0044 IL_0043: ldc.i4.1 IL_0044: brfalse.s IL_004b IL_0046: call void [mscorlib]System.Console::WriteLine() IL_004b: ldarg.0 IL_004c: stloc.s V_4 IL_004e: ldarg.1 IL_004f: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_0054: stloc.s V_5 IL_0056: ldloca.s V_4 IL_0058: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_005d: ldloc.s V_5 IL_005f: ble.s IL_006a IL_0061: ldloca.s V_4 IL_0063: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0068: br.s IL_006b IL_006a: ldc.i4.0 IL_006b: brfalse.s IL_0072 IL_006d: call void [mscorlib]System.Console::WriteLine() IL_0072: ldarg.1 IL_0073: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_0078: stloc.s V_6 IL_007a: ldarg.0 IL_007b: stloc.s V_7 IL_007d: ldloc.s V_6 IL_007f: ldloca.s V_7 IL_0081: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0086: bne.un.s IL_0091 IL_0088: ldloca.s V_7 IL_008a: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_008f: br.s IL_0092 IL_0091: ldc.i4.0 IL_0092: brfalse.s IL_0099 IL_0094: call void [mscorlib]System.Console::WriteLine() IL_0099: ldarg.1 IL_009a: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_009f: stloc.s V_8 IL_00a1: ldarg.0 IL_00a2: stloc.s V_9 IL_00a4: ldloc.s V_8 IL_00a6: ldloca.s V_9 IL_00a8: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_00ad: bne.un.s IL_00bb IL_00af: ldloca.s V_9 IL_00b1: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_00b6: ldc.i4.0 IL_00b7: ceq IL_00b9: br.s IL_00bc IL_00bb: ldc.i4.1 IL_00bc: brfalse.s IL_00c3 IL_00be: call void [mscorlib]System.Console::WriteLine() IL_00c3: ldarg.1 IL_00c4: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_00c9: stloc.s V_10 IL_00cb: ldarg.0 IL_00cc: stloc.s V_11 IL_00ce: ldloc.s V_10 IL_00d0: ldloca.s V_11 IL_00d2: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_00d7: ble.s IL_00e2 IL_00d9: ldloca.s V_11 IL_00db: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_00e0: br.s IL_00e3 IL_00e2: ldc.i4.0 IL_00e3: brfalse.s IL_00ea IL_00e5: call void [mscorlib]System.Console::WriteLine() IL_00ea: ldarg.0 IL_00eb: stloc.s V_12 IL_00ed: ldarg.1 IL_00ee: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_00f3: stloc.s V_13 IL_00f5: ldloca.s V_12 IL_00f7: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_00fc: ldloc.s V_13 IL_00fe: ble.s IL_0109 IL_0100: ldloca.s V_12 IL_0102: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0107: br.s IL_010a IL_0109: ldc.i4.0 IL_010a: brtrue.s IL_0111 IL_010c: call void [mscorlib]System.Console::WriteLine() IL_0111: ldarg.0 IL_0112: stloc.s V_14 IL_0114: ldarg.1 IL_0115: callvirt instance !0 class [mscorlib]System.Func`1::Invoke() IL_011a: stloc.s V_15 IL_011c: ldloca.s V_14 IL_011e: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0123: ldloc.s V_15 IL_0125: bgt.s IL_0130 IL_0127: ldloca.s V_14 IL_0129: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_012e: br.s IL_0131 IL_0130: ldc.i4.0 IL_0131: brtrue.s IL_0138 IL_0133: call void [mscorlib]System.Console::WriteLine() IL_0138: ret } // end of method LiftedOperators::IntComplex .method public hidebysig static void IntConst(valuetype [mscorlib]System.Nullable`1 a) cil managed { // Code size 183 (0xb7) .maxstack 2 .locals init (valuetype [mscorlib]System.Nullable`1 V_0, valuetype [mscorlib]System.Nullable`1 V_1, valuetype [mscorlib]System.Nullable`1 V_2, valuetype [mscorlib]System.Nullable`1 V_3, valuetype [mscorlib]System.Nullable`1 V_4, valuetype [mscorlib]System.Nullable`1 V_5) IL_0000: ldarg.0 IL_0001: stloc.0 IL_0002: ldloca.s V_0 IL_0004: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0009: ldc.i4.2 IL_000a: bne.un.s IL_0015 IL_000c: ldloca.s V_0 IL_000e: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0013: br.s IL_0016 IL_0015: ldc.i4.0 IL_0016: brfalse.s IL_001d IL_0018: call void [mscorlib]System.Console::WriteLine() IL_001d: ldarg.0 IL_001e: stloc.1 IL_001f: ldloca.s V_1 IL_0021: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0026: ldc.i4.2 IL_0027: bne.un.s IL_0035 IL_0029: ldloca.s V_1 IL_002b: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0030: ldc.i4.0 IL_0031: ceq IL_0033: br.s IL_0036 IL_0035: ldc.i4.1 IL_0036: brfalse.s IL_003d IL_0038: call void [mscorlib]System.Console::WriteLine() IL_003d: ldarg.0 IL_003e: stloc.2 IL_003f: ldloca.s V_2 IL_0041: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0046: ldc.i4.2 IL_0047: ble.s IL_0052 IL_0049: ldloca.s V_2 IL_004b: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0050: br.s IL_0053 IL_0052: ldc.i4.0 IL_0053: brfalse.s IL_005a IL_0055: call void [mscorlib]System.Console::WriteLine() IL_005a: ldarg.0 IL_005b: stloc.3 IL_005c: ldc.i4.2 IL_005d: ldloca.s V_3 IL_005f: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0064: bne.un.s IL_006f IL_0066: ldloca.s V_3 IL_0068: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_006d: br.s IL_0070 IL_006f: ldc.i4.0 IL_0070: brfalse.s IL_0077 IL_0072: call void [mscorlib]System.Console::WriteLine() IL_0077: ldarg.0 IL_0078: stloc.s V_4 IL_007a: ldc.i4.2 IL_007b: ldloca.s V_4 IL_007d: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0082: bne.un.s IL_0090 IL_0084: ldloca.s V_4 IL_0086: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_008b: ldc.i4.0 IL_008c: ceq IL_008e: br.s IL_0091 IL_0090: ldc.i4.1 IL_0091: brfalse.s IL_0098 IL_0093: call void [mscorlib]System.Console::WriteLine() IL_0098: ldarg.0 IL_0099: stloc.s V_5 IL_009b: ldc.i4.2 IL_009c: ldloca.s V_5 IL_009e: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_00a3: ble.s IL_00ae IL_00a5: ldloca.s V_5 IL_00a7: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_00ac: br.s IL_00af IL_00ae: ldc.i4.0 IL_00af: brfalse.s IL_00b6 IL_00b1: call void [mscorlib]System.Console::WriteLine() IL_00b6: ret } // end of method LiftedOperators::IntConst .method public hidebysig static void IntValueBasic(valuetype [mscorlib]System.Nullable`1 a, valuetype [mscorlib]System.Nullable`1 b) cil managed { // Code size 1680 (0x690) .maxstack 3 .locals init (valuetype [mscorlib]System.Nullable`1 V_0, valuetype [mscorlib]System.Nullable`1 V_1, valuetype [mscorlib]System.Nullable`1 V_2, valuetype [mscorlib]System.Nullable`1 V_3, valuetype [mscorlib]System.Nullable`1 V_4, valuetype [mscorlib]System.Nullable`1 V_5, valuetype [mscorlib]System.Nullable`1 V_6, valuetype [mscorlib]System.Nullable`1 V_7, valuetype [mscorlib]System.Nullable`1 V_8, valuetype [mscorlib]System.Nullable`1 V_9, valuetype [mscorlib]System.Nullable`1 V_10, valuetype [mscorlib]System.Nullable`1 V_11, valuetype [mscorlib]System.Nullable`1 V_12, valuetype [mscorlib]System.Nullable`1 V_13, valuetype [mscorlib]System.Nullable`1 V_14, valuetype [mscorlib]System.Nullable`1 V_15, valuetype [mscorlib]System.Nullable`1 V_16, valuetype [mscorlib]System.Nullable`1 V_17, valuetype [mscorlib]System.Nullable`1 V_18, valuetype [mscorlib]System.Nullable`1 V_19, valuetype [mscorlib]System.Nullable`1 V_20, valuetype [mscorlib]System.Nullable`1 V_21, valuetype [mscorlib]System.Nullable`1 V_22, valuetype [mscorlib]System.Nullable`1 V_23, valuetype [mscorlib]System.Nullable`1 V_24, valuetype [mscorlib]System.Nullable`1 V_25, valuetype [mscorlib]System.Nullable`1 V_26, valuetype [mscorlib]System.Nullable`1 V_27, valuetype [mscorlib]System.Nullable`1 V_28, valuetype [mscorlib]System.Nullable`1 V_29, valuetype [mscorlib]System.Nullable`1 V_30, valuetype [mscorlib]System.Nullable`1 V_31, valuetype [mscorlib]System.Nullable`1 V_32, valuetype [mscorlib]System.Nullable`1 V_33, valuetype [mscorlib]System.Nullable`1 V_34, valuetype [mscorlib]System.Nullable`1 V_35, valuetype [mscorlib]System.Nullable`1 V_36, valuetype [mscorlib]System.Nullable`1 V_37, valuetype [mscorlib]System.Nullable`1 V_38, valuetype [mscorlib]System.Nullable`1 V_39, valuetype [mscorlib]System.Nullable`1 V_40, valuetype [mscorlib]System.Nullable`1 V_41, valuetype [mscorlib]System.Nullable`1 V_42, valuetype [mscorlib]System.Nullable`1 V_43, valuetype [mscorlib]System.Nullable`1 V_44, valuetype [mscorlib]System.Nullable`1 V_45, valuetype [mscorlib]System.Nullable`1 V_46, valuetype [mscorlib]System.Nullable`1 V_47, valuetype [mscorlib]System.Nullable`1 V_48, valuetype [mscorlib]System.Nullable`1 V_49, valuetype [mscorlib]System.Nullable`1 V_50, valuetype [mscorlib]System.Nullable`1 V_51, valuetype [mscorlib]System.Nullable`1 V_52, valuetype [mscorlib]System.Nullable`1 V_53, valuetype [mscorlib]System.Nullable`1 V_54, valuetype [mscorlib]System.Nullable`1 V_55, valuetype [mscorlib]System.Nullable`1 V_56, valuetype [mscorlib]System.Nullable`1 V_57, valuetype [mscorlib]System.Nullable`1 V_58, valuetype [mscorlib]System.Nullable`1 V_59, valuetype [mscorlib]System.Nullable`1 V_60) IL_0000: ldarg.0 IL_0001: stloc.0 IL_0002: ldarg.1 IL_0003: stloc.1 IL_0004: ldloca.s V_0 IL_0006: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_000b: ldloca.s V_1 IL_000d: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0012: bne.un.s IL_0026 IL_0014: ldloca.s V_0 IL_0016: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_001b: ldloca.s V_1 IL_001d: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0022: ceq IL_0024: br.s IL_0027 IL_0026: ldc.i4.0 IL_0027: call void [mscorlib]System.Console::WriteLine(bool) IL_002c: ldarg.0 IL_002d: stloc.2 IL_002e: ldarg.1 IL_002f: stloc.3 IL_0030: ldloca.s V_2 IL_0032: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0037: ldloca.s V_3 IL_0039: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_003e: bne.un.s IL_0055 IL_0040: ldloca.s V_2 IL_0042: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0047: ldloca.s V_3 IL_0049: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_004e: ceq IL_0050: ldc.i4.0 IL_0051: ceq IL_0053: br.s IL_0056 IL_0055: ldc.i4.1 IL_0056: call void [mscorlib]System.Console::WriteLine(bool) IL_005b: ldarg.0 IL_005c: stloc.s V_4 IL_005e: ldarg.1 IL_005f: stloc.s V_5 IL_0061: ldloca.s V_4 IL_0063: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0068: ldloca.s V_5 IL_006a: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_006f: ble.s IL_0082 IL_0071: ldloca.s V_4 IL_0073: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_0078: ldloca.s V_5 IL_007a: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_007f: and IL_0080: br.s IL_0083 IL_0082: ldc.i4.0 IL_0083: call void [mscorlib]System.Console::WriteLine(bool) IL_0088: ldarg.0 IL_0089: stloc.s V_6 IL_008b: ldarg.1 IL_008c: stloc.s V_7 IL_008e: ldloca.s V_6 IL_0090: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_0095: ldloca.s V_7 IL_0097: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_009c: ble.s IL_00af IL_009e: ldloca.s V_6 IL_00a0: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_00a5: ldloca.s V_7 IL_00a7: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_00ac: and IL_00ad: br.s IL_00b0 IL_00af: ldc.i4.0 IL_00b0: ldc.i4.0 IL_00b1: ceq IL_00b3: call void [mscorlib]System.Console::WriteLine(bool) IL_00b8: ldarg.0 IL_00b9: stloc.s V_8 IL_00bb: ldarg.1 IL_00bc: stloc.s V_9 IL_00be: ldloca.s V_8 IL_00c0: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_00c5: ldloca.s V_9 IL_00c7: call instance !0 valuetype [mscorlib]System.Nullable`1::GetValueOrDefault() IL_00cc: blt.s IL_00df IL_00ce: ldloca.s V_8 IL_00d0: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_00d5: ldloca.s V_9 IL_00d7: call instance bool valuetype [mscorlib]System.Nullable`1::get_HasValue() IL_00dc: and IL_00dd: br.s IL_00e0 IL_00df: ldc.i4.0 IL_00e0: ldc.i4.0 IL_00e1: ceq IL_00e3: call void [mscorlib]System.Console::WriteLine(bool) IL_00e8: ldarg.0 IL_00e9: stloc.s V_10 IL_00eb: ldarg.1 IL_00ec: stloc.s V_11 IL_00ee: ldloca.s V_10 IL_00f0: call instance bool valuetype [mscorlib]System.Nullable`1