MT论坛»论坛 › MT专区 › 建议反馈 › 关于“Smali 指令查询”功能的疑问
返回列表 发新帖

[意见反馈] 关于“Smali 指令查询”功能的疑问

[复制链接]

43

主题

453

回帖

2654

积分

大学生

Rank: 5Rank: 5

金币
54
好评
51
信誉
102
发表在  2026-1-28 22:24:07 来自手机  | 显示全部楼层 | 阅读模式  来自 广西
本帖最后由 善始繁_克终寡 于 2026-1-28 22:24 编辑

指令查询功能中的部分指令的描述对我来说好像存在一些的误导，指令主要是 cmpl 这一类的

cmpl-float vAA, vBB, vCC
比较两个单精度浮点数：
vAA = vBB < vCC ? 是：1，否：-1，相等：0

这类指令中的这个小于号 < 给了我误导，它会让我以为，如果 vBB 小于 vCC ，则 vAA 是 1，但我通过查看一些资料和测试之后才发现不是这样的

参考资料：
https://bbs.kanxue.com/thread-194252-1.htm
仔细过了一遍 dalvik 指令，这两条指令实际上一样，区别只是倾向于先比较小于还先比较大于
参考这里 http://androidxref.com/8.0.0_r4/xref/art/runtime/interpreter/interpreter_switch_impl.cc#657
-----
https://bbs.kanxue.com/thread-195920-1.htm
-----
https://android.googlesource.com/platform/art/+/refs/heads/main/runtime/interpreter/interpreter_switch_impl-inl.h#469

https://android.googlesource.com/platform/art/+/refs/heads/main/runtime/interpreter/interpreter_switch_impl-inl.h#484
-----
https://source.android.com/docs/core/runtime/dalvik-bytecode?hl=en#instructions

好像是说，只要 vBB > vCC，则 vAA 是 1；vBB < vCC，则 vAA 为 -1；相等，vAA 则为 0

测试代码如下：
  1. .method private testBranch(DD)Ljava/lang/String;
  2.     .registers 6

  4.     cmpl-double v0, p1, p3
  5.     # vBB
  6.     invoke-static {p1, p2}, Lmt/Log418FB2;->b1(D)V
  7.     # vCC
  8.     invoke-static {p3, p4}, Lmt/Log418FB2;->b2(D)V
  9.     # vAA
  10.     invoke-static {v0}, Lmt/Log418FB2;->b1(I)V

  12.     if-nez v0, :cond_16

  14.     const-string v0, "0"

  16.     invoke-static {v0}, Lmt/Log418FB2;->b1(Ljava/lang/Object;)V
  17.     # 返回值：0
  18.     invoke-static {}, Lmt/Log418FB2;->b()V

  20.     return-object v0

  22.     :cond_16
  23.     cmpl-double v0, p1, p3
  24.     # vBB_1
  25.     invoke-static {p1, p2}, Lmt/Log418FB2;->b3(D)V
  26.     # vCC_1
  27.     invoke-static {p3, p4}, Lmt/Log418FB2;->b4(D)V
  28.     # vAA_1
  29.     invoke-static {v0}, Lmt/Log418FB2;->b2(I)V

  31.     if-lez v0, :cond_2c

  33.     const-string v0, "1"

  35.     invoke-static {v0}, Lmt/Log418FB2;->b1(Ljava/lang/Object;)V
  36.     # 返回值：1
  37.     invoke-static {}, Lmt/Log418FB2;->b()V

  39.     return-object v0

  41.     :cond_2c
  42.     const-string v0, "-1"

  44.     invoke-static {v0}, Lmt/Log418FB2;->b1(Ljava/lang/Object;)V
  45.     # 返回值：-1
  46.     invoke-static {}, Lmt/Log418FB2;->b()V

  48.     return-object v0
  49. .end method
复制代码


cmpl-double 的日志如下
  1. --------------------
  2. cmpl-double vBB: NaN
  3. cmpl-double vCC: 1.0
  4. cmpl-double vAA: -1

  6. :cond_16
  7. cmpl-double vBB_1: NaN
  8. cmpl-double vCC_1: 1.0
  9. cmpl-double vAA_1: -1

  11. 返回值: -1
  12. --------------------
  13. cmpl-double 指令的 vBB, vCC 分别为 NaN， 1.0。vAA 为 -1

  15. --------------------
  16. cmpl-double vBB: NaN
  17. cmpl-double vCC: 2.0
  18. cmpl-double vAA: -1

  20. :cond_16
  21. cmpl-double vBB_1: NaN
  22. cmpl-double vCC_1: 2.0
  23. cmpl-double vAA_1: -1

  25. 返回值: -1
  26. --------------------
  27. cmpl-double 指令的 vBB, vCC 分别为 NaN， 2.0。vAA 为 -1

  29. --------------------
  30. cmpl-double vBB: NaN
  31. cmpl-double vCC: NaN
  32. cmpl-double vAA: -1

  34. :cond_16
  35. cmpl-double vBB_1: NaN
  36. cmpl-double vCC_1: NaN
  37. cmpl-double vAA_1: -1

  39. 返回值: -1
  40. --------------------
  41. cmpl-double 指令的 vBB, vCC 分别为 NaN， NaN。vAA 为 -1

  43. --------------------
  44. cmpl-double vBB: 1.0
  45. cmpl-double vCC: 2.0
  46. cmpl-double vAA: -1

  48. cmpl-double vBB_1: 1.0
  49. cmpl-double vCC_1: 2.0
  50. cmpl-double vAA_1: -1

  52. 返回值: -1
  53. --------------------
  54. cmpl-double 指令的 vBB, vCC 分别为 1.0， 2.0。vAA 为 -1

  56. --------------------
  57. cmpl-double vBB: 1.0
  58. cmpl-double vCC: NaN
  59. cmpl-double vAA: -1

  61. cmpl-double vBB_1: 1.0
  62. cmpl-double vCC_1: NaN
  63. cmpl-double vAA_1: -1

  65. 返回值: -1
  66. --------------------
  67. cmpl-double 指令的 vBB, vCC 分别为 1.0， NaN。vAA 为 -1

  69. --------------------
  70. cmpl-double vBB: 1.0
  71. cmpl-double vCC: 1.0
  72. cmpl-double vAA: 0
  73. 返回值: 0
  74. --------------------
  75. cmpl-double 指令的 vBB, vCC 分别为 1.0， 1.0。vAA 为 0

  77. --------------------
  78. cmpl-double vBB: 2.0
  79. cmpl-double vCC: NaN
  80. cmpl-double vAA: -1

  82. cmpl-double vBB_1: 2.0
  83. cmpl-double vCC_1: NaN
  84. cmpl-double vAA_1: -1

  86. 返回值: -1
  87. --------------------
  88. cmpl-double 指令的 vBB, vCC 分别为 2.0， NaN。vAA 为 -1

  90. --------------------
  91. cmpl-double vBB: 2.0
  92. cmpl-double vCC: 1.0
  93. cmpl-double vAA: 1

  95. cmpl-double vBB_1: 2.0
  96. cmpl-double vCC_1: 1.0
  97. cmpl-double vAA_1: 1

  99. 返回值: 1
  100. --------------------
  101. cmpl-double 指令的 vBB, vCC 分别为 2.0， 1.0。vAA 为 1

  103. --------------------
  104. cmpl-double vBB: 2.0
  105. cmpl-double vCC: 2.0
  106. cmpl-double vAA: 0
  107. 返回值: 0
  108. --------------------
  109. cmpl-double 指令的 vBB, vCC 分别为 2.0， 2.0。vAA 为 0
复制代码

当 vBB < vCC 时，即比如分别为 1.0 和 2.0 时，vAA 的值是 -1，而不是 1

cmpg-double 的日志

  2. --------------------
  3. cmpg-double vBB: NaN
  4. cmpg-double vCC: 1.0
  5. cmpg-double vAA: 1

  7. :cond_16
  8. cmpg-double vBB_1: NaN
  9. cmpg-double vCC_1: 1.0
  10. cmpg-double vAA_1: 1

  12. 返回值: 1
  13. --------------------
  14. cmpg-double 指令的 vBB, vCC 分别为 NaN， 1.0。vAA 为 1

  16. --------------------
  17. cmpg-double vBB: NaN
  18. cmpg-double vCC: 2.0
  19. cmpg-double vAA: 1

  21. :cond_16
  22. cmpg-double vBB_1: NaN
  23. cmpg-double vCC_1: 2.0
  24. cmpg-double vAA_1: 1

  26. 返回值: 1
  27. --------------------
  28. cmpg-double 指令的 vBB, vCC 分别为 NaN， 2.0。vAA 为 1

  30. --------------------
  31. cmpg-double vBB: NaN
  32. cmpg-double vCC: NaN
  33. cmpg-double vAA: 1

  35. :cond_16
  36. cmpg-double vBB_1: NaN
  37. cmpg-double vCC_1: NaN
  38. cmpg-double vAA_1: 1

  40. 返回值: 1
  41. --------------------
  42. cmpg-double 指令的 vBB, vCC 分别为 NaN， NaN。vAA 为 1

  44. --------------------
  45. cmpg-double vBB: 1.0
  46. cmpg-double vCC: 2.0
  47. cmpg-double vAA: -1

  49. cmpg-double vBB_1: 1.0
  50. cmpg-double vCC_1: 2.0
  51. cmpg-double vAA_1: -1

  53. 返回值: -1
  54. --------------------
  55. cmpg-double 指令的 vBB, vCC 分别为 1.0， 2.0。vAA 为 -1

  57. --------------------
  58. cmpg-double vBB: 1.0
  59. cmpg-double vCC: NaN
  60. cmpg-double vAA: 1

  62. cmpg-double vBB_1: 1.0
  63. cmpg-double vCC_1: NaN
  64. cmpg-double vAA_1: 1

  66. 返回值: 1
  67. --------------------
  68. cmpg-double 指令的 vBB, vCC 分别为 1.0， NaN。vAA 为 1

  70. --------------------
  71. cmpg-double vBB: 1.0
  72. cmpg-double vCC: 1.0
  73. cmpg-double vAA: 0
  74. 返回值: 0
  75. --------------------
  76. cmpg-double 指令的 vBB, vCC 分别为 1.0， 1.0。vAA 为 0

  78. --------------------
  79. cmpg-double vBB: 2.0
  80. cmpg-double vCC: NaN
  81. cmpg-double vAA: 1

  83. cmpg-double vBB_1: 2.0
  84. cmpg-double vCC_1: NaN
  85. cmpg-double vAA_1: 1

  87. 返回值: 1
  88. --------------------
  89. cmpg-double 指令的 vBB, vCC 分别为 2.0， NaN。vAA 为 1

  91. --------------------
  92. cmpg-double vBB: 2.0
  93. cmpg-double vCC: 1.0
  94. cmpg-double vAA: 1

  96. cmpg-double vBB_1: 2.0
  97. cmpg-double vCC_1: 1.0
  98. cmpg-double vAA_1: 1

  100. 返回值: 1
  101. --------------------
  102. cmpg-double 指令的 vBB, vCC 分别为 2.0， 1.0。vAA 为 1

  104. --------------------
  105. cmpg-double vBB: 2.0
  106. cmpg-double vCC: 2.0
  107. cmpg-double vAA: 0
  108. 返回值: 0
  109. --------------------
  110. cmpg-double 指令的 vBB, vCC 分别为 2.0， 2.0。vAA 为 0
复制代码


如果我的结论没错的话，我觉得可以把相关指令的错误描述修改成正确的描述
已有2人评分好评 金币 理由
Bin + 5 + 50 很给力!
青春向上 + 1 太细节了。[赞]

查看全部评分 总评分：好评 +5  金币 +51 

回复

使用道具 举报

Bin

319

主题

4374

回帖

4万

积分

管理员

Rank: 9Rank: 9Rank: 9

金币
121011
好评
1132
信誉
201

MT论坛元老MT论坛优秀教师2018MT论坛优秀成员

QQ
发表于 2026-2-3 15:28:04 | 显示全部楼层  来自 福建
查了下确实如此，很少用这个指令，之前写的时候看到cmpl和cmpg有点想当然地以为后面的l和g表示less than和greater than的缩写

比较逻辑
该指令比较 vBB 和 vCC 中的浮点数值，结果存入 vAA：

条件        结果 (vAA)
vBB > vCC        1
vBB == vCC        0
vBB < vCC        -1
任一操作数为 NaN        -1

cmpl-float vs cmpg-float 的区别
Dalvik 有两个浮点比较指令，它们的唯一区别在于处理 NaN（Not a Number） 时的行为：

指令        NaN 时的结果
cmpl-float        -1 (less bias)
cmpg-float        1 (greater bias)
cmpl = compare less（NaN 偏向小）
cmpg = compare greater（NaN 偏向大）
回复

使用道具 举报

返回列表 发新帖

发表回复
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

手机版| 小黑屋| 侵权投诉| 苏公网安备 32010602011309号 | 苏ICP备19064627号

Copyright © 2017-2026 MT论坛 版权所有 All Rights Reserved.

快速回复 返回顶部 返回列表