cl编译器不符合四则运算

最新推荐文章于 2024-06-02 23:04:02 发布

Vo_Go

最新推荐文章于 2024-06-02 23:04:02 发布

阅读量733

点赞数

CC 4.0 BY-SA版权

文章标签：编译器 microsoft compiler function x86 file

本文链接：https://blog.youkuaiyun.com/Vo_Go/article/details/7369076

本文探讨了在C编译器开发过程中遇到的问题，包括四则运算规则的应用、寄存器不足的挑战以及如何通过代码优化解决这些问题。以具体代码为例，展示了编译器如何处理复杂的算术表达式。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

最近在写一个c编译器，为什么要写呢——为一个UI系统做runtime

中途发现自己的方法不符合四则运算的规则，于是又改程序，发现程序的复杂性大大增加了，而且还坑爹地发现“x86的寄存器不够用”这句话的悲剧含义。。悲催中看看cl是怎样利用x86的可怜的寄存器的。

结果发现cl编译器也是这个吊样。。（下面黑体部分）

（注：使用其他编译器发现也是这样，这应该是一个标准，在一个语句中，乘法和括号并不是优先级最高的）

#include <stdio.h>
int a=6;
int adda()
{
a++;
return a;
}
void main()
{
int b;
b=0;
a=b+5*3*a+4*adda()+7*a+8*a;
}

cl ass.c /FAs 反编译

; Listing generated by Microsoft (R) Optimizing Compiler Version 16.00.30319.01

TITLE C:\Documents and Settings\Administrator\桌面\ass.c
.686P
.XMM
include listing.inc
.model flat

INCLUDELIB LIBCMT
INCLUDELIB OLDNAMES

PUBLIC _a
_DATA SEGMENT
_a DD 06H
_DATA ENDS
PUBLIC _adda
; Function compile flags: /Odtp
; File c:\documents and settings\administrator\桌面\ass.c
_TEXT SEGMENT
_adda PROC

; 4 : {

push ebp
mov ebp, esp

; 5 : a++;

mov eax, DWORD PTR _a
add eax, 1
mov DWORD PTR _a, eax

; 6 : return a;

mov eax, DWORD PTR _a

; 7 : }

pop ebp
ret 0
_adda ENDP
_TEXT ENDS
PUBLIC _main
; Function compile flags: /Odtp
_TEXT SEGMENT
_b$ = -4 ; size = 4
_main PROC

; 9 : {

push ebp
mov ebp, esp
push ecx
push esi

; 10 : int b;
; 11 : b=0;

mov DWORD PTR _b$[ebp], 0

; 12 : a=b+5*3*a+4*adda()+7*a+8*a;

mov esi, DWORD PTR _a
imul esi, 15 ; 0000000fH
add esi, DWORD PTR _b$[ebp]
call _adda
lea eax, DWORD PTR [esi+eax*4]
mov ecx, DWORD PTR _a
imul ecx, 7
add eax, ecx
mov edx, DWORD PTR _a
lea eax, DWORD PTR [eax+edx*8]
mov DWORD PTR _a, eax

; 13 : }

xor eax, eax
pop esi
mov esp, ebp
pop ebp
ret 0
_main ENDP
_TEXT ENDS
END