aboutsummaryrefslogtreecommitdiff
path: root/gdb-object-file-libc.go
diff options
context:
space:
mode:
authorPřemysl Janouch <p.janouch@gmail.com>2017-06-25 05:06:09 +0200
committerPřemysl Janouch <p.janouch@gmail.com>2017-06-25 22:18:17 +0200
commit3759a0bd14fb437754c1b2cf4c894af76356803e (patch)
treececad3da993b4c6020595e0f492cc579f650c52e /gdb-object-file-libc.go
parenteaa1125b7cbffd55a22c20cd417ff0ccebb64db0 (diff)
downloadbfc-3759a0bd14fb437754c1b2cf4c894af76356803e.tar.gz
bfc-3759a0bd14fb437754c1b2cf4c894af76356803e.tar.xz
bfc-3759a0bd14fb437754c1b2cf4c894af76356803e.zip
Add gdb-object-file-libc.go
Diffstat (limited to 'gdb-object-file-libc.go')
-rw-r--r--gdb-object-file-libc.go685
1 files changed, 685 insertions, 0 deletions
diff --git a/gdb-object-file-libc.go b/gdb-object-file-libc.go
new file mode 100644
index 0000000..d16a456
--- /dev/null
+++ b/gdb-object-file-libc.go
@@ -0,0 +1,685 @@
+// Non-optimizing Brainfuck compiler generating object files for *nix on x86-64
+// with debugging information mapping instructions onto an IR dump.
+// gofmt has been tried, with disappointing results.
+// codegen{} is also pretty ugly in the way it works but damn convenient.
+package main
+
+import (
+ "encoding/binary"
+ "errors"
+ "fmt"
+ "io/ioutil"
+ "log"
+ "os"
+ "strconv"
+
+ // Let's not repeat all those constants here onstants
+ "debug/dwarf"
+ "debug/elf"
+)
+
+const ( RIGHT = iota; LEFT; INC; DEC; IN; OUT; BEGIN; END )
+
+var info = []struct {
+ grouped bool
+ name string
+}{
+ {true, "RIGHT"},
+ {true, "LEFT"},
+ {true, "INC"},
+ {true, "DEC"},
+ {false, "IN"},
+ {false, "OUT"},
+ {false, "BEGIN"},
+ {false, "END"},
+}
+
+type instruction struct {
+ command int
+ arg int
+}
+
+// Dump internal representation to a file for debugging purposes
+func dump(filename string, irb []instruction) error {
+ out, err := os.Create(filename)
+ if err != nil {
+ return err
+ }
+
+ indent := 0
+ for _, x := range irb {
+ if x.command == END {
+ indent--
+ }
+ for i := 0; i < indent; i++ {
+ out.WriteString(" ")
+ }
+ out.WriteString(info[x.command].name)
+ if info[x.command].grouped {
+ fmt.Fprintf(out, " %d", x.arg)
+ }
+ out.WriteString("\n")
+ if x.command == BEGIN {
+ indent++
+ }
+ }
+ if err = out.Close(); err != nil {
+ return err
+ }
+ return nil
+}
+
+// Decode a Brainfuck program into internal representation,
+// coalescing identical commands together as the most basic optimization
+func decode(program []byte) (irb []instruction) {
+ for _, c := range program {
+ var command int
+ switch c {
+ case '>': command = RIGHT
+ case '<': command = LEFT
+ case '+': command = INC
+ case '-': command = DEC
+ case '.': command = OUT
+ case ',': command = IN
+ case '[': command = BEGIN
+ case ']': command = END
+ default: continue
+ }
+
+ if len(irb) == 0 || !info[command].grouped ||
+ irb[len(irb)-1].command != command {
+ irb = append(irb, instruction{command, 1})
+ } else {
+ irb[len(irb)-1].arg++
+ }
+ }
+ return
+}
+
+// Match loop commands so that we know where to jump
+func pairLoops(irb []instruction) error {
+ nesting := 0
+ stack := make([]int, len(irb))
+ for i, x := range irb {
+ switch x.command {
+ case BEGIN:
+ stack[nesting] = i
+ nesting++
+ case END:
+ if nesting <= 0 {
+ return errors.New("unbalanced loops")
+ }
+ nesting--
+ irb[stack[nesting]].arg = i + 1
+ irb[i].arg = stack[nesting] + 1
+ }
+ }
+ if nesting != 0 {
+ return errors.New("unbalanced loops")
+ }
+ return nil
+}
+
+// --- Code generation ---------------------------------------------------------
+
+type codegen struct {
+ buf []byte
+}
+
+// Convert an arbitrary integral value up to 8 bytes long to little endian
+func le(unknown interface{}) []byte {
+ // Trying hard to avoid reflect.Value.Int/Uint
+ formatted := fmt.Sprintf("%d", unknown)
+
+ b := make([]byte, 8)
+ if unsigned, err := strconv.ParseUint(formatted, 10, 64); err == nil {
+ binary.LittleEndian.PutUint64(b, unsigned)
+ } else if signed, err := strconv.ParseInt(formatted, 10, 64); err == nil {
+ binary.LittleEndian.PutUint64(b, uint64(signed))
+ } else {
+ panic("cannot convert to number")
+ }
+ return b
+}
+
+func (a *codegen) append(v []byte) { a.buf = append(a.buf, v...) }
+func (a *codegen) code(v string) *codegen { a.append([]byte(v)); return a }
+func (a *codegen) db(v interface{}) *codegen { a.append(le(v)[:1]); return a }
+func (a *codegen) dw(v interface{}) *codegen { a.append(le(v)[:2]); return a }
+func (a *codegen) dd(v interface{}) *codegen { a.append(le(v)[:4]); return a }
+func (a *codegen) dq(v interface{}) *codegen { a.append(le(v)[:8]); return a }
+
+type fixup struct { offset, addend int; typ uint32; }
+
+// The linker may _add_ to offsets even with explicit addends (.rela)
+func codegenAmd64(irb []instruction) (code []byte, offsets []int,
+ fixups map[string][]fixup) {
+ offsets = make([]int, len(irb)+1)
+ a := codegen{}
+
+ fixups = map[string][]fixup{}
+ abs := func(name string) {
+ fixups[name] = append(fixups[name],
+ fixup{len(a.buf), 0, uint32(elf.R_X86_64_32)})
+ a.dd(0)
+ }
+ call := func(name string) {
+ a.code("\xE8")
+ fixups[name] = append(fixups[name],
+ fixup{len(a.buf), -4, uint32(elf.R_X86_64_PC32)})
+ a.dd(0)
+ }
+
+ a.code("\xB8"); abs("tape") // mov rax, "tape"
+ a.code("\x30\xDB") // xor bl, bl
+
+ for i, x := range irb {
+ offsets[i] = len(a.buf)
+ if x.command == LEFT || x.command == RIGHT {
+ a.code("\x88\x18") // mov [rax], bl
+ }
+ switch x.command {
+ case RIGHT: a.code("\x48\x05").dd(x.arg) // add rax, "arg"
+ case LEFT: a.code("\x48\x2D").dd(x.arg) // sub rax, "arg"
+ case INC: a.code("\x80\xC3").db(x.arg) // add bl, "arg"
+ case DEC: a.code("\x80\xEB").db(x.arg) // sub bl, "arg"
+ case OUT: a.code("\xE8").dd(0) // call "write"
+ case IN: a.code("\xE8").dd(0) // call "read"
+ case BEGIN:
+ // test bl, bl; jz "offsets[arg]"
+ a.code("\x84\xDB" + "\x0F\x84").dd(0)
+ case END:
+ // test bl, bl; jnz "offsets[arg]"
+ a.code("\x84\xDB" + "\x0F\x85").dd(0)
+ }
+ if x.command == LEFT || x.command == RIGHT {
+ a.code("\x8A\x18") // mov bl, [rax]
+ }
+ }
+ // When there is a loop at the end we need to be able to jump past it
+ offsets[len(irb)] = len(a.buf)
+
+ // Write an epilog which handles all the OS interfacing
+ //
+ // System V x86-64 ABI:
+ // rax <-> both syscall number and return value
+ // args -> rdi, rsi, rdx, r10, r8, r9
+ // trashed <- rcx, r11
+
+ a.code("\x48\x31\xFF") // xor rdi, rdi
+ call("exit") // call [exit]
+
+ read := len(a.buf)
+ a.code("\x50") // push rax -- save tape position
+ call("getchar") // call [getchar]
+ a.code("\x88\xC3") // mov bl, al
+
+ a.code("\x83\xF8\x00") // cmp eax, 0
+ a.code("\x7D").db(2) // jge over the next instruction
+ a.code("\xB3\x00") // mov bl, 0 -- translate EOF to 0
+ a.code("\x58") // pop rax -- restore tape position
+ a.code("\xC3") // ret
+
+ write := len(a.buf)
+ a.code("\x50") // push rax -- save tape position
+ a.code("\x66\x53") // push bx
+ a.code("\x48\x0F\xB6\xFB") // movzx rdi, bl
+ call("putchar") // call [putchar]
+ a.code("\x66\x5B") // pop bx
+
+ a.code("\x83\xF8\x00") // cmp eax, 0
+ a.code("\x7C").db(2) // jl over the return
+ a.code("\x58") // pop rax -- restore tape position
+ a.code("\xC3") // ret
+
+ a.code("\x48\x8b\x34\x25") // mov rsi, ["stderr"]
+ abs("stderr")
+ a.code("\x8D\x3D").dd(15) // lea edi, [rel write_message]
+ call("fputs") // call [fputs]
+ a.code("\xBF").dd(1) // mov edi, "EXIT_FAILURE"
+ call("exit") // call [exit]
+ a.code("fatal: write failed\n\x00")
+
+ // Now that we know where each instruction is, fill in relative jumps
+ for i, x := range irb {
+ // This must accurately reflect the code generators
+ target, fixup := 0, offsets[i]
+ if x.command == BEGIN || x.command == END {
+ fixup += 4
+ target = offsets[x.arg]
+ } else if x.command == IN {
+ fixup += 1
+ target = read
+ } else if x.command == OUT {
+ fixup += 1
+ target = write
+ } else {
+ continue
+ }
+ copy(a.buf[fixup:], le(target - fixup - 4)[:4])
+ }
+ return a.buf, offsets, fixups
+}
+
+// --- Main --------------------------------------------------------------------
+
+func main() {
+ var err error
+ if len(os.Args) > 3 {
+ log.Fatalf("usage: %s [INPUT-FILE] [OUTPUT-FILE]", os.Args[0])
+ }
+
+ input := os.Stdin
+ if len(os.Args) > 1 {
+ if input, err = os.Open(os.Args[1]); err != nil {
+ log.Fatalf("%s", err)
+ }
+ }
+
+ outputPath := "a.out"
+ if len(os.Args) > 2 {
+ outputPath = os.Args[2]
+ }
+
+ program, err := ioutil.ReadAll(input)
+ input.Close()
+ if err != nil {
+ log.Fatalf("can't read program: %s", err)
+ }
+
+ irb := decode(program)
+ // ... various optimizations could be performed here if we give up brevity
+ pairLoops(irb)
+ dump("ir-dump.txt", irb)
+ code, offsets, fixups := codegenAmd64(irb)
+
+// - - ELF generation - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+
+ // Now that we know how long the machine code is, we can write the header.
+ // Note that for PIE we would need to depend on the dynamic linker, so no.
+ //
+ // Recommended reading:
+ // http://www.muppetlabs.com/~breadbox/software/tiny/teensy.html
+ // man 5 elf
+ //
+ // In case of unexpected gdb problems, also see:
+ // DWARF4.pdf
+ // https://sourceware.org/elfutils/DwarfLint
+ // http://wiki.osdev.org/DWARF
+
+ const (
+ ElfHeaderSize = 64 // Size of the ELF header
+ ElfProgramEntrySize = 56 // Size of a program header
+ ElfSectionEntrySize = 64 // Size of a section header
+ ElfDataSize = 1 << 20 // Tape length
+ )
+
+ codeOffset := ElfHeaderSize
+ pieces := [][]byte{code}
+ position := codeOffset + len(code)
+
+// - - Sections - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+
+ sh := codegen{}
+ shCount := 0
+
+ // This section is created on the go as we need to name other sections
+ stringTable := codegen{}
+
+ // A null section is needed by several GNU tools
+
+ sh.dd(len(stringTable.buf)) // Index for the name of the section
+ stringTable.code("\x00")
+ sh.dd(elf.SHT_NULL).dq(0).dq(0) // Type, no flags, no memory address
+ sh.dq(0).dq(0) // Byte offset, byte size
+ sh.dd(0).dd(0) // No link, no info
+ sh.dq(0).dq(0) // No alignment, no entry size
+ shCount++
+
+// - - Text - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+
+ sh.dd(len(stringTable.buf)) // Index for the name of the section
+ stringTable.code(".text\x00")
+ sh.dd(elf.SHT_PROGBITS)
+ sh.dq(elf.SHF_ALLOC | elf.SHF_EXECINSTR)
+ sh.dq(0) // Memory address
+ sh.dq(codeOffset) // Byte offset
+ sh.dq(len(code)) // Byte size
+ sh.dd(0).dd(0) // No link, no info
+ sh.dq(0).dq(0) // No alignment, no entry size
+ shTextIndex := shCount
+ shCount++
+
+// - - BSS - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+
+ sh.dd(len(stringTable.buf)) // Index for the name of the section
+ stringTable.code(".bss\x00")
+ sh.dd(elf.SHT_NOBITS)
+ sh.dq(elf.SHF_ALLOC | elf.SHF_WRITE)
+ sh.dq(0) // Memory address
+ sh.dq(0) // Byte offset
+ sh.dq(ElfDataSize) // Byte size
+ sh.dd(0).dd(0) // No link, no info
+ sh.dq(0).dq(0) // No alignment, no entry size
+ shBSSIndex := shCount
+ shCount++
+
+// - - Symbol table - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+
+ symtab := codegen{}
+ symstrtab := codegen{}
+
+ // A null symbol is needed by several GNU tools
+
+ symtab.dd(len(symstrtab.buf)) // Index for symbol name
+ symstrtab.code("\x00")
+ symtab.db(elf.ST_INFO(elf.STB_LOCAL, elf.STT_NOTYPE))
+ symtab.db(elf.STV_DEFAULT) // Default visibility rules
+ symtab.dw(0).dq(0).dq(0) // No section, no offset, no length
+
+ symbols := map[string]uint32{}
+ nextSymbol := uint32(1)
+ nameSymbol := func(name string) {
+ symtab.dd(len(symstrtab.buf))
+ symstrtab.code(name).code("\x00")
+ symbols[name] = nextSymbol
+ nextSymbol++
+ }
+
+ nameSymbol("tape")
+ symtab.db(elf.ST_INFO(elf.STB_LOCAL, elf.STT_OBJECT))
+ symtab.db(elf.STV_DEFAULT) // Default visibility rules
+ symtab.dw(shBSSIndex) // Relative to section .bss
+ symtab.dq(0) // Right at the start of BSS
+ symtab.dq(ElfDataSize) // Span the entire section
+
+ // It can't be _start since that is already defined somewhere in libc
+ // and we'd like CC to figure out where the dynamic linker is at least
+ nameSymbol("main")
+ symtab.db(elf.ST_INFO(elf.STB_GLOBAL, elf.STT_FUNC))
+ symtab.db(elf.STV_DEFAULT) // Default visibility rules
+ symtab.dw(shTextIndex) // Relative to section .text
+ symtab.dq(0) // Right at the start of code
+ symtab.dq(len(code)) // Span the entire section
+
+ // Create records for undefined symbols to be resolved by the linker
+ for k, _ := range fixups {
+ if _, ok := symbols[k]; ok {
+ continue
+ }
+ nameSymbol(k)
+ symtab.db(elf.ST_INFO(elf.STB_GLOBAL, elf.STT_NOTYPE))
+ symtab.db(elf.STV_DEFAULT) // Default visibility rules
+ symtab.dw(0).dq(0).dq(0) // No section, no offset, no length
+ }
+
+ sh.dd(len(stringTable.buf)) // Index for the name of the section
+ stringTable.code(".symstrtab\x00")
+ sh.dd(elf.SHT_STRTAB).dq(0).dq(0) // Type, no flags, no memory address
+ sh.dq(position) // Byte offset
+ sh.dq(len(symstrtab.buf)) // Byte size
+ sh.dd(0).dd(0) // No link, no info
+ sh.dq(0).dq(0) // No alignment, no entry size
+ shSymstrtabIndex := shCount
+ shCount++
+
+ pieces = append(pieces, symstrtab.buf)
+ position += len(symstrtab.buf)
+
+ sh.dd(len(stringTable.buf)) // Index for the name of the section
+ stringTable.code(".symtab\x00")
+ sh.dd(elf.SHT_SYMTAB).dq(0).dq(0) // Type, no flags, no memory address
+ sh.dq(position) // Byte offset
+ sh.dq(len(symtab.buf)) // Byte size
+ sh.dd(shSymstrtabIndex).dd(2) // Link, info: index of first non-local
+ sh.dq(0).dq(24) // No alignment, entry size
+ shSymtabIndex := shCount
+ shCount++
+
+ pieces = append(pieces, symtab.buf)
+ position += len(symtab.buf)
+
+// - - Text relocation records - - - - - - - - - - - - - - - - - - - - - - - - -
+
+ // ld.gold doesn't support SHT_REL, with SHT_RELA it overrides the target.
+ // ld.bfd addends to the target even with SHT_RELA.
+ // Thus, with SHT_RELA the target needs to be all zeros to be portable.
+
+ textRel := codegen{}
+ for k, v := range fixups {
+ for _, r := range v {
+ textRel.dq(r.offset).dq(elf.R_INFO(symbols[k], r.typ)).dq(r.addend)
+ }
+ }
+
+ sh.dd(len(stringTable.buf)) // Index for the name of the section
+ stringTable.code(".rela.text\x00")
+ sh.dd(elf.SHT_RELA) // Type
+ sh.dq(elf.SHF_INFO_LINK).dq(0) // Flags, no memory address
+ sh.dq(position) // Byte offset
+ sh.dq(len(textRel.buf)) // Byte size
+ sh.dd(shSymtabIndex).dd(shTextIndex)// Link, info
+ sh.dq(0).dq(24) // No alignment, entry size
+ shCount++
+
+ pieces = append(pieces, textRel.buf)
+ position += len(textRel.buf)
+
+// - - Debug line - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+
+ const (
+ opcodeBase = 13 // Offset by DWARF4 standard opcodes
+ lineBase = 0 // We don't need negative line indexes
+ lineRange = 2 // Either we advance a line or not (we always do)
+ )
+
+ // FIXME: we use db() a lot instead of a proper un/signed LEB128 encoder;
+ // that means that values > 127/63 or < 0 would break it;
+ // see Appendix C to DWARF4.pdf for an algorithm
+
+ lineProgram := codegen{}
+ // Extended opcode DW_LNE_set_address to reset the PC to the start of code
+ lineProgram.db(0).db(1 + 8).db(2)
+ lineAddressOff := len(lineProgram.buf)
+ lineProgram.dq(0)
+ if len(irb) > 0 {
+ lineProgram.db(opcodeBase + offsets[0] * lineRange)
+ }
+ // The epilog, which is at the very end of the offset array, is included
+ for i := 1; i <= len(irb); i++ {
+ size := offsets[i] - offsets[i - 1]
+ lineProgram.db(opcodeBase + (1 - lineBase) + size * lineRange)
+ }
+ // Extended opcode DW_LNE_end_sequence is mandatory at the end
+ lineProgram.db(0).db(1).db(1)
+
+ lineHeader := codegen{}
+ lineHeader.db(1) // Minimum instruction length
+ lineHeader.db(1) // Maximum operations per instruction
+ lineHeader.db(1) // default_is_stmt
+ lineHeader.db(lineBase)
+ lineHeader.db(lineRange)
+
+ lineHeader.db(opcodeBase)
+ // Number of operands for all standard opcodes (1..opcodeBase-1)
+ opcodeLengths := []byte{0, 1, 1, 1, 1, 0, 0, 0, 1, 0, 0, 1}
+ lineHeader.buf = append(lineHeader.buf, opcodeLengths...)
+
+ // include_directories []string \x00
+ lineHeader.db(0)
+ // file_names []struct{base string; dir u8; modified u8; length u8} \x00
+ lineHeader.code("ir-dump.txt\x00").db(0).db(0).db(0).db(0)
+
+ lineEntry := codegen{}
+ lineEntry.dw(4) // .debug_line version number
+ lineEntry.dd(len(lineHeader.buf))
+ lineEntry.buf = append(lineEntry.buf, lineHeader.buf...)
+ lineAddressOff += len(lineEntry.buf)
+ lineEntry.buf = append(lineEntry.buf, lineProgram.buf...)
+
+ debugLine := codegen{}
+ debugLine.dd(len(lineEntry.buf))
+ lineAddressOff += len(debugLine.buf)
+ debugLine.buf = append(debugLine.buf, lineEntry.buf...)
+
+ sh.dd(len(stringTable.buf)) // Index for the name of the section
+ stringTable.code(".debug_line\x00")
+ sh.dd(elf.SHT_PROGBITS).dq(0).dq(0) // Type, no flags, no memory address
+ sh.dq(position) // Byte offset
+ sh.dq(len(debugLine.buf)) // Byte size
+ sh.dd(0).dd(0) // No link, no info
+ sh.dq(0).dq(0) // No alignment, no entry size
+ shLineIndex := shCount
+ shCount++
+
+ pieces = append(pieces, debugLine.buf)
+ position += len(debugLine.buf)
+
+// - - Debug line relocation records - - - - - - - - - - - - - - - - - - - - - -
+
+ lineRel := codegen{}
+ lineRel.dq(lineAddressOff).
+ dq(elf.R_INFO(symbols["main"], uint32(elf.R_X86_64_64)))
+
+ sh.dd(len(stringTable.buf)) // Index for the name of the section
+ stringTable.code(".rel.debug_line\x00")
+ sh.dd(elf.SHT_REL) // Type
+ sh.dq(elf.SHF_INFO_LINK).dq(0) // Flags, no memory address
+ sh.dq(position) // Byte offset
+ sh.dq(len(lineRel.buf)) // Byte size
+ sh.dd(shSymtabIndex).dd(shLineIndex)// Link, info
+ sh.dq(0).dq(16) // No alignment, entry size
+ shCount++
+
+ pieces = append(pieces, lineRel.buf)
+ position += len(lineRel.buf)
+
+// - - Debug abbreviations - - - - - - - - - - - - - - - - - - - - - - - - - - -
+
+ const (
+ formAddr = 0x01 // Pointer size
+ formSecOffset = 0x17 // DWARF size
+ )
+
+ debugAbbrev := codegen{}
+ debugAbbrev.db(1) // Our abbreviation code
+ debugAbbrev.db(dwarf.TagCompileUnit)
+ debugAbbrev.db(0) // DW_CHILDREN_no
+ debugAbbrev.db(dwarf.AttrLowpc).db(formAddr)
+ debugAbbrev.db(dwarf.AttrHighpc).db(formAddr)
+ debugAbbrev.db(dwarf.AttrStmtList).db(formSecOffset)
+ debugAbbrev.db(0).db(0) // End of attributes
+ debugAbbrev.db(0) // End of abbreviations
+
+ sh.dd(len(stringTable.buf)) // Index for the name of the section
+ stringTable.code(".debug_abbrev\x00")
+ sh.dd(elf.SHT_PROGBITS).dq(0).dq(0) // Type, no flags, no memory address
+ sh.dq(position) // Byte offset
+ sh.dq(len(debugAbbrev.buf)) // Byte size
+ sh.dd(0).dd(0) // No link, no info
+ sh.dq(0).dq(0) // No alignment, no entry size
+ shCount++
+
+ pieces = append(pieces, debugAbbrev.buf)
+ position += len(debugAbbrev.buf)
+
+// - - Debug info - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+
+ cuEntry := codegen{}
+ cuEntry.dw(4) // .debug_info version number
+ cuEntry.dd(0) // Offset into .debug_abbrev
+ cuEntry.db(8) // Pointer size
+
+ // Single compile unit as per .debug_abbrev
+ cuEntry.db(1)
+ infoStartOff := len(cuEntry.buf)
+ cuEntry.dq(0)
+ infoEndOff := len(cuEntry.buf)
+ cuEntry.dq(len(code))
+ cuEntry.dd(0)
+
+ debugInfo := codegen{}
+ debugInfo.dd(len(cuEntry.buf))
+ infoStartOff += len(debugInfo.buf)
+ infoEndOff += len(debugInfo.buf)
+ debugInfo.buf = append(debugInfo.buf, cuEntry.buf...)
+
+ sh.dd(len(stringTable.buf)) // Index for the name of the section
+ stringTable.code(".debug_info\x00")
+ sh.dd(elf.SHT_PROGBITS).dq(0).dq(0) // Type, no flags, no memory address
+ sh.dq(position) // Byte offset
+ sh.dq(len(debugInfo.buf)) // Byte size
+ sh.dd(0).dd(0) // No link, no info
+ sh.dq(0).dq(0) // No alignment, no entry size
+ shInfoIndex := shCount
+ shCount++
+
+ pieces = append(pieces, debugInfo.buf)
+ position += len(debugInfo.buf)
+
+// - - Debug info relocation records - - - - - - - - - - - - - - - - - - - - - -
+
+ infoRel := codegen{}
+ infoRel.dq(infoStartOff).
+ dq(elf.R_INFO(symbols["main"], uint32(elf.R_X86_64_64)))
+ infoRel.dq(infoEndOff).
+ dq(elf.R_INFO(symbols["main"], uint32(elf.R_X86_64_64)))
+
+ sh.dd(len(stringTable.buf)) // Index for the name of the section
+ stringTable.code(".rel.debug_info\x00")
+ sh.dd(elf.SHT_REL) // Type
+ sh.dq(elf.SHF_INFO_LINK).dq(0) // Flags, no memory address
+ sh.dq(position) // Byte offset
+ sh.dq(len(infoRel.buf)) // Byte size
+ sh.dd(shSymtabIndex).dd(shInfoIndex)// Link, info
+ sh.dq(0).dq(16) // No alignment, entry size
+ shCount++
+
+ pieces = append(pieces, infoRel.buf)
+ position += len(infoRel.buf)
+
+// - - Section names and section table - - - - - - - - - - - - - - - - - - - - -
+
+ sh.dd(len(stringTable.buf)) // Index for the name of the section
+ stringTable.code(".shstrtab\x00")
+ sh.dd(elf.SHT_STRTAB).dq(0).dq(0) // Type, no flags, no memory address
+ sh.dq(position) // Byte offset
+ sh.dq(len(stringTable.buf)) // Byte size
+ sh.dd(0).dd(0) // No link, no info
+ sh.dq(0).dq(0) // No alignment, no entry size
+ shCount++
+
+ pieces = append(pieces, stringTable.buf)
+ position += len(stringTable.buf)
+
+ pieces = append(pieces, sh.buf)
+ // Don't increment the position, we want to know where section headers start
+
+// - - Final assembly of parts - - - - - - - - - - - - - - - - - - - - - - - - -
+
+ bin := codegen{}
+
+ // ELF header
+ bin.code("\x7FELF\x02\x01\x01") // ELF, 64-bit, little endian, v1
+ // Unix System V ABI, v0, padding
+ bin.code("\x00\x00" + "\x00\x00\x00\x00\x00\x00\x00")
+ // The BFD linker will happily try to link ET_EXEC though
+ bin.dw(elf.ET_REL).dw(elf.EM_X86_64).dd(elf.EV_CURRENT)
+ bin.dq(0) // Entry point address
+ bin.dq(0) // Program header offset
+ bin.dq(position) // Section header offset
+ bin.dd(0) // No processor-specific flags
+ bin.dw(ElfHeaderSize) // ELF header size
+ bin.dw(ElfProgramEntrySize) // Program header table entry size
+ bin.dw(0) // Program header table entry count
+ bin.dw(ElfSectionEntrySize) // Section header table entry size
+ bin.dw(shCount) // Section header table entry count
+ bin.dw(shCount - 1) // Section index for strings
+
+ for _, x := range pieces {
+ bin.buf = append(bin.buf, x...)
+ }
+ if err = ioutil.WriteFile(outputPath, bin.buf, 0777); err != nil {
+ log.Fatalf("%s", err)
+ }
+}