smali 分支

IF 指令

z 字母 ： zero 简写，表示 0

eq 或 e：equal 简写，表示等于

n ： 表示 不

g 或 gt ： 表示 大于

l 或 lt： 表示 小于

命令	含义
if-eq vA, vB, :cond_**	如果 vA 等于 vB 则跳转到 :cond_**
if-ne vA, vB, :cond_**	如果 vA 不等于 vB 则跳转到 :cond_**
if-lt vA, vB, :cond_**	如果 vA 小于 vB 则跳转到 :cond_**
if-ge vA, vB, :cond_**	如果 vA 大于等于 vB 则跳转到 :cond_**
if-gt vA, vB, :cond_**	如果 vA 大于 vB 则跳转到 :cond_**
if-le vA, vB, :cond_**	如果 vA 小于等于 vB 则跳转到 :cond_**
if-eqz vA, :cond_**	如果 vA 等于 0 则跳转到 :cond_**
if-nez vA, :cond_**	如果 vA 不等于 0 则跳转到 :cond_**
if-ltz vA, :cond_**	如果 vA 小于 0 则跳转到 :cond_**
if-gez vA, :cond_**	如果 vA 大于等于 0 则跳转到 :cond_**
if-gtz vA, :cond_**	如果 vA 大于 0 则跳转到 :cond_**
if-lez vA, :cond_**	如果 vA 小于等于 0 则跳转到 :cond_**

示例：

.method private test(I)V
    .registers 3  # 定义寄存器个数
    .param p1, "x"    # I

    .prologue
    .line 13
    if-nez p1, :cond_4  # 如果参数不等于 0，就跳转至 cond_4。否则就执行下面的语句

    .line 14
    const/4 p1, 0x2

    .line 20
    :goto_3  # 定义语句 goto_3，在满足条件时可以跳到该语句中
    return-void

    .line 15
    :cond_4
    const/4 v0, 0x1

    if-ne p1, v0, :cond_9

    .line 16
    const/4 p1, 0x3

    goto :goto_3

    .line 18
    :cond_9
    const/4 p1, 0x4

    goto :goto_3
.end method

上述代码对应的 java 文件为：

    private void test(int x){
        if(x == 0){
            x = 2;
        }else if(x == 1){
            x = 3;
        }else{
            x = 4;
        }
    }

---

while

while 循环其实可以使用 if 与 goto 表示：当满足 if 条件时，goto 到指定的语句执行。执行完毕后再判断一 if 条件。

这也是 smali 实现 while 循环的思路：

.method private test(I)V
    .registers 3
    .param p1, "x"    # I

    .prologue
    .line 13
    :goto_0
    const/16 v0, 0xa

    if-ge p1, v0, :cond_7

    .line 14
    add-int/lit8 p1, p1, 0x1

    goto :goto_0

    .line 16
    :cond_7
    return-void
.end method

其对应的 java 代码为：

    private void test(int x){
        while(x < 10){
            x++;
        }
    }

从中可以看出，while 循环转换成一次次 if 判断以及 goto 语句。

每一次 if 判断成功后，会执行 while 代码块中的语句。执行完毕后，通过 goto 跳转到 if 判断。直到 if 判断失败，也就是整个循环执行完毕。

---

for

同 while 循环一样， for 循环也会被转换为 if 判断与 goto 语句。