mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-18 11:31:35 +03:00
fcb694ccb9
It doesn't pass yet. It is hung up on an unsupported register type (Crrc, used in a compare).
29 lines
429 B
ArmAsm
29 lines
429 B
ArmAsm
.file "test-just-exit.c"
|
|
.section ".text"
|
|
.align 2
|
|
.globl _start
|
|
.section ".opd","aw"
|
|
.align 3
|
|
_start:
|
|
.quad .L._start,.TOC.@tocbase,0
|
|
.previous
|
|
.type _start, @function
|
|
.L._start:
|
|
std 31,-8(1)
|
|
stdu 1,-64(1)
|
|
mr 31,1
|
|
#APP
|
|
# 4 "test-just-exit.c" 1
|
|
li 0,1
|
|
sc
|
|
# 0 "" 2
|
|
#NO_APP
|
|
nop
|
|
addi 1,31,64
|
|
ld 31,-8(1)
|
|
blr
|
|
.long 0
|
|
.byte 0,0,0,0,128,1,0,1
|
|
.size _start,.-.L._start
|
|
.ident "GCC: (Ubuntu 7.2.0-6ubuntu1) 7.2.0"
|