• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1%verify "executed"
2    # const vAA,                           /* +BBBBbbbb */
3    GET_OPA(a3)                            #  a3 <- AA
4    FETCH(a0, 1)                           #  a0 <- bbbb (low)
5    FETCH(a1, 2)                           #  a1 <- BBBB (high)
6    FETCH_ADVANCE_INST(3)                  #  advance rPC, load rINST
7    sll       a1, a1, 16
8    or        a0, a1, a0                   #  a0 <- BBBBbbbb
9    GET_INST_OPCODE(t0)                    #  extract opcode from rINST
10    SET_VREG_GOTO(a0, a3, t0)              #  vAA <- a0
11
12