if-gt 是if greater than的缩写

感谢您的指正!~

什么书？

楼主也在学习android啊，有时间一起交流,我也在学习

谢谢分享，帮顶了哦。

当年许金富教授讲fortran时所学，如今已忘记差不多了。顺便问一句，你看的是什么书？

Android软件安全与逆向分析-非虫
看雪学院非虫的书~ 正在读!~ 非常感谢您的指正

认真看哈，书里没错，它的结果描述的值是不一样的哦。
coml  相关指令l应该是less的意思吧。

我木有说书里错了呀~ 我只是说应该小小的修改下....~

楼主解释的不错，不过我有个疑问
今天在看一个smali代码的时候遇到了cmpl-doulbe指令单独解释没有问题
而当cmpl-doulbe和if-lez 两条指令连用的时候意思就不同了
因为按照字面意思，程序的执行结果与事实不符；实例如下代码(遇到多处只列举其一)：
.local v0, "levelNew":I
    iget-wide v1, p0, Lsk/bielyvlk/spectrumanalyzer/Band;->levelAnalog:D
    sget-wide v3, Lsk/bielyvlk/spectrumanalyzer/Band;->NOISE_LEVEL:D
    cmpl-double v1, v1, v3
    if-lez v1, :cond_0
    .line 68
    const-wide v1, 0x40d3880000000000L
    iget-wide v3, p0, Lsk/bielyvlk/spectrumanalyzer/Band;->levelAnalog:D
    sget-wide v5, Lsk/bielyvlk/spectrumanalyzer/Band;->NOISE_LEVEL:D
    sub-double/2addr v3, v5
    invoke-static {v3, v4}, Ljava/lang/Math;->log10(D)D
    move-result-wide v3
    mul-double/2addr v1, v3
    double-to-int v0, v1
    .line 69
    if-gez v0, :cond_0
    .line 70
    const/4 v0, 0x0
    .line 73
    :cond_0
    ......
按照字面意思解释的话还原代码如下
if (this.levelAnalog < this.NOISE_LEVEL) {
v1 = 20000.0D;
v3 = Math.log10(this.levelAnalog-this.NOISE_LEVEL);//这时this.levelAnalog-this.NOISE_LEVEL无意义因为公式LOG(N),要求N>0
v1 = v1 * v3;
v0 = (int)v1;
if (v0<0) {
        v0 = 0;
    }
}
所以smali指令
1.cmpl-double v2, v0, v2
2.if-lez v2, :cond_0
连用的意思可能是v0<=v2时跳转到cond_0
这样解释虽然与指令介绍不符但是，逻辑却合理，莫非反编译引擎有问题？

1.cmpl-double v2, v0, v2
比较v0与v2,将比较的结果赋值给v2,这里是判断v0是否小于v2.

2.if-lez v2, :cond_0
如果v2小于0 ,跳转cond_0.

参考资料
https://source.android.com/devices/tech/dalvik/dalvik-bytecode.html

Perform the indicated floating point or long comparison, setting a to 0 if b == c, 1 if b > c, or -1 if b < c. The "bias" listed for the floating point operations indicates how NaN comparisons are treated: "gt bias" instructions return 1 for NaN comparisons, and "lt bias" instructions return -1.
For example, to check to see if floating point x < y it is advisable to use cmpg-float; a result of -1 indicates that the test was true, and the other values indicate it was false either due to a valid comparison or because one of the values was NaN.

在这里如果v0<v2 ,那么v2=-1
也就是v0<v2跳转cond_0
这里如果v0=v2的话 返回值为0 ,也就是说如果为0 是不会跳转cond_0

楼上兄弟，你说的我有点疑问，下面这句话理解有点问题
cmpl-float v0, v6, v7
Compares the float values in v6 and v7 then sets v0 accordingly. NaN bias is less-than, the instruction will return -1 if any of the parameters is NaN.
如果我理解为v6 < v7时，v0=-1的话，这与上面书中的描述相反，翻译有误吗？

cmpkind vAA, vBB, vCC
比较函数
2d: cmpl-float (lt bias)
    单精度浮点比较(比较谁更小)
2e: cmpg-float (gt bias)
    单精度浮点比较(比较谁更大)
2f: cmpl-double (lt bias)
    双精度浮点比较(比较谁更小)
30: cmpg-double (gt bias)
    双精度浮点比较(比较谁更大)
31: cmp-long
    [长整形比较?]

A: destination register (8 bits)
A: 目的寄存器
B: first source register or pair
B: 第一源寄存器
C: second source register or pair
C: 第二源寄存器

Perform the indicated floating point or long comparison
浮点型以及long类型比较说明[抱歉这里的long我不知道是什么类型了]
setting a to 0  if b == c,
如果vBB=vCC 则将vAA设置为0
setting a to 1  if b >  c,
如果vBB>vCC 则将vAA设置为1
setting a to -1 if b < c.
如果vBB<vCC 则将vAA设置为-1
The "bias" listed for the floating point operations indicates how NaN comparisons are treated: "gt bias" instructions return 1 for NaN comparisons, and "lt bias" instructions return -1.
比较"偏向" 列出浮点类型比较的处理方法:" 比较较大 " 返回1 ," 比较较小 "返回-1
For example, to check to see if floating point x < y it is advisable to use cmpg-float; a result of -1 indicates that the test was true,
例如,如果 x < y , 如果使用cmpg-float(比较较大数值), 这里的返回值就是-1   
补充:如果 x < y , 如果使用cmpl-float(比较较小数值), 这里的返回值也是-1
and the other values indicate it was false either due to a valid comparison or because one of the values was NaN.

不同的比较方式,返回值虽然相同,但是意思不同,不知道楼上能否理解我的意思? 还有您问的那个"这与上面书中的描述相反，翻译有误吗？ " 是哪里啊?

就是画线的那条，指令cmpl-float vAA,vBB,vCC，如果vBB>vCC,vAA=-1,与你说的相反吧

上传的附件：

• QQ图片20150110223756.jpg （46.18kb，2次下载）

[QUOTE=AJISky;1344357]就是画线的那条，指令cmpl-float vAA,vBB,vCC，如果vBB>vCC,vAA=-1,与你说的相反吧
[/QUOTE]

参考楼上补充内容
补充:如果 x < y , 如果使用cmpl-float(比较较小数值), 这里的返回值也是-1
cmpl-float vAA,vBB,vCC
正常情况是 vBB<vCC.    vAA = -1
这里是     vBB>vCC     vAA =  1
没错呀

卧槽了，哥们，你自己还注释着呢，vbb<vcc结果为1好吗，能不能仔细看下

都不知道您看的 是什么书

仔细过了一遍 dalvik 指令，这两条指令实际上一样，区别只是倾向于先比较小于还先比较大于
参考这里 http://androidxref.com/8.0.0_r4/xref/art/runtime/interpreter/interpreter_switch_impl.cc#657

GeneBlue 仔细过了一遍 dalvik 指令，这两条指令实际上一样，区别只是倾向于先比较小于还先比较大于 参考这里 http://androidxref.com/8.0.0_r4/xref/art/runtim ...

也可能是google开始实现时就错了，将错就错到现在