mirror of
https://github.com/vlang/v.git
synced 2023-08-10 21:13:21 +03:00
x64 machine code generation (ELF)
This commit is contained in:
199
vlib/compiler/x64/gen.v
Normal file
199
vlib/compiler/x64/gen.v
Normal file
@@ -0,0 +1,199 @@
|
||||
// Copyright (c) 2019 Alexander Medvednikov. All rights reserved.
|
||||
// Use of this source code is governed by an MIT license
|
||||
// that can be found in the LICENSE file.
|
||||
|
||||
module x64
|
||||
|
||||
pub struct Gen {
|
||||
out_name string
|
||||
mut:
|
||||
buf []byte
|
||||
sect_header_name_pos int
|
||||
offset i64
|
||||
str_pos []i64
|
||||
strings []string // TODO use a map and don't duplicate strings
|
||||
//str string
|
||||
file_size_pos i64
|
||||
//string_addr map[string]i64
|
||||
}
|
||||
|
||||
enum Register {
|
||||
eax
|
||||
edi
|
||||
rax
|
||||
rdi
|
||||
rsi
|
||||
edx
|
||||
rdx
|
||||
r12
|
||||
}
|
||||
|
||||
enum Size {
|
||||
_8
|
||||
_16
|
||||
_32
|
||||
_64
|
||||
}
|
||||
|
||||
pub fn new_gen(out_name string) &Gen {
|
||||
return &Gen{
|
||||
sect_header_name_pos : 0
|
||||
buf: []
|
||||
out_name: out_name
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
fn (g mut Gen) write8(n int) {
|
||||
// write 1 byte
|
||||
g.buf << byte(n)
|
||||
}
|
||||
|
||||
fn (g mut Gen) write16(n int) {
|
||||
// write 2 bytes
|
||||
g.buf << byte(n)
|
||||
g.buf << byte(n >> 8)
|
||||
}
|
||||
|
||||
fn (g mut Gen) write32(n int) {
|
||||
// write 4 bytes
|
||||
g.buf << byte(n)
|
||||
g.buf << byte(n >> 8)
|
||||
g.buf << byte(n >> 16)
|
||||
g.buf << byte(n >> 24)
|
||||
}
|
||||
|
||||
fn (g mut Gen) write64(n i64) {
|
||||
// write 8 bytes
|
||||
g.buf << byte(n)
|
||||
g.buf << byte(n >> 8)
|
||||
g.buf << byte(n >> 16)
|
||||
g.buf << byte(n >> 24)
|
||||
g.buf << byte(n >> 32)
|
||||
g.buf << byte(n >> 40)
|
||||
g.buf << byte(n >> 48)
|
||||
g.buf << byte(n >> 56)
|
||||
}
|
||||
|
||||
fn (g mut Gen) write64_at(n i64, at i64) {
|
||||
// write 8 bytes
|
||||
g.buf[at] = byte(n)
|
||||
g.buf[at+1] = byte(n >> 8)
|
||||
g.buf[at+2] = byte(n >> 16)
|
||||
g.buf[at+3] = byte(n >> 24)
|
||||
g.buf[at+4] = byte(n >> 32)
|
||||
g.buf[at+5] = byte(n >> 40)
|
||||
g.buf[at+6] = byte(n >> 48)
|
||||
g.buf[at+7] = byte(n >> 56)
|
||||
}
|
||||
|
||||
fn (g mut Gen) write_string(s string) {
|
||||
for c in s {
|
||||
g.write8(int(c))
|
||||
}
|
||||
}
|
||||
|
||||
fn (g mut Gen) inc(reg Register) {
|
||||
g.write16(0xff49)
|
||||
match reg {
|
||||
.r12 { g.write8(0xc4) }
|
||||
else { panic('unhandled inc $reg') }
|
||||
}
|
||||
}
|
||||
|
||||
fn (g mut Gen) cmp(reg Register, size Size, val i64) {
|
||||
g.write8(0x49)
|
||||
// Second byte depends on the size of the value
|
||||
match size {
|
||||
._8 { g.write8(0x83) }
|
||||
._32 { g.write8(0x81) }
|
||||
else { panic('unhandled cmp') }
|
||||
}
|
||||
// Third byte depends on the register being compared to
|
||||
match reg {
|
||||
.r12 { g.write8(0xfc) }
|
||||
else { panic('unhandled cmp') }
|
||||
}
|
||||
g.write8(int(val))
|
||||
}
|
||||
|
||||
fn abs(a i64) i64 { return if a < 0 { -a } else { a } }
|
||||
|
||||
fn (g mut Gen) jle(addr i64) {
|
||||
offset := 0xff - int(abs(addr - g.buf.len))-1
|
||||
g.write8(0x7e)
|
||||
g.write8(offset)
|
||||
}
|
||||
|
||||
fn (g mut Gen) mov64(reg Register, val i64) {
|
||||
match reg {
|
||||
.rsi {
|
||||
g.write8(0x48)
|
||||
g.write8(0xbe)
|
||||
}
|
||||
else { println('unhandled mov $reg') }
|
||||
}
|
||||
g.write64(val)
|
||||
}
|
||||
|
||||
fn (g mut Gen) call(val int) {
|
||||
g.write8(0xe8)
|
||||
}
|
||||
|
||||
fn (g mut Gen) syscall() {
|
||||
// g.write(0x050f)
|
||||
g.write8(0x0f)
|
||||
g.write8(0x05)
|
||||
}
|
||||
|
||||
fn (g mut Gen) ret() {
|
||||
g.write8(0xc3)
|
||||
}
|
||||
|
||||
// returns label's relative address
|
||||
pub fn (g mut Gen) gen_loop_start(from int) int {
|
||||
g.mov(.r12, from)
|
||||
label := g.buf.len
|
||||
g.inc(.r12)
|
||||
return label
|
||||
}
|
||||
|
||||
pub fn (g mut Gen) gen_loop_end(to int, label int) {
|
||||
g.cmp(.r12, ._8, to)
|
||||
g.jle(label)
|
||||
}
|
||||
|
||||
pub fn (g mut Gen) gen_print(s string) {
|
||||
g.strings << s + '\n'
|
||||
//g.string_addr[s] = str_pos
|
||||
g.mov(.eax, 1)
|
||||
g.mov(.edi, 1)
|
||||
str_pos := g.buf.len + 2
|
||||
g.str_pos << str_pos
|
||||
g.mov64(.rsi, 0) //segment_start + 0x9f) // str pos // PLACEHOLDER
|
||||
g.mov(.edx, s.len+1) // len
|
||||
g.syscall()
|
||||
}
|
||||
|
||||
fn (g mut Gen) mov(reg Register, val int) {
|
||||
match reg {
|
||||
.eax { g.write8(0xb8) }
|
||||
.edi { g.write8(0xbf) }
|
||||
.edx { g.write8(0xba) }
|
||||
.rsi {
|
||||
g.write8(0x48)
|
||||
g.write8(0xbe)
|
||||
}
|
||||
.r12 {
|
||||
g.write8(0x41)
|
||||
g.write8(0xbc) // r11 is 0xbb etc
|
||||
}
|
||||
else {
|
||||
panic('unhandled mov $reg')
|
||||
}
|
||||
|
||||
}
|
||||
g.write32(val)
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user