NOP в сборке релиза кода F #
-
06-07-2019 - |
Вопрос
Я играю с F # в бета-версии VS2010, и, поскольку я новичок в F #, я просто выбрал один из распространенных примеров и пошел дальше и реализовал функцию факториала в виде:
let rec factorial n =
if n <= 1 then 1 else n * factorial (n - 1);;
Если я соберу это и посмотрю на сгенерированный код в Reflector, я получу соответствующий код C #:
public static int Factorial(int n) {
if (n <= 1)
return 1;
return n * Factorial(n - 1);
}
Поэтому, если я скомпилирую C # представление Reflector кода F #, я ожидаю получить идентичный IL. Р>
Однако, если я скомпилирую оба этих фрагмента в режиме выпуска и сравню сгенерированный IL, они будут разными (они функционально идентичны, но все же немного отличаются). Р>
Реализация C # компилируется в:
.method public hidebysig static int32 Factorial(int32 n) cil managed
{
.maxstack 8
L_0000: ldarg.0
L_0001: ldc.i4.1
L_0002: bgt.s L_0006
L_0004: ldc.i4.1
L_0005: ret
L_0006: ldarg.0
L_0007: ldarg.0
L_0008: ldc.i4.1
L_0009: sub
L_000a: call int32 TestApp.Program::Factorial(int32)
L_000f: mul
L_0010: ret
}
Реализация F # компилируется в:
.method public static int32 factorial(int32 n) cil managed
{
.maxstack 5 <=== Different maxstack
L_0000: nop <=== nop instruction?
L_0001: ldarg.0
L_0002: ldc.i4.1
L_0003: bgt.s L_0007
L_0005: ldc.i4.1
L_0006: ret
L_0007: ldarg.0
L_0008: ldarg.0
L_0009: ldc.i4.1
L_000a: sub
L_000b: call int32 FSharpModule::factorial(int32)
L_0010: mul
L_0011: ret
}
Сгенерированный код идентичен, за исключением другого maxstack и дополнительной инструкции NOP в методе F #. Р>
Это, вероятно, несущественно, но мне любопытно, почему компилятор F # вставляет NOP в сборку релиза. Р>
Кто-нибудь может объяснить, почему?
(я прекрасно знаю, что компилятор F # не прошел тот же уровень тестирования в реальном мире, что и компилятор C #, но это настолько очевидно, что я представляю, что его поймали).
РЕДАКТИРОВАТЬ: команда компиляции выглядит следующим образом
C:\Program Files\Microsoft F#\v4.0\fsc.exe -o:obj\Release\FSharpLib.dll
--debug:pdbonly --noframework --define:TRACE --optimize+
--target:library --warn:3 --warnaserror:76 --vserrors --utf8output --fullpaths
--flaterrors "C:\Temp\.NETFramework,Version=v4.0.AssemblyAttributes.fs" Module1.fs
(для краткости ссылочные сборки удалены).
Решение
Разница в maxstack связана с тем, что компилятор C # компилирует первый метод с помощью & # 171; light & # 187; Заголовок тела метода, который используется всякий раз, когда код маленький, не имеет исключений и локальных элементов. В этом случае maxstack не указан и по умолчанию равен 8.
Компилятор F # использует & # 171; fat & # 187; заголовок тела метода и указывает максимальный стек, который он вычислил.
Что касается nop, то это потому, что вы компилируете в режиме отладки. Они всегда начинают тело метода с nop. Смотрите из fsharp / ilxgen.ml:
// Add a nop to make way for the first sequence point. There is always such a
// sequence point even when zapFirstSeqPointToStart=false
do if mgbuf.cenv.generateDebugSymbols then codebuf.Add(i_nop);
Если я скомпилирую ваш факториал без отладочных символов, я не получу nop.