Commit 60c39b4b authored by Tanzeem Haque's avatar Tanzeem Haque

changes in branching instructions B and BL

parent ac850144
......@@ -117,15 +117,16 @@ type instruction =
| BLX of unop
| BX of unop
| BXJ of unop
| CLREX of nullop
| DBG of unop
| DMB of unop
| SVC of unop
| CLREX of nullop
| NOP of nullop
| SEV of nullop
| WFE of nullop
| WFI of nullop
| YIELD of nullop
| SVC of unop
# Standard data-processing instruction
type dp = {
......@@ -749,15 +750,15 @@ val r0 = return (register R0)
### B
### - Branch
val / ['/cond 101 0 imm24:24'] = unop B cond (sx-imm24 '00')
val / ['/cond 101 0 /imm24'] = unop B cond (sx-imm24 '00')
### BL
### - Branch with Link
val / ['/cond 101 1 imm24:24'] = unop BL cond (sx-imm24 '00')
val / ['/cond 101 1 /imm24'] = unop BL cond (sx-imm24 '00')
### BLX
### - Branch with Link and Exchange (Immediate)
val / ['1111 101 h:1 imm24:24'] = unop BLX none (sx-imm24 (h^'0'))
val / ['1111 101 h:1 /imm24'] = unop BLX none (sx-imm24 (h^'0'))
### - Branch with Link and Exchange (Register)
val / ['/cond 000 1 0 0 1 0 1111 1111 1111 0011 /rm'] = unop BLX cond rm
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment