Reimplement the Windows OS dependencies in package runtime

This commit is contained in:
gingerBill
2020-10-01 10:57:02 +01:00
parent 9513cf1ac6
commit 252a864308
6 changed files with 214 additions and 246 deletions
+6 -7
View File
@@ -531,15 +531,14 @@ init_global_temporary_allocator :: proc(data: []byte, backup_allocator := contex
default_assertion_failure_proc :: proc(prefix, message: string, loc: Source_Code_Location) { default_assertion_failure_proc :: proc(prefix, message: string, loc: Source_Code_Location) {
fd := os_stderr(); print_caller_location(loc);
print_caller_location(fd, loc); print_string(" ");
print_string(fd, " "); print_string(prefix);
print_string(fd, prefix);
if len(message) > 0 { if len(message) > 0 {
print_string(fd, ": "); print_string(": ");
print_string(fd, message); print_string(message);
} }
print_byte(fd, '\n'); print_byte('\n');
debug_trap(); debug_trap();
} }
+2 -1
View File
@@ -15,7 +15,8 @@ when ODIN_DEFAULT_TO_NIL_ALLOCATOR || ODIN_OS == "freestanding" {
data = nil, data = nil,
}; };
} }
} else { } else when ODIN_OS != "windows" {
// TODO(bill): reimplement these procedures in the os_specific stuff
import "core:os" import "core:os"
default_allocator_proc :: os.heap_allocator_proc; default_allocator_proc :: os.heap_allocator_proc;
+42 -49
View File
@@ -23,13 +23,12 @@ bounds_check_error :: proc "contextless" (file: string, line, column: int, index
} }
handle_error :: proc "contextless" (file: string, line, column: int, index, count: int) { handle_error :: proc "contextless" (file: string, line, column: int, index, count: int) {
context = default_context(); context = default_context();
fd := os_stderr(); print_caller_location(Source_Code_Location{file, line, column, "", 0});
print_caller_location(fd, Source_Code_Location{file, line, column, "", 0}); print_string(" Index ");
print_string(fd, " Index "); print_i64(i64(index));
print_i64(fd, i64(index)); print_string(" is out of bounds range 0:");
print_string(fd, " is out of bounds range 0:"); print_i64(i64(count));
print_i64(fd, i64(count)); print_byte('\n');
print_byte(fd, '\n');
bounds_trap(); bounds_trap();
} }
handle_error(file, line, column, index, count); handle_error(file, line, column, index, count);
@@ -37,15 +36,14 @@ bounds_check_error :: proc "contextless" (file: string, line, column: int, index
slice_handle_error :: proc "contextless" (file: string, line, column: int, lo, hi: int, len: int) -> ! { slice_handle_error :: proc "contextless" (file: string, line, column: int, lo, hi: int, len: int) -> ! {
context = default_context(); context = default_context();
fd := os_stderr(); print_caller_location(Source_Code_Location{file, line, column, "", 0});
print_caller_location(fd, Source_Code_Location{file, line, column, "", 0}); print_string(" Invalid slice indices: ");
print_string(fd, " Invalid slice indices: "); print_i64(i64(lo));
print_i64(fd, i64(lo)); print_string(":");
print_string(fd, ":"); print_i64(i64(hi));
print_i64(fd, i64(hi)); print_string(":");
print_string(fd, ":"); print_i64(i64(len));
print_i64(fd, i64(len)); print_byte('\n');
print_byte(fd, '\n');
bounds_trap(); bounds_trap();
} }
@@ -69,15 +67,14 @@ dynamic_array_expr_error :: proc "contextless" (file: string, line, column: int,
} }
handle_error :: proc "contextless" (file: string, line, column: int, low, high, max: int) { handle_error :: proc "contextless" (file: string, line, column: int, low, high, max: int) {
context = default_context(); context = default_context();
fd := os_stderr(); print_caller_location(Source_Code_Location{file, line, column, "", 0});
print_caller_location(fd, Source_Code_Location{file, line, column, "", 0}); print_string(" Invalid dynamic array values: ");
print_string(fd, " Invalid dynamic array values: "); print_i64(i64(low));
print_i64(fd, i64(low)); print_string(":");
print_string(fd, ":"); print_i64(i64(high));
print_i64(fd, i64(high)); print_string(":");
print_string(fd, ":"); print_i64(i64(max));
print_i64(fd, i64(max)); print_byte('\n');
print_byte(fd, '\n');
bounds_trap(); bounds_trap();
} }
handle_error(file, line, column, low, high, max); handle_error(file, line, column, low, high, max);
@@ -90,13 +87,12 @@ type_assertion_check :: proc "contextless" (ok: bool, file: string, line, column
} }
handle_error :: proc "contextless" (file: string, line, column: int, from, to: typeid) { handle_error :: proc "contextless" (file: string, line, column: int, from, to: typeid) {
context = default_context(); context = default_context();
fd := os_stderr(); print_caller_location(Source_Code_Location{file, line, column, "", 0});
print_caller_location(fd, Source_Code_Location{file, line, column, "", 0}); print_string(" Invalid type assertion from ");
print_string(fd, " Invalid type assertion from "); print_typeid(from);
print_typeid(fd, from); print_string(" to ");
print_string(fd, " to "); print_typeid(to);
print_typeid(fd, to); print_byte('\n');
print_byte(fd, '\n');
type_assertion_trap(); type_assertion_trap();
} }
handle_error(file, line, column, from, to); handle_error(file, line, column, from, to);
@@ -108,11 +104,10 @@ make_slice_error_loc :: inline proc "contextless" (loc := #caller_location, len:
} }
handle_error :: proc "contextless" (loc: Source_Code_Location, len: int) { handle_error :: proc "contextless" (loc: Source_Code_Location, len: int) {
context = default_context(); context = default_context();
fd := os_stderr(); print_caller_location(loc);
print_caller_location(fd, loc); print_string(" Invalid slice length for make: ");
print_string(fd, " Invalid slice length for make: "); print_i64(i64(len));
print_i64(fd, i64(len)); print_byte('\n');
print_byte(fd, '\n');
bounds_trap(); bounds_trap();
} }
handle_error(loc, len); handle_error(loc, len);
@@ -124,13 +119,12 @@ make_dynamic_array_error_loc :: inline proc "contextless" (using loc := #caller_
} }
handle_error :: proc "contextless" (loc: Source_Code_Location, len, cap: int) { handle_error :: proc "contextless" (loc: Source_Code_Location, len, cap: int) {
context = default_context(); context = default_context();
fd := os_stderr(); print_caller_location(loc);
print_caller_location(fd, loc); print_string(" Invalid dynamic array parameters for make: ");
print_string(fd, " Invalid dynamic array parameters for make: "); print_i64(i64(len));
print_i64(fd, i64(len)); print_byte(':');
print_byte(fd, ':'); print_i64(i64(cap));
print_i64(fd, i64(cap)); print_byte('\n');
print_byte(fd, '\n');
bounds_trap(); bounds_trap();
} }
handle_error(loc, len, cap); handle_error(loc, len, cap);
@@ -142,11 +136,10 @@ make_map_expr_error_loc :: inline proc "contextless" (loc := #caller_location, c
} }
handle_error :: proc "contextless" (loc: Source_Code_Location, cap: int) { handle_error :: proc "contextless" (loc: Source_Code_Location, cap: int) {
context = default_context(); context = default_context();
fd := os_stderr(); print_caller_location(loc);
print_caller_location(fd, loc); print_string(" Invalid map capacity for make: ");
print_string(fd, " Invalid map capacity for make: "); print_i64(i64(cap));
print_i64(fd, i64(cap)); print_byte('\n');
print_byte(fd, '\n');
bounds_trap(); bounds_trap();
} }
handle_error(loc, cap); handle_error(loc, cap);
+1 -19
View File
@@ -1,21 +1,3 @@
//+build !freestanding
package runtime package runtime
import "core:os" _OS_Errno :: distinct int;
_OS_Errno :: distinct int;
_OS_Handle :: os.Handle;
os_stderr :: proc "contextless" () -> _OS_Handle {
return os.stderr;
}
// TODO(bill): reimplement `os.write`
os_write :: proc(fd: _OS_Handle, data: []byte) -> (int, _OS_Errno) {
n, err := os.write(fd, data);
return int(n), _OS_Errno(err);
}
current_thread_id :: proc "contextless" () -> int {
return os.current_thread_id();
}
+1 -8
View File
@@ -1,15 +1,8 @@
//+build freestanding //+build freestanding
package runtime package runtime
_OS_Errno :: distinct int;
_OS_Handle :: distinct uintptr;
os_stderr :: proc "contextless" () -> _OS_Handle {
return 2;
}
// TODO(bill): reimplement `os.write` // TODO(bill): reimplement `os.write`
os_write :: proc(fd: _OS_Handle, data: []byte) -> (int, _OS_Errno) { os_write :: proc "contextless" (data: []byte) -> (int, _OS_Errno) {
return 0, -1; return 0, -1;
} }
+162 -162
View File
@@ -2,7 +2,7 @@ package runtime
_INTEGER_DIGITS :: "0123456789abcdefghijklmnopqrstuvwxyz"; _INTEGER_DIGITS :: "0123456789abcdefghijklmnopqrstuvwxyz";
encode_rune :: proc(c: rune) -> ([4]u8, int) { encode_rune :: proc "contextless" (c: rune) -> ([4]u8, int) {
r := c; r := c;
buf: [4]u8; buf: [4]u8;
@@ -38,55 +38,55 @@ encode_rune :: proc(c: rune) -> ([4]u8, int) {
return buf, 4; return buf, 4;
} }
print_string :: proc(fd: _OS_Handle, str: string) -> (int, _OS_Errno) { print_string :: proc "contextless" (str: string) -> (int, _OS_Errno) {
return os_write(fd, transmute([]byte)str); return os_write(transmute([]byte)str);
} }
print_byte :: proc(fd: _OS_Handle, b: byte) -> (int, _OS_Errno) { print_byte :: proc "contextless" (b: byte) -> (int, _OS_Errno) {
return os_write(fd, []byte{b}); return os_write([]byte{b});
} }
print_encoded_rune :: proc(fd: _OS_Handle, r: rune) { print_encoded_rune :: proc "contextless" (r: rune) {
print_byte(fd, '\''); print_byte('\'');
switch r { switch r {
case '\a': print_string(fd, "\\a"); case '\a': print_string("\\a");
case '\b': print_string(fd, "\\b"); case '\b': print_string("\\b");
case '\e': print_string(fd, "\\e"); case '\e': print_string("\\e");
case '\f': print_string(fd, "\\f"); case '\f': print_string("\\f");
case '\n': print_string(fd, "\\n"); case '\n': print_string("\\n");
case '\r': print_string(fd, "\\r"); case '\r': print_string("\\r");
case '\t': print_string(fd, "\\t"); case '\t': print_string("\\t");
case '\v': print_string(fd, "\\v"); case '\v': print_string("\\v");
case: case:
if r <= 0 { if r <= 0 {
print_string(fd, "\\x00"); print_string("\\x00");
} else if r < 32 { } else if r < 32 {
digits := _INTEGER_DIGITS; digits := _INTEGER_DIGITS;
n0, n1 := u8(r) >> 4, u8(r) & 0xf; n0, n1 := u8(r) >> 4, u8(r) & 0xf;
print_string(fd, "\\x"); print_string("\\x");
print_byte(fd, digits[n0]); print_byte(digits[n0]);
print_byte(fd, digits[n1]); print_byte(digits[n1]);
} else { } else {
print_rune(fd, r); print_rune(r);
} }
} }
print_byte(fd, '\''); print_byte('\'');
} }
print_rune :: proc(fd: _OS_Handle, r: rune) -> (int, _OS_Errno) { print_rune :: proc "contextless" (r: rune) -> (int, _OS_Errno) {
RUNE_SELF :: 0x80; RUNE_SELF :: 0x80;
if r < RUNE_SELF { if r < RUNE_SELF {
return print_byte(fd, byte(r)); return print_byte(byte(r));
} }
b, n := encode_rune(r); b, n := encode_rune(r);
return os_write(fd, b[:n]); return os_write(b[:n]);
} }
print_u64 :: proc(fd: _OS_Handle, x: u64) { print_u64 :: proc "contextless" (x: u64) {
digits := _INTEGER_DIGITS; digits := _INTEGER_DIGITS;
a: [129]byte; a: [129]byte;
@@ -99,11 +99,11 @@ print_u64 :: proc(fd: _OS_Handle, x: u64) {
} }
i -= 1; a[i] = digits[u % b]; i -= 1; a[i] = digits[u % b];
os_write(fd, a[i:]); os_write(a[i:]);
} }
print_i64 :: proc(fd: _OS_Handle, x: i64) { print_i64 :: proc "contextless" (x: i64) {
digits := _INTEGER_DIGITS; digits := _INTEGER_DIGITS;
b :: i64(10); b :: i64(10);
@@ -122,257 +122,257 @@ print_i64 :: proc(fd: _OS_Handle, x: i64) {
i -= 1; a[i] = '-'; i -= 1; a[i] = '-';
} }
os_write(fd, a[i:]); os_write(a[i:]);
} }
print_caller_location :: proc(fd: _OS_Handle, using loc: Source_Code_Location) { print_caller_location :: proc "contextless" (using loc: Source_Code_Location) {
print_string(fd, file_path); print_string(file_path);
print_byte(fd, '('); print_byte('(');
print_u64(fd, u64(line)); print_u64(u64(line));
print_byte(fd, ':'); print_byte(':');
print_u64(fd, u64(column)); print_u64(u64(column));
print_byte(fd, ')'); print_byte(')');
} }
print_typeid :: proc(fd: _OS_Handle, id: typeid) { print_typeid :: proc "contextless" (id: typeid) {
if id == nil { if id == nil {
print_string(fd, "nil"); print_string("nil");
} else { } else {
ti := type_info_of(id); ti := type_info_of(id);
print_type(fd, ti); print_type(ti);
} }
} }
print_type :: proc(fd: _OS_Handle, ti: ^Type_Info) { print_type :: proc "contextless" (ti: ^Type_Info) {
if ti == nil { if ti == nil {
print_string(fd, "nil"); print_string("nil");
return; return;
} }
switch info in ti.variant { switch info in ti.variant {
case Type_Info_Named: case Type_Info_Named:
print_string(fd, info.name); print_string(info.name);
case Type_Info_Integer: case Type_Info_Integer:
switch ti.id { switch ti.id {
case int: print_string(fd, "int"); case int: print_string("int");
case uint: print_string(fd, "uint"); case uint: print_string("uint");
case uintptr: print_string(fd, "uintptr"); case uintptr: print_string("uintptr");
case: case:
print_byte(fd, 'i' if info.signed else 'u'); print_byte('i' if info.signed else 'u');
print_u64(fd, u64(8*ti.size)); print_u64(u64(8*ti.size));
} }
case Type_Info_Rune: case Type_Info_Rune:
print_string(fd, "rune"); print_string("rune");
case Type_Info_Float: case Type_Info_Float:
print_byte(fd, 'f'); print_byte('f');
print_u64(fd, u64(8*ti.size)); print_u64(u64(8*ti.size));
case Type_Info_Complex: case Type_Info_Complex:
print_string(fd, "complex"); print_string("complex");
print_u64(fd, u64(8*ti.size)); print_u64(u64(8*ti.size));
case Type_Info_Quaternion: case Type_Info_Quaternion:
print_string(fd, "quaternion"); print_string("quaternion");
print_u64(fd, u64(8*ti.size)); print_u64(u64(8*ti.size));
case Type_Info_String: case Type_Info_String:
print_string(fd, "string"); print_string("string");
case Type_Info_Boolean: case Type_Info_Boolean:
switch ti.id { switch ti.id {
case bool: print_string(fd, "bool"); case bool: print_string("bool");
case: case:
print_byte(fd, 'b'); print_byte('b');
print_u64(fd, u64(8*ti.size)); print_u64(u64(8*ti.size));
} }
case Type_Info_Any: case Type_Info_Any:
print_string(fd, "any"); print_string("any");
case Type_Info_Type_Id: case Type_Info_Type_Id:
print_string(fd, "typeid"); print_string("typeid");
case Type_Info_Pointer: case Type_Info_Pointer:
if info.elem == nil { if info.elem == nil {
print_string(fd, "rawptr"); print_string("rawptr");
} else { } else {
print_string(fd, "^"); print_string("^");
print_type(fd, info.elem); print_type(info.elem);
} }
case Type_Info_Procedure: case Type_Info_Procedure:
print_string(fd, "proc"); print_string("proc");
if info.params == nil { if info.params == nil {
print_string(fd, "()"); print_string("()");
} else { } else {
t := info.params.variant.(Type_Info_Tuple); t := info.params.variant.(Type_Info_Tuple);
print_byte(fd, '('); print_byte('(');
for t, i in t.types { for t, i in t.types {
if i > 0 { print_string(fd, ", "); } if i > 0 { print_string(", "); }
print_type(fd, t); print_type(t);
} }
print_string(fd, ")"); print_string(")");
} }
if info.results != nil { if info.results != nil {
print_string(fd, " -> "); print_string(" -> ");
print_type(fd, info.results); print_type(info.results);
} }
case Type_Info_Tuple: case Type_Info_Tuple:
count := len(info.names); count := len(info.names);
if count != 1 { print_byte(fd, '('); } if count != 1 { print_byte('('); }
for name, i in info.names { for name, i in info.names {
if i > 0 { print_string(fd, ", "); } if i > 0 { print_string(", "); }
t := info.types[i]; t := info.types[i];
if len(name) > 0 { if len(name) > 0 {
print_string(fd, name); print_string(name);
print_string(fd, ": "); print_string(": ");
} }
print_type(fd, t); print_type(t);
} }
if count != 1 { print_string(fd, ")"); } if count != 1 { print_string(")"); }
case Type_Info_Array: case Type_Info_Array:
print_byte(fd, '['); print_byte('[');
print_u64(fd, u64(info.count)); print_u64(u64(info.count));
print_byte(fd, ']'); print_byte(']');
print_type(fd, info.elem); print_type(info.elem);
case Type_Info_Enumerated_Array: case Type_Info_Enumerated_Array:
print_byte(fd, '['); print_byte('[');
print_type(fd, info.index); print_type(info.index);
print_byte(fd, ']'); print_byte(']');
print_type(fd, info.elem); print_type(info.elem);
case Type_Info_Dynamic_Array: case Type_Info_Dynamic_Array:
print_string(fd, "[dynamic]"); print_string("[dynamic]");
print_type(fd, info.elem); print_type(info.elem);
case Type_Info_Slice: case Type_Info_Slice:
print_string(fd, "[]"); print_string("[]");
print_type(fd, info.elem); print_type(info.elem);
case Type_Info_Map: case Type_Info_Map:
print_string(fd, "map["); print_string("map[");
print_type(fd, info.key); print_type(info.key);
print_byte(fd, ']'); print_byte(']');
print_type(fd, info.value); print_type(info.value);
case Type_Info_Struct: case Type_Info_Struct:
switch info.soa_kind { switch info.soa_kind {
case .None: // Ignore case .None: // Ignore
case .Fixed: case .Fixed:
print_string(fd, "#soa["); print_string("#soa[");
print_u64(fd, u64(info.soa_len)); print_u64(u64(info.soa_len));
print_byte(fd, ']'); print_byte(']');
print_type(fd, info.soa_base_type); print_type(info.soa_base_type);
return; return;
case .Slice: case .Slice:
print_string(fd, "#soa[]"); print_string("#soa[]");
print_type(fd, info.soa_base_type); print_type(info.soa_base_type);
return; return;
case .Dynamic: case .Dynamic:
print_string(fd, "#soa[dynamic]"); print_string("#soa[dynamic]");
print_type(fd, info.soa_base_type); print_type(info.soa_base_type);
return; return;
} }
print_string(fd, "struct "); print_string("struct ");
if info.is_packed { print_string(fd, "#packed "); } if info.is_packed { print_string("#packed "); }
if info.is_raw_union { print_string(fd, "#raw_union "); } if info.is_raw_union { print_string("#raw_union "); }
if info.custom_align { if info.custom_align {
print_string(fd, "#align "); print_string("#align ");
print_u64(fd, u64(ti.align)); print_u64(u64(ti.align));
print_byte(fd, ' '); print_byte(' ');
} }
print_byte(fd, '{'); print_byte('{');
for name, i in info.names { for name, i in info.names {
if i > 0 { print_string(fd, ", "); } if i > 0 { print_string(", "); }
print_string(fd, name); print_string(name);
print_string(fd, ": "); print_string(": ");
print_type(fd, info.types[i]); print_type(info.types[i]);
} }
print_byte(fd, '}'); print_byte('}');
case Type_Info_Union: case Type_Info_Union:
print_string(fd, "union "); print_string("union ");
if info.custom_align { if info.custom_align {
print_string(fd, "#align "); print_string("#align ");
print_u64(fd, u64(ti.align)); print_u64(u64(ti.align));
} }
if info.no_nil { if info.no_nil {
print_string(fd, "#no_nil "); print_string("#no_nil ");
} }
print_byte(fd, '{'); print_byte('{');
for variant, i in info.variants { for variant, i in info.variants {
if i > 0 { print_string(fd, ", "); } if i > 0 { print_string(", "); }
print_type(fd, variant); print_type(variant);
} }
print_string(fd, "}"); print_string("}");
case Type_Info_Enum: case Type_Info_Enum:
print_string(fd, "enum "); print_string("enum ");
print_type(fd, info.base); print_type(info.base);
print_string(fd, " {"); print_string(" {");
for name, i in info.names { for name, i in info.names {
if i > 0 { print_string(fd, ", "); } if i > 0 { print_string(", "); }
print_string(fd, name); print_string(name);
} }
print_string(fd, "}"); print_string("}");
case Type_Info_Bit_Field: case Type_Info_Bit_Field:
print_string(fd, "bit_field "); print_string("bit_field ");
if ti.align != 1 { if ti.align != 1 {
print_string(fd, "#align "); print_string("#align ");
print_u64(fd, u64(ti.align)); print_u64(u64(ti.align));
print_byte(fd, ' '); print_byte(' ');
} }
print_string(fd, " {"); print_string(" {");
for name, i in info.names { for name, i in info.names {
if i > 0 { print_string(fd, ", "); } if i > 0 { print_string(", "); }
print_string(fd, name); print_string(name);
print_string(fd, ": "); print_string(": ");
print_u64(fd, u64(info.bits[i])); print_u64(u64(info.bits[i]));
} }
print_string(fd, "}"); print_string("}");
case Type_Info_Bit_Set: case Type_Info_Bit_Set:
print_string(fd, "bit_set["); print_string("bit_set[");
#partial switch elem in type_info_base(info.elem).variant { #partial switch elem in type_info_base(info.elem).variant {
case Type_Info_Enum: case Type_Info_Enum:
print_type(fd, info.elem); print_type(info.elem);
case Type_Info_Rune: case Type_Info_Rune:
print_encoded_rune(fd, rune(info.lower)); print_encoded_rune(rune(info.lower));
print_string(fd, ".."); print_string("..");
print_encoded_rune(fd, rune(info.upper)); print_encoded_rune(rune(info.upper));
case: case:
print_i64(fd, info.lower); print_i64(info.lower);
print_string(fd, ".."); print_string("..");
print_i64(fd, info.upper); print_i64(info.upper);
} }
if info.underlying != nil { if info.underlying != nil {
print_string(fd, "; "); print_string("; ");
print_type(fd, info.underlying); print_type(info.underlying);
} }
print_byte(fd, ']'); print_byte(']');
case Type_Info_Opaque: case Type_Info_Opaque:
print_string(fd, "opaque "); print_string("opaque ");
print_type(fd, info.elem); print_type(info.elem);
case Type_Info_Simd_Vector: case Type_Info_Simd_Vector:
if info.is_x86_mmx { if info.is_x86_mmx {
print_string(fd, "intrinsics.x86_mmx"); print_string("intrinsics.x86_mmx");
} else { } else {
print_string(fd, "#simd["); print_string("#simd[");
print_u64(fd, u64(info.count)); print_u64(u64(info.count));
print_byte(fd, ']'); print_byte(']');
print_type(fd, info.elem); print_type(info.elem);
} }
case Type_Info_Relative_Pointer: case Type_Info_Relative_Pointer:
print_string(fd, "#relative("); print_string("#relative(");
print_type(fd, info.base_integer); print_type(info.base_integer);
print_string(fd, ") "); print_string(") ");
print_type(fd, info.pointer); print_type(info.pointer);
case Type_Info_Relative_Slice: case Type_Info_Relative_Slice:
print_string(fd, "#relative("); print_string("#relative(");
print_type(fd, info.base_integer); print_type(info.base_integer);
print_string(fd, ") "); print_string(") ");
print_type(fd, info.slice); print_type(info.slice);
} }
} }