diff options
Diffstat (limited to 'ICSharpCode.Decompiler/Tests/IL')
-rw-r--r-- | ICSharpCode.Decompiler/Tests/IL/ILTests.cs | 51 | ||||
-rw-r--r-- | ICSharpCode.Decompiler/Tests/IL/SequenceOfNestedIfs.Output.cs | 53 | ||||
-rw-r--r-- | ICSharpCode.Decompiler/Tests/IL/SequenceOfNestedIfs.il | 140 | ||||
-rw-r--r-- | ICSharpCode.Decompiler/Tests/IL/StackTests.il | 132 |
4 files changed, 376 insertions, 0 deletions
diff --git a/ICSharpCode.Decompiler/Tests/IL/ILTests.cs b/ICSharpCode.Decompiler/Tests/IL/ILTests.cs new file mode 100644 index 00000000..f06f3108 --- /dev/null +++ b/ICSharpCode.Decompiler/Tests/IL/ILTests.cs @@ -0,0 +1,51 @@ +// Copyright (c) AlphaSierraPapa for the SharpDevelop Team +// +// Permission is hereby granted, free of charge, to any person obtaining a copy of this +// software and associated documentation files (the "Software"), to deal in the Software +// without restriction, including without limitation the rights to use, copy, modify, merge, +// publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons +// to whom the Software is furnished to do so, subject to the following conditions: +// +// The above copyright notice and this permission notice shall be included in all copies or +// substantial portions of the Software. +// +// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, +// INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR +// PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE +// FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR +// OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER +// DEALINGS IN THE SOFTWARE. + +using System; +using System.IO; +using ICSharpCode.Decompiler.Ast; +using ICSharpCode.Decompiler.Tests.Helpers; +using Mono.Cecil; +using NUnit.Framework; + +namespace ICSharpCode.Decompiler.Tests +{ + [TestFixture] + public class ILTests + { + const string path = "../../Tests/IL"; + + [Test] + public void SequenceOfNestedIfs() + { + Run("SequenceOfNestedIfs.dll", "SequenceOfNestedIfs.Output.cs"); + } + + void Run(string compiledFile, string expectedOutputFile) + { + string expectedOutput = File.ReadAllText(Path.Combine(path, expectedOutputFile)); + var assembly = AssemblyDefinition.ReadAssembly(Path.Combine(path, compiledFile)); + AstBuilder decompiler = new AstBuilder(new DecompilerContext(assembly.MainModule)); + decompiler.AddAssembly(assembly); + new Helpers.RemoveCompilerAttribute().Run(decompiler.SyntaxTree); + StringWriter output = new StringWriter(); + decompiler.GenerateCode(new PlainTextOutput(output)); + CodeAssert.AreEqual(expectedOutput, output.ToString()); + } + } +} diff --git a/ICSharpCode.Decompiler/Tests/IL/SequenceOfNestedIfs.Output.cs b/ICSharpCode.Decompiler/Tests/IL/SequenceOfNestedIfs.Output.cs new file mode 100644 index 00000000..754d7daf --- /dev/null +++ b/ICSharpCode.Decompiler/Tests/IL/SequenceOfNestedIfs.Output.cs @@ -0,0 +1,53 @@ +using System; +[Serializable] +public class Material +{ + public static implicit operator bool(Material m) + { + return m == null; + } +} +[Serializable] +public class SequenceOfNestedIfs +{ + public bool _clear; + public Material _material; + public override bool CheckShader() + { + return false; + } + public override void CreateMaterials() + { + if (!this._clear) + { + if (!this.CheckShader()) + { + return; + } + this._material = new Material(); + } + if (!this._material) + { + if (!this.CheckShader()) + { + return; + } + this._material = new Material(); + } + if (!this._material) + { + if (!this.CheckShader()) + { + return; + } + this._material = new Material(); + } + if (!this._material) + { + if (this.CheckShader()) + { + this._material = new Material(); + } + } + } +} diff --git a/ICSharpCode.Decompiler/Tests/IL/SequenceOfNestedIfs.il b/ICSharpCode.Decompiler/Tests/IL/SequenceOfNestedIfs.il new file mode 100644 index 00000000..9c9b749c --- /dev/null +++ b/ICSharpCode.Decompiler/Tests/IL/SequenceOfNestedIfs.il @@ -0,0 +1,140 @@ +// Metadata version: v2.0.50727 +.assembly extern mscorlib +{ + .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) // .z\V.4.. + .ver 2:0:0:0 +} + +.assembly SequenceOfNestedIfs +{ + .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. + .hash algorithm 0x00008004 + .ver 0:0:0:0 +} +.module SequenceOfNestedIfs +// MVID: {DCEC8A87-5679-4EBE-89A3-51274D8B5446} +.imagebase 0x00400000 +.file alignment 0x00000200 +.stackreserve 0x00100000 +.subsystem 0x0003 // WINDOWS_CUI +.corflags 0x00000001 // ILONLY +// Image base: 0x01D60000 + + +// =============== CLASS MEMBERS DECLARATION =================== + +.class public auto ansi serializable beforefieldinit Material + extends [mscorlib]System.Object +{ + .method public hidebysig specialname rtspecialname + instance void .ctor() cil managed + { + // Code size 7 (0x7) + .maxstack 8 + IL_0000: ldarg.0 + IL_0001: call instance void [mscorlib]System.Object::.ctor() + IL_0006: ret + } // end of method Material::.ctor + + .method public hidebysig specialname static + bool op_Implicit(class Material m) cil managed + { + // Code size 11 (0xb) + .maxstack 8 + IL_0000: ldarg.0 + IL_0001: ldnull + IL_0008: ceq + IL_000a: ret + } // end of method Material::op_Implicit + +} // end of class Material + +.class public auto ansi serializable beforefieldinit SequenceOfNestedIfs + extends [mscorlib]System.Object +{ + .field public bool _clear + .field public class Material _material + .method public hidebysig specialname rtspecialname + instance void .ctor() cil managed + { + // Code size 7 (0x7) + .maxstack 8 + IL_0000: ldarg.0 + IL_0001: call instance void [mscorlib]System.Object::.ctor() + IL_0006: ret + } // end of method SequenceOfNestedIfs::.ctor + + .method public hidebysig virtual instance bool + CheckShader() cil managed + { + // Code size 2 (0x2) + .maxstack 8 + IL_0000: ldc.i4.0 + IL_0001: ret + } // end of method SequenceOfNestedIfs::CheckShader + + .method public hidebysig virtual instance void + CreateMaterials() cil managed + { + // Code size 168 (0xa8) + .maxstack 13 + IL_0000: ldarg.0 + IL_0001: ldfld bool SequenceOfNestedIfs::_clear + IL_0006: brtrue IL_0026 + + IL_000b: ldarg.0 + IL_000c: callvirt instance bool SequenceOfNestedIfs::CheckShader() + IL_0011: brtrue IL_001b + + IL_0016: br IL_00a7 + + IL_001b: ldarg.0 + IL_001c: newobj instance void Material::.ctor() + IL_0021: stfld class Material SequenceOfNestedIfs::_material + IL_0026: ldarg.0 + IL_0027: ldfld class Material SequenceOfNestedIfs::_material + IL_002c: call bool Material::op_Implicit(class Material) + IL_0031: brtrue IL_0051 + + IL_0036: ldarg.0 + IL_0037: callvirt instance bool SequenceOfNestedIfs::CheckShader() + IL_003c: brtrue IL_0046 + + IL_0041: br IL_00a7 + + IL_0046: ldarg.0 + IL_0047: newobj instance void Material::.ctor() + IL_004c: stfld class Material SequenceOfNestedIfs::_material + IL_0051: ldarg.0 + IL_0052: ldfld class Material SequenceOfNestedIfs::_material + IL_0057: call bool Material::op_Implicit(class Material) + IL_005c: brtrue IL_007c + + IL_0061: ldarg.0 + IL_0062: callvirt instance bool SequenceOfNestedIfs::CheckShader() + IL_0067: brtrue IL_0071 + + IL_006c: br IL_00a7 + + IL_0071: ldarg.0 + IL_0072: newobj instance void Material::.ctor() + IL_0077: stfld class Material SequenceOfNestedIfs::_material + IL_007c: ldarg.0 + IL_007d: ldfld class Material SequenceOfNestedIfs::_material + IL_0082: call bool Material::op_Implicit(class Material) + IL_0087: brtrue IL_00a7 + + IL_008c: ldarg.0 + IL_008d: callvirt instance bool SequenceOfNestedIfs::CheckShader() + IL_0092: brtrue IL_009c + + IL_0097: br IL_00a7 + + IL_009c: ldarg.0 + IL_009d: newobj instance void Material::.ctor() + IL_00a2: stfld class Material SequenceOfNestedIfs::_material + IL_00a7: ret + } // end of method SequenceOfNestedIfs::CreateMaterials + +} // end of class SequenceOfNestedIfs
\ No newline at end of file diff --git a/ICSharpCode.Decompiler/Tests/IL/StackTests.il b/ICSharpCode.Decompiler/Tests/IL/StackTests.il new file mode 100644 index 00000000..51cee375 --- /dev/null +++ b/ICSharpCode.Decompiler/Tests/IL/StackTests.il @@ -0,0 +1,132 @@ +.assembly extern mscorlib +{ + .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) + .ver 4:0:0:0 +} +.assembly StackTests +{ + .hash algorithm 0x00008004 + .ver 1:0:4059:39717 +} +.module StackTests.exe +.imagebase 0x00400000 +.file alignment 0x00000200 +.stackreserve 0x00100000 +.subsystem 0x0003 // WINDOWS_CUI +.corflags 0x00000003 // ILONLY 32BITREQUIRED + +.class private auto ansi beforefieldinit StackTests.Program extends [mscorlib]System.Object +{ + .method public hidebysig static void Main(string[] args) cil managed + { + .entrypoint + .maxstack 8 + + ldc.i4.0 + call string StackTests.Program::Test1(bool cond) + call void [mscorlib]System.Console::WriteLine(string) // false + + ldc.i4.1 + call string StackTests.Program::Test1(bool cond) + call void [mscorlib]System.Console::WriteLine(string) // true + + ldc.i4.0 + ldc.i4.0 + ldc.i4.0 + call int32 StackTests.Program::Test2(int32 switch1, int32 br1, int32 br2) + call void [mscorlib]System.Console::WriteLine(int32) // 11 + + ldc.i4.0 + ldc.i4.1 + ldc.i4.0 + call int32 StackTests.Program::Test2(int32 switch1, int32 br1, int32 br2) + call void [mscorlib]System.Console::WriteLine(int32) // 21 + + ldc.i4.1 + ldc.i4.1 + ldc.i4.1 + call int32 StackTests.Program::Test2(int32 switch1, int32 br1, int32 br2) + call void [mscorlib]System.Console::WriteLine(int32) // 32 + + ldc.i4.2 + ldc.i4.1 + ldc.i4.0 + call int32 StackTests.Program::Test2(int32 switch1, int32 br1, int32 br2) + call void [mscorlib]System.Console::WriteLine(int32) // 23 + + ret + } + + .method public hidebysig static string Test1(bool cond) cil managed + { + ldarg.0 + brtrue TRUE + + FALSE: + ldstr "false" + br EXIT + + TRUE: + ldstr "true" + + EXIT: + ret + } + + .method public hidebysig static int32 Test2(int32 switch1, int32 br1, int32 br2) cil managed + { + ldarg.0 + switch (ENTRY1, ENTRY2, ENTRY3) + ldc.i4.0 + ret + + ENTRY1: + ldc.i4.1 + br BRANCH1 + + ENTRY2: + ldc.i4.2 + br BRANCH1 + + ENTRY3: + ldc.i4.3 + br BRANCH2 + + BRANCH1: + ldarg.1 + brtrue BRANCH2 + + EXIT1: + ldc.i4 10 + add + ret + + BRANCH2: + ldarg.2 + brtrue.s EXIT3 + + EXIT2: + ldc.i4 20 + add + ret + + EXIT3: + ldc.i4 30 + add + ret + } + + .method public hidebysig specialname rtspecialname + instance void .ctor() cil managed + { + // Code size 7 (0x7) + .maxstack 8 + IL_0000: ldarg.0 + IL_0001: call instance void [mscorlib]System.Object::.ctor() + IL_0006: ret + } // end of method Program::.ctor + +} // end of class StackTests.Program + + +// ============================================================= |