mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-30 05:55:02 +03:00
2092a0fd01
The code pointer discovery in macaw can't handle this case because we never write the code pointers into memory - we only read them. We really need a way to tell macaw about code pointers. The easy workaround is to pull all of the function entry points out of the TOC and just seed the macaw search with them, but it would be nice to be able to identify them from first principles.
140 lines
2.0 KiB
ArmAsm
140 lines
2.0 KiB
ArmAsm
.file "test-indirect-calls.c"
|
|
.comm g1,4,4
|
|
.comm g2,4,4
|
|
.comm g3,4,4
|
|
.comm g4,4,4
|
|
.section ".toc","aw"
|
|
.align 3
|
|
.LC0:
|
|
.quad g2
|
|
.section ".text"
|
|
.align 2
|
|
.globl f2
|
|
.section ".opd","aw"
|
|
.align 3
|
|
f2:
|
|
.quad .L.f2,.TOC.@tocbase,0
|
|
.previous
|
|
.type f2, @function
|
|
.L.f2:
|
|
std 31,-8(1)
|
|
stdu 1,-64(1)
|
|
mr 31,1
|
|
std 3,112(31)
|
|
addis 9,2,.LC0@toc@ha
|
|
ld 9,.LC0@toc@l(9)
|
|
extsw 9,9
|
|
mr 3,9
|
|
addi 1,31,64
|
|
ld 31,-8(1)
|
|
blr
|
|
.long 0
|
|
.byte 0,0,0,0,128,1,0,1
|
|
.size f2,.-.L.f2
|
|
.section ".toc","aw"
|
|
.LC1:
|
|
.quad g1
|
|
.section ".text"
|
|
.align 2
|
|
.globl f1
|
|
.section ".opd","aw"
|
|
.align 3
|
|
f1:
|
|
.quad .L.f1,.TOC.@tocbase,0
|
|
.previous
|
|
.type f1, @function
|
|
.L.f1:
|
|
std 31,-8(1)
|
|
stdu 1,-80(1)
|
|
mr 31,1
|
|
std 3,128(31)
|
|
addis 9,2,.LC1@toc@ha
|
|
ld 9,.LC1@toc@l(9)
|
|
std 9,48(31)
|
|
ld 10,48(31)
|
|
ld 9,128(31)
|
|
add 9,10,9
|
|
std 9,48(31)
|
|
ld 9,48(31)
|
|
extsw 9,9
|
|
mr 3,9
|
|
addi 1,31,80
|
|
ld 31,-8(1)
|
|
blr
|
|
.long 0
|
|
.byte 0,0,0,0,128,1,0,1
|
|
.size f1,.-.L.f1
|
|
.section ".toc","aw"
|
|
.set .LC2,.LC1
|
|
.set .LC3,.LC0
|
|
.LC4:
|
|
.quad g3
|
|
.section ".text"
|
|
.align 2
|
|
.globl _start
|
|
.section ".opd","aw"
|
|
.align 3
|
|
_start:
|
|
.quad .L._start,.TOC.@tocbase,0
|
|
.previous
|
|
.type _start, @function
|
|
.L._start:
|
|
mflr 0
|
|
std 0,16(1)
|
|
std 31,-8(1)
|
|
stdu 1,-160(1)
|
|
mr 31,1
|
|
addis 9,2,.LC2@toc@ha
|
|
ld 9,.LC2@toc@l(9)
|
|
std 9,120(31)
|
|
addis 9,2,.LC3@toc@ha
|
|
ld 9,.LC3@toc@l(9)
|
|
std 9,128(31)
|
|
addis 9,2,.LC4@toc@ha
|
|
ld 9,.LC4@toc@l(9)
|
|
std 9,136(31)
|
|
addis 9,2,f1@toc@ha
|
|
addi 9,9,f1@toc@l
|
|
std 9,112(31)
|
|
ld 10,120(31)
|
|
ld 9,128(31)
|
|
cmpd 7,10,9
|
|
ble 7,.L6
|
|
addis 9,2,f2@toc@ha
|
|
addi 9,9,f2@toc@l
|
|
std 9,112(31)
|
|
.L6:
|
|
ld 10,136(31)
|
|
ld 9,128(31)
|
|
add 10,10,9
|
|
ld 9,112(31)
|
|
mr 3,10
|
|
std 2,40(1)
|
|
ld 10,0(9)
|
|
ld 11,16(9)
|
|
mtctr 10
|
|
ld 2,8(9)
|
|
bctrl
|
|
ld 2,40(1)
|
|
mr 9,3
|
|
mr 10,9
|
|
addis 9,2,.LC2@toc@ha
|
|
ld 9,.LC2@toc@l(9)
|
|
stw 10,0(9)
|
|
#APP
|
|
# 27 "test-indirect-calls.c" 1
|
|
li 0,1
|
|
sc
|
|
# 0 "" 2
|
|
#NO_APP
|
|
nop
|
|
addi 1,31,160
|
|
ld 0,16(1)
|
|
mtlr 0
|
|
ld 31,-8(1)
|
|
blr
|
|
.long 0
|
|
.byte 0,0,0,1,128,1,0,1
|
|
.size _start,.-.L._start
|
|
.ident "GCC: (Ubuntu 7.2.0-6ubuntu1) 7.2.0"
|