PHASE 1 COMPLETE: SSA Layer

Author: jarroddavis68

.gitignore

@@ -92,3 +92,9 @@ zip_latest_commit.cmd
 CPascal-main.zip
 /bin/output
 bin/view.txt
+src/TODO.md
+src/SESSION.md
+src/NOTES.md
+src/LOAD.md
+/bin/temp
+src/CPASCAL-BNF.md

README.md

@@ -232,8 +232,8 @@ project/
 
 ### 🏆 **Contributors**
 
-<a href="https://github.com/tinyBigGAMES/JetVM/graphs/contributors">
-  <img src="https://contrib.rocks/image?repo=tinyBigGAMES/CPascal&max=500&columns=20&anon=1" />
+<a href="https://github.com/tinyBigGAMES/CPascal/graphs/contributors">
+  <img src="https://contrib.rocks/image?repo=tinyBigGAMES/CPascal&max=100&columns=12&anon=0" />
 </a>
 
 *Join our growing community of developers building the future of Pascal development\!*

docs/CPASCAL-BNF.md

@@ -20,13 +20,17 @@
 
 <module_header> ::= "module" <identifier> ";"
 
-<import_clause> ::= "import" <identifier_list> ";"
+<import_clause> ::= "import" <qualified_identifier_list> ";"
+
+<qualified_identifier_list> ::= <qualified_identifier> ("," <qualified_identifier>)*
+
+<qualified_identifier> ::= <identifier> ("." <identifier>)*
 
 <identifier_list> ::= <identifier> ("," <identifier>)*
 
 <exports_clause> ::= "exports" <export_list> ";"
 
-<export_list> ::= <identifier> ("," <identifier>)*
+<export_list> ::= <qualified_identifier> ("," <qualified_identifier>)*
 ```
 
 ## Compiler Directives
@@ -113,6 +117,7 @@
                          | "public"? <external_function>
                          | "public"? <inline_function>
                          | "public"? <varargs_function>
+                         | "public"? <external_varargs_function>
 
 <function_header> ::= "function" <identifier> "(" <parameter_list>? ")" ":" <type_definition>
                     | "procedure" <identifier> "(" <parameter_list>? ")"
@@ -135,6 +140,11 @@
 
 <varargs_function> ::= "function" <identifier> "(" <parameter_list> "," "..." ")" ":" <type_definition> <calling_convention>? ";"
                      | "procedure" <identifier> "(" <parameter_list> "," "..." ")" <calling_convention>? ";"
+
+<external_varargs_function> ::= "function" <identifier> "(" <parameter_list> "," "..." ")" ":" <type_definition> <calling_convention>? "external" <string>? ";"
+                              | "function" <identifier> "(" <parameter_list> "," "..." ")" ":" <type_definition> "external" <string>? <calling_convention>? ";"
+                              | "procedure" <identifier> "(" <parameter_list> "," "..." ")" <calling_convention>? "external" <string>? ";"
+                              | "procedure" <identifier> "(" <parameter_list> "," "..." ")" "external" <string>? <calling_convention>? ";"
 ```
 
 ## Statements
@@ -384,4 +394,21 @@ PChar           char*           8/4     8/4
 Records map to C structs with identical layout and alignment.
 Arrays map to C arrays with identical memory layout.
 Function pointers use C calling conventions by default.
-```
+```
+
+## 🆕 External VarArgs Functions (Added for Phase 1A)
+
+The `<external_varargs_function>` rule enables essential C library integration by combining external function declarations with variadic arguments. This allows direct integration with functions like `printf`, `scanf`, and other C runtime functions that require variable argument lists.
+
+**Examples:**
+```pascal
+// Standard C runtime functions
+function printf(format: PChar, ...): Int32 cdecl external 'msvcrt.dll';
+procedure fprintf(stream: Pointer; format: PChar, ...): cdecl external 'msvcrt.dll';  
+function scanf(format: PChar, ...): Int32 cdecl external 'msvcrt.dll';
+
+// Custom varargs functions from external libraries
+function MyLogger(level: Int32; format: PChar, ...): Boolean stdcall external 'mylib.dll';
+```
+
+This addition maintains full BNF compliance while enabling the essential external function capabilities required for real-world C library integration.

examples/testbed/CPascalTestbed.dpr

@@ -28,7 +28,7 @@
  Copyright © 2025-present tinyBigGAMES™ LLC
  All Rights Reserved.
 
- https://github.com/tinyBigGAMES/CPascal
+ https://cpascal.org
 
  BSD 3-Clause License
 
@@ -67,12 +67,25 @@ program CPascalTestbed;
 uses
   System.SysUtils,
   UCPascalTestbed in 'UCPascalTestbed.pas',
-  CPascal.CodeGen in '..\..\src\CPascal.CodeGen.pas',
+  CPascal.Builder in '..\..\src\CPascal.Builder.pas',
   CPascal.Common in '..\..\src\CPascal.Common.pas',
-  CPascal.Parser in '..\..\src\CPascal.Parser.pas',
+  CPascal.Expressions in '..\..\src\CPascal.Expressions.pas',
   CPascal.LLVM in '..\..\src\CPascal.LLVM.pas',
+  CPascal in '..\..\src\CPascal.pas',
   CPascal.Platform in '..\..\src\CPascal.Platform.pas',
-  CPascal.Platform.Win32 in '..\..\src\CPascal.Platform.Win32.pas';
+  CPascal.Builder.Interfaces in '..\..\src\CPascal.Builder.Interfaces.pas',
+  CPascal.Builder.Source in '..\..\src\CPascal.Builder.Source.pas',
+  CPascal.Builder.IR in '..\..\src\CPascal.Builder.IR.pas',
+  CPascal.Tests.CompilerDirectives in '..\..\src\tests\CPascal.Tests.CompilerDirectives.pas',
+  CPascal.Tests.ControlFlow in '..\..\src\tests\CPascal.Tests.ControlFlow.pas',
+  CPascal.Tests.Declarations in '..\..\src\tests\CPascal.Tests.Declarations.pas',
+  CPascal.Tests.Expressions in '..\..\src\tests\CPascal.Tests.Expressions.pas',
+  CPascal.Tests.Functions in '..\..\src\tests\CPascal.Tests.Functions.pas',
+  CPascal.Tests.Infrastructure in '..\..\src\tests\CPascal.Tests.Infrastructure.pas',
+  CPascal.Tests.Modules in '..\..\src\tests\CPascal.Tests.Modules.pas',
+  CPascal.Tests in '..\..\src\tests\CPascal.Tests.pas',
+  CPascal.Tests.Structure in '..\..\src\tests\CPascal.Tests.Structure.pas',
+  CPascal.Tests.Types in '..\..\src\tests\CPascal.Tests.Types.pas';
 
 begin
   RunCPascalTestbed();

examples/testbed/CPascalTestbed.dproj

@@ -118,12 +118,25 @@
             <MainSource>MainSource</MainSource>
         </DelphiCompile>
         <DCCReference Include="UCPascalTestbed.pas"/>
-        <DCCReference Include="..\..\src\CPascal.CodeGen.pas"/>
+        <DCCReference Include="..\..\src\CPascal.Builder.pas"/>
         <DCCReference Include="..\..\src\CPascal.Common.pas"/>
-        <DCCReference Include="..\..\src\CPascal.Parser.pas"/>
+        <DCCReference Include="..\..\src\CPascal.Expressions.pas"/>
         <DCCReference Include="..\..\src\CPascal.LLVM.pas"/>
+        <DCCReference Include="..\..\src\CPascal.pas"/>
         <DCCReference Include="..\..\src\CPascal.Platform.pas"/>
-        <DCCReference Include="..\..\src\CPascal.Platform.Win32.pas"/>
+        <DCCReference Include="..\..\src\CPascal.Builder.Interfaces.pas"/>
+        <DCCReference Include="..\..\src\CPascal.Builder.Source.pas"/>
+        <DCCReference Include="..\..\src\CPascal.Builder.IR.pas"/>
+        <DCCReference Include="..\..\src\tests\CPascal.Tests.CompilerDirectives.pas"/>
+        <DCCReference Include="..\..\src\tests\CPascal.Tests.ControlFlow.pas"/>
+        <DCCReference Include="..\..\src\tests\CPascal.Tests.Declarations.pas"/>
+        <DCCReference Include="..\..\src\tests\CPascal.Tests.Expressions.pas"/>
+        <DCCReference Include="..\..\src\tests\CPascal.Tests.Functions.pas"/>
+        <DCCReference Include="..\..\src\tests\CPascal.Tests.Infrastructure.pas"/>
+        <DCCReference Include="..\..\src\tests\CPascal.Tests.Modules.pas"/>
+        <DCCReference Include="..\..\src\tests\CPascal.Tests.pas"/>
+        <DCCReference Include="..\..\src\tests\CPascal.Tests.Structure.pas"/>
+        <DCCReference Include="..\..\src\tests\CPascal.Tests.Types.pas"/>
         <BuildConfiguration Include="Base">
             <Key>Base</Key>
         </BuildConfiguration>