From 6c86e4fc426dea562fc78583eea5efe844212282 Mon Sep 17 00:00:00 2001 From: Tomas Grosup Date: Mon, 26 Aug 2024 17:09:07 +0200 Subject: [PATCH] Simplified regression test case --- .../EmittedIL/Inlining/Regression17607.fs | 58 +- .../Inlining/Regression17607.fs.il.bsl | 904 ++---------------- 2 files changed, 81 insertions(+), 881 deletions(-) diff --git a/tests/FSharp.Compiler.ComponentTests/EmittedIL/Inlining/Regression17607.fs b/tests/FSharp.Compiler.ComponentTests/EmittedIL/Inlining/Regression17607.fs index d4c2b7193a21..515819c19af4 100644 --- a/tests/FSharp.Compiler.ComponentTests/EmittedIL/Inlining/Regression17607.fs +++ b/tests/FSharp.Compiler.ComponentTests/EmittedIL/Inlining/Regression17607.fs @@ -1,67 +1,31 @@ open System open System.Diagnostics -// 16 byte struct -[] -type Point2D(x: double, y: double) = - member _.X = x - member _.Y = y // Will create a tail il instruction and force a tail call. This is will become // a fast tail call on unix x64 as the caller and callee have equal stack size let fifth() = - let rec fifthMethodFirstCallee(iterationCount, firstArg: Point2D, secondArg: Point2D, thirdArg: Point2D, fourthArg: Point2D, fifthArg: Point2D) = - if firstArg.X <> 10.0 then -100 - else if firstArg.Y <> 20.0 then -101 - else if secondArg.X <> 30.0 then -102 - else if secondArg.Y <> 40.0 then -103 - else if thirdArg.X <> 10.0 then -104 - else if thirdArg.Y <> 20.0 then -105 - else if fourthArg.X <> 30.0 then -106 - else if fourthArg.Y <> 40.0 then -107 - else if fifthArg.X <> 10.0 then -108 - else if fifthArg.Y <> 20.0 then -109 - else if iterationCount = 0 then + let rec fifthMethodFirstCallee(iterationCount, firstArg: int) = + if iterationCount = 0 then 100 else if iterationCount % 2 = 0 then - fifthMethodSecondCallee(iterationCount - 1, firstArg, secondArg, thirdArg, fourthArg, fifthArg) + fifthMethodSecondCallee(iterationCount - 1, firstArg) else - fifthMethodFirstCallee(iterationCount - 1, firstArg, secondArg, thirdArg, fourthArg, fifthArg) + fifthMethodFirstCallee(iterationCount - 1, firstArg) - and fifthMethodSecondCallee(iterationCount, firstArg, secondArg, thirdArg, fourthArg, fifthArg) = - if firstArg.X <> 10.0 then -150 - else if firstArg.Y <> 20.0 then -151 - else if secondArg.X <> 30.0 then -152 - else if secondArg.Y <> 40.0 then -153 - else if thirdArg.X <> 10.0 then -154 - else if thirdArg.Y <> 20.0 then -155 - else if fourthArg.X <> 30.0 then -156 - else if fourthArg.Y <> 40.0 then -157 - else if fifthArg.X <> 10.0 then -158 - else if fifthArg.Y <> 20.0 then -159 - else if iterationCount = 0 then + and fifthMethodSecondCallee(iterationCount, firstArg) = + if iterationCount = 0 then 101 else if iterationCount % 2 = 0 then - fifthMethodSecondCallee(iterationCount - 1, firstArg, secondArg, thirdArg, fourthArg, fifthArg) + fifthMethodSecondCallee(iterationCount - 1, firstArg) else - fifthMethodFirstCallee(iterationCount - 1, firstArg, secondArg, thirdArg, fourthArg, fifthArg) + fifthMethodFirstCallee(iterationCount - 1, firstArg) - let point = Point2D(10.0, 20.0) - let secondPoint = Point2D(30.0, 40.0) - let retVal = fifthMethodFirstCallee(1000000, point, secondPoint, point, secondPoint, point) - if retVal <> 100 && retVal <> 101 then - printfn "Method -- Failed, expected result: 100 or 101, calculated: %d" retVal - -5 - else - 0 + fifthMethodFirstCallee(1000000, 158_423) + [] let main argv = - let startTime = Stopwatch.StartNew() - for i in 0..100 do - ignore (fifth ()) - let elapsedTime = startTime.Elapsed.TotalMilliseconds - printfn "%fms" elapsedTime - 0 \ No newline at end of file + fifth () \ No newline at end of file diff --git a/tests/FSharp.Compiler.ComponentTests/EmittedIL/Inlining/Regression17607.fs.il.bsl b/tests/FSharp.Compiler.ComponentTests/EmittedIL/Inlining/Regression17607.fs.il.bsl index 02e0b475e23e..0b2e90bbfe9d 100644 --- a/tests/FSharp.Compiler.ComponentTests/EmittedIL/Inlining/Regression17607.fs.il.bsl +++ b/tests/FSharp.Compiler.ComponentTests/EmittedIL/Inlining/Regression17607.fs.il.bsl @@ -33,820 +33,88 @@ extends [runtime]System.Object { .custom instance void [FSharp.Core]Microsoft.FSharp.Core.CompilationMappingAttribute::.ctor(valuetype [FSharp.Core]Microsoft.FSharp.Core.SourceConstructFlags) = ( 01 00 07 00 00 00 00 00 ) - .class sequential ansi serializable sealed nested public Point2D - extends [runtime]System.ValueType - implements class [runtime]System.IEquatable`1, - [runtime]System.Collections.IStructuralEquatable, - class [runtime]System.IComparable`1, - [runtime]System.IComparable, - [runtime]System.Collections.IStructuralComparable - { - .custom instance void [FSharp.Core]Microsoft.FSharp.Core.StructAttribute::.ctor() = ( 01 00 00 00 ) - .custom instance void [FSharp.Core]Microsoft.FSharp.Core.CompilationMappingAttribute::.ctor(valuetype [FSharp.Core]Microsoft.FSharp.Core.SourceConstructFlags) = ( 01 00 03 00 00 00 00 00 ) - .field assembly float64 x - .field assembly float64 y - .method public hidebysig virtual final instance int32 CompareTo(valuetype assembly/Point2D obj) cil managed - { - .custom instance void [runtime]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 ) - - .maxstack 5 - .locals init (int32 V_0, - class [runtime]System.Collections.IComparer V_1, - float64 V_2, - float64 V_3) - IL_0000: call class [runtime]System.Collections.IComparer [FSharp.Core]Microsoft.FSharp.Core.LanguagePrimitives::get_GenericComparer() - IL_0005: stloc.1 - IL_0006: ldarg.0 - IL_0007: ldfld float64 assembly/Point2D::x - IL_000c: stloc.2 - IL_000d: ldarga.s obj - IL_000f: ldfld float64 assembly/Point2D::x - IL_0014: stloc.3 - IL_0015: ldloc.2 - IL_0016: ldloc.3 - IL_0017: clt - IL_0019: brfalse.s IL_001f - - IL_001b: ldc.i4.m1 - IL_001c: nop - IL_001d: br.s IL_003c - - IL_001f: ldloc.2 - IL_0020: ldloc.3 - IL_0021: cgt - IL_0023: brfalse.s IL_0029 - - IL_0025: ldc.i4.1 - IL_0026: nop - IL_0027: br.s IL_003c - - IL_0029: ldloc.2 - IL_002a: ldloc.3 - IL_002b: ceq - IL_002d: brfalse.s IL_0033 - - IL_002f: ldc.i4.0 - IL_0030: nop - IL_0031: br.s IL_003c - - IL_0033: ldloc.1 - IL_0034: ldloc.2 - IL_0035: ldloc.3 - IL_0036: call int32 [FSharp.Core]Microsoft.FSharp.Core.LanguagePrimitives/HashCompare::GenericComparisonWithComparerIntrinsic(class [runtime]System.Collections.IComparer, - !!0, - !!0) - IL_003b: nop - IL_003c: stloc.0 - IL_003d: ldloc.0 - IL_003e: ldc.i4.0 - IL_003f: bge.s IL_0043 - - IL_0041: ldloc.0 - IL_0042: ret - - IL_0043: ldloc.0 - IL_0044: ldc.i4.0 - IL_0045: ble.s IL_0049 - - IL_0047: ldloc.0 - IL_0048: ret - - IL_0049: call class [runtime]System.Collections.IComparer [FSharp.Core]Microsoft.FSharp.Core.LanguagePrimitives::get_GenericComparer() - IL_004e: stloc.1 - IL_004f: ldarg.0 - IL_0050: ldfld float64 assembly/Point2D::y - IL_0055: stloc.2 - IL_0056: ldarga.s obj - IL_0058: ldfld float64 assembly/Point2D::y - IL_005d: stloc.3 - IL_005e: ldloc.2 - IL_005f: ldloc.3 - IL_0060: clt - IL_0062: brfalse.s IL_0066 - - IL_0064: ldc.i4.m1 - IL_0065: ret - - IL_0066: ldloc.2 - IL_0067: ldloc.3 - IL_0068: cgt - IL_006a: brfalse.s IL_006e - - IL_006c: ldc.i4.1 - IL_006d: ret - - IL_006e: ldloc.2 - IL_006f: ldloc.3 - IL_0070: ceq - IL_0072: brfalse.s IL_0076 - - IL_0074: ldc.i4.0 - IL_0075: ret - - IL_0076: ldloc.1 - IL_0077: ldloc.2 - IL_0078: ldloc.3 - IL_0079: tail. - IL_007b: call int32 [FSharp.Core]Microsoft.FSharp.Core.LanguagePrimitives/HashCompare::GenericComparisonWithComparerIntrinsic(class [runtime]System.Collections.IComparer, - !!0, - !!0) - IL_0080: ret - } - - .method public hidebysig virtual final instance int32 CompareTo(object obj) cil managed - { - .custom instance void [runtime]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 ) - - .maxstack 8 - IL_0000: ldarg.0 - IL_0001: ldarg.1 - IL_0002: unbox.any assembly/Point2D - IL_0007: call instance int32 assembly/Point2D::CompareTo(valuetype assembly/Point2D) - IL_000c: ret - } - - .method public hidebysig virtual final instance int32 CompareTo(object obj, class [runtime]System.Collections.IComparer comp) cil managed - { - .custom instance void [runtime]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 ) - - .maxstack 5 - .locals init (valuetype assembly/Point2D V_0, - int32 V_1, - float64 V_2, - float64 V_3) - IL_0000: ldarg.1 - IL_0001: unbox.any assembly/Point2D - IL_0006: stloc.0 - IL_0007: ldarg.0 - IL_0008: ldfld float64 assembly/Point2D::x - IL_000d: stloc.2 - IL_000e: ldloca.s V_0 - IL_0010: ldfld float64 assembly/Point2D::x - IL_0015: stloc.3 - IL_0016: ldloc.2 - IL_0017: ldloc.3 - IL_0018: clt - IL_001a: brfalse.s IL_0020 - - IL_001c: ldc.i4.m1 - IL_001d: nop - IL_001e: br.s IL_003d - - IL_0020: ldloc.2 - IL_0021: ldloc.3 - IL_0022: cgt - IL_0024: brfalse.s IL_002a - - IL_0026: ldc.i4.1 - IL_0027: nop - IL_0028: br.s IL_003d - - IL_002a: ldloc.2 - IL_002b: ldloc.3 - IL_002c: ceq - IL_002e: brfalse.s IL_0034 - - IL_0030: ldc.i4.0 - IL_0031: nop - IL_0032: br.s IL_003d - - IL_0034: ldarg.2 - IL_0035: ldloc.2 - IL_0036: ldloc.3 - IL_0037: call int32 [FSharp.Core]Microsoft.FSharp.Core.LanguagePrimitives/HashCompare::GenericComparisonWithComparerIntrinsic(class [runtime]System.Collections.IComparer, - !!0, - !!0) - IL_003c: nop - IL_003d: stloc.1 - IL_003e: ldloc.1 - IL_003f: ldc.i4.0 - IL_0040: bge.s IL_0044 - - IL_0042: ldloc.1 - IL_0043: ret - - IL_0044: ldloc.1 - IL_0045: ldc.i4.0 - IL_0046: ble.s IL_004a - - IL_0048: ldloc.1 - IL_0049: ret - - IL_004a: ldarg.0 - IL_004b: ldfld float64 assembly/Point2D::y - IL_0050: stloc.2 - IL_0051: ldloca.s V_0 - IL_0053: ldfld float64 assembly/Point2D::y - IL_0058: stloc.3 - IL_0059: ldloc.2 - IL_005a: ldloc.3 - IL_005b: clt - IL_005d: brfalse.s IL_0061 - - IL_005f: ldc.i4.m1 - IL_0060: ret - - IL_0061: ldloc.2 - IL_0062: ldloc.3 - IL_0063: cgt - IL_0065: brfalse.s IL_0069 - - IL_0067: ldc.i4.1 - IL_0068: ret - - IL_0069: ldloc.2 - IL_006a: ldloc.3 - IL_006b: ceq - IL_006d: brfalse.s IL_0071 - - IL_006f: ldc.i4.0 - IL_0070: ret - - IL_0071: ldarg.2 - IL_0072: ldloc.2 - IL_0073: ldloc.3 - IL_0074: tail. - IL_0076: call int32 [FSharp.Core]Microsoft.FSharp.Core.LanguagePrimitives/HashCompare::GenericComparisonWithComparerIntrinsic(class [runtime]System.Collections.IComparer, - !!0, - !!0) - IL_007b: ret - } - - .method public hidebysig virtual final instance int32 GetHashCode(class [runtime]System.Collections.IEqualityComparer comp) cil managed - { - .custom instance void [runtime]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 ) - - .maxstack 7 - .locals init (int32 V_0) - IL_0000: ldc.i4.0 - IL_0001: stloc.0 - IL_0002: ldc.i4 0x9e3779b9 - IL_0007: ldarg.1 - IL_0008: ldarg.0 - IL_0009: ldfld float64 assembly/Point2D::y - IL_000e: call int32 [FSharp.Core]Microsoft.FSharp.Core.LanguagePrimitives/HashCompare::GenericHashWithComparerIntrinsic(class [runtime]System.Collections.IEqualityComparer, - !!0) - IL_0013: ldloc.0 - IL_0014: ldc.i4.6 - IL_0015: shl - IL_0016: ldloc.0 - IL_0017: ldc.i4.2 - IL_0018: shr - IL_0019: add - IL_001a: add - IL_001b: add - IL_001c: stloc.0 - IL_001d: ldc.i4 0x9e3779b9 - IL_0022: ldarg.1 - IL_0023: ldarg.0 - IL_0024: ldfld float64 assembly/Point2D::x - IL_0029: call int32 [FSharp.Core]Microsoft.FSharp.Core.LanguagePrimitives/HashCompare::GenericHashWithComparerIntrinsic(class [runtime]System.Collections.IEqualityComparer, - !!0) - IL_002e: ldloc.0 - IL_002f: ldc.i4.6 - IL_0030: shl - IL_0031: ldloc.0 - IL_0032: ldc.i4.2 - IL_0033: shr - IL_0034: add - IL_0035: add - IL_0036: add - IL_0037: stloc.0 - IL_0038: ldloc.0 - IL_0039: ret - } - - .method public hidebysig virtual final instance int32 GetHashCode() cil managed - { - .custom instance void [runtime]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 ) - - .maxstack 8 - IL_0000: ldarg.0 - IL_0001: call class [runtime]System.Collections.IEqualityComparer [FSharp.Core]Microsoft.FSharp.Core.LanguagePrimitives::get_GenericEqualityComparer() - IL_0006: call instance int32 assembly/Point2D::GetHashCode(class [runtime]System.Collections.IEqualityComparer) - IL_000b: ret - } - - .method public hidebysig instance bool Equals(valuetype assembly/Point2D obj, class [runtime]System.Collections.IEqualityComparer comp) cil managed - { - .custom instance void [runtime]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 ) - - .maxstack 8 - IL_0000: ldarg.0 - IL_0001: ldfld float64 assembly/Point2D::x - IL_0006: ldarga.s obj - IL_0008: ldfld float64 assembly/Point2D::x - IL_000d: ceq - IL_000f: brfalse.s IL_0021 - - IL_0011: ldarg.0 - IL_0012: ldfld float64 assembly/Point2D::y - IL_0017: ldarga.s obj - IL_0019: ldfld float64 assembly/Point2D::y - IL_001e: ceq - IL_0020: ret - - IL_0021: ldc.i4.0 - IL_0022: ret - } - - .method public hidebysig virtual final instance bool Equals(object obj, class [runtime]System.Collections.IEqualityComparer comp) cil managed - { - .custom instance void [runtime]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 ) - - .maxstack 5 - .locals init (valuetype assembly/Point2D V_0) - IL_0000: ldarg.1 - IL_0001: isinst assembly/Point2D - IL_0006: brfalse.s IL_0018 - - IL_0008: ldarg.1 - IL_0009: unbox.any assembly/Point2D - IL_000e: stloc.0 - IL_000f: ldarg.0 - IL_0010: ldloc.0 - IL_0011: ldarg.2 - IL_0012: call instance bool assembly/Point2D::Equals(valuetype assembly/Point2D, - class [runtime]System.Collections.IEqualityComparer) - IL_0017: ret - - IL_0018: ldc.i4.0 - IL_0019: ret - } - - .method public specialname rtspecialname instance void .ctor(float64 x, float64 y) cil managed - { - - .maxstack 8 - IL_0000: ldarg.0 - IL_0001: ldarg.1 - IL_0002: stfld float64 assembly/Point2D::x - IL_0007: ldarg.0 - IL_0008: ldarg.2 - IL_0009: stfld float64 assembly/Point2D::y - IL_000e: ret - } - - .method public hidebysig specialname instance float64 get_X() cil managed - { - - .maxstack 8 - IL_0000: ldarg.0 - IL_0001: ldfld float64 assembly/Point2D::x - IL_0006: ret - } - - .method public hidebysig specialname instance float64 get_Y() cil managed - { - - .maxstack 8 - IL_0000: ldarg.0 - IL_0001: ldfld float64 assembly/Point2D::y - IL_0006: ret - } - - .method public hidebysig virtual final instance bool Equals(valuetype assembly/Point2D obj) cil managed - { - .custom instance void [runtime]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 ) - - .maxstack 4 - .locals init (float64 V_0, - float64 V_1) - IL_0000: ldarg.0 - IL_0001: ldfld float64 assembly/Point2D::x - IL_0006: stloc.0 - IL_0007: ldarga.s obj - IL_0009: ldfld float64 assembly/Point2D::x - IL_000e: stloc.1 - IL_000f: ldloc.0 - IL_0010: ldloc.1 - IL_0011: ceq - IL_0013: brfalse.s IL_0019 - - IL_0015: ldc.i4.1 - IL_0016: nop - IL_0017: br.s IL_0029 - - IL_0019: ldloc.0 - IL_001a: ldloc.0 - IL_001b: beq.s IL_0027 - - IL_001d: ldloc.1 - IL_001e: ldloc.1 - IL_001f: ceq - IL_0021: ldc.i4.0 - IL_0022: ceq - IL_0024: nop - IL_0025: br.s IL_0029 - - IL_0027: ldc.i4.0 - IL_0028: nop - IL_0029: brfalse.s IL_0050 - - IL_002b: ldarg.0 - IL_002c: ldfld float64 assembly/Point2D::y - IL_0031: stloc.0 - IL_0032: ldarga.s obj - IL_0034: ldfld float64 assembly/Point2D::y - IL_0039: stloc.1 - IL_003a: ldloc.0 - IL_003b: ldloc.1 - IL_003c: ceq - IL_003e: brfalse.s IL_0042 - - IL_0040: ldc.i4.1 - IL_0041: ret - - IL_0042: ldloc.0 - IL_0043: ldloc.0 - IL_0044: beq.s IL_004e - - IL_0046: ldloc.1 - IL_0047: ldloc.1 - IL_0048: ceq - IL_004a: ldc.i4.0 - IL_004b: ceq - IL_004d: ret - - IL_004e: ldc.i4.0 - IL_004f: ret - - IL_0050: ldc.i4.0 - IL_0051: ret - } - - .method public hidebysig virtual final instance bool Equals(object obj) cil managed - { - .custom instance void [runtime]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 ) - - .maxstack 8 - IL_0000: ldarg.1 - IL_0001: isinst assembly/Point2D - IL_0006: brfalse.s IL_0015 - - IL_0008: ldarg.0 - IL_0009: ldarg.1 - IL_000a: unbox.any assembly/Point2D - IL_000f: call instance bool assembly/Point2D::Equals(valuetype assembly/Point2D) - IL_0014: ret - - IL_0015: ldc.i4.0 - IL_0016: ret - } - - .property instance float64 X() - { - .get instance float64 assembly/Point2D::get_X() - } - .property instance float64 Y() - { - .get instance float64 assembly/Point2D::get_Y() - } - } - - .method assembly static int32 fifthMethodFirstCallee@13(int32 iterationCount, - valuetype assembly/Point2D firstArg, - valuetype assembly/Point2D secondArg, - valuetype assembly/Point2D thirdArg, - valuetype assembly/Point2D fourthArg, - valuetype assembly/Point2D fifthArg) cil managed + .method assembly static int32 fifthMethodFirstCallee@8(int32 iterationCount, + int32 firstArg) cil managed { .maxstack 8 IL_0000: nop - IL_0001: ldarga.s firstArg - IL_0003: ldfld float64 assembly/Point2D::x - IL_0008: ldc.r8 10. - IL_0011: beq.s IL_0016 - - IL_0013: ldc.i4.s -100 - IL_0015: ret - - IL_0016: nop - IL_0017: ldarga.s firstArg - IL_0019: ldfld float64 assembly/Point2D::y - IL_001e: ldc.r8 20. - IL_0027: beq.s IL_002c - - IL_0029: ldc.i4.s -101 - IL_002b: ret - - IL_002c: nop - IL_002d: ldarga.s secondArg - IL_002f: ldfld float64 assembly/Point2D::x - IL_0034: ldc.r8 30. - IL_003d: beq.s IL_0042 - - IL_003f: ldc.i4.s -102 - IL_0041: ret - - IL_0042: nop - IL_0043: ldarga.s secondArg - IL_0045: ldfld float64 assembly/Point2D::y - IL_004a: ldc.r8 40. - IL_0053: beq.s IL_0058 - - IL_0055: ldc.i4.s -103 - IL_0057: ret - - IL_0058: nop - IL_0059: ldarga.s thirdArg - IL_005b: ldfld float64 assembly/Point2D::x - IL_0060: ldc.r8 10. - IL_0069: beq.s IL_006e - - IL_006b: ldc.i4.s -104 - IL_006d: ret - - IL_006e: nop - IL_006f: ldarga.s thirdArg - IL_0071: ldfld float64 assembly/Point2D::y - IL_0076: ldc.r8 20. - IL_007f: beq.s IL_0084 - - IL_0081: ldc.i4.s -105 - IL_0083: ret - - IL_0084: nop - IL_0085: ldarga.s fourthArg - IL_0087: ldfld float64 assembly/Point2D::x - IL_008c: ldc.r8 30. - IL_0095: beq.s IL_009a - - IL_0097: ldc.i4.s -106 - IL_0099: ret - - IL_009a: nop - IL_009b: ldarga.s fourthArg - IL_009d: ldfld float64 assembly/Point2D::y - IL_00a2: ldc.r8 40. - IL_00ab: beq.s IL_00b0 - - IL_00ad: ldc.i4.s -107 - IL_00af: ret - - IL_00b0: nop - IL_00b1: ldarga.s fifthArg - IL_00b3: ldfld float64 assembly/Point2D::x - IL_00b8: ldc.r8 10. - IL_00c1: beq.s IL_00c6 - - IL_00c3: ldc.i4.s -108 - IL_00c5: ret - - IL_00c6: nop - IL_00c7: ldarga.s fifthArg - IL_00c9: ldfld float64 assembly/Point2D::y - IL_00ce: ldc.r8 20. - IL_00d7: beq.s IL_00dc - - IL_00d9: ldc.i4.s -109 - IL_00db: ret - - IL_00dc: nop - IL_00dd: ldarg.0 - IL_00de: brtrue.s IL_00e3 - - IL_00e0: ldc.i4.s 100 - IL_00e2: ret - - IL_00e3: nop - IL_00e4: ldarg.0 - IL_00e5: ldc.i4.2 - IL_00e6: rem - IL_00e7: brtrue.s IL_00fb - - IL_00e9: ldarg.0 - IL_00ea: ldc.i4.1 - IL_00eb: sub - IL_00ec: ldarg.1 - IL_00ed: ldarg.2 - IL_00ee: ldarg.3 - IL_00ef: ldarg.s fourthArg - IL_00f1: ldarg.s fifthArg - IL_00f3: tail. - IL_00f5: call int32 assembly::fifthMethodSecondCallee@31(int32, - valuetype assembly/Point2D, - valuetype assembly/Point2D, - valuetype assembly/Point2D, - valuetype assembly/Point2D, - valuetype assembly/Point2D) - IL_00fa: ret - - IL_00fb: ldarg.0 - IL_00fc: ldc.i4.1 - IL_00fd: sub - IL_00fe: ldarg.1 - IL_00ff: ldarg.2 - IL_0100: ldarg.3 - IL_0101: ldarg.s fourthArg - IL_0103: ldarg.s fifthArg - IL_0105: starg.s fifthArg - IL_0107: starg.s fourthArg - IL_0109: starg.s thirdArg - IL_010b: starg.s secondArg - IL_010d: starg.s firstArg - IL_010f: starg.s iterationCount - IL_0111: br IL_0000 + IL_0001: ldarg.0 + IL_0002: brtrue.s IL_0007 + + IL_0004: ldc.i4.s 100 + IL_0006: ret + + IL_0007: nop + IL_0008: ldarg.0 + IL_0009: ldc.i4.2 + IL_000a: rem + IL_000b: brtrue.s IL_0019 + + IL_000d: ldarg.0 + IL_000e: ldc.i4.1 + IL_000f: sub + IL_0010: ldarg.1 + IL_0011: tail. + IL_0013: call int32 assembly::fifthMethodSecondCallee@16(int32, + int32) + IL_0018: ret + + IL_0019: ldarg.0 + IL_001a: ldc.i4.1 + IL_001b: sub + IL_001c: ldarg.1 + IL_001d: starg.s firstArg + IL_001f: starg.s iterationCount + IL_0021: br.s IL_0000 } - .method assembly static int32 fifthMethodSecondCallee@31(int32 iterationCount, - valuetype assembly/Point2D firstArg, - valuetype assembly/Point2D secondArg, - valuetype assembly/Point2D thirdArg, - valuetype assembly/Point2D fourthArg, - valuetype assembly/Point2D fifthArg) cil managed + .method assembly static int32 fifthMethodSecondCallee@16(int32 iterationCount, + int32 firstArg) cil managed { .maxstack 8 IL_0000: nop - IL_0001: ldarga.s firstArg - IL_0003: ldfld float64 assembly/Point2D::x - IL_0008: ldc.r8 10. - IL_0011: beq.s IL_0019 - - IL_0013: ldc.i4 0xffffff6a - IL_0018: ret - - IL_0019: nop - IL_001a: ldarga.s firstArg - IL_001c: ldfld float64 assembly/Point2D::y - IL_0021: ldc.r8 20. - IL_002a: beq.s IL_0032 - - IL_002c: ldc.i4 0xffffff69 - IL_0031: ret - - IL_0032: nop - IL_0033: ldarga.s secondArg - IL_0035: ldfld float64 assembly/Point2D::x - IL_003a: ldc.r8 30. - IL_0043: beq.s IL_004b - - IL_0045: ldc.i4 0xffffff68 - IL_004a: ret - - IL_004b: nop - IL_004c: ldarga.s secondArg - IL_004e: ldfld float64 assembly/Point2D::y - IL_0053: ldc.r8 40. - IL_005c: beq.s IL_0064 - - IL_005e: ldc.i4 0xffffff67 - IL_0063: ret - - IL_0064: nop - IL_0065: ldarga.s thirdArg - IL_0067: ldfld float64 assembly/Point2D::x - IL_006c: ldc.r8 10. - IL_0075: beq.s IL_007d - - IL_0077: ldc.i4 0xffffff66 - IL_007c: ret - - IL_007d: nop - IL_007e: ldarga.s thirdArg - IL_0080: ldfld float64 assembly/Point2D::y - IL_0085: ldc.r8 20. - IL_008e: beq.s IL_0096 - - IL_0090: ldc.i4 0xffffff65 - IL_0095: ret - - IL_0096: nop - IL_0097: ldarga.s fourthArg - IL_0099: ldfld float64 assembly/Point2D::x - IL_009e: ldc.r8 30. - IL_00a7: beq.s IL_00af - - IL_00a9: ldc.i4 0xffffff64 - IL_00ae: ret - - IL_00af: nop - IL_00b0: ldarga.s fourthArg - IL_00b2: ldfld float64 assembly/Point2D::y - IL_00b7: ldc.r8 40. - IL_00c0: beq.s IL_00c8 - - IL_00c2: ldc.i4 0xffffff63 - IL_00c7: ret - - IL_00c8: nop - IL_00c9: ldarga.s fifthArg - IL_00cb: ldfld float64 assembly/Point2D::x - IL_00d0: ldc.r8 10. - IL_00d9: beq.s IL_00e1 - - IL_00db: ldc.i4 0xffffff62 - IL_00e0: ret - - IL_00e1: nop - IL_00e2: ldarga.s fifthArg - IL_00e4: ldfld float64 assembly/Point2D::y - IL_00e9: ldc.r8 20. - IL_00f2: beq.s IL_00fa - - IL_00f4: ldc.i4 0xffffff61 - IL_00f9: ret - - IL_00fa: nop - IL_00fb: ldarg.0 - IL_00fc: brtrue.s IL_0101 - - IL_00fe: ldc.i4.s 101 - IL_0100: ret - - IL_0101: nop - IL_0102: ldarg.0 - IL_0103: ldc.i4.2 - IL_0104: rem - IL_0105: brtrue.s IL_0122 - - IL_0107: ldarg.0 - IL_0108: ldc.i4.1 - IL_0109: sub - IL_010a: ldarg.1 - IL_010b: ldarg.2 - IL_010c: ldarg.3 - IL_010d: ldarg.s fourthArg - IL_010f: ldarg.s fifthArg - IL_0111: starg.s fifthArg - IL_0113: starg.s fourthArg - IL_0115: starg.s thirdArg - IL_0117: starg.s secondArg - IL_0119: starg.s firstArg - IL_011b: starg.s iterationCount - IL_011d: br IL_0000 - - IL_0122: ldarg.0 - IL_0123: ldc.i4.1 - IL_0124: sub - IL_0125: ldarg.1 - IL_0126: ldarg.2 - IL_0127: ldarg.3 - IL_0128: ldarg.s fourthArg - IL_012a: ldarg.s fifthArg - IL_012c: tail. - IL_012e: call int32 assembly::fifthMethodFirstCallee@13(int32, - valuetype assembly/Point2D, - valuetype assembly/Point2D, - valuetype assembly/Point2D, - valuetype assembly/Point2D, - valuetype assembly/Point2D) - IL_0133: ret + IL_0001: ldarg.0 + IL_0002: brtrue.s IL_0007 + + IL_0004: ldc.i4.s 101 + IL_0006: ret + + IL_0007: nop + IL_0008: ldarg.0 + IL_0009: ldc.i4.2 + IL_000a: rem + IL_000b: brtrue.s IL_0017 + + IL_000d: ldarg.0 + IL_000e: ldc.i4.1 + IL_000f: sub + IL_0010: ldarg.1 + IL_0011: starg.s firstArg + IL_0013: starg.s iterationCount + IL_0015: br.s IL_0000 + + IL_0017: ldarg.0 + IL_0018: ldc.i4.1 + IL_0019: sub + IL_001a: ldarg.1 + IL_001b: tail. + IL_001d: call int32 assembly::fifthMethodFirstCallee@8(int32, + int32) + IL_0022: ret } .method public static int32 fifth() cil managed { .maxstack 8 - .locals init (valuetype assembly/Point2D V_0, - valuetype assembly/Point2D V_1, - int32 V_2) - IL_0000: ldc.r8 10. - IL_0009: ldc.r8 20. - IL_0012: newobj instance void assembly/Point2D::.ctor(float64, - float64) - IL_0017: stloc.0 - IL_0018: ldc.r8 30. - IL_0021: ldc.r8 40. - IL_002a: newobj instance void assembly/Point2D::.ctor(float64, - float64) - IL_002f: stloc.1 - IL_0030: ldc.i4 0xf4240 - IL_0035: ldloc.0 - IL_0036: ldloc.1 - IL_0037: ldloc.0 - IL_0038: ldloc.1 - IL_0039: ldloc.0 - IL_003a: call int32 assembly::fifthMethodFirstCallee@13(int32, - valuetype assembly/Point2D, - valuetype assembly/Point2D, - valuetype assembly/Point2D, - valuetype assembly/Point2D, - valuetype assembly/Point2D) - IL_003f: stloc.2 - IL_0040: nop - IL_0041: ldloc.2 - IL_0042: ldc.i4.s 100 - IL_0044: beq.s IL_0064 - - IL_0046: ldloc.2 - IL_0047: ldc.i4.s 101 - IL_0049: beq.s IL_0064 - - IL_004b: ldstr "Method -- Failed, expected result: 100 or 101, cal" - + "culated: %d" - IL_0050: newobj instance void class [FSharp.Core]Microsoft.FSharp.Core.PrintfFormat`5,class [runtime]System.IO.TextWriter,class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Core.Unit,int32>::.ctor(string) - IL_0055: call !!0 [FSharp.Core]Microsoft.FSharp.Core.ExtraTopLevelOperators::PrintFormatLine>(class [FSharp.Core]Microsoft.FSharp.Core.PrintfFormat`4) - IL_005a: ldloc.2 - IL_005b: callvirt instance !1 class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2::Invoke(!0) - IL_0060: pop - IL_0061: ldc.i4.s -5 - IL_0063: ret - - IL_0064: ldc.i4.0 - IL_0065: ret + IL_0000: ldc.i4 0xf4240 + IL_0005: ldc.i4 0x26ad7 + IL_000a: tail. + IL_000c: call int32 assembly::fifthMethodFirstCallee@8(int32, + int32) + IL_0011: ret } .method public static int32 main(string[] argv) cil managed @@ -854,42 +122,10 @@ .entrypoint .custom instance void [FSharp.Core]Microsoft.FSharp.Core.EntryPointAttribute::.ctor() = ( 01 00 00 00 ) - .maxstack 4 - .locals init (class [runtime]System.Diagnostics.Stopwatch V_0, - int32 V_1, - int32 V_2, - float64 V_3, - valuetype [runtime]System.TimeSpan V_4) - IL_0000: call class [runtime]System.Diagnostics.Stopwatch [runtime]System.Diagnostics.Stopwatch::StartNew() - IL_0005: stloc.0 - IL_0006: ldc.i4.0 - IL_0007: stloc.1 - IL_0008: br.s IL_0014 - - IL_000a: call int32 assembly::fifth() - IL_000f: stloc.2 - IL_0010: ldloc.1 - IL_0011: ldc.i4.1 - IL_0012: add - IL_0013: stloc.1 - IL_0014: ldloc.1 - IL_0015: ldc.i4.s 101 - IL_0017: blt.s IL_000a - - IL_0019: ldloc.0 - IL_001a: callvirt instance valuetype [runtime]System.TimeSpan [runtime]System.Diagnostics.Stopwatch::get_Elapsed() - IL_001f: stloc.s V_4 - IL_0021: ldloca.s V_4 - IL_0023: call instance float64 [runtime]System.TimeSpan::get_TotalMilliseconds() - IL_0028: stloc.3 - IL_0029: ldstr "%fms" - IL_002e: newobj instance void class [FSharp.Core]Microsoft.FSharp.Core.PrintfFormat`5,class [runtime]System.IO.TextWriter,class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Core.Unit,float64>::.ctor(string) - IL_0033: call !!0 [FSharp.Core]Microsoft.FSharp.Core.ExtraTopLevelOperators::PrintFormatLine>(class [FSharp.Core]Microsoft.FSharp.Core.PrintfFormat`4) - IL_0038: ldloc.3 - IL_0039: callvirt instance !1 class [FSharp.Core]Microsoft.FSharp.Core.FSharpFunc`2::Invoke(!0) - IL_003e: pop - IL_003f: ldc.i4.0 - IL_0040: ret + .maxstack 8 + IL_0000: tail. + IL_0002: call int32 assembly::fifth() + IL_0007: ret } }