Оптимизация умножения .NET

Question

Оптимизирует ли компилятор какие-либо умножения на 1? То есть рассмотрим:

int a = 1;
int b = 5 * a;

Будет ли выражение 5 * a оптимизировано до 5? Если нет, будет ли это, если a определено как:

const int a = 1;

Answer 1

Он будет предварительно вычислять любые константные выражения при компиляции, включая конкатенацию строк. Без const он останется один.

Ваш первый пример компилируется в этот IL:

.maxstack 2
.locals init ([0] int32, [1] int32)

ldc.i4.1   //load 1
stloc.0    //store in 1st local variable
ldc.i4.5   //load 5
ldloc.0    //load 1st variable
mul        // 1 * 5
stloc.1    // store in 2nd local variable 

Второй пример компилируется в это:

.maxstack 1
.locals init ( [0] int32 )

ldc.i4.5 //load 5 
stloc.0  //store in local variable

Answer 2

Глядя на код, сгенерированный моно-компилятором, версия с неконстантным a выполняет умножение во время выполнения. То есть умножение не оптимизировано. Если вы сделаете const, то умножение будет оптимизировано.

Компилятор Microsoft может иметь более агрессивный компилятор, лучшее решение - посмотреть на код, сгенерированный компилятором, чтобы увидеть, что он делает.

Answer 3

Постоянное распространение - одна из самых распространенных и простых оптимизаций.

Answer 4

То, что компилятор здесь оптимизировал бы, это не умножение на 1 само по себе, а скорее арифметика со значениями, известными во время компиляции. Так что да, компилятор оптимизировал бы все математические операции в вашем примере, с const.

или без него.

Редактировать: A Компетентный компилятор, я должен сказать.