Skip to content

Commit ef0b51a

Browse files
brianrourkebollbrianrourkeboll
committed
Add IL baselines
1 parent 19d7a9c commit ef0b51a

22 files changed

+15467
-0
lines changed

‎tests/FSharp.Compiler.ComponentTests/EmittedIL/ForLoop/ForLoopByte.fs.RealInternalSignatureOff.OptimizeOn.il.bsl

+386
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,386 @@
1+
2+
3+
4+
5+
6+
.assembly extern runtime { }
7+
.assembly extern FSharp.Core { }
8+
.assembly assembly
9+
{
10+
.custom instance void [FSharp.Core]Microsoft.FSharp.Core.FSharpInterfaceDataVersionAttribute::.ctor(int32,
11+
int32,
12+
int32) = ( 01 00 02 00 00 00 00 00 00 00 00 00 00 00 00 00 )
13+
14+
15+
16+
17+
.hash algorithm 0x00008004
18+
.ver 0:0:0:0
19+
}
20+
.module assembly.exe
21+
22+
.imagebase {value}
23+
.file alignment 0x00000200
24+
.stackreserve 0x00100000
25+
.subsystem 0x0003
26+
.corflags 0x00000001
27+
28+
29+
30+
31+
32+
.class public abstract auto ansi sealed assembly
33+
extends [runtime]System.Object
34+
{
35+
.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 )
36+
.class abstract auto ansi sealed nested public Up
37+
extends [runtime]System.Object
38+
{
39+
.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 )
40+
.method public static void constEmpty() cil managed
41+
{
42+
43+
.maxstack 4
44+
.locals init (uint8 V_0,
45+
uint8 V_1)
46+
IL_0000: ldc.i4.0
47+
IL_0001: stloc.0
48+
IL_0002: ldc.i4.s 10
49+
IL_0004: stloc.1
50+
IL_0005: br.s IL_0015
51+
52+
IL_0007: ldloc.1
53+
IL_0008: call void assembly::set_c(uint8)
54+
IL_000d: ldloc.1
55+
IL_000e: ldc.i4.1
56+
IL_000f: add
57+
IL_0010: stloc.1
58+
IL_0011: ldloc.0
59+
IL_0012: ldc.i4.1
60+
IL_0013: add
61+
IL_0014: stloc.0
62+
IL_0015: ldloc.0
63+
IL_0016: ldc.i4.0
64+
IL_0017: blt.un.s IL_0007
65+
66+
IL_0019: ret
67+
}
68+
69+
.method public static void constNonEmpty() cil managed
70+
{
71+
72+
.maxstack 4
73+
.locals init (uint16 V_0,
74+
uint8 V_1)
75+
IL_0000: ldc.i4.0
76+
IL_0001: stloc.0
77+
IL_0002: ldc.i4.1
78+
IL_0003: stloc.1
79+
IL_0004: br.s IL_0014
80+
81+
IL_0006: ldloc.1
82+
IL_0007: call void assembly::set_c(uint8)
83+
IL_000c: ldloc.1
84+
IL_000d: ldc.i4.1
85+
IL_000e: add
86+
IL_000f: stloc.1
87+
IL_0010: ldloc.0
88+
IL_0011: ldc.i4.1
89+
IL_0012: add
90+
IL_0013: stloc.0
91+
IL_0014: ldloc.0
92+
IL_0015: ldc.i4.s 10
93+
IL_0017: blt.un.s IL_0006
94+
95+
IL_0019: ret
96+
}
97+
98+
.method public static void constFinish(uint8 start) cil managed
99+
{
100+
101+
.maxstack 4
102+
.locals init (uint16 V_0,
103+
uint16 V_1,
104+
uint8 V_2)
105+
IL_0000: ldc.i4.s 10
106+
IL_0002: ldarg.0
107+
IL_0003: bge.un.s IL_0009
108+
109+
IL_0005: ldc.i4.0
110+
IL_0006: nop
111+
IL_0007: br.s IL_0011
112+
113+
IL_0009: ldc.i4.s 10
114+
IL_000b: ldarg.0
115+
IL_000c: sub
116+
IL_000d: conv.u2
117+
IL_000e: ldc.i4.1
118+
IL_000f: add
119+
IL_0010: nop
120+
IL_0011: stloc.0
121+
IL_0012: ldc.i4.0
122+
IL_0013: stloc.1
123+
IL_0014: ldarg.0
124+
IL_0015: stloc.2
125+
IL_0016: br.s IL_0026
126+
127+
IL_0018: ldloc.2
128+
IL_0019: call void assembly::set_c(uint8)
129+
IL_001e: ldloc.2
130+
IL_001f: ldc.i4.1
131+
IL_0020: add
132+
IL_0021: stloc.2
133+
IL_0022: ldloc.1
134+
IL_0023: ldc.i4.1
135+
IL_0024: add
136+
IL_0025: stloc.1
137+
IL_0026: ldloc.1
138+
IL_0027: ldloc.0
139+
IL_0028: blt.un.s IL_0018
140+
141+
IL_002a: ret
142+
}
143+
144+
.method public static void constStart(uint8 finish) cil managed
145+
{
146+
147+
.maxstack 4
148+
.locals init (uint16 V_0,
149+
uint16 V_1,
150+
uint8 V_2)
151+
IL_0000: ldarg.0
152+
IL_0001: ldc.i4.1
153+
IL_0002: bge.un.s IL_0008
154+
155+
IL_0004: ldc.i4.0
156+
IL_0005: nop
157+
IL_0006: br.s IL_000f
158+
159+
IL_0008: ldarg.0
160+
IL_0009: ldc.i4.1
161+
IL_000a: sub
162+
IL_000b: conv.u2
163+
IL_000c: ldc.i4.1
164+
IL_000d: add
165+
IL_000e: nop
166+
IL_000f: stloc.0
167+
IL_0010: ldc.i4.0
168+
IL_0011: stloc.1
169+
IL_0012: ldc.i4.1
170+
IL_0013: stloc.2
171+
IL_0014: br.s IL_0024
172+
173+
IL_0016: ldloc.2
174+
IL_0017: call void assembly::set_c(uint8)
175+
IL_001c: ldloc.2
176+
IL_001d: ldc.i4.1
177+
IL_001e: add
178+
IL_001f: stloc.2
179+
IL_0020: ldloc.1
180+
IL_0021: ldc.i4.1
181+
IL_0022: add
182+
IL_0023: stloc.1
183+
IL_0024: ldloc.1
184+
IL_0025: ldloc.0
185+
IL_0026: blt.un.s IL_0016
186+
187+
IL_0028: ret
188+
}
189+
190+
.method public static void annotatedStart(uint8 start,
191+
uint8 finish) cil managed
192+
{
193+
.custom instance void [FSharp.Core]Microsoft.FSharp.Core.CompilationArgumentCountsAttribute::.ctor(int32[]) = ( 01 00 02 00 00 00 01 00 00 00 01 00 00 00 00 00 )
194+
195+
.maxstack 4
196+
.locals init (uint16 V_0,
197+
uint16 V_1,
198+
uint8 V_2)
199+
IL_0000: ldarg.1
200+
IL_0001: ldarg.0
201+
IL_0002: bge.un.s IL_0008
202+
203+
IL_0004: ldc.i4.0
204+
IL_0005: nop
205+
IL_0006: br.s IL_000f
206+
207+
IL_0008: ldarg.1
208+
IL_0009: ldarg.0
209+
IL_000a: sub
210+
IL_000b: conv.u2
211+
IL_000c: ldc.i4.1
212+
IL_000d: add
213+
IL_000e: nop
214+
IL_000f: stloc.0
215+
IL_0010: ldc.i4.0
216+
IL_0011: stloc.1
217+
IL_0012: ldarg.0
218+
IL_0013: stloc.2
219+
IL_0014: br.s IL_0024
220+
221+
IL_0016: ldloc.2
222+
IL_0017: call void assembly::set_c(uint8)
223+
IL_001c: ldloc.2
224+
IL_001d: ldc.i4.1
225+
IL_001e: add
226+
IL_001f: stloc.2
227+
IL_0020: ldloc.1
228+
IL_0021: ldc.i4.1
229+
IL_0022: add
230+
IL_0023: stloc.1
231+
IL_0024: ldloc.1
232+
IL_0025: ldloc.0
233+
IL_0026: blt.un.s IL_0016
234+
235+
IL_0028: ret
236+
}
237+
238+
.method public static void annotatedFinish(uint8 start,
239+
uint8 finish) cil managed
240+
{
241+
.custom instance void [FSharp.Core]Microsoft.FSharp.Core.CompilationArgumentCountsAttribute::.ctor(int32[]) = ( 01 00 02 00 00 00 01 00 00 00 01 00 00 00 00 00 )
242+
243+
.maxstack 4
244+
.locals init (uint16 V_0,
245+
uint16 V_1,
246+
uint8 V_2)
247+
IL_0000: ldarg.1
248+
IL_0001: ldarg.0
249+
IL_0002: bge.un.s IL_0008
250+
251+
IL_0004: ldc.i4.0
252+
IL_0005: nop
253+
IL_0006: br.s IL_000f
254+
255+
IL_0008: ldarg.1
256+
IL_0009: ldarg.0
257+
IL_000a: sub
258+
IL_000b: conv.u2
259+
IL_000c: ldc.i4.1
260+
IL_000d: add
261+
IL_000e: nop
262+
IL_000f: stloc.0
263+
IL_0010: ldc.i4.0
264+
IL_0011: stloc.1
265+
IL_0012: ldarg.0
266+
IL_0013: stloc.2
267+
IL_0014: br.s IL_0024
268+
269+
IL_0016: ldloc.2
270+
IL_0017: call void assembly::set_c(uint8)
271+
IL_001c: ldloc.2
272+
IL_001d: ldc.i4.1
273+
IL_001e: add
274+
IL_001f: stloc.2
275+
IL_0020: ldloc.1
276+
IL_0021: ldc.i4.1
277+
IL_0022: add
278+
IL_0023: stloc.1
279+
IL_0024: ldloc.1
280+
IL_0025: ldloc.0
281+
IL_0026: blt.un.s IL_0016
282+
283+
IL_0028: ret
284+
}
285+
286+
.method public static void inferredStartAndFinish(uint8 start,
287+
uint8 finish) cil managed
288+
{
289+
.custom instance void [FSharp.Core]Microsoft.FSharp.Core.CompilationArgumentCountsAttribute::.ctor(int32[]) = ( 01 00 02 00 00 00 01 00 00 00 01 00 00 00 00 00 )
290+
291+
.maxstack 4
292+
.locals init (uint16 V_0,
293+
uint16 V_1,
294+
uint8 V_2)
295+
IL_0000: ldarg.1
296+
IL_0001: ldarg.0
297+
IL_0002: bge.un.s IL_0008
298+
299+
IL_0004: ldc.i4.0
300+
IL_0005: nop
301+
IL_0006: br.s IL_000f
302+
303+
IL_0008: ldarg.1
304+
IL_0009: ldarg.0
305+
IL_000a: sub
306+
IL_000b: conv.u2
307+
IL_000c: ldc.i4.1
308+
IL_000d: add
309+
IL_000e: nop
310+
IL_000f: stloc.0
311+
IL_0010: ldc.i4.0
312+
IL_0011: stloc.1
313+
IL_0012: ldarg.0
314+
IL_0013: stloc.2
315+
IL_0014: br.s IL_0024
316+
317+
IL_0016: ldloc.2
318+
IL_0017: call void assembly::set_c(uint8)
319+
IL_001c: ldloc.2
320+
IL_001d: ldc.i4.1
321+
IL_001e: add
322+
IL_001f: stloc.2
323+
IL_0020: ldloc.1
324+
IL_0021: ldc.i4.1
325+
IL_0022: add
326+
IL_0023: stloc.1
327+
IL_0024: ldloc.1
328+
IL_0025: ldloc.0
329+
IL_0026: blt.un.s IL_0016
330+
331+
IL_0028: ret
332+
}
333+
334+
}
335+
336+
.method public specialname static uint8 get_c() cil managed
337+
{
338+
339+
.maxstack 8
340+
IL_0000: ldsfld uint8 '<StartupCode$assembly>'.$assembly::c@1
341+
IL_0005: ret
342+
}
343+
344+
.method public specialname static void set_c(uint8 'value') cil managed
345+
{
346+
347+
.maxstack 8
348+
IL_0000: ldarg.0
349+
IL_0001: stsfld uint8 '<StartupCode$assembly>'.$assembly::c@1
350+
IL_0006: ret
351+
}
352+
353+
.property uint8 c()
354+
{
355+
.custom instance void [FSharp.Core]Microsoft.FSharp.Core.CompilationMappingAttribute::.ctor(valuetype [FSharp.Core]Microsoft.FSharp.Core.SourceConstructFlags) = ( 01 00 09 00 00 00 00 00 )
356+
.set void assembly::set_c(uint8)
357+
.get uint8 assembly::get_c()
358+
}
359+
}
360+
361+
.class private abstract auto ansi sealed '<StartupCode$assembly>'.$assembly
362+
extends [runtime]System.Object
363+
{
364+
.field static assembly uint8 c@1
365+
.custom instance void [runtime]System.Diagnostics.DebuggerBrowsableAttribute::.ctor(valuetype [runtime]System.Diagnostics.DebuggerBrowsableState) = ( 01 00 00 00 00 00 00 00 )
366+
.field static assembly int32 init@
367+
.custom instance void [runtime]System.Diagnostics.DebuggerBrowsableAttribute::.ctor(valuetype [runtime]System.Diagnostics.DebuggerBrowsableState) = ( 01 00 00 00 00 00 00 00 )
368+
.custom instance void [runtime]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 )
369+
.custom instance void [runtime]System.Diagnostics.DebuggerNonUserCodeAttribute::.ctor() = ( 01 00 00 00 )
370+
.method public static void main@() cil managed
371+
{
372+
.entrypoint
373+
374+
.maxstack 8
375+
IL_0000: ldc.i4.0
376+
IL_0001: stsfld uint8 '<StartupCode$assembly>'.$assembly::c@1
377+
IL_0006: ret
378+
}
379+
380+
}
381+
382+
383+
384+
385+
386+

0 commit comments

Comments
 (0)