diff options
Diffstat (limited to 'tests/src/JIT/Methodical/eh/leaves/forwardleaveincatch.il')
| -rw-r--r-- | tests/src/JIT/Methodical/eh/leaves/forwardleaveincatch.il | 173 |
1 files changed, 173 insertions, 0 deletions
diff --git a/tests/src/JIT/Methodical/eh/leaves/forwardleaveincatch.il b/tests/src/JIT/Methodical/eh/leaves/forwardleaveincatch.il new file mode 100644 index 0000000000..1640d3cbfd --- /dev/null +++ b/tests/src/JIT/Methodical/eh/leaves/forwardleaveincatch.il @@ -0,0 +1,173 @@ +// forward leave (with dead code after try end) in catch + + + +.assembly extern System.Console +{ + .publickeytoken = (B0 3F 5F 7F 11 D5 0A 3A ) + .ver 4:0:0:0 +} +.assembly extern mscorlib +{ + .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) + .ver 1:1:3102:0 +} +.assembly extern common{} +.assembly branchbackwardswithfinally +{ + .hash algorithm 0x00008004 + .ver 0:0:0:0 +} +.module branchbackwardswithfinally.exe +.imagebase 0x00400000 +.subsystem 0x00000003 +.file alignment 512 +.corflags 0x00000001 + + + + + + + + + +.namespace hello +{ + .class private auto ansi beforefieldinit Class1 + extends [mscorlib]System.Object + { + .method public hidebysig static void + inTry() cil managed + { + .maxstack 1 + IL_0000: ldstr "In try" + IL_0005: call void [System.Console]System.Console::WriteLine(string) + IL_000a: ret + } + + .method public hidebysig static void + inTry2() cil managed + { + .maxstack 1 + IL_0000: ldstr "In try2" + IL_0005: call void [System.Console]System.Console::WriteLine(string) + IL_000a: ret + } + + .method public hidebysig static void + inFinally() cil managed + { + .maxstack 1 + IL_0000: ldstr "In finally" + IL_0005: call void [System.Console]System.Console::WriteLine(string) + IL_000a: ret + } + + .method public hidebysig static void + inCatch() cil managed + { + .maxstack 1 + IL_0000: ldstr "In catch" + IL_0005: call void [System.Console]System.Console::WriteLine(string) + IL_000a: ret + } + + .method public hidebysig static int32 + Main(string[] args) cil managed + { + .entrypoint + .maxstack 2 + .locals init (int32 V_0, + class [mscorlib]System.IO.StringWriter expectedOut, + class [common]TestUtil.TestLog testLog + ) + newobj instance void [mscorlib]System.IO.StringWriter::.ctor() + stloc.s expectedOut + ldloc.s expectedOut + ldstr "before try" + callvirt instance void [mscorlib]System.IO.TextWriter::WriteLine(string) + ldloc.s expectedOut + ldstr "In try" + callvirt instance void [mscorlib]System.IO.TextWriter::WriteLine(string) + ldloc.s expectedOut + ldstr "In try2" + callvirt instance void [mscorlib]System.IO.TextWriter::WriteLine(string) + ldloc.s expectedOut + ldstr "In catch" + callvirt instance void [mscorlib]System.IO.TextWriter::WriteLine(string) + ldloc.s expectedOut + ldstr "In finally" + callvirt instance void [mscorlib]System.IO.TextWriter::WriteLine(string) + ldloc.s expectedOut + ldstr "after try" + callvirt instance void [mscorlib]System.IO.TextWriter::WriteLine(string) + ldloc.s expectedOut + newobj instance void [common]TestUtil.TestLog::.ctor(object) + stloc.s testLog + + ldloc.s testLog + callvirt instance void [common]TestUtil.TestLog::StartRecording() + ldc.i4.0 + stloc.0 + + before: + ldstr "before try" + call void [System.Console]System.Console::WriteLine(string) + ldloc.0 + ldc.i4.1 + beq done + + .try + { + call void hello.Class1::inTry() + .try + { + call void hello.Class1::inTry2() + ldc.i4.1 + stloc.0 + newobj instance void [mscorlib]System.Exception::.ctor() + throw + leave.s before + + } + catch [mscorlib]System.Exception + { + call void hello.Class1::inCatch() + leave.s after + } + + } + finally + { + call void hello.Class1::inFinally() + endfinally + } + done: + ldstr "unreached" + call void [System.Console]System.Console::WriteLine(string) + after: + ldstr "after try" + call void [System.Console]System.Console::WriteLine(string) + ldloc.s testLog + callvirt instance void [common]TestUtil.TestLog::StopRecording() + ldloc.s testLog + callvirt instance int32 [common]TestUtil.TestLog::VerifyOutput() + ret + } + + .method public hidebysig specialname rtspecialname + instance void .ctor() cil managed + { + .maxstack 1 + IL_0000: ldarg.0 + IL_0001: call instance void [mscorlib]System.Object::.ctor() + IL_0006: ret + } + + } + + + +} + |