• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1%verify "executed"
2    /* const/4 vA, #+B */
3    mov     r1, rINST, lsl #16          @ r1<- Bxxx0000
4    ubfx    r0, rINST, #8, #4           @ r0<- A
5    FETCH_ADVANCE_INST(1)               @ advance rPC, load rINST
6    mov     r1, r1, asr #28             @ r1<- sssssssB (sign-extended)
7    GET_INST_OPCODE(ip)                 @ ip<- opcode from rINST
8    SET_VREG(r1, r0)                    @ fp[A]<- r1
9    GOTO_OPCODE(ip)                     @ execute next instruction
10