Относительно оптимизации для «не statment» в c?
Изучая Оптимизацию компилятора, я пишу коды наC
подLinux
с участиемGCC
версияgcc version 4.4.5 (Ubuntu/Linaro 4.4.4-14ubuntu5.1)
Для постоянногоnot a statement
(нет) в C. Я сначала написал два кодаy.c
второйx.c
а такжеgenerate their compiled assembly code
с помощьюgcc -S
вариант.
Кулак кодy.c
desktop:~$ cat y.c
main()
{
int i=0;
}
desktop:~$ gcc -S y.c
desktop:~$
Второй кодx.c
desktop:~$ cat x.c
main()
{
int i=0;
/* Loops and if*/
while(0);
for(;0;);
if(0);
/* Arithmetic Operations */
i * i;
i / i;
i - i;
i + i;
i % i;
+i;
-i;
/* Comparison operators */
i == i;
i != i;
i < i;
i > i;
i >= i;
i <= i;
/* Bitwise Operations*/
i ^ i;
i | i;
i & i;
~i;
i << i;
i >> i;
/* Address Operatins*/
&i;
*(&i);
(&i)[i];
/* Ternary conditional operation*/
i? i : i;
/* Other Operations*/
sizeof(i);
(char)i;
/* Not-Logical Operation*/
!i;
/* Logical AND , OR Operators */
// i && i; // Commented && operation
// i || i; // Commented || operation
}
desktop:~$ gcc -S x.c
УВЕДОМЛЕНИЕ: На этот раз последние две строки вx.c
комментируются.
И как я ожидал. Нет разницы в их сгенерированных кодах сборки. Я сравнилx.s
а такжеy.s
с помощьюdiff
команда.
desktop:~$ diff x.s y.s
1c1
< .file "x.c"
---
> .file "y.c"
desktop:~$
Но когда я раскомментирую последний (или скажем добавить) две строки вx.c
.
i && i;
i || i;
Снова скомпилируйте x.c с параметром -S и сравните с y.s.
desktop:~$ tail x.c
sizeof(i);
(char)i;
/* Not-Logical Operation*/
!i;
/* Logical AND , OR Operators */
i && i; // unCommented && operation
i || i; // unCommented || operation
}
desktop:~$ gcc -S x.c
desktop:~$ diff x.s y.s
1c1
< .file "x.c"
---
> .file "y.c"
10,21d9
< movl -4(%ebp), %eax
< testl %eax, %eax
< je .L3
< movl -4(%ebp), %eax
< testl %eax, %eax
< .L3:
< movl -4(%ebp), %eax
< testl %eax, %eax
< jne .L8
< movl -4(%ebp), %eax
< testl %eax, %eax
< .L8:
desktop:~$
Вопрос:
Я просто не могу понять, почему выраженияi || i
а такжеi && i
не эквивалентны'not a statement'
?
Зачем компилятор переносить эти два оператора в исполняемый файл (мы можем разобрать сobjdump
получит такой же код). Что особенного в этих двух выражениях. они не включают=
операция.
Меняют ли они (устанавливают / сбрасывают) регистры флагов процессора? Я думаю, нет!
Четный/
Отказ от операции деления, которая может вызвать ошибку деления на ноль.
РЕДАКТИРОВАТЬ : Добавлен ответ
Там нет ничего особенного вi || i
а такжеi && i
выражения. Оба эквивалентны НЕ ЗАЯВЛЕНИЮ. И может быть удаленGCC compiler
с некоторыми дополнительными усилиями.
Чтобы удалить это:-o2
а также-o3
флаги полезны:
Вот моя попытка!
desktop:~$ gcc -o2 -S y.c
desktop:~$ gcc -o2 -S x.c
desktop:~$ diff x.s y.s -y
.file "x.c" | .file "y.c"
.text .text
.p2align 4,,15 <
.globl main .globl main
.type main, @function .type main, @function
main: main:
pushl %ebp pushl %ebp
movl %esp, %ebp movl %esp, %ebp
popl %ebp | subl $16, %esp
> movl $0, -4(%ebp)
> leave
Дополнительные строки в RHS из-за смещения между файлами.
Я также хотел бы добавить информацию, котораяJAVA
а такжеC#
компиляторы отбрасывают это выражение без каких-либо флагов.