File: BelltoARM.theme

package info (click to toggle)
herdtools7 7.58-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 19,732 kB
  • sloc: ml: 128,583; ansic: 3,827; makefile: 670; python: 407; sh: 212; awk: 14
file content (26 lines) | stat: -rw-r--r-- 404 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
Bell to ARM

"r[] %x %y" -> "LDR %x,[%y]"

"r[] %x y" -> "LDR %x,[%y]"

"w[] %x &c" -> "MOV %tmp,&c;
                STR %tmp,[%x]"

"w[] x &c" -> "MOV %tmp,&c;
               STR %tmp,[%x]"

"w[] %x %y" -> "STR %x,[%y]"

"f[DMB,SY]" -> "DMB SY"

"f[DMB,ST]" -> "DMB ST"

"f[DSB,SY]" -> "DSB SY"

"f[DSB,ST]" -> "DSB ST"

"f[ISB]" -> "ISB"

"mov %test (eq %r 0);
 b[] %test label"      -> "CBZ %r,label"