1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
using System;
using System.Reflection.Emit;
using Mono.Linker.Tests.Cases.Expectations.Assertions;
using Mono.Linker.Tests.Cases.Expectations.Metadata;
namespace Mono.Linker.Tests.Cases.UnreachableBlock
{
[Reference ("System.Reflection.Emit.dll")]
[SetupCompileArgument ("/optimize-")] // Relying on debug csc behaviour
[SetupLinkerArgument ("--enable-opt", "ipconstprop")]
public class ComplexConditions
{
public static void Main ()
{
Test_1 (null);
Test_2 (9);
}
[Kept]
#if !NETCOREAPP
[ExpectBodyModified]
#else
[ExpectedInstructionSequence (new[] {
"nop",
"ldarg.0",
"isinst System.Type",
"brtrue.s il_15",
"ldc.i4.1",
"pop",
"ldarg.0",
"pop",
"ldnull",
"ldnull",
"cgt.un",
"br.s il_13",
"br.s il_16",
"ldc.i4.1",
"stloc.0",
"ldloc.0",
"brfalse.s il_20",
"call System.Void Mono.Linker.Tests.Cases.UnreachableBlock.ComplexConditions::Reached_1()",
"nop",
"ret",
})]
#endif
static void Test_1 (object type)
{
if (type is Type || (IsDynamicCodeSupported && type is TypeBuilder))
Reached_1 ();
}
[Kept]
#if !NETCOREAPP
[ExpectBodyModified]
#else
[ExpectedInstructionSequence (new[] {
"nop",
"ldc.i4.1",
"stloc.1",
"ldloc.1",
"pop",
"ldc.i4.0",
"stloc.0",
"ldarg.0",
"ldc.i4.2",
"beq.s il_11",
"ldarg.0",
"ldc.i4.3",
"ceq",
"br.s il_12",
"ldc.i4.1",
"stloc.2",
"ldloc.2",
"brfalse.s il_1c",
"newobj System.Void System.ArgumentException::.ctor()",
"throw",
"newobj System.Void System.ApplicationException::.ctor()",
"throw",
})]
#endif
static void Test_2 (int a)
{
int zero;
if (IsDynamicCodeSupported)
zero = 0;
if (a == 2 || a == 3)
throw new ArgumentException ();
throw new ApplicationException ();
}
static bool IsDynamicCodeSupported {
get {
return true;
}
}
[Kept]
static void Reached_1 ()
{
}
}
}
|
