xtensa二次装配中的花括号

Question

我正在拆解和检查(主要是为了好玩和学习)为ESP8266 (Xtensa )生成的Arduino代码。

到目前为止，我一直在跟踪代码，直到主函数中的花括号(location 4010f4c2)都没有出现问题：

4010f494 <main>:
4010f494:   90a092                  movi    a9, 144
4010f497:   c01190                  sub a1, a1, a9
4010f49a:   00a022                  movi    a2, 0
4010f49d:   236102                  s32i    a0, a1, 140
4010f4a0:   2261c2                  s32i    a12, a1, 136
4010f4a3:   2161d2                  s32i    a13, a1, 132
4010f4a6:   ffc2c5                  call0   4010f0d4 <print_version>
4010f4a9:   202110                  or  a2, a1, a1
4010f4ac:   001045                  call0   4010f5b4 <eboot_command_read>
4010f4af:   00d256                  bnez    a2, 4010f4c0 <main+0x2c>
4010f4b2:   024c                    movi.n  a2, 64
4010f4b4:   fee101                  l32r    a0, 4010f038 <_stext+0x38>
4010f4b7:   0000c0                  callx0  a0
4010f4ba:   1d0c                    movi.n  a13, 1
4010f4bc:   000506                  j   4010f4d4 <main+0x40>
4010f4bf:   af2200                  excw
4010f4c2:   2200a0d2016122ff    { l32r  a15, 400e794c <__udivsi3+0xd9730>; excw }
4010f4ca:   d97ea0                  excw
4010f4cd:   da0121                  l32r    a2, 40105cd4 <__udivsi3+0xf7ab8>
4010f4d0:   9c0c11280000c0fe    { excw; excw; srli  a0, a12, 12 }
4010f4d8:   5a1266                  bnei    a2, 1, 4010f536 <main+0xa2>
4010f4db:   feda21                  l32r    a2, 4010f044 <_stext+0x44>
4010f4de:   fecc01                  l32r    a0, 4010f010 <_stext+0x10>
4010f4e1:   0000c0                  callx0  a0
4010f4e4:   fedd01                  l32r    a0, 4010f058 <_stext+0x58>
4010f4e7:   0000c0                  callx0  a0
4010f4ea:   3138                    l32i.n  a3, a1, 12
4010f4ec:   4148                    l32i.n  a4, a1, 16
4010f4ee:   2128                    l32i.n  a2, a1, 8
4010f4f0:   050c                    movi.n  a5, 0
4010f4f2:   ffcec5                  call0   4010f1e0 <copy_raw>
4010f4f5:   02cd                    mov.n   a12, a2
4010f4f7:   fed901                  l32r    a0, 4010f05c <_stext+0x5c>
4010f4fa:   0000c0                  callx0  a0
4010f4fd:   fed221                  l32r    a2, 4010f048 <_stext+0x48>
4010f500:   0c3d                    mov.n   a3, a12
4010f502:   fec301                  l32r    a0, 4010f010 <_stext+0x10>
4010f505:   0000c0                  callx0  a0
4010f508:   acec                    bnez.n  a12, 4010f536 <main+0xa2>
4010f50a:   f27c                    movi.n  a2, -1
4010f50c:   1129                    s32i.n  a2, a1, 4
4010f50e:   3128                    l32i.n  a2, a1, 12
4010f510:   2129                    s32i.n  a2, a1, 8
4010f512:   2dec                    bnez.n  a13, 4010f538 <main+0xa4>
4010f514:   fece21                  l32r    a2, 4010f04c <_stext+0x4c>
4010f517:   febe01                  l32r    a0, 4010f010 <_stext+0x10>
4010f51a:   0000c0                  callx0  a0
4010f51d:   2128                    l32i.n  a2, a1, 8
4010f51f:   ffbf05                  call0   4010f110 <load_app_from_flash_raw>
4010f522:   02cd                    mov.n   a12, a2
4010f524:   203220                  or  a3, a2, a2
4010f527:   feca21                  l32r    a2, 4010f050 <_stext+0x50>
4010f52a:   feb901                  l32r    a0, 4010f010 <_stext+0x10>
4010f52d:   0000c0                  callx0  a0
4010f530:   0003c6                  j   4010f543 <main+0xaf>
4010f533:   000000                  ill
4010f536:   4d8c                    beqz.n  a13, 4010f53e <main+0xaa>
4010f538:   201110                  or  a1, a1, a1
4010f53b:   000d05                  call0   4010f60c <eboot_command_clear>
4010f53e:   1128                    l32i.n  a2, a1, 4
4010f540:   d00226                  beqi    a2, -1, 4010f514 <main+0x80>
4010f543:   5c9c                    beqz.n  a12, 4010f55c <main+0xc8>
4010f545:   fec341                  l32r    a4, 4010f054 <_stext+0x54>
4010f548:   f37c                    movi.n  a3, -1
4010f54a:   0020c0                  memw
4010f54d:   002422                  l32i    a2, a4, 0
4010f550:   013310                  slli    a3, a3, 31
4010f553:   202230                  or  a2, a2, a3
4010f556:   0020c0                  memw
4010f559:   006422                  s32i    a2, a4, 0
4010f55c:   ffff06                  j   4010f55c <main+0xc8>

我以前看到过这种情况，但直到代码到达4010f4af的位置时，我才会对此感到烦恼，4010f4c0的分支指令位于花括号的中间。当然，即使这样，如果我试图应用解析逻辑，那么在这个字节位置上，就会得到ffaf22，它对应于有效的指令movi a2, 0xfff。

此代码属于eboot.elf文件，我按如下方式解压缩它：

~/.arduino15/packages/esp8266/tools/xtensa-lx106-elf-gcc/3.0.4-gcc10.3-1757bed/xtensa-lx106-elf/bin/objdump -d eboot.elf

你们知道为什么objdump会显示那些花括号，为什么它会把它们解释成？我有没有参加过Xtensa手册？我是不是没有执行正确的命令？

非常感谢!

Answer 1

xtensa汇编程序和反汇编程序对VLIW样式(在xtensa世界中通常称为FLIX )使用花括号:一组操作码作为一条指令解码在一起，由处理器并行执行。例如，{ l32r a15, 400e794c <__udivsi3+0xd9730>; excw }可以是两个时隙指令，第一个时隙中有l32r操作码，第二个时隙中有excw操作码。但是，如果在不支持FLIX (例如lx106不支持FLIX)的xtensa核的代码的反汇编中看到它们，这通常意味着两件事: 1)反汇编程序配置不正确；2)它可能丢失了指令流，正在分解数据或错误地组合指令字节。

在上面的示例中，可以看到指令4010f4af: bnez a2, 4010f4c0 <main+0x2c>直接跳入指令4010f4bf: excw的中间。这意味着地址0x4010f4bf上有一个非指令字节，但是反汇编程序没有意识到这一点。通常，反汇编程序使用节.xt.prop的内容来区分指令字节和非指令字节，这有助于保持与指令流的同步，但是当缺少该部分时，它就会丢失这样的同步。

关于不正确的配置:当为特定的xtensa核心构建二进制文件时，需要用为该核心生成的xtensa配置覆盖的内容替换binutils源代码中的某些文件。它包含关于该核心的有效操作码、指令格式及其二进制表示的信息，汇编程序和反汇编程序仅用于接受和产生有效的指令。在反汇编中，核心不支持的指令格式的出现是错误配置的明显标志。

过度使用excw是另一个虚假反汇编的迹象:因为xtensa覆盖生成器(修复在xtensa工具的版本RG-2017.5和RG-2017.8之间的某个地方)的错误，二进制反汇编程序报告excw操作码，而不是任何配置由bug工具生成的覆盖的未识别的操作码。