wip
This commit is contained in:
parent
14f856b550
commit
6559b9fc8f
209
src/compiler.bbb
209
src/compiler.bbb
@ -101,6 +101,29 @@ assert = macro (ok: u1) void
|
||||
}
|
||||
}
|
||||
|
||||
ArgumentBuilder = struct
|
||||
{
|
||||
buffer: [128]&u8,
|
||||
count: u64,
|
||||
}
|
||||
|
||||
add_argument = fn (builder: &ArgumentBuilder, argument: []u8) void
|
||||
{
|
||||
assert(argument.pointer[argument.length] == 0);
|
||||
>index = builder.count;
|
||||
assert(index < builder.buffer.length);
|
||||
builder.buffer[index] = argument.pointer;
|
||||
builder.count = index + 1;
|
||||
}
|
||||
|
||||
flush_arguments = fn (builder: &ArgumentBuilder) []&u8
|
||||
{
|
||||
>argument_count = builder.count;
|
||||
assert(argument_count < builder.buffer.length);
|
||||
builder.buffer[argument_count] = zero;
|
||||
return builder.buffer[..argument_count];
|
||||
}
|
||||
|
||||
align_forward = fn (value: u64, alignment: u64) u64
|
||||
{
|
||||
assert(alignment != 0);
|
||||
@ -154,6 +177,22 @@ string_equal = fn(a: []u8, b: []u8) u1
|
||||
return result;
|
||||
}
|
||||
|
||||
string_first_character = fn (string: []u8, character: u8) u64
|
||||
{
|
||||
>result = string_no_match;
|
||||
|
||||
for (i: 0..string.length)
|
||||
{
|
||||
if (character == string[i])
|
||||
{
|
||||
result = i;
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
||||
return result;
|
||||
}
|
||||
|
||||
string_last_character = fn(string: []u8, character: u8) u64
|
||||
{
|
||||
>i = string.length;
|
||||
@ -1727,6 +1766,11 @@ get_byte_size = fn (type: &Type) u64
|
||||
>result = element_size * element_count;
|
||||
return result;
|
||||
},
|
||||
.alias =>
|
||||
{
|
||||
>result = get_byte_size(type.content.alias.type);
|
||||
return result;
|
||||
},
|
||||
else =>
|
||||
{
|
||||
#trap();
|
||||
@ -1927,6 +1971,7 @@ ValueId = enum
|
||||
string_to_enum,
|
||||
macro_instantiation,
|
||||
field_parent_pointer,
|
||||
build_mode,
|
||||
}
|
||||
|
||||
ValueConstantInteger = struct
|
||||
@ -3761,6 +3806,7 @@ TypeKeyword = enum
|
||||
void,
|
||||
noreturn,
|
||||
enum_array,
|
||||
fn,
|
||||
}
|
||||
|
||||
type_is_slice = fn (type: &Type) u1
|
||||
@ -4545,6 +4591,15 @@ parse_type = fn (module: &Module, scope: &Scope) &Type
|
||||
>enum_array_type = get_enum_array_type(module, enum_type, element_type);
|
||||
return enum_array_type;
|
||||
},
|
||||
.fn =>
|
||||
{
|
||||
skip_space(module);
|
||||
>mandate_argument_names: u1 = 0;
|
||||
>function_header = parse_function_header(module, scope, mandate_argument_names);
|
||||
>result = function_header.type;
|
||||
return result;
|
||||
},
|
||||
else => { unreachable; },
|
||||
}
|
||||
}
|
||||
else
|
||||
@ -5751,7 +5806,10 @@ parse_left = fn (module: &Module, scope: &Scope, builder: ValueBuilder) &Value
|
||||
},
|
||||
.build_mode =>
|
||||
{
|
||||
#trap();
|
||||
result.& = {
|
||||
.id = .build_mode,
|
||||
zero,
|
||||
};
|
||||
},
|
||||
.field_parent_pointer =>
|
||||
{
|
||||
@ -5785,7 +5843,7 @@ parse_left = fn (module: &Module, scope: &Scope, builder: ValueBuilder) &Value
|
||||
.left_bracket =>
|
||||
{
|
||||
>element_count: u64 = 0;
|
||||
>value_buffer: [64]&Value = undefined;
|
||||
>value_buffer: [128]&Value = undefined;
|
||||
|
||||
skip_space(module);
|
||||
|
||||
@ -5826,6 +5884,7 @@ parse_left = fn (module: &Module, scope: &Scope, builder: ValueBuilder) &Value
|
||||
}
|
||||
|
||||
>value = parse_value(module, scope, zero);
|
||||
assert(element_count < value_buffer.length);
|
||||
value_buffer[element_count] = value;
|
||||
element_count += 1;
|
||||
|
||||
@ -5851,7 +5910,7 @@ parse_left = fn (module: &Module, scope: &Scope, builder: ValueBuilder) &Value
|
||||
},
|
||||
.dot =>
|
||||
{
|
||||
>identifier = parse_identifier(module);
|
||||
>identifier = parse_name(module);
|
||||
result = new_value(module);
|
||||
result.& = {
|
||||
.content = {
|
||||
@ -6565,7 +6624,12 @@ parse_statement = fn (module: &Module, scope: &Scope) &Statement
|
||||
},
|
||||
.return =>
|
||||
{
|
||||
>return_value = parse_value(module, scope, zero);
|
||||
>return_value: &Value = zero;
|
||||
// TODO: make this better
|
||||
if (module.content[module.offset] != ';')
|
||||
{
|
||||
return_value = parse_value(module, scope, zero);
|
||||
}
|
||||
statement.content.return = return_value;
|
||||
statement.id = .return;
|
||||
},
|
||||
@ -16627,29 +16691,6 @@ generate_object = fn (module: &LLVMModule, target_machine: &LLVMTargetMachine, o
|
||||
return result;
|
||||
}
|
||||
|
||||
ArgumentBuilder = struct
|
||||
{
|
||||
buffer: [128]&u8,
|
||||
count: u64,
|
||||
}
|
||||
|
||||
add_argument = fn (builder: &ArgumentBuilder, argument: []u8) void
|
||||
{
|
||||
assert(argument.pointer[argument.length] == 0);
|
||||
>index = builder.count;
|
||||
assert(index < builder.buffer.length);
|
||||
builder.buffer[index] = argument.pointer;
|
||||
builder.count = index + 1;
|
||||
}
|
||||
|
||||
flush_arguments = fn (builder: &ArgumentBuilder) []&u8
|
||||
{
|
||||
>argument_count = builder.count;
|
||||
assert(argument_count < builder.buffer.length);
|
||||
builder.buffer[argument_count] = zero;
|
||||
return builder.buffer[..argument_count];
|
||||
}
|
||||
|
||||
link = fn (module: &Module) void
|
||||
{
|
||||
>arena = module.arena;
|
||||
@ -17824,7 +17865,7 @@ compile = fn (arena: &Arena, options: CompileOptions) void
|
||||
emit(&module);
|
||||
}
|
||||
|
||||
compile_file = fn (arena: &Arena, compile_options: CompileFile) []u8
|
||||
compile_file = fn (arena: &Arena, compile_options: CompileFile, envp: &&u8) []u8
|
||||
{
|
||||
>relative_file_path = compile_options.relative_file_path;
|
||||
if (relative_file_path.length < 5)
|
||||
@ -17901,7 +17942,113 @@ compile_file = fn (arena: &Arena, compile_options: CompileFile) []u8
|
||||
|
||||
if (is_compiler)
|
||||
{
|
||||
#trap();
|
||||
>builder: ArgumentBuilder = zero;
|
||||
|
||||
add_argument(&builder, "/home/david/dev/llvm/install/llvm_20.1.3_x86_64-linux-Release/bin/llvm-config");
|
||||
add_argument(&builder, "--libdir");
|
||||
add_argument(&builder, "--libs");
|
||||
add_argument(&builder, "--system-libs");
|
||||
|
||||
>arguments = flush_arguments(&builder);
|
||||
|
||||
>llvm_config = os_execute(arena, arguments, envp, {
|
||||
.policies = [ .pipe, .ignore ],
|
||||
zero,
|
||||
});
|
||||
|
||||
>success = llvm_config.termination_kind == .exit and llvm_config.termination_code == 0;
|
||||
|
||||
if (!success)
|
||||
{
|
||||
report_error();
|
||||
}
|
||||
|
||||
>stream = llvm_config.streams[0];
|
||||
|
||||
>line = string_first_character(stream, '\n');
|
||||
|
||||
if (line == string_no_match)
|
||||
{
|
||||
report_error();
|
||||
}
|
||||
|
||||
library_directory = stream[..line];
|
||||
library_directories = { .pointer = &library_directory, .length = 1 };
|
||||
|
||||
stream = stream[line + 1..];
|
||||
|
||||
line = string_first_character(stream, '\n');
|
||||
if (line == string_no_match)
|
||||
{
|
||||
report_error();
|
||||
}
|
||||
|
||||
>llvm_library_stream = stream[..line];
|
||||
|
||||
stream = stream[line + 1..];
|
||||
|
||||
>library_count: u64 = 0;
|
||||
|
||||
while (1)
|
||||
{
|
||||
>space = string_first_character(llvm_library_stream, ' ');
|
||||
if (space == string_no_match)
|
||||
{
|
||||
>library_argument = llvm_library_stream;
|
||||
library_buffer[library_count] = library_argument[2..];
|
||||
library_count += 1;
|
||||
break;
|
||||
}
|
||||
|
||||
// Omit the first two characters: "-l"
|
||||
>library_argument = llvm_library_stream[2..space];
|
||||
library_buffer[library_count] = library_argument;
|
||||
library_count += 1;
|
||||
llvm_library_stream = llvm_library_stream[space + 1..];
|
||||
}
|
||||
|
||||
line = string_first_character(stream, '\n');
|
||||
if (line == string_no_match)
|
||||
{
|
||||
report_error();
|
||||
}
|
||||
|
||||
assert(line == stream.length - 1);
|
||||
|
||||
>system_library_stream = stream[..line];
|
||||
|
||||
while (1)
|
||||
{
|
||||
>space = string_first_character(system_library_stream, ' ');
|
||||
if (space == string_no_match)
|
||||
{
|
||||
>library_argument = llvm_library_stream;
|
||||
library_buffer[library_count] = library_argument[2..];
|
||||
library_count += 1;
|
||||
break;
|
||||
}
|
||||
|
||||
// Omit the first two characters: "-l"
|
||||
>library_argument = system_library_stream[2..space];
|
||||
library_buffer[library_count] = library_argument;
|
||||
library_count += 1;
|
||||
system_library_stream = system_library_stream[space + 1..];
|
||||
}
|
||||
|
||||
library_buffer[library_count] = "gcc";
|
||||
library_count += 1;
|
||||
|
||||
library_buffer[library_count] = "gcc_s";
|
||||
library_count += 1;
|
||||
|
||||
library_buffer[library_count] = "lldCommon";
|
||||
library_count += 1;
|
||||
|
||||
library_buffer[library_count] = "lldELF";
|
||||
library_count += 1;
|
||||
|
||||
library_names = library_buffer[..library_count];
|
||||
library_paths = { .pointer = &llvm_bindings_library, .length = 1 };
|
||||
}
|
||||
else if (string_equal(base_name, "c_abi"))
|
||||
{
|
||||
@ -18125,7 +18272,7 @@ names: [_][]u8 =
|
||||
.build_mode = build_mode,
|
||||
.has_debug_info = has_debug_info,
|
||||
.silent = 0,
|
||||
});
|
||||
}, envp);
|
||||
},
|
||||
.test =>
|
||||
{
|
||||
@ -18149,7 +18296,7 @@ names: [_][]u8 =
|
||||
.build_mode = build_mode,
|
||||
.has_debug_info = has_debug_info,
|
||||
.silent = 1,
|
||||
});
|
||||
}, envp);
|
||||
|
||||
>arguments: [_]&u8 = [
|
||||
executable_path.pointer,
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user