Question

我想了解dalvik / vm / mterp / armv6t2 / wincmp.s代码：

 %verify "branch taken"
 %verify "branch not taken"
 /*
 * Generic two-operand compare-and-branch operation.  Provide a "revcmp"
 * fragment that specifies the *reverse* comparison to perform, e.g.
 * for "if-le" you would use "gt".
 *
 * For: if-eq, if-ne, if-lt, if-ge, if-gt, if-le
 */
 /* if-cmp vA, vB, +CCCC */
 mov     r1, rINST, lsr #12          @ r1<- B
 ubfx    r0, rINST, #8, #4           @ r0<- A
 GET_VREG(r3, r1)                    @ r3<- vB
 GET_VREG(r2, r0)                    @ r2<- vA
 mov     r9, #4                      @ r0<- BYTE branch dist for not-taken
 cmp     r2, r3                      @ compare (vA, vB)
 b${revcmp}  1f                      @ branch to 1 if comparison failed
 FETCH_S(r9, 1)                      @ r9<- branch offset, in code units
 movs    r9, r9, asl #1              @ convert to bytes, check sign
 bmi     common_backwardBranch       @ yes, do periodic checks
 1:
 #if defined(WITH_JIT)
 GET_JIT_PROF_TABLE(r0)
 FETCH_ADVANCE_INST_RB(r9)           @ update rPC, load rINST
 b        common_testUpdateProfile
 #else
 FETCH_ADVANCE_INST_RB(r9)           @ update rPC, load rINST
 GET_INST_OPCODE(ip)                 @ extract opcode from rINST
 GOTO_OPCODE(ip)                     @ jump to next instruction
 #endif

有谁能告诉我第一行（％verify“分支采取”）是什么意思？谢谢

Answer 1

这基本上只是一个评论。来自Dalvik mterp自述文件：

％验证“消息”

给自己留一个关于需要测试的内容的说明。（这可能有一天会变得更有趣;现在，它只是得到在生成输出之前将其剥离。）

“验证分支”是什么？

1 个答案: