- android - 多次调用 OnPrimaryClipChangedListener
- android - 无法更新 RecyclerView 中的 TextView 字段
- android.database.CursorIndexOutOfBoundsException : Index 0 requested, 光标大小为 0
- android - 使用 AppCompat 时,我们是否需要明确指定其 UI 组件(Spinner、EditText)颜色
我在用一台AMD64位的电脑(Intel Pentium Gold 4415U)对比一些C语言转过来的汇编指令(当然是反汇编)。
在 Windows 10 中,我使用了 Visual Studio 2017(15.2) 及其 C 编译器。我的示例代码如下所示:
int main() {
int i = 0;
if(++i == 4);
if(i++ == 4);
return 0;
}
反汇编如下:
mov eax,dword ptr [i] // if (++i == 4);
inc eax
mov dword ptr [i],eax
mov eax,dword ptr [i] // if (i++ == 4);
mov dword ptr [rbp+0D4h],eax ; save old i to a temporary
mov eax,dword ptr [i]
inc eax
mov dword ptr [i],eax
cmp dword ptr [rbp+0D4h],4 ; compare with previous i
jne main+51h (07FF7DDBF3601h)
mov dword ptr [rbp+0D8h],1
jmp main+5Bh (07FF7DDBF360Bh)
*mov dword ptr [rbp+0D8h],0
07FF7DDBF3601 转到最后一行指令(*)。
07FF7DDBF360B 转到“返回 0;”。
在 if (++i == 4)
中,程序不会观察 'added' i 是否满足条件。
但是在 if (i++ == 4)
中,程序将“前一个”i 保存到堆栈,然后进行递增。之后,程序将“previous”i 与常量整数 4 进行比较。
两个C代码不同的原因是什么?它只是编译器的机制吗?更复杂的代码会有所不同吗?
我试图用谷歌找到这个,但是我没能找到差异的根源。我必须理解“这只是编译器行为”吗?
最佳答案
正如 Paul 所说,该程序没有可观察到的副作用,并且启用优化的 MSVC 或任何其他主要编译器 (gcc/clang/ICC) 将编译 main
简单地 xor eax,eax
/ret
.
i
的值永远不会逃脱函数(不存储到全局或返回),因此它可以完全优化掉。即使是这样,持续传播在这里也是微不足道的。
MSVC 的 Debug模式反优化代码生成决定不发出 cmp/jcc
只是一个怪癖/实现细节在一个空的if
body ;即使在 Debug模式下也根本无助于调试。这将是一个分支指令,跳转到它下降到的相同地址。
Debug模式代码的要点是您可以单步执行源代码行,并使用调试器修改C 变量。并不是说 asm 是 C 到 asm 的字面和忠实的音译。 (而且编译器可以快速生成它,无需在质量上花费任何精力,以加快编辑/编译/运行周期。)Why does clang produce inefficient asm with -O0 (for this simple floating point sum)?
编译器的代码生成到底有多脑残并不取决于任何语言规则;就实际为空 if
使用分支指令而言,没有实际的标准来定义编译器在 Debug模式下必须做什么。 body 。
显然与您的编译器版本有关,i++
后增量是否足以让编译器忘记循环体是空的?
我无法使用 MSVC 19.0 或 19.10 重现您的结果 on the Godbolt compiler explorer, with 32 or 64-bit mode 。 (VS2015 或 VS2017)。或任何其他 MSVC 版本。我根本没有从 MSVC、ICC 或 gcc 获得条件分支。
MSVC 确实实现了 i++
不过,就像您展示的那样,将旧值实际存储到内存中。太坏了。海合会 -O0
显着提高 Debug模式代码的效率。当然仍然相当脑残,但在一个单一的陈述中,有时情况要好得多。
不过,我可以用 clang 重现它! (但它为两个 if
s 分支):
# clang8.0 -O0
main: # @main
push rbp
mov rbp, rsp
mov dword ptr [rbp - 4], 0 # default return value
mov dword ptr [rbp - 8], 0 # int i=0;
mov eax, dword ptr [rbp - 8]
add eax, 1
mov dword ptr [rbp - 8], eax
cmp eax, 4 # uses the i++ result still in a register
jne .LBB0_2 # jump over if() body
jmp .LBB0_2 # jump over else body, I think.
.LBB0_2:
mov eax, dword ptr [rbp - 8]
mov ecx, eax
add ecx, 1 # i++ uses a 2nd register
mov dword ptr [rbp - 8], ecx
cmp eax, 4
jne .LBB0_4
jmp .LBB0_4
.LBB0_4:
xor eax, eax # return 0
pop rbp # tear down stack frame.
ret
关于c - 为什么 MSVC Debug模式会为一个空的 if() 主体而不是另一个(i++ vs.++i)省略 cmp/jcc?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/55533715/
我试图将护照逻辑放入 Controller 文件中,但问题是当我将逻辑放入 Controller 中时,它告诉我“无法读取未定义的属性“主体””,但是当我将代码移至索引时,所有内容都会路由向右走 in
我正在学习 Javascript,我正在尝试创建一个简单的下拉菜单。我想要的功能的一个例子可以在谷歌主页的顶部菜单中看到,带有“更多”和“设置”下拉菜单。具体来说,当您单击关闭菜单时,菜单会消失。 我
我正在努力让 Swagger 正确呈现我的 ServiceStack 服务。 我希望看到一个 UserId 字符串作为表单参数,一个 PrivateCustomer 对象作为主体参数,但是尽管 Use
注意:由于随后的研究,这个问题已经完全重组。 我正在尝试从 Shiro 的主题 PrincipalCollection 中检索值.我在集合中添加了两个主体。 Username和 UUID .当我试图记
我们正在开发一个将 OAuth 2 用于两个用例的应用程序: 访问后端微服务(使用 client_credentials) 验证应用程序的用户(使用 authorization_code ,因此将用户
我有这段代码生成一个将 myNumber 乘以 5 的委托(delegate) ParameterExpression numParam = Expression.Parameter(typeof(i
我有一些jquery, $( document ).ready(function() { body=$(body).html; $("html").html(body); }); 这应
我创建了一个通用异常 DTO,它也扩展了 RuntimeException。通过这种方式,可以在应用程序中使用它,也可以将其用作 DTO。问题是当我将 DTO 应用于 ResponseEntity 构
在 Angular 5 HttpClient 中,我可以通过这种方式设置 HttpParams()。 const body = new HttpParams() .set('email', '
我正在从 RabbitMQ 读取数据,如下所示: connection = factory.newConnection(); ch = connection.createChannel() ; Str
如何使用不同类型的调用和响应主体来改造 PUT?我有一个错误限制。类型必须相同 and 。响应bodie可以包含int值,但call不应该,因为当我用int值初始化CallBody对象时,它已经包
原则上我想做这样的事情: #grab some value from outer source (i.e. file or list defined by another programer) set
我知道如何使用TextureRegions 创建动画并将其应用于非box2d 游戏中的对象。 但是在 libgdx 的 box2d 中,我不知道该怎么做。在CocosD2中,Sprite对象中有run
我有这段代码生成一个将 myNumber 乘以 5 的委托(delegate) ParameterExpression numParam = Expression.Parameter(typeof(i
我已经计算了花括号的数量,但无法弄清楚为什么类主体不完整。每次我试图修复类(class)时,都会把整个类(class)弄乱。问题出在代码中的最后一个类。最后一个花括号给我带来了类里面的麻烦。我正在使用
有人知道吗?我只能看到 ApplyTorque 和 SetAngularVelocity,我只想在将对象添加到模拟之前旋转对象,例如:所以我有一个 crate 倾斜靠在墙上,另一个 crate 是平的
我可以获得如何让图像出现在 box2d 主体上的简单答案吗?我尝试为图像和主体创建 x 和 y int,但是一旦主体移动,图像就会保持静态。如果您确实回答,请尽可能解释一下代码。如果您对我的完整源代码
我知道我可以通过使用 PolygonRegion 来做到这一点,但问题是我使用 scene2d.Stage 和几个 Actor 。您可能知道阶段使用 SpriteBatch 而我无法渲染 Polygo
您好,我有以下代码: function redirect(){ window.location.href='logged_out_chat.php'; } ...在我的标题和以下正文标记中:
我在 didBegin(contact:) 中触发了 SpriteKit 物理接触。我为要移出屏幕的 Dot 对象的实例抓取物理体,但是当我尝试像这样更改其位置时,没有任何反应: 第一种方法 /* I
我是一名优秀的程序员,十分优秀!