Что такое "проверка отрасли"?

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 

Может кто-нибудь сказать мне, что первая линия (% верифицировать "филиал принято") означает? спасибо

Answer 1

Это просто комментарий. Из Dalvik mterp риое:

% проверки «сообщение»

Оставить записку к себе о том, что должно быть проверено. (Это может превратиться во что-то более интересное когда-нибудь, на данный момент оно просто удаляет до выхода.)