elf.mes: compute text-free, text-offset.

This commit is contained in:
Jan Nieuwenhuizen 2016-08-13 15:27:02 +02:00
parent 1ddb703265
commit 00e000306d
2 changed files with 70 additions and 47 deletions

View file

@ -135,5 +135,5 @@ hello: hello.o
# ld -A i386 -m elf_i386 -A i386 -o $@ $^ # ld -A i386 -m elf_i386 -A i386 -o $@ $^
a.out: elf.mes GNUmakefile a.out: elf.mes GNUmakefile
cat base0.mes base0-$(CONDIF).mes base.mes quasiquote.mes let.mes scm scm.mes elf.mes | ./mes > a.out cat base0.mes base0-$(CONDIF).mes base.mes quasiquote.mes let.mes scm scm.mes lib/rnrs/bytevectors.scm elf.mes | ./mes > a.out
chmod +x a.out chmod +x a.out

115
elf.mes
View file

@ -1,5 +1,15 @@
;;; -*-scheme-*- ;;; -*-scheme-*-
(define (int->bv32 value)
(let ((bv (make-bytevector 4)))
(bytevector-u32-native-set! bv 0 value)
bv))
(define (int->bv16 value)
(let ((bv (make-bytevector 2)))
(bytevector-u16-native-set! bv 0 value)
bv))
(define ei-magic '(#x7f #\E #\L #\F)) (define ei-magic '(#x7f #\E #\L #\F))
;;(define ei-magic '(#x7f #x45 #x4c #x46)) ;;(define ei-magic '(#x7f #x45 #x4c #x46))
(define ei-class '(#x01)) ;; 32 bit (define ei-class '(#x01)) ;; 32 bit
@ -79,6 +89,57 @@
program-header-0 program-header-0
)) ))
(define headers
(append
elf-header
program-headers
))
;;(define text-offset #x54)
(define text-offset
(length headers))
(define data-offset #x1076)
;;0054 (+ 0804 8000): 0804 8054
(define text
'(
#xba #x0e #x00 #x00 #x00 ;; mov $0xe,%edx
#xb9 #x76 #x90 #x04 #x08 ;; mov $0x8049076,%ecx
#xbb #x01 #x00 #x00 #x00 ;; mov $0x1,%ebx
#xb8 #x04 #x00 #x00 #x00 ;; mov $0x4,%eax
#xcd #x80 ;; int $0x80
#xbb #x00 #x00 #x00 #x00 ;; mov $0x0,%ebx
#xb8 #x01 #x00 #x00 #x00 ;; mov $0x1,%eax
#xcd #x80 ;; int $0x80
))
(define text-free
(vector->list (make-vector (- data-offset (length text) text-offset) #x00)))
;; 1076
(define data
'(
#\H #\e #\l #\l #\o #\, #\space #\w #\o #\r
#\l #\d #\! #\newline
))
(define note
'(
#x05 #x00 #x00 #x00 #x00 #x00 #x00 #x00 #x02 #x00 #x00 #x00
#\i #\3 #\8 #\6 #x00 #x00 #x00 #x00
))
;; 1098 sh str table
(define tab
'(
#x00 #\. #\s #\h #\s #\t #\r #\t
#\a #\b #x00 #\. #\t #\e #\x #\t #x00 #\. #\d #\a #\t #\a #x00 #\.
#\n #\o #\t #\e #x00 #x00 #x00 #x00
))
(define sh-0-name '(#x99 #x99 #x00 #x00)) (define sh-0-name '(#x99 #x99 #x00 #x00))
(define sh-0-type '(#x00 #x00 #x00 #x00)) (define sh-0-type '(#x00 #x00 #x00 #x00))
(define sh-0-flags '(#x00 #x00 #x00 #x00)) (define sh-0-flags '(#x00 #x00 #x00 #x00))
@ -109,7 +170,7 @@
(define sh-text-type '(#x01 #x00 #x00 #x00)) (define sh-text-type '(#x01 #x00 #x00 #x00))
(define sh-text-flags '(#x06 #x00 #x00 #x00)) (define sh-text-flags '(#x06 #x00 #x00 #x00))
(define sh-text-addr '(#x54 #x80 #x04 #x08)) (define sh-text-addr '(#x54 #x80 #x04 #x08))
(define sh-text-offset '(#x54 #x00 #x00 #x00)) ;;(define sh-text-offset '(#x54 #x00 #x00 #x00))
(define sh-text-size '(#x22 #x00 #x00 #x00)) (define sh-text-size '(#x22 #x00 #x00 #x00))
(define sh-text-link '(#x00 #x00 #x00 #x00)) (define sh-text-link '(#x00 #x00 #x00 #x00))
(define sh-text-info '(#x00 #x00 #x00 #x00)) (define sh-text-info '(#x00 #x00 #x00 #x00))
@ -122,7 +183,8 @@
sh-text-type sh-text-type
sh-text-flags sh-text-flags
sh-text-addr sh-text-addr
sh-text-offset ;;sh-text-offset
(int->bv32 text-offset)
sh-text-size sh-text-size
sh-text-link sh-text-link
sh-text-info sh-text-info
@ -135,6 +197,7 @@
(define sh-data-type '(#x01 #x00 #x00 #x00)) (define sh-data-type '(#x01 #x00 #x00 #x00))
(define sh-data-flags '(#x03 #x00 #x00 #x00)) (define sh-data-flags '(#x03 #x00 #x00 #x00))
(define sh-data-addr '(#x76 #x90 #x04 #x08)) (define sh-data-addr '(#x76 #x90 #x04 #x08))
;;(define sh-data-offset '(#x76 #x10 #x00 #x00))
(define sh-data-offset '(#x76 #x10 #x00 #x00)) (define sh-data-offset '(#x76 #x10 #x00 #x00))
(define sh-data-size '(#x0e #x00 #x00 #x00)) (define sh-data-size '(#x0e #x00 #x00 #x00))
(define sh-data-link '(#x00 #x00 #x00 #x00)) (define sh-data-link '(#x00 #x00 #x00 #x00))
@ -148,8 +211,10 @@
sh-data-type sh-data-type
sh-data-flags sh-data-flags
sh-data-addr sh-data-addr
sh-data-offset ;;sh-data-offset
sh-data-size (int->bv32 data-offset)
;;sh-data-size
(int->bv32 (length data))
sh-data-link sh-data-link
sh-data-info sh-data-info
sh-data-addralign sh-data-addralign
@ -217,48 +282,6 @@
sh-tab sh-tab
)) ))
;;0054 (+ 0804 8000): 0804 8054
(define text
'(
#xba #x0e #x00 #x00 #x00 ;; mov $0xe,%edx
#xb9 #x76 #x90 #x04 #x08 ;; mov $0x8049076,%ecx
#xbb #x01 #x00 #x00 #x00 ;; mov $0x1,%ebx
#xb8 #x04 #x00 #x00 #x00 ;; mov $0x4,%eax
#xcd #x80 ;; int $0x80
#xbb #x00 #x00 #x00 #x00 ;; mov $0x0,%ebx
#xb8 #x01 #x00 #x00 #x00 ;; mov $0x1,%eax
#xcd #x80 ;; int $0x80
#x00 #x00 #x00 #x00 #x00 #x00 #x00 #x00 #x00 #x00
))
(define text-free
(vector->list (make-vector (- #x1076 #x80 ) #x00))
)
;; 1076
(define data
'(
#\H #\e #\l #\l #\o #\, #\space #\w #\o #\r
#\l #\d #\! #\newline
))
(define note
'(
#x05 #x00 #x00 #x00 #x00 #x00 #x00 #x00 #x02 #x00 #x00 #x00
#\i #\3 #\8 #\6 #x00 #x00 #x00 #x00
))
;; 1098 sh str table
(define tab
'(
#x00 #\. #\s #\h #\s #\t #\r #\t
#\a #\b #x00 #\. #\t #\e #\x #\t #x00 #\. #\d #\a #\t #\a #x00 #\.
#\n #\o #\t #\e #x00 #x00 #x00 #x00
))
(define exe (define exe
(append (append
elf-header elf-header