nub31/nub-lang-archive-2
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

...

Browse Source
This commit is contained in:
nub31
2025-06-15 02:21:11 +02:00
parent 3f7499d2b9
commit 5fffd07077
4 changed files with 35 additions and 90 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
example/main.nub
View File

@@ -1,11 +1,17 @@
namespace main
struct Human {
name: cstring
}
export func main(args: []cstring): i64 {
let x: cstring
let human: Human
x = args[0]
human = alloc Human {
name = "test"
}
c::puts(x)
c::puts(human.name)
return 0
}

49
src/CLI/Runtime/entry.s
View File

@@ -5,57 +5,8 @@
.text
.globl _start
_start:
mov rdi, [rsp] # rdi = argc
# Calculate the size of the array
mov rax, rdi # Start with argc
shl rax, 3 # Multiply argc by 8
add rax, 8 # Add space for the array size
# Allocate array size on the stack (aligned to 16 bytes)
add rax, 15
and rax, -16
sub rsp, rax
# Store number of elements at the start of the array
mov [rsp], rdi
mov rcx, rdi # rcx = loop counter
lea rsi, [rsp + rax + 8] # rsi = argv[0]
lea rdi, [rsp + 8] # rdi = destination_array[0]
convert_loop:
test rcx, rcx
jz done_converting
# Convert current cstring using nub_cstring_to_string
push rcx # Save loop counter
push rsi # Save argv[i]
push rdi # Save destination_array[i]
mov rdi, [rsi] # Load current argv[i] (cstring)
call nub_cstring_to_string
pop rdi # Restore destination pointer
pop rsi # Restore argv pointer
pop rcx # Restore loop counter
test rax, rax
jz conversion_failed
# Store converted string pointer in our array
mov [rdi], rax # Store converted string pointer
add rdi, 8 # Move to next destination_array entry
add rsi, 8 # Move to next argv entry
dec rcx # Decrement counter
jmp convert_loop
done_converting:
mov rdi, rsp
call main
mov rdi, rax
mov rax, SYS_EXIT
syscall
conversion_failed:
call nub_panic

55
src/Generation/QBE/QBEGenerator.cs
View File

@@ -494,12 +494,12 @@ public static class QBEGenerator
case StatementExpressionNode statementExpression:
GenerateExpression(statementExpression.Expression);
break;
case VariableAssignmentNode variableAssignment:
GenerateVariableAssignment(variableAssignment);
break;
case VariableDeclarationNode variableDeclaration:
GenerateVariableDeclaration(variableDeclaration);
break;
case VariableAssignmentNode variableAssignment:
GenerateVariableAssignment(variableAssignment);
break;
case WhileNode whileStatement:
GenerateWhile(whileStatement);
break;
@@ -762,26 +762,26 @@ public static class QBEGenerator
private static void GenerateArrayBoundsCheck(string array, string index)
{
// var countName = VarName();
// _builder.AppendLine($" {countName} =l loadl {array}");
//
// var isNegativeName = VarName();
// _builder.AppendLine($" {isNegativeName} =w csltl {index}, 0");
//
// var isOobName = VarName();
// _builder.AppendLine($" {isOobName} =w csgel {index}, {countName}");
//
// var anyOobName = VarName();
// _builder.AppendLine($" {anyOobName} =w or {isNegativeName}, {isOobName}");
//
// var oobLabel = LabelName();
// var notOobLabel = LabelName();
// _builder.AppendLine($" jnz {anyOobName}, {oobLabel}, {notOobLabel}");
//
// _builder.AppendLine(oobLabel);
// _builder.AppendLine($" call $nub_panic_array_oob()");
//
// _builder.AppendLine(notOobLabel);
var countName = VarName();
_builder.AppendLine($" {countName} =l loadl {array}");
var isNegativeName = VarName();
_builder.AppendLine($" {isNegativeName} =w csltl {index}, 0");
var isOobName = VarName();
_builder.AppendLine($" {isOobName} =w csgel {index}, {countName}");
var anyOobName = VarName();
_builder.AppendLine($" {anyOobName} =w or {isNegativeName}, {isOobName}");
var oobLabel = LabelName();
var notOobLabel = LabelName();
_builder.AppendLine($" jnz {anyOobName}, {oobLabel}, {notOobLabel}");
_builder.AppendLine(oobLabel);
_builder.AppendLine($" call $nub_panic_array_oob()");
_builder.AppendLine(notOobLabel);
}
private static string GenerateArrayInitializer(ArrayInitializerNode arrayInitializer)
@@ -1199,19 +1199,12 @@ public static class QBEGenerator
var item = GenerateExpression(memberAccess.Expression);
switch (memberAccess.Expression.Type)
{
case NubArrayType arrayType:
case NubArrayType:
{
if (memberAccess.Member == "count")
{
return item;
}
if (arrayType.ElementType is NubPrimitiveType { Kind: PrimitiveTypeKind.U8 } && memberAccess.Member == "cstring")
{
var result = VarName();
_builder.AppendLine($" {result} =l call $nub_string_to_cstring(l {item})");
return result;
}
throw new UnreachableException(nameof(memberAccess.Member));
}

9
src/Syntax/Typing/TypeChecker.cs
View File

@@ -359,7 +359,7 @@ public static class TypeChecker
{
LiteralKind.Integer => NubPrimitiveType.I64,
LiteralKind.Float => NubPrimitiveType.F64,
LiteralKind.String => new NubArrayType(NubPrimitiveType.U8),
LiteralKind.String => new NubCStringType(),
LiteralKind.Bool => NubPrimitiveType.Bool,
_ => throw new ArgumentOutOfRangeException()
};
@@ -563,18 +563,13 @@ public static class TypeChecker
switch (expressionType)
{
case NubArrayType arrayType:
case NubArrayType:
{
if (memberAccess.Member == "count")
{
return NubPrimitiveType.I64;
}
if (arrayType.ElementType is NubPrimitiveType { Kind: PrimitiveTypeKind.U8 } && memberAccess.Member == "cstring")
{
return new NubCStringType();
}
break;
}
case NubStructType structType: