miloignis/kraken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add xor

Browse Source
This commit is contained in:
Nathan Braswell
2018-03-12 00:43:51 -04:00
parent 5464555e0d
commit ef516891ca
1 changed files with 19 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
stdlib/bytecode_generator.krak
View File

@@ -93,6 +93,7 @@ adt byte_inst {
addi: addi, addi: addi,
and: and, and: and,
or: or, or: or,
xor: xor,
not: not, not: not,
ldr: ldr, ldr: ldr,
str: str, str: str,
@@ -125,6 +126,11 @@ obj or {
var a: int var a: int
var b: int var b: int
} }
obj xor {
var to_reg: int
var a: int
var b: int
}
obj not { obj not {
var to_reg: int var to_reg: int
var a: int var a: int
@@ -170,6 +176,7 @@ fun to_string(b: byte_inst): string {
byte_inst::addi(a) return string("r") + a.to_reg + " = r" + a.a + " + " + a.bi byte_inst::addi(a) return string("r") + a.to_reg + " = r" + a.a + " + " + a.bi
byte_inst::and(a) return string("r") + a.to_reg + " = r" + a.a + " & " + a.b byte_inst::and(a) return string("r") + a.to_reg + " = r" + a.a + " & " + a.b
byte_inst::or(a) return string("r") + a.to_reg + " = r" + a.a + " | " + a.b byte_inst::or(a) return string("r") + a.to_reg + " = r" + a.a + " | " + a.b
byte_inst::xor(a) return string("r") + a.to_reg + " = r" + a.a + " ^ " + a.b
byte_inst::not(a) return string("r") + a.to_reg + " = ~r" + a.a byte_inst::not(a) return string("r") + a.to_reg + " = ~r" + a.a
byte_inst::ldr(l) return string("r") + l.to_reg + " = ldr" + to_string(l.size) + " r" + l.from_reg + " (" + l.offset + ")" byte_inst::ldr(l) return string("r") + l.to_reg + " = ldr" + to_string(l.size) + " r" + l.from_reg + " (" + l.offset + ")"
byte_inst::str(s) return "str" + to_string(s.size) + " (r" + s.to_reg + "(" + s.offset + ") <= r" + s.from_reg + ")" byte_inst::str(s) return "str" + to_string(s.size) + " (r" + s.to_reg + "(" + s.offset + ") <= r" + s.from_reg + ")"
@@ -496,15 +503,14 @@ obj bytecode_generator (Object) {
} else if (name == "|" || (name == "&" && params.size == 2) || name == "^" || name == "~") { } else if (name == "|" || (name == "&" && params.size == 2) || name == "^" || name == "~") {
if (name == "|") return emit_or(params[0], params[1]) if (name == "|") return emit_or(params[0], params[1])
if (name == "&") return emit_and(params[0], params[1]) if (name == "&") return emit_and(params[0], params[1])
if (name == "^") return emit_xor(params[0], params[1])
if (name == "~") return emit_not(params[0]) if (name == "~") return emit_not(params[0])
error("bitwise operators are not supported")
} else if (name == ">>" || name == "<<") { } else if (name == ">>" || name == "<<") {
error("shift operators are not supported") error("shift operators are not supported")
} else if (name == "/" || name == "%" || (name == "*" && params.size == 2)) { } else if (name == "/" || name == "%" || (name == "*" && params.size == 2)) {
error("mult div mod operators are not supported") error("mult div mod operators are not supported")
} else {
error("unknown operator " + name)
} }
error("unknown operator " + name)
} else { } else {
var stack_offset = 0 var stack_offset = 0
// reverse order // reverse order
@@ -604,6 +610,15 @@ obj bytecode_generator (Object) {
instructions.add(byte_inst::or(i)) instructions.add(byte_inst::or(i))
return i.to_reg return i.to_reg
} }
fun emit_xor(a: int, b: int): int { return emit_xor(get_reg(), a, b); }
fun emit_xor(dest: int, a: int, b: int): int {
var i: xor
i.to_reg = dest
i.a = a
i.b = b
instructions.add(byte_inst::xor(i))
return i.to_reg
}
fun emit_not(a: int): int { return emit_not(get_reg(), a); } fun emit_not(a: int): int { return emit_not(get_reg(), a); }
fun emit_not(dest: int, a: int): int { fun emit_not(dest: int, a: int): int {
var i: not var i: not
@@ -678,6 +693,7 @@ obj bytecode_generator (Object) {
byte_inst::addi(a) registers[a.to_reg] = registers[a.a] + a.bi byte_inst::addi(a) registers[a.to_reg] = registers[a.a] + a.bi
byte_inst::and(a) registers[a.to_reg] = registers[a.a] & registers[a.b] byte_inst::and(a) registers[a.to_reg] = registers[a.a] & registers[a.b]
byte_inst::or(a) registers[a.to_reg] = registers[a.a] | registers[a.b] byte_inst::or(a) registers[a.to_reg] = registers[a.a] | registers[a.b]
byte_inst::xor(a) registers[a.to_reg] = registers[a.a] ^ registers[a.b]
byte_inst::not(a) registers[a.to_reg] = ~registers[a.a] byte_inst::not(a) registers[a.to_reg] = ~registers[a.a]
byte_inst::ldr(l) match (l.size) { byte_inst::ldr(l) match (l.size) {
operand_size::b8() registers[l.to_reg] = *(stack + registers[l.from_reg] + l.offset) cast *char operand_size::b8() registers[l.to_reg] = *(stack + registers[l.from_reg] + l.offset) cast *char