了解Dalvik寄存器的v和p命名方式

为了更好的了解反编译代码，有必要了解一下其中的细节部分，比如v0、v1、p1都是什么等等。
代码还是之前的Hello.java。体会Java虚拟机和Dalvik虚拟机的架构不同之处

public class Hello{
    public int foo(int a, int b){
        return (a + b) * (a - b);
    }

    public static void main(String[] argc){
        Hello hello = new Hello();
        System.out.println(hello.foo(5, 3));
    }
}

编译过程不写了，直接看dexdump的反编译代码：这里我们还是只分析foo()函数。

  Virtual methods   -
    #0              : (in LHello;)
      name          : 'foo'
      type          : '(II)I'
      access        : 0x0001 (PUBLIC)
      code          -
      registers     : 5
      ins           : 3
      outs          : 0
      insns size    : 6 16-bit code units
000198:                                        |[000198] Hello.foo:(II)I
0001a8: 9000 0304                              |0000: add-int v0, v3, v4
0001ac: 9101 0304                              |0002: sub-int v1, v3, v4
0001b0: b210                                   |0004: mul-int/2addr v0, v1
0001b2: 0f00                                   |0005: return v0

v命名方法

从代码中我们可以看到foo一共使用了5个寄存器，上个章节中我们也说了，add-int v0, v3, v4中v3和v4分别代表第一个参数和第二个参数。那么为什么是这样呢？

规则：

根据Dalvik虚拟机参数传递的规则，如果一个函数使用了M个寄存器、拥有N个参数：则参数使用最后N个寄存器，局部变量从v0开始一直递增到前M-N个。

那我们来分析下，foo()函数，一共是5个registers寄存器，有两个int的参数。由于foo函数是Hello类的非静态方法，因此函数被调用时会传入一个“隐藏”的Hello对象引用(this)，所以实际传参是3个。也就是局部变量使用v0和v1寄存器，参数使用v2、v3、v4这三个后面的寄存器。其中v2表示被传入的“隐藏”的对象引用(this)、v3表示第一个参数、v4表示第二个参数。

p命名方法

p命名方法对函数的局部变量寄存器命名没有影响。他的命名规则是：函数引用的参数从p0开始命名，依次递增。

使用ddx.jar反汇编Hello.dex文件，这样会在目录下生成一个ddxout文件夹，用文件编辑器打开里面的Hello.ddx文件。

$ java -jar /Users/johnhao/Downloads/tools/smali/ddx.jar -d ddxout /Users/johnhao/Downloads/Train/Hello.dex
Processing Hello

来看一下foo()函数，依然是使用5个寄存器：

.method public foo(II)I
.limit registers 5
; this: v2 (LHello;)
; parameter[0] : v3 (I)
; parameter[1] : v4 (I)
.line 3
    add-int v0,v3,v4
    sub-int v1,v3,v4
    mul-int/2addr   v0,v1
    return  v0
.end method

v0和v1表示局部变量的寄存器，p0、p1、p2表示函数引用参数的寄存器，其中p0表示被传入的Hello对象的引用(this)、p1表示第一个int参数、p2表示第二个int参数。

比较

v命名相比较p命名，大体结构相同，有一些细微的地方。
1、v命名以.registers开头，p命名以.limit 开头
2、v命名以v2作为this的引用，p命名以p0作为this的引用
3、v命名以M-N命名N个参数的寄存器，p命名则用p命名法。