Compare commits
20 Commits
1d8d02f2a8
...
main
| Author | SHA1 | Date | |
|---|---|---|---|
| 1bd0778fb3 | |||
|
|
61458d8582 | ||
|
|
1eb29c430a | ||
|
|
0dff8628ac | ||
|
|
d736f2786e | ||
|
|
3916b4ff7a | ||
|
|
c37a122850 | ||
|
|
fdcbc31cca | ||
|
|
4f1a21e9c2 | ||
|
|
5edf6ed382 | ||
|
|
99b9ae450e | ||
|
|
9bbf8435c6 | ||
|
|
e250b2f5fb | ||
|
|
aa6d16bc52 | ||
|
|
5fbd0f98a2 | ||
|
|
196140f9b8 | ||
|
|
f192c5a367 | ||
|
|
b88279c841 | ||
|
|
1cf89efb4b | ||
|
|
1884950f6f |
7
PCCcompiler.slnx
Normal file
7
PCCcompiler.slnx
Normal file
@@ -0,0 +1,7 @@
|
||||
<Solution>
|
||||
<Configurations>
|
||||
<Platform Name="x64" />
|
||||
<Platform Name="x86" />
|
||||
</Configurations>
|
||||
<Project Path="PCCcompiler/PCCcompiler.vcxproj" Id="60a99674-9bdb-4552-bfef-fc5b17de2cf8" />
|
||||
</Solution>
|
||||
146
PCCcompiler/PCCcompiler.vcxproj
Normal file
146
PCCcompiler/PCCcompiler.vcxproj
Normal file
@@ -0,0 +1,146 @@
|
||||
<?xml version="1.0" encoding="utf-8"?>
|
||||
<Project DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
|
||||
<ItemGroup Label="ProjectConfigurations">
|
||||
<ProjectConfiguration Include="Debug|Win32">
|
||||
<Configuration>Debug</Configuration>
|
||||
<Platform>Win32</Platform>
|
||||
</ProjectConfiguration>
|
||||
<ProjectConfiguration Include="Release|Win32">
|
||||
<Configuration>Release</Configuration>
|
||||
<Platform>Win32</Platform>
|
||||
</ProjectConfiguration>
|
||||
<ProjectConfiguration Include="Debug|x64">
|
||||
<Configuration>Debug</Configuration>
|
||||
<Platform>x64</Platform>
|
||||
</ProjectConfiguration>
|
||||
<ProjectConfiguration Include="Release|x64">
|
||||
<Configuration>Release</Configuration>
|
||||
<Platform>x64</Platform>
|
||||
</ProjectConfiguration>
|
||||
</ItemGroup>
|
||||
<ItemGroup>
|
||||
<ClCompile Include="codegen.cpp" />
|
||||
<ClCompile Include="main.cpp" />
|
||||
<ClCompile Include="parser.cpp" />
|
||||
<ClCompile Include="preprocessor.cpp" />
|
||||
<ClCompile Include="utils.cpp" />
|
||||
</ItemGroup>
|
||||
<ItemGroup>
|
||||
<ClInclude Include="codegen.h" />
|
||||
<ClInclude Include="compiler_types.h" />
|
||||
<ClInclude Include="parser.h" />
|
||||
<ClInclude Include="preprocessor.h" />
|
||||
<ClInclude Include="utils.h" />
|
||||
</ItemGroup>
|
||||
<PropertyGroup Label="Globals">
|
||||
<VCProjectVersion>18.0</VCProjectVersion>
|
||||
<Keyword>Win32Proj</Keyword>
|
||||
<ProjectGuid>{60a99674-9bdb-4552-bfef-fc5b17de2cf8}</ProjectGuid>
|
||||
<RootNamespace>PCCcompiler</RootNamespace>
|
||||
<WindowsTargetPlatformVersion>10.0</WindowsTargetPlatformVersion>
|
||||
</PropertyGroup>
|
||||
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.Default.props" />
|
||||
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="Configuration">
|
||||
<ConfigurationType>Application</ConfigurationType>
|
||||
<UseDebugLibraries>true</UseDebugLibraries>
|
||||
<PlatformToolset>v145</PlatformToolset>
|
||||
<CharacterSet>Unicode</CharacterSet>
|
||||
</PropertyGroup>
|
||||
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'" Label="Configuration">
|
||||
<ConfigurationType>Application</ConfigurationType>
|
||||
<UseDebugLibraries>false</UseDebugLibraries>
|
||||
<PlatformToolset>v145</PlatformToolset>
|
||||
<WholeProgramOptimization>true</WholeProgramOptimization>
|
||||
<CharacterSet>Unicode</CharacterSet>
|
||||
</PropertyGroup>
|
||||
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration">
|
||||
<ConfigurationType>Application</ConfigurationType>
|
||||
<UseDebugLibraries>true</UseDebugLibraries>
|
||||
<PlatformToolset>v145</PlatformToolset>
|
||||
<CharacterSet>Unicode</CharacterSet>
|
||||
</PropertyGroup>
|
||||
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration">
|
||||
<ConfigurationType>Application</ConfigurationType>
|
||||
<UseDebugLibraries>false</UseDebugLibraries>
|
||||
<PlatformToolset>v145</PlatformToolset>
|
||||
<WholeProgramOptimization>true</WholeProgramOptimization>
|
||||
<CharacterSet>Unicode</CharacterSet>
|
||||
</PropertyGroup>
|
||||
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />
|
||||
<ImportGroup Label="ExtensionSettings">
|
||||
</ImportGroup>
|
||||
<ImportGroup Label="Shared">
|
||||
</ImportGroup>
|
||||
<ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
|
||||
<Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
|
||||
</ImportGroup>
|
||||
<ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
|
||||
<Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
|
||||
</ImportGroup>
|
||||
<ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
|
||||
<Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
|
||||
</ImportGroup>
|
||||
<ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
|
||||
<Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
|
||||
</ImportGroup>
|
||||
<PropertyGroup Label="UserMacros" />
|
||||
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
|
||||
<ClCompile>
|
||||
<WarningLevel>Level3</WarningLevel>
|
||||
<SDLCheck>true</SDLCheck>
|
||||
<PreprocessorDefinitions>WIN32;_DEBUG;_CONSOLE;%(PreprocessorDefinitions)</PreprocessorDefinitions>
|
||||
<ConformanceMode>true</ConformanceMode>
|
||||
<LanguageStandard>stdcpp20</LanguageStandard>
|
||||
</ClCompile>
|
||||
<Link>
|
||||
<SubSystem>Console</SubSystem>
|
||||
<GenerateDebugInformation>true</GenerateDebugInformation>
|
||||
</Link>
|
||||
</ItemDefinitionGroup>
|
||||
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
|
||||
<ClCompile>
|
||||
<WarningLevel>Level3</WarningLevel>
|
||||
<FunctionLevelLinking>true</FunctionLevelLinking>
|
||||
<IntrinsicFunctions>true</IntrinsicFunctions>
|
||||
<SDLCheck>true</SDLCheck>
|
||||
<PreprocessorDefinitions>WIN32;NDEBUG;_CONSOLE;%(PreprocessorDefinitions)</PreprocessorDefinitions>
|
||||
<ConformanceMode>true</ConformanceMode>
|
||||
<LanguageStandard>stdcpp20</LanguageStandard>
|
||||
</ClCompile>
|
||||
<Link>
|
||||
<SubSystem>Console</SubSystem>
|
||||
<GenerateDebugInformation>true</GenerateDebugInformation>
|
||||
</Link>
|
||||
</ItemDefinitionGroup>
|
||||
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
|
||||
<ClCompile>
|
||||
<WarningLevel>Level3</WarningLevel>
|
||||
<SDLCheck>true</SDLCheck>
|
||||
<PreprocessorDefinitions>_DEBUG;_CONSOLE;%(PreprocessorDefinitions)</PreprocessorDefinitions>
|
||||
<ConformanceMode>true</ConformanceMode>
|
||||
<LanguageStandard>stdcpp20</LanguageStandard>
|
||||
</ClCompile>
|
||||
<Link>
|
||||
<SubSystem>Console</SubSystem>
|
||||
<GenerateDebugInformation>true</GenerateDebugInformation>
|
||||
</Link>
|
||||
</ItemDefinitionGroup>
|
||||
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
|
||||
<ClCompile>
|
||||
<WarningLevel>Level3</WarningLevel>
|
||||
<FunctionLevelLinking>true</FunctionLevelLinking>
|
||||
<IntrinsicFunctions>true</IntrinsicFunctions>
|
||||
<SDLCheck>true</SDLCheck>
|
||||
<PreprocessorDefinitions>NDEBUG;_CONSOLE;%(PreprocessorDefinitions)</PreprocessorDefinitions>
|
||||
<ConformanceMode>true</ConformanceMode>
|
||||
<LanguageStandard>stdcpp20</LanguageStandard>
|
||||
</ClCompile>
|
||||
<Link>
|
||||
<SubSystem>Console</SubSystem>
|
||||
<GenerateDebugInformation>true</GenerateDebugInformation>
|
||||
</Link>
|
||||
</ItemDefinitionGroup>
|
||||
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
|
||||
<ImportGroup Label="ExtensionTargets">
|
||||
</ImportGroup>
|
||||
</Project>
|
||||
51
PCCcompiler/PCCcompiler.vcxproj.filters
Normal file
51
PCCcompiler/PCCcompiler.vcxproj.filters
Normal file
@@ -0,0 +1,51 @@
|
||||
<?xml version="1.0" encoding="utf-8"?>
|
||||
<Project ToolsVersion="4.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
|
||||
<ItemGroup>
|
||||
<Filter Include="Pliki źródłowe">
|
||||
<UniqueIdentifier>{4FC737F1-C7A5-4376-A066-2A32D752A2FF}</UniqueIdentifier>
|
||||
<Extensions>cpp;c;cc;cxx;c++;cppm;ixx;def;odl;idl;hpj;bat;asm;asmx</Extensions>
|
||||
</Filter>
|
||||
<Filter Include="Pliki nagłówkowe">
|
||||
<UniqueIdentifier>{93995380-89BD-4b04-88EB-625FBE52EBFB}</UniqueIdentifier>
|
||||
<Extensions>h;hh;hpp;hxx;h++;hm;inl;inc;ipp;xsd</Extensions>
|
||||
</Filter>
|
||||
<Filter Include="Pliki zasobów">
|
||||
<UniqueIdentifier>{67DA6AB6-F800-4c08-8B7A-83BB121AAD01}</UniqueIdentifier>
|
||||
<Extensions>rc;ico;cur;bmp;dlg;rc2;rct;bin;rgs;gif;jpg;jpeg;jpe;resx;tiff;tif;png;wav;mfcribbon-ms</Extensions>
|
||||
</Filter>
|
||||
</ItemGroup>
|
||||
<ItemGroup>
|
||||
<ClCompile Include="main.cpp">
|
||||
<Filter>Pliki źródłowe</Filter>
|
||||
</ClCompile>
|
||||
<ClCompile Include="utils.cpp">
|
||||
<Filter>Pliki źródłowe</Filter>
|
||||
</ClCompile>
|
||||
<ClCompile Include="parser.cpp">
|
||||
<Filter>Pliki źródłowe</Filter>
|
||||
</ClCompile>
|
||||
<ClCompile Include="codegen.cpp">
|
||||
<Filter>Pliki źródłowe</Filter>
|
||||
</ClCompile>
|
||||
<ClCompile Include="preprocessor.cpp">
|
||||
<Filter>Pliki źródłowe</Filter>
|
||||
</ClCompile>
|
||||
</ItemGroup>
|
||||
<ItemGroup>
|
||||
<ClInclude Include="utils.h">
|
||||
<Filter>Pliki nagłówkowe</Filter>
|
||||
</ClInclude>
|
||||
<ClInclude Include="parser.h">
|
||||
<Filter>Pliki nagłówkowe</Filter>
|
||||
</ClInclude>
|
||||
<ClInclude Include="codegen.h">
|
||||
<Filter>Pliki nagłówkowe</Filter>
|
||||
</ClInclude>
|
||||
<ClInclude Include="compiler_types.h">
|
||||
<Filter>Pliki nagłówkowe</Filter>
|
||||
</ClInclude>
|
||||
<ClInclude Include="preprocessor.h">
|
||||
<Filter>Pliki nagłówkowe</Filter>
|
||||
</ClInclude>
|
||||
</ItemGroup>
|
||||
</Project>
|
||||
544
PCCcompiler/codegen.cpp
Normal file
544
PCCcompiler/codegen.cpp
Normal file
@@ -0,0 +1,544 @@
|
||||
#include "codegen.h"
|
||||
#include <iostream>
|
||||
#include <sstream>
|
||||
#include <vector>
|
||||
|
||||
// Pomocnicza funkcja: sprawdza czy string to czysta liczba
|
||||
bool isNumber(const std::string& s) {
|
||||
if (s.empty()) return false;
|
||||
size_t start = (s[0] == '-') ? 1 : 0;
|
||||
for (size_t i = start; i < s.length(); i++) {
|
||||
if (!isdigit(s[i])) return false;
|
||||
}
|
||||
return true;
|
||||
}
|
||||
|
||||
std::string getVarLocation(const std::string& name, const std::map<std::string, int>& locals) {
|
||||
std::string cleanName = name;
|
||||
// Usuwamy ewentualne spacje
|
||||
size_t first = cleanName.find_first_not_of(" \t");
|
||||
if (first != std::string::npos) cleanName = cleanName.substr(first);
|
||||
size_t last = cleanName.find_last_not_of(" \t");
|
||||
if (last != std::string::npos) cleanName = cleanName.substr(0, last + 1);
|
||||
|
||||
if (cleanName.empty()) return "0";
|
||||
if (isNumber(cleanName)) return cleanName;
|
||||
|
||||
if (cleanName == "RAX") return "eax";
|
||||
|
||||
// USUNIÊTO: if (cleanName == "this") return "[rbp+16]";
|
||||
// Teraz "this" wpadnie do bloku poni¿ej i zostanie znalezione w mapie locals.
|
||||
|
||||
if (locals.count(cleanName)) {
|
||||
int offset = locals.at(cleanName);
|
||||
return "[rbp-" + std::to_string(offset) + "]";
|
||||
}
|
||||
|
||||
// Zwracamy orygina³ (jeœli to np. nazwa etykiety)
|
||||
return cleanName;
|
||||
}
|
||||
|
||||
|
||||
std::string generateAssembly(const CompilerState& state) {
|
||||
// 1. NAG£ÓWEK I DEKLARACJE EXTERN
|
||||
std::string result = "default rel\n";
|
||||
result += "global main\n";
|
||||
result += "extern printf\n";
|
||||
result += "extern getchar\n";
|
||||
result += "extern _getch\n";
|
||||
result += "extern rand\n";
|
||||
result += "extern srand\n";
|
||||
result += "extern time\n";
|
||||
result += "extern MessageBoxA\n";
|
||||
|
||||
// 2. SEKCJA DATA (Tylko raz!)
|
||||
result += "section .data\n";
|
||||
result += " fmt_int db \"%lld\", 10, 0\n"; // Format dla liczb
|
||||
result += " fmt_str db \"%s\", 10, 0\n"; // Format dla stringów
|
||||
|
||||
// Zrzucamy stringi: ETYKIETA db "TRESC", 0
|
||||
for (const auto& p : state.stringLiterals) {
|
||||
result += " " + p.first + " db \"" + p.second + "\", 0\n";
|
||||
}
|
||||
|
||||
// 3. SEKCJA TEXT (Kod programu)
|
||||
result += "section .text\n";
|
||||
|
||||
for (const auto& pair : state.functions) {
|
||||
const Function& func = pair.second;
|
||||
result += func.name + ":\n";
|
||||
|
||||
result += " push rbp\n";
|
||||
result += " mov rbp, rsp\n";
|
||||
result += " sub rsp, 512\n"; // Zwiêkszy³em stos dla bezpieczeñstwa obiektów
|
||||
|
||||
std::map<std::string, int> stackMap;
|
||||
int currentStack = 8;
|
||||
|
||||
// ARGUMENTY FUNKCJI
|
||||
// RCX, RDX, R8, R9 - konwencja Windows x64 (shadow space obs³uguje caller)
|
||||
// Jeœli funkcja jest metod¹, pierwszym argumentem jest 'this' (wskaŸnik na obiekt)
|
||||
|
||||
int argIdx = 0;
|
||||
if (func.args.size() > 0) {
|
||||
stackMap[func.args[0]] = currentStack;
|
||||
result += " mov [rbp-" + std::to_string(currentStack) + "], rcx ; arg " + func.args[0] + "\n";
|
||||
currentStack += 8;
|
||||
argIdx++;
|
||||
}
|
||||
if (func.args.size() > 1) {
|
||||
stackMap[func.args[1]] = currentStack;
|
||||
result += " mov [rbp-" + std::to_string(currentStack) + "], rdx ; arg " + func.args[1] + "\n";
|
||||
currentStack += 8;
|
||||
argIdx++;
|
||||
}
|
||||
if (func.args.size() > 2) {
|
||||
stackMap[func.args[2]] = currentStack;
|
||||
result += " mov [rbp-" + std::to_string(currentStack) + "], r8 ; arg " + func.args[2] + "\n";
|
||||
currentStack += 8;
|
||||
argIdx++;
|
||||
}
|
||||
|
||||
// GENEROWANIE INSTRUKCJI
|
||||
for (const auto& instr : func.instructions) {
|
||||
|
||||
// Rezerwacja miejsca na stosie dla zmiennych
|
||||
bool isWriteOp = (instr.type == OpType::ASSIGN ||
|
||||
instr.type == OpType::ADD ||
|
||||
instr.type == OpType::EQ ||
|
||||
instr.type == OpType::SUB ||
|
||||
instr.type == OpType::MUL ||
|
||||
instr.type == OpType::DIV ||
|
||||
instr.type == OpType::MOD ||
|
||||
instr.type == OpType::LOGIC_AND ||
|
||||
instr.type == OpType::LOGIC_OR ||
|
||||
instr.type == OpType::MSGBOX ||
|
||||
instr.type == OpType::ARRAY_DECLARE ||
|
||||
instr.type == OpType::ARRAY_SET ||
|
||||
instr.type == OpType::ALLOC_OBJECT ||
|
||||
instr.type == OpType::LOAD_FIELD);
|
||||
|
||||
if (isWriteOp && stackMap.find(instr.arg1) == stackMap.end() && instr.arg1 != "RAX") {
|
||||
stackMap[instr.arg1] = currentStack;
|
||||
|
||||
// Dla obiektów i tablic alokujemy wiêcej miejsca
|
||||
if (instr.type == OpType::ALLOC_OBJECT) {
|
||||
int size = std::stoi(instr.arg2);
|
||||
currentStack += size;
|
||||
}
|
||||
else if (instr.type == OpType::ARRAY_DECLARE) {
|
||||
int size = std::stoi(instr.arg2);
|
||||
currentStack += (size * 8);
|
||||
}
|
||||
else {
|
||||
currentStack += 8; // domyœlnie zmienna int/ptr
|
||||
}
|
||||
}
|
||||
|
||||
switch (instr.type) {
|
||||
case OpType::ASSIGN: {
|
||||
// Jeœli Ÿród³em jest wynik funkcji (RAX), nie generujemy "mov rax, eax"
|
||||
if (instr.arg2 == "RAX") {
|
||||
std::string dst = getVarLocation(instr.arg1, stackMap);
|
||||
// POPRAWIONE: Tylko dwa backslashe, tak jak w reszcie kodu
|
||||
result += " mov " + dst + ", rax\n";
|
||||
}
|
||||
else if (instr.arg3.find("ARRAY_IDX:") == 0) {
|
||||
std::string indexStr = instr.arg3.substr(10);
|
||||
std::string arrName = instr.arg2;
|
||||
std::string dst = getVarLocation(instr.arg1, stackMap);
|
||||
int baseOffset = stackMap[arrName];
|
||||
|
||||
if (isNumber(indexStr)) result += " mov rcx, " + indexStr + "\\n";
|
||||
else result += " mov rcx, " + getVarLocation(indexStr, stackMap) + "\\n";
|
||||
|
||||
result += " imul rcx, 8\\n";
|
||||
result += " mov rdx, rbp\\n";
|
||||
result += " sub rdx, " + std::to_string(baseOffset) + "\\n";
|
||||
result += " sub rdx, rcx\\n";
|
||||
result += " mov rax, [rdx]\\n";
|
||||
result += " mov " + dst + ", rax\\n";
|
||||
}
|
||||
else if (instr.arg3 == "STRING") {
|
||||
std::string src = instr.arg2;
|
||||
result += " lea rax, [rel " + src + "]\\n";
|
||||
std::string dst = getVarLocation(instr.arg1, stackMap);
|
||||
result += " mov qword " + dst + ", rax\\n";
|
||||
}
|
||||
else {
|
||||
std::string srcLoc = getVarLocation(instr.arg2, stackMap);
|
||||
std::string dst = getVarLocation(instr.arg1, stackMap);
|
||||
|
||||
std::string src = instr.arg2;
|
||||
if (isNumber(src)) result += " mov rax, " + src + "\\n";
|
||||
else result += " mov rax, " + srcLoc + "\\n";
|
||||
|
||||
result += " mov " + dst + ", rax\\n";
|
||||
}
|
||||
break;
|
||||
}
|
||||
|
||||
case OpType::ALLOC_OBJECT: {
|
||||
// Miejsce na stosie zosta³o zarezerwowane wy¿ej w pêtli (currentStack += size)
|
||||
// Mo¿emy opcjonalnie wyzerowaæ pamiêæ (memset), ale na razie pomijamy dla prostoty
|
||||
// Komentarz w ASM
|
||||
result += " ; Alloc Object " + instr.arg1 + " size: " + instr.arg2 + "\n";
|
||||
break;
|
||||
}
|
||||
case OpType::STORE_FIELD: {
|
||||
// STORE_FIELD objName, offset, value
|
||||
std::string objName = instr.arg1;
|
||||
int offset = std::stoi(instr.arg2);
|
||||
std::string valStr = instr.arg3;
|
||||
|
||||
// 1. Gdzie jest obiekt? (jego baza)
|
||||
// Obiekt na stosie zaczyna siê pod [RBP - stackMap[objName]]
|
||||
// Pola s¹ kolejne w dó³ stosu (bo stos roœnie w dó³, ale struktura ma dodatnie offsety...
|
||||
// W C lokalne struktury: &obj to najni¿szy adres.
|
||||
// U nas stackMap[obj] to "górny" adres (pierwsze zarezerwowane 8 bajtów).
|
||||
// Przyjmijmy: adres_pola = (RBP - stackMap[objName]) - offset
|
||||
|
||||
// Pobierz wartoϾ do zapisania
|
||||
if (isNumber(valStr)) {
|
||||
result += " mov rax, " + valStr + "\n";
|
||||
}
|
||||
else {
|
||||
result += " mov rax, " + getVarLocation(valStr, stackMap) + "\n";
|
||||
}
|
||||
|
||||
int baseOffset = 0;
|
||||
|
||||
// SprawdŸ czy objName to "this"
|
||||
if (objName == "this") {
|
||||
// "this" jest wskaŸnikiem! Trzeba go za³adowaæ
|
||||
std::string thisPtrLoc = getVarLocation("this", stackMap);
|
||||
result += " mov rdx, " + thisPtrLoc + "\n"; // RDX = adres obiektu
|
||||
// Adres pola = RDX - offset (tutaj uwaga: jeœli alokujemy na stosie "w dó³", to pola maj¹ ujemne offsety wzglêdem bazy?)
|
||||
// Zróbmy proœciej: w 'ALLOC_OBJECT' rezerwujemy blok.
|
||||
// [RBP - base] to pocz¹tek (pole 0).
|
||||
// [RBP - base - 8] to pole 1 (offset 8).
|
||||
// Czyli adres = RBP - base - offset.
|
||||
|
||||
// ALE: "this" przekazany do funkcji to wskaŸnik na ten obszar w pamiêci.
|
||||
// Jeœli przekazujemy adres zmiennej lokalnej (LEA), to wskaŸnik pokazuje na [RBP-base].
|
||||
// Wiêc [RDX - offset] powinno zadzia³aæ.
|
||||
result += " sub rdx, " + std::to_string(offset) + "\n";
|
||||
result += " mov [rdx], rax\n";
|
||||
}
|
||||
else {
|
||||
// Obiekt lokalny na stosie
|
||||
baseOffset = stackMap[objName];
|
||||
result += " mov rdx, rbp\n";
|
||||
result += " sub rdx, " + std::to_string(baseOffset) + "\n";
|
||||
result += " sub rdx, " + std::to_string(offset) + "\n";
|
||||
result += " mov [rdx], rax\n";
|
||||
}
|
||||
break;
|
||||
}
|
||||
case OpType::LOAD_FIELD: {
|
||||
// LOAD_FIELD destVar, objName, offset
|
||||
std::string destVar = instr.arg1; // gdzie zapisaæ wynik
|
||||
std::string objName = instr.arg2; // sk¹d czytaæ
|
||||
int offset = std::stoi(instr.arg3); // offset pola
|
||||
|
||||
// 1. Oblicz adres pola
|
||||
if (objName == "this") {
|
||||
std::string thisPtrLoc = getVarLocation("this", stackMap);
|
||||
result += " mov rdx, " + thisPtrLoc + "\n";
|
||||
result += " sub rdx, " + std::to_string(offset) + "\n";
|
||||
}
|
||||
else {
|
||||
int baseOffset = stackMap[objName];
|
||||
result += " mov rdx, rbp\n";
|
||||
result += " sub rdx, " + std::to_string(baseOffset) + "\n";
|
||||
result += " sub rdx, " + std::to_string(offset) + "\n";
|
||||
}
|
||||
|
||||
// 2. Pobierz wartoϾ
|
||||
result += " mov rax, [rdx]\n";
|
||||
|
||||
// 3. Zapisz do zmiennej docelowej
|
||||
std::string destLoc = getVarLocation(destVar, stackMap);
|
||||
result += " mov " + destLoc + ", rax\n";
|
||||
break;
|
||||
}
|
||||
case OpType::ADD: {
|
||||
std::string op1 = getVarLocation(instr.arg2, stackMap);
|
||||
std::string op2 = getVarLocation(instr.arg3, stackMap);
|
||||
std::string dst = getVarLocation(instr.arg1, stackMap);
|
||||
result += " mov eax, " + op1 + "\n";
|
||||
result += " add eax, " + op2 + "\n";
|
||||
result += " mov " + dst + ", eax\n";
|
||||
break;
|
||||
}
|
||||
case OpType::SUB: {
|
||||
std::string op1 = getVarLocation(instr.arg2, stackMap);
|
||||
std::string op2 = getVarLocation(instr.arg3, stackMap);
|
||||
std::string dst = getVarLocation(instr.arg1, stackMap);
|
||||
result += " mov eax, " + op1 + "\n";
|
||||
result += " sub eax, " + op2 + "\n";
|
||||
result += " mov " + dst + ", eax\n";
|
||||
break;
|
||||
}
|
||||
case OpType::MUL: {
|
||||
std::string op1 = getVarLocation(instr.arg2, stackMap);
|
||||
std::string op2 = getVarLocation(instr.arg3, stackMap);
|
||||
std::string dst = getVarLocation(instr.arg1, stackMap);
|
||||
result += " mov eax, " + op1 + "\n";
|
||||
result += " imul eax, " + op2 + "\n";
|
||||
result += " mov " + dst + ", eax\n";
|
||||
break;
|
||||
}
|
||||
case OpType::DIV: {
|
||||
std::string op1 = getVarLocation(instr.arg2, stackMap);
|
||||
std::string op2 = getVarLocation(instr.arg3, stackMap);
|
||||
std::string dst = getVarLocation(instr.arg1, stackMap);
|
||||
result += " mov eax, " + op1 + "\n";
|
||||
result += " cdq\n";
|
||||
if (isdigit(op2[0]) || op2[0] == '-') {
|
||||
result += " mov ecx, " + op2 + "\n";
|
||||
result += " idiv ecx\n";
|
||||
}
|
||||
else {
|
||||
result += " idiv dword " + op2 + "\n";
|
||||
}
|
||||
result += " mov " + dst + ", eax\n";
|
||||
break;
|
||||
}
|
||||
case OpType::MOD: {
|
||||
std::string op1 = getVarLocation(instr.arg2, stackMap);
|
||||
std::string op2 = getVarLocation(instr.arg3, stackMap);
|
||||
std::string dst = getVarLocation(instr.arg1, stackMap);
|
||||
result += " mov eax, " + op1 + "\n";
|
||||
result += " cdq\n";
|
||||
if (isdigit(op2[0]) || op2[0] == '-') {
|
||||
result += " mov ecx, " + op2 + "\n";
|
||||
result += " idiv ecx\n";
|
||||
}
|
||||
else {
|
||||
result += " idiv dword " + op2 + "\n";
|
||||
}
|
||||
result += " mov " + dst + ", edx\n";
|
||||
break;
|
||||
}
|
||||
case OpType::EQ: {
|
||||
std::string op1 = getVarLocation(instr.arg2, stackMap);
|
||||
std::string op2 = getVarLocation(instr.arg3, stackMap);
|
||||
std::string dst = getVarLocation(instr.arg1, stackMap);
|
||||
result += " mov eax, " + op1 + "\n";
|
||||
result += " cmp eax, " + op2 + "\n";
|
||||
result += " sete al\n";
|
||||
result += " movzx eax, al\n";
|
||||
result += " mov " + dst + ", eax\n";
|
||||
break;
|
||||
}
|
||||
case OpType::LOGIC_AND: {
|
||||
std::string op1 = getVarLocation(instr.arg2, stackMap);
|
||||
std::string op2 = getVarLocation(instr.arg3, stackMap);
|
||||
std::string dst = getVarLocation(instr.arg1, stackMap);
|
||||
result += " mov eax, " + op1 + "\n";
|
||||
result += " cmp eax, 0\n";
|
||||
result += " setne al\n";
|
||||
if (isdigit(op2[0])) result += " mov ecx, " + op2 + "\n";
|
||||
else result += " mov ecx, " + op2 + "\n";
|
||||
result += " cmp ecx, 0\n";
|
||||
result += " setne cl\n";
|
||||
result += " and al, cl\n";
|
||||
result += " movzx eax, al\n";
|
||||
result += " mov " + dst + ", eax\n";
|
||||
break;
|
||||
}
|
||||
case OpType::LOGIC_OR: {
|
||||
std::string op1 = getVarLocation(instr.arg2, stackMap);
|
||||
std::string op2 = getVarLocation(instr.arg3, stackMap);
|
||||
std::string dst = getVarLocation(instr.arg1, stackMap);
|
||||
result += " mov eax, " + op1 + "\n";
|
||||
result += " cmp eax, 0\n";
|
||||
result += " setne al\n";
|
||||
if (isdigit(op2[0])) result += " mov ecx, " + op2 + "\n";
|
||||
else result += " mov ecx, " + op2 + "\n";
|
||||
result += " cmp ecx, 0\n";
|
||||
result += " setne cl\n";
|
||||
result += " or al, cl\n";
|
||||
result += " movzx eax, al\n";
|
||||
result += " mov " + dst + ", eax\n";
|
||||
break;
|
||||
}
|
||||
case OpType::JMP_FALSE: {
|
||||
std::string condRaw = instr.arg2;
|
||||
std::string cond = getVarLocation(condRaw, stackMap);
|
||||
result += " mov eax, " + cond + "\n";
|
||||
result += " test eax, eax\n";
|
||||
result += " je " + instr.arg1 + "\n";
|
||||
break;
|
||||
}
|
||||
case OpType::JMP: {
|
||||
result += " jmp " + instr.arg1 + "\n";
|
||||
break;
|
||||
}
|
||||
case OpType::ARRAY_DECLARE: {
|
||||
// Obs³u¿one przy alokacji stosu
|
||||
break;
|
||||
}
|
||||
case OpType::ARRAY_SET: {
|
||||
std::string arrName = instr.arg1;
|
||||
std::string indexStr = instr.arg2;
|
||||
std::string valStr = instr.arg3;
|
||||
|
||||
if (isNumber(valStr)) result += " mov rax, " + valStr + "\n";
|
||||
else {
|
||||
std::string valLoc = getVarLocation(valStr, stackMap);
|
||||
result += " mov rax, " + valLoc + "\n";
|
||||
}
|
||||
|
||||
int baseOffset = stackMap[arrName];
|
||||
|
||||
if (isNumber(indexStr)) result += " mov rcx, " + indexStr + "\n";
|
||||
else {
|
||||
std::string idxLoc = getVarLocation(indexStr, stackMap);
|
||||
result += " mov rcx, " + idxLoc + "\n";
|
||||
}
|
||||
|
||||
result += " imul rcx, 8\n";
|
||||
result += " mov rdx, rbp\n";
|
||||
result += " sub rdx, " + std::to_string(baseOffset) + "\n";
|
||||
result += " sub rdx, rcx\n";
|
||||
result += " mov [rdx], rax\n";
|
||||
break;
|
||||
}
|
||||
case OpType::LABEL: {
|
||||
result += instr.arg1 + ":\n";
|
||||
break;
|
||||
}
|
||||
case OpType::PRINT: {
|
||||
std::string val = getVarLocation(instr.arg1, stackMap);
|
||||
result += " mov edx, " + val + "\n";
|
||||
result += " lea rcx, [rel fmt_int]\n";
|
||||
result += " xor eax, eax\n";
|
||||
result += " call printf\n";
|
||||
break;
|
||||
}
|
||||
case OpType::PRINT_STRING: {
|
||||
std::string target = instr.arg1;
|
||||
if (target.rfind("str_", 0) == 0) {
|
||||
result += " lea rdx, [rel " + target + "]\n";
|
||||
}
|
||||
else {
|
||||
std::string val = getVarLocation(target, stackMap);
|
||||
result += " mov rdx, " + val + "\n";
|
||||
}
|
||||
result += " lea rcx, [rel fmt_str]\n";
|
||||
result += " xor eax, eax\n";
|
||||
result += " call printf\n";
|
||||
break;
|
||||
}
|
||||
case OpType::CALL: {
|
||||
if (instr.arg1 == "input" || instr.arg1 == "read_key") {
|
||||
result += " call _getch\n";
|
||||
break;
|
||||
}
|
||||
if (instr.arg1 == "sys_seed") {
|
||||
result += " mov rcx, 0\n";
|
||||
result += " call time\n";
|
||||
result += " mov rcx, rax\n";
|
||||
result += " call srand\n";
|
||||
break;
|
||||
}
|
||||
if (instr.arg1 == "sys_rand") {
|
||||
result += " call rand\n";
|
||||
break;
|
||||
}
|
||||
|
||||
// Call metody/funkcji
|
||||
std::string funcName = instr.arg1;
|
||||
std::string argsRaw = instr.arg2;
|
||||
std::vector<std::string> callArgs;
|
||||
|
||||
if (!argsRaw.empty()) {
|
||||
std::stringstream ss(argsRaw);
|
||||
std::string segment;
|
||||
while (std::getline(ss, segment, ',')) {
|
||||
callArgs.push_back(segment);
|
||||
}
|
||||
}
|
||||
|
||||
// Przygotowanie argumentów dla Windows x64 (RCX, RDX, R8, R9)
|
||||
// Argument 0 (RCX) - ewentualnie 'this'
|
||||
if (callArgs.size() > 0) {
|
||||
// Czy to 'this' (nazwa obiektu)?
|
||||
std::string arg0 = callArgs[0];
|
||||
if (state.varTypes.count(arg0) && state.classes.count(state.varTypes.at(arg0))) {
|
||||
// Przekazujemy ADRES obiektu (pointer)
|
||||
// Obiekt jest na stosie: [RBP - offset]
|
||||
// Adres to: RBP - offset
|
||||
int offset = stackMap.at(arg0);
|
||||
result += " lea rcx, [rbp-" + std::to_string(offset) + "]\n";
|
||||
}
|
||||
else if (arg0 == "this") {
|
||||
// Przekazujemy this dalej
|
||||
result += " mov rcx, [rbp+16]\n"; // zak³adaj¹c ¿e this jest w shadow space? nie, my go kopiujemy na stos
|
||||
// Wróæmy do logiki argumentów: argumenty funkcji s¹ kopiowane na stos lokalny.
|
||||
// arg0 ("this") jest w stackMap["this"].
|
||||
std::string loc = getVarLocation("this", stackMap);
|
||||
result += " mov rcx, " + loc + "\n";
|
||||
}
|
||||
else {
|
||||
// Zwyk³a zmienna / liczba
|
||||
std::string val = getVarLocation(arg0, stackMap);
|
||||
if (isNumber(val)) result += " mov rcx, " + val + "\n";
|
||||
else result += " movsxd rcx, dword " + val + "\n";
|
||||
}
|
||||
}
|
||||
|
||||
if (callArgs.size() > 1) {
|
||||
std::string val = getVarLocation(callArgs[1], stackMap);
|
||||
if (isNumber(val)) result += " mov rdx, " + val + "\n";
|
||||
else result += " movsxd rdx, dword " + val + "\n";
|
||||
}
|
||||
|
||||
// ... (dalsze argumenty R8, R9 jeœli potrzebujesz)
|
||||
|
||||
result += " call " + funcName + "\n";
|
||||
break;
|
||||
}
|
||||
case OpType::RETURN: {
|
||||
std::string val = getVarLocation(instr.arg1, stackMap);
|
||||
if (!val.empty() && val != ";") {
|
||||
result += " mov eax, " + val + "\n";
|
||||
}
|
||||
result += " leave\n";
|
||||
result += " ret\n";
|
||||
break;
|
||||
}
|
||||
case OpType::MSGBOX: {
|
||||
std::string title = instr.arg1;
|
||||
std::string text = instr.arg2;
|
||||
|
||||
if (text.find("str_") == 0) result += " lea rdx, [rel " + text + "]\n";
|
||||
else {
|
||||
std::string loc = getVarLocation(text, stackMap);
|
||||
result += " mov rdx, " + loc + "\n";
|
||||
}
|
||||
|
||||
if (title.find("str_") == 0) result += " lea r8, [rel " + title + "]\n";
|
||||
else {
|
||||
std::string loc = getVarLocation(title, stackMap);
|
||||
result += " mov r8, " + loc + "\n";
|
||||
}
|
||||
|
||||
result += " mov rcx, 0\n";
|
||||
result += " mov r9, 0\n";
|
||||
result += " call MessageBoxA\n";
|
||||
break;
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
if (func.returnType == "void") {
|
||||
result += " leave\n ret\n";
|
||||
}
|
||||
result += "\n";
|
||||
}
|
||||
|
||||
return result;
|
||||
}
|
||||
11
PCCcompiler/codegen.h
Normal file
11
PCCcompiler/codegen.h
Normal file
@@ -0,0 +1,11 @@
|
||||
#ifndef CODEGEN_H
|
||||
#define CODEGEN_H
|
||||
|
||||
#include <string>
|
||||
#include "compiler_types.h"
|
||||
|
||||
// G³ówna funkcja generuj¹ca kod ASM na podstawie stanu kompilatora
|
||||
std::string generateAssembly(const CompilerState& state);
|
||||
|
||||
#endif // CODEGEN_H
|
||||
|
||||
107
PCCcompiler/compiler_types.h
Normal file
107
PCCcompiler/compiler_types.h
Normal file
@@ -0,0 +1,107 @@
|
||||
#ifndef COMPILER_TYPES_H
|
||||
#define COMPILER_TYPES_H
|
||||
|
||||
#include <string>
|
||||
#include <vector>
|
||||
#include <map>
|
||||
#include <stack>
|
||||
|
||||
// Typy operacji
|
||||
enum class OpType {
|
||||
ASSIGN, // a = 5
|
||||
ADD, // a = b + c
|
||||
SUB, // a = b - c
|
||||
MUL, // a = b * c
|
||||
DIV, // a = b / c
|
||||
MOD, // a = b % c
|
||||
EQ, // a == b
|
||||
PRINT, // print(int)
|
||||
PRINT_STRING, // print(string)
|
||||
JMP_FALSE, // if (false) skocz...
|
||||
ARRAY_DECLARE, // int t[10];
|
||||
ARRAY_SET, // t[0] = 5;
|
||||
ARRAY_GET, // x = t[0];
|
||||
JMP, // else / pêtla
|
||||
LOGIC_AND, // &&
|
||||
LOGIC_OR, // ||
|
||||
LABEL, // miejsce skoku
|
||||
CALL, // wywo³anie funkcji
|
||||
RETURN, // return x
|
||||
MSGBOX, // msg box
|
||||
ALLOC_OBJECT, // alokacja obiektu na stosie - NOWE
|
||||
STORE_FIELD, // zapis do pola obiektu - NOWE
|
||||
LOAD_FIELD, // odczyt z pola obiektu - NOWE
|
||||
NOP // pusta instrukcja
|
||||
};
|
||||
|
||||
// Pojedynczy rozkaz
|
||||
struct Instruction {
|
||||
OpType type;
|
||||
std::string arg1;
|
||||
std::string arg2;
|
||||
std::string arg3;
|
||||
};
|
||||
|
||||
// Definicja funkcji
|
||||
struct Function {
|
||||
std::string name;
|
||||
std::string returnType;
|
||||
std::vector<std::string> args;
|
||||
std::vector<Instruction> instructions;
|
||||
};
|
||||
|
||||
// Definicja pola klasy
|
||||
struct ClassField {
|
||||
std::string name;
|
||||
std::string type; // "int", "string", itp.
|
||||
int offset; // offset w bajtach od pocz¹tku obiektu
|
||||
};
|
||||
|
||||
// Definicja metody klasy
|
||||
struct ClassMethod {
|
||||
std::string name;
|
||||
std::string returnType;
|
||||
std::vector<std::string> args;
|
||||
std::string mangledName; // np. "User_setAge"
|
||||
};
|
||||
|
||||
// Definicja klasy
|
||||
struct ClassDef {
|
||||
std::string name;
|
||||
std::vector<ClassField> fields;
|
||||
std::vector<ClassMethod> methods;
|
||||
int totalSize; // rozmiar ca³ego obiektu w bajtach
|
||||
};
|
||||
|
||||
// G£ÓWNY STAN KOMPILATORA
|
||||
struct CompilerState {
|
||||
// Mapa funkcji
|
||||
std::map<std::string, Function> functions;
|
||||
|
||||
// Mapa klas (NOWE)
|
||||
std::map<std::string, ClassDef> classes;
|
||||
|
||||
// Zmienne globalne
|
||||
std::map<std::string, int> globals;
|
||||
|
||||
// Zarz¹dzanie stosem
|
||||
std::map<std::string, int> stackMap;
|
||||
int stackOffset = 0;
|
||||
|
||||
// Stan parsera
|
||||
Function* currentFunction = nullptr;
|
||||
std::string currentClass = ""; // (NOWE) - nazwa aktualnie parsowanej klasy
|
||||
int labelCounter = 0;
|
||||
|
||||
// Stosy bloków
|
||||
std::stack<std::string> loopStack;
|
||||
std::stack<std::string> blockStack;
|
||||
|
||||
std::vector<std::pair<std::string, std::string>> stringLiterals;
|
||||
|
||||
// Licznik do generowania nazw str_0, str_1...
|
||||
int stringCounter = 0;
|
||||
std::map<std::string, std::string> varTypes;
|
||||
};
|
||||
|
||||
#endif
|
||||
163
PCCcompiler/main.cpp
Normal file
163
PCCcompiler/main.cpp
Normal file
@@ -0,0 +1,163 @@
|
||||
#include <iostream>
|
||||
#include <fstream>
|
||||
#include <string>
|
||||
#include <vector>
|
||||
#include <cstdlib>
|
||||
#include <filesystem>
|
||||
#include <windows.h>
|
||||
#include "compiler_types.h"
|
||||
#include "parser.h"
|
||||
#include "codegen.h"
|
||||
#include "preprocessor.h"
|
||||
|
||||
std::string getExecutablePath() {
|
||||
char buffer[MAX_PATH];
|
||||
GetModuleFileNameA(NULL, buffer, MAX_PATH);
|
||||
std::string::size_type pos = std::string(buffer).find_last_of("\\/");
|
||||
return std::string(buffer).substr(0, pos);
|
||||
}
|
||||
|
||||
int main(int argc, char* argv[]) {
|
||||
std::string inputFile, outputName;
|
||||
std::string Version = "v0.0.7-beta";
|
||||
bool showHelp = false, showVersion = false, showCredits = false;
|
||||
|
||||
// --- PARSOWANIE ARGUMENTÓW ---
|
||||
for (int i = 1; i < argc; i++) {
|
||||
std::string arg = argv[i];
|
||||
|
||||
if (arg == "--help" || arg == "-h") {
|
||||
showHelp = true;
|
||||
}
|
||||
else if (arg == "--version" || arg == "-v") {
|
||||
showVersion = true;
|
||||
}
|
||||
else if (arg == "--credits" || arg == "-c") {
|
||||
showCredits = true;
|
||||
}
|
||||
else if (arg.substr(0, 2) == "-o") {
|
||||
if (arg.size() > 2) {
|
||||
outputName = arg.substr(2);
|
||||
}
|
||||
else if (i + 1 < argc) {
|
||||
outputName = argv[++i];
|
||||
}
|
||||
}
|
||||
else {
|
||||
inputFile = arg;
|
||||
}
|
||||
}
|
||||
|
||||
// --- OBSŁUGA INFORMACYJNA ---
|
||||
if (showVersion) {
|
||||
std::cout << "PCC Compiler " << Version << " (x64, Modular structure)\n";
|
||||
return 0;
|
||||
}
|
||||
|
||||
if (showCredits) {
|
||||
std::cout << "Created by: Michal Lewandowski\n";
|
||||
std::cout << "Contact : slawek.1q2w3e4r@gmail.com\n"; // Twój email z oryginału
|
||||
std::cout << "Docs: https://nodrop.xyz/PCC_docs.html\n";
|
||||
return 0;
|
||||
}
|
||||
|
||||
if (showHelp || inputFile.empty()) {
|
||||
std::cout << "PCC Compiler " << Version << "\n";
|
||||
std::cout << "Usage: PCC [Options] File.pcc\n\n";
|
||||
std::cout << "Options:\n";
|
||||
std::cout << " -h, --help Show Help\n";
|
||||
std::cout << " -v, --version Show Version\n";
|
||||
std::cout << " -o Name Exe Name (output\\Name.exe)\n";
|
||||
return 0;
|
||||
}
|
||||
|
||||
// --- WCZYTYWANIE PLIKU ---
|
||||
std::ifstream in(inputFile);
|
||||
if (!in) {
|
||||
std::cerr << "Error: Cannot open file " << inputFile << "\n";
|
||||
return 1;
|
||||
}
|
||||
|
||||
// ... wczytywanie pliku (to co miałeś) ...
|
||||
std::string src((std::istreambuf_iterator<char>(in)), std::istreambuf_iterator<char>());
|
||||
in.close();
|
||||
|
||||
// --- PREPROCESSOR START ---
|
||||
std::cout << "[INFO] Preprocessing...\n";
|
||||
|
||||
// 1. Ścieżka projektu (tam gdzie plik wejściowy)
|
||||
std::filesystem::path p(inputFile);
|
||||
std::string projectDir = p.parent_path().string();
|
||||
|
||||
// 2. Ścieżka kompilatora (tam gdzie PCC.exe i folder std)
|
||||
std::string compilerDir = getExecutablePath();
|
||||
|
||||
// Uruchamiamy z obiema ścieżkami
|
||||
src = preprocessSource(src, projectDir, compilerDir);
|
||||
CompilerState state;
|
||||
|
||||
std::cout << "[INFO] Parsing code...\n";
|
||||
// 1. Parsowanie tekstu do struktur
|
||||
processSource(src, state);
|
||||
|
||||
std::cout << "[INFO] Calculating expressions...\n";
|
||||
// 2. Obliczanie matematyki
|
||||
calculateExpressions(state);
|
||||
|
||||
std::cout << "[INFO] Generating Assembly...\n";
|
||||
// 3. Generowanie kodu ASM
|
||||
std::string asmCode = generateAssembly(state);
|
||||
|
||||
|
||||
// --- ZAPIS I KOMPILACJA ZEWNĘTRZNA ---
|
||||
std::system("if not exist output mkdir output");
|
||||
|
||||
// 1. Ustal bazową nazwę (bez rozszerzenia)
|
||||
std::string baseName;
|
||||
if (outputName.empty()) {
|
||||
// Jeśli nie podano -o, weź nazwę pliku wejściowego i utnij .pcc
|
||||
size_t lastDot = inputFile.find_last_of(".");
|
||||
if (lastDot != std::string::npos)
|
||||
baseName = inputFile.substr(0, lastDot);
|
||||
else
|
||||
baseName = inputFile;
|
||||
}
|
||||
else {
|
||||
// Jeśli podano -o, sprawdź czy ma .exe i ewentualnie utnij
|
||||
// (żebyśmy mogli dodać .asm i .obj bez bałaganu)
|
||||
size_t exePos = outputName.find(".exe");
|
||||
if (exePos != std::string::npos)
|
||||
baseName = outputName.substr(0, exePos);
|
||||
else
|
||||
baseName = outputName;
|
||||
}
|
||||
|
||||
// Teraz budujemy ścieżki - czysto i ładnie
|
||||
std::string asmPath = "output\\" + baseName + ".asm";
|
||||
std::string objPath = "output\\" + baseName + ".obj";
|
||||
std::string exePath = "output\\" + baseName + ".exe";
|
||||
|
||||
|
||||
// Zapisz ASM
|
||||
std::ofstream asmOut(asmPath);
|
||||
asmOut << asmCode;
|
||||
asmOut.close();
|
||||
std::cout << "ASM saved to: " << asmPath << "\n";
|
||||
|
||||
// Uruchom NASM
|
||||
std::string nasmCmd = "nasm -f win64 \"" + asmPath + "\" -o \"" + objPath + "\"";
|
||||
if (std::system(nasmCmd.c_str()) != 0) {
|
||||
std::cerr << "NASM Error! Check if NASM is in PATH.\n";
|
||||
return 1;
|
||||
}
|
||||
|
||||
// Uruchom GoLink
|
||||
std::string linkCmd = "go-link.exe /console /entry:main \"" + objPath + "\" msvcrt.dll kernel32.dll user32.dll \"" + exePath + "\"";
|
||||
if (std::system(linkCmd.c_str()) != 0) {
|
||||
std::cerr << "GoLink Error! Check if go-link.exe is in PATH.\n";
|
||||
return 1;
|
||||
}
|
||||
|
||||
std::cout << "SUCCESS! Executable created: " << exePath << "\n";
|
||||
return 0;
|
||||
}
|
||||
643
PCCcompiler/parser.cpp
Normal file
643
PCCcompiler/parser.cpp
Normal file
@@ -0,0 +1,643 @@
|
||||
#include "parser.h"
|
||||
#include "utils.h"
|
||||
#include <iostream>
|
||||
#include <sstream>
|
||||
#include <vector>
|
||||
|
||||
// ===================================================================
|
||||
// DEKLARACJE WSTĘPNE
|
||||
// ===================================================================
|
||||
// Musimy zadeklarować tę funkcję wcześniej, bo używają jej i klasy i main
|
||||
bool handleAssignment(const std::string& line, Function& f, CompilerState& state);
|
||||
bool parseInstruction(const std::string& line, Function& f, CompilerState& state);
|
||||
|
||||
// ===================================================================
|
||||
// POMOCNICZE FUNKCJE PARSOWANIA
|
||||
// ===================================================================
|
||||
|
||||
std::vector<std::string> parseArgs(const std::string& line) {
|
||||
std::vector<std::string> args;
|
||||
size_t open = line.find('(');
|
||||
size_t close = line.find(')');
|
||||
if (open == std::string::npos || close == std::string::npos) return args;
|
||||
|
||||
std::string inside = line.substr(open + 1, close - open - 1);
|
||||
if (inside.empty()) return args;
|
||||
|
||||
std::stringstream ss(inside);
|
||||
std::string segment;
|
||||
while (std::getline(ss, segment, ',')) {
|
||||
segment = trim(segment);
|
||||
size_t space = segment.find_last_of(" \\t");
|
||||
if (space != std::string::npos) {
|
||||
args.push_back(trim(segment.substr(space + 1)));
|
||||
}
|
||||
}
|
||||
return args;
|
||||
}
|
||||
|
||||
std::string registerStringLiteral(CompilerState& state, std::string content) {
|
||||
std::string label = "str_" + std::to_string(state.stringCounter++);
|
||||
state.stringLiterals.push_back({ label, content });
|
||||
return label;
|
||||
}
|
||||
|
||||
int getClassFieldOffset(CompilerState& state, const std::string& fieldName) {
|
||||
if (state.currentClass.empty()) return -1;
|
||||
if (state.classes.count(state.currentClass) == 0) return -1;
|
||||
|
||||
const auto& fields = state.classes[state.currentClass].fields;
|
||||
for (const auto& f : fields) {
|
||||
if (f.name == fieldName) return f.offset;
|
||||
}
|
||||
return -1;
|
||||
}
|
||||
|
||||
// ===================================================================
|
||||
// FUNKCJE POMOCNICZE DO OBSŁUGI WARUNKÓW
|
||||
// ===================================================================
|
||||
|
||||
std::string processCondition(const std::string& conditionRaw, Function& f, CompilerState& state) {
|
||||
std::string cond = trim(conditionRaw);
|
||||
|
||||
int fieldOffset = getClassFieldOffset(state, cond);
|
||||
if (fieldOffset != -1) {
|
||||
std::string tmp = "_cond_fld_" + std::to_string(state.labelCounter++);
|
||||
f.instructions.push_back({ OpType::LOAD_FIELD, tmp, "this", std::to_string(fieldOffset) });
|
||||
cond = tmp;
|
||||
}
|
||||
|
||||
if (cond.find("==") != std::string::npos) {
|
||||
size_t opPos = cond.find("==");
|
||||
std::string a = trim(cond.substr(0, opPos));
|
||||
std::string b = trim(cond.substr(opPos + 2));
|
||||
|
||||
int offA = getClassFieldOffset(state, a);
|
||||
if (offA != -1) {
|
||||
std::string t = "_c_a_" + std::to_string(state.labelCounter++);
|
||||
f.instructions.push_back({ OpType::LOAD_FIELD, t, "this", std::to_string(offA) });
|
||||
a = t;
|
||||
}
|
||||
int offB = getClassFieldOffset(state, b);
|
||||
if (offB != -1) {
|
||||
std::string t = "_c_b_" + std::to_string(state.labelCounter++);
|
||||
f.instructions.push_back({ OpType::LOAD_FIELD, t, "this", std::to_string(offB) });
|
||||
b = t;
|
||||
}
|
||||
|
||||
std::string tmp = "_cond_tmp_" + std::to_string(state.labelCounter++);
|
||||
f.instructions.push_back({ OpType::EQ, tmp, a, b });
|
||||
return tmp;
|
||||
}
|
||||
else if (cond.find("!=") != std::string::npos) {
|
||||
size_t opPos = cond.find("!=");
|
||||
std::string a = trim(cond.substr(0, opPos));
|
||||
std::string b = trim(cond.substr(opPos + 2));
|
||||
std::string tmp = "_cond_tmp_" + std::to_string(state.labelCounter++);
|
||||
f.instructions.push_back({ OpType::EQ, tmp, a, b });
|
||||
return tmp;
|
||||
}
|
||||
|
||||
return cond;
|
||||
}
|
||||
|
||||
// ===================================================================
|
||||
// FUNKCJE OBSŁUGI BLOKÓW
|
||||
// ===================================================================
|
||||
|
||||
void handleBlockClose(CompilerState& state, const std::vector<std::string>& lines, size_t i) {
|
||||
if (state.blockStack.empty()) {
|
||||
state.currentFunction = nullptr;
|
||||
return;
|
||||
}
|
||||
|
||||
bool nextIsElse = false;
|
||||
size_t j = i + 1;
|
||||
while (j < lines.size()) {
|
||||
std::string nl = trim(lines[j]);
|
||||
if (nl.empty() || nl.rfind("//", 0) == 0) { j++; continue; }
|
||||
if (nl.rfind("else", 0) == 0) nextIsElse = true;
|
||||
break;
|
||||
}
|
||||
|
||||
std::string blockInfo = state.blockStack.top();
|
||||
|
||||
if (blockInfo.rfind("WHILE|", 0) == 0) {
|
||||
state.blockStack.pop();
|
||||
size_t p1 = blockInfo.find('|');
|
||||
size_t p2 = blockInfo.rfind('|');
|
||||
std::string labelStart = blockInfo.substr(p1 + 1, p2 - p1 - 1);
|
||||
std::string labelEnd = blockInfo.substr(p2 + 1);
|
||||
|
||||
if (state.currentFunction) {
|
||||
state.currentFunction->instructions.push_back({ OpType::JMP, labelStart, "", "" });
|
||||
state.currentFunction->instructions.push_back({ OpType::LABEL, labelEnd, "", "" });
|
||||
}
|
||||
return;
|
||||
}
|
||||
|
||||
if (blockInfo.rfind("IF|", 0) == 0) {
|
||||
state.blockStack.pop();
|
||||
size_t p1 = blockInfo.find('|');
|
||||
size_t p2 = blockInfo.rfind('|');
|
||||
std::string labelElse = blockInfo.substr(p1 + 1, p2 - p1 - 1);
|
||||
std::string labelEnd = blockInfo.substr(p2 + 1);
|
||||
|
||||
if (nextIsElse) {
|
||||
if (state.currentFunction) {
|
||||
state.currentFunction->instructions.push_back({ OpType::JMP, labelEnd, "", "" });
|
||||
state.currentFunction->instructions.push_back({ OpType::LABEL, labelElse, "", "" });
|
||||
}
|
||||
state.blockStack.push(labelEnd);
|
||||
}
|
||||
else {
|
||||
if (state.currentFunction) {
|
||||
state.currentFunction->instructions.push_back({ OpType::LABEL, labelElse, "", "" });
|
||||
}
|
||||
}
|
||||
return;
|
||||
}
|
||||
|
||||
state.blockStack.pop();
|
||||
if (state.currentFunction) {
|
||||
state.currentFunction->instructions.push_back({ OpType::LABEL, blockInfo, "", "" });
|
||||
}
|
||||
}
|
||||
|
||||
// ===================================================================
|
||||
// FUNKCJE OBSŁUGI INSTRUKCJI
|
||||
// ===================================================================
|
||||
|
||||
bool handleReturn(const std::string& line, Function& f, CompilerState& state) {
|
||||
if (line.substr(0, 6) != "return") return false;
|
||||
std::string val = trim(line.substr(6));
|
||||
if (!val.empty() && val.back() == ';') val.pop_back();
|
||||
|
||||
int fieldOffset = getClassFieldOffset(state, val);
|
||||
if (fieldOffset != -1) {
|
||||
std::string tmp = "_ret_tmp_" + std::to_string(state.labelCounter++);
|
||||
f.instructions.push_back({ OpType::LOAD_FIELD, tmp, "this", std::to_string(fieldOffset) });
|
||||
val = tmp;
|
||||
}
|
||||
f.instructions.push_back({ OpType::RETURN, val, "", "" });
|
||||
return true;
|
||||
}
|
||||
|
||||
bool handleStringDeclaration(const std::string& line, Function& f, CompilerState& state) {
|
||||
if (line.substr(0, 6) != "string") return false;
|
||||
size_t eqPos = line.find("=");
|
||||
if (eqPos == std::string::npos) return false;
|
||||
std::string name = trim(line.substr(7, eqPos - 7));
|
||||
size_t quoteStart = line.find("\"", eqPos);
|
||||
size_t quoteEnd = line.rfind("\"");
|
||||
|
||||
if (quoteStart != std::string::npos && quoteEnd > quoteStart) {
|
||||
std::string content = line.substr(quoteStart + 1, quoteEnd - quoteStart - 1);
|
||||
std::string label = registerStringLiteral(state, content);
|
||||
state.varTypes[name] = "string";
|
||||
f.instructions.push_back({ OpType::ASSIGN, name, label, "" });
|
||||
return true;
|
||||
}
|
||||
return false;
|
||||
}
|
||||
|
||||
bool handleArrayDeclaration(const std::string& line, Function& f, CompilerState& state) {
|
||||
if (line.substr(0, 3) != "int" || line.find("[") == std::string::npos || line.find("=") != std::string::npos) return false;
|
||||
size_t openBracket = line.find("[");
|
||||
size_t closeBracket = line.find("]");
|
||||
|
||||
if (openBracket != std::string::npos && closeBracket > openBracket) {
|
||||
std::string name = trim(line.substr(3, openBracket - 3));
|
||||
std::string sizeStr = trim(line.substr(openBracket + 1, closeBracket - openBracket - 1));
|
||||
state.varTypes[name] = "array";
|
||||
f.instructions.push_back({ OpType::ARRAY_DECLARE, name, sizeStr, "" });
|
||||
std::cout << " [PARSER] Array Decl: " << name << "[" << sizeStr << "]\\n";
|
||||
return true;
|
||||
}
|
||||
return false;
|
||||
}
|
||||
|
||||
bool handlePrint(const std::string& line, Function& f, CompilerState& state) {
|
||||
if (line.substr(0, 5) != "print") return false;
|
||||
size_t open = line.find("(");
|
||||
size_t close = line.rfind(")");
|
||||
if (open == std::string::npos || close <= open) return false;
|
||||
std::string content = trim(line.substr(open + 1, close - open - 1));
|
||||
|
||||
if (content.find("[") != std::string::npos && content.back() == ']') {
|
||||
size_t opIdx = content.find("[");
|
||||
std::string arrName = content.substr(0, opIdx);
|
||||
std::string arrIdx = content.substr(opIdx + 1, content.length() - opIdx - 2);
|
||||
std::string tmp = "_p_tmp_" + std::to_string(state.labelCounter++);
|
||||
f.instructions.push_back({ OpType::ASSIGN, tmp, arrName, "ARRAY_IDX:" + arrIdx });
|
||||
f.instructions.push_back({ OpType::PRINT, tmp, "", "" });
|
||||
}
|
||||
else if (content.find(".") != std::string::npos) {
|
||||
size_t dotPos = content.find(".");
|
||||
std::string objName = content.substr(0, dotPos);
|
||||
std::string fieldName = content.substr(dotPos + 1);
|
||||
if (state.varTypes.count(objName) && state.classes.count(state.varTypes[objName])) {
|
||||
std::string className = state.varTypes[objName];
|
||||
int offset = -1;
|
||||
for (auto& field : state.classes[className].fields) {
|
||||
if (field.name == fieldName) { offset = field.offset; break; }
|
||||
}
|
||||
if (offset != -1) {
|
||||
std::string tmp = "_p_tmp_" + std::to_string(state.labelCounter++);
|
||||
f.instructions.push_back({ OpType::LOAD_FIELD, tmp, objName, std::to_string(offset) });
|
||||
f.instructions.push_back({ OpType::PRINT, tmp, "", "" });
|
||||
}
|
||||
}
|
||||
}
|
||||
else if (getClassFieldOffset(state, content) != -1) {
|
||||
int offset = getClassFieldOffset(state, content);
|
||||
std::string tmp = "_p_tmp_" + std::to_string(state.labelCounter++);
|
||||
f.instructions.push_back({ OpType::LOAD_FIELD, tmp, "this", std::to_string(offset) });
|
||||
f.instructions.push_back({ OpType::PRINT, tmp, "", "" });
|
||||
}
|
||||
else if (content.front() == '"' && content.back() == '"') {
|
||||
std::string text = content.substr(1, content.length() - 2);
|
||||
std::string label = registerStringLiteral(state, text);
|
||||
f.instructions.push_back({ OpType::PRINT_STRING, label, "", "" });
|
||||
}
|
||||
else if (state.varTypes.count(content) && state.varTypes[content] == "string") {
|
||||
f.instructions.push_back({ OpType::PRINT_STRING, content, "", "" });
|
||||
}
|
||||
else {
|
||||
f.instructions.push_back({ OpType::PRINT, content, "", "" });
|
||||
}
|
||||
return true;
|
||||
}
|
||||
|
||||
bool handleIf(const std::string& line, Function& f, CompilerState& state) {
|
||||
if (line.rfind("if", 0) != 0) return false;
|
||||
size_t openParen = line.find("(");
|
||||
size_t closeParen = line.rfind(")");
|
||||
if (openParen == std::string::npos) return false;
|
||||
std::string conditionRaw = trim(line.substr(openParen + 1, closeParen - openParen - 1));
|
||||
std::string finalCond = processCondition(conditionRaw, f, state);
|
||||
std::string labelElse = "L_" + std::to_string(state.labelCounter++);
|
||||
std::string labelEnd = "L_" + std::to_string(state.labelCounter++);
|
||||
f.instructions.push_back({ OpType::JMP_FALSE, labelElse, finalCond, "" });
|
||||
state.blockStack.push("IF|" + labelElse + "|" + labelEnd);
|
||||
return true;
|
||||
}
|
||||
|
||||
bool handleWhile(const std::string& line, Function& f, CompilerState& state) {
|
||||
if (line.substr(0, 5) != "while") return false;
|
||||
size_t openParen = line.find("(");
|
||||
size_t closeParen = line.rfind(")");
|
||||
if (openParen == std::string::npos) return false;
|
||||
std::string conditionRaw = trim(line.substr(openParen + 1, closeParen - openParen - 1));
|
||||
std::string labelStart = "L_" + std::to_string(state.labelCounter++);
|
||||
std::string labelEnd = "L_" + std::to_string(state.labelCounter++);
|
||||
f.instructions.push_back({ OpType::LABEL, labelStart, "", "" });
|
||||
std::string finalCond = processCondition(conditionRaw, f, state);
|
||||
f.instructions.push_back({ OpType::JMP_FALSE, labelEnd, finalCond, "" });
|
||||
state.blockStack.push("WHILE|" + labelStart + "|" + labelEnd);
|
||||
return true;
|
||||
}
|
||||
|
||||
bool handleMsgbox(const std::string& line, Function& f, CompilerState& state) {
|
||||
if (line.substr(0, 6) != "msgbox") return false;
|
||||
size_t open = line.find("(");
|
||||
size_t close = line.rfind(")");
|
||||
if (open == std::string::npos) return false;
|
||||
std::string args = line.substr(open + 1, close - open - 1);
|
||||
size_t comma = args.find(",");
|
||||
if (comma == std::string::npos) return false;
|
||||
std::string arg1 = trim(args.substr(0, comma));
|
||||
std::string arg2 = trim(args.substr(comma + 1));
|
||||
std::string l1 = (arg1.front() == '"') ? registerStringLiteral(state, arg1.substr(1, arg1.size() - 2)) : arg1;
|
||||
std::string l2 = (arg2.front() == '"') ? registerStringLiteral(state, arg2.substr(1, arg2.size() - 2)) : arg2;
|
||||
f.instructions.push_back({ OpType::MSGBOX, l1, l2, "" });
|
||||
return true;
|
||||
}
|
||||
|
||||
bool handleAssignment(const std::string& line, Function& f, CompilerState& state) {
|
||||
// Specjalny przypadek: samodzielne wywołanie metody/funkcji bez "="
|
||||
if (line.find("=") == std::string::npos) {
|
||||
if (line.find("(") != std::string::npos && line.find(")") != std::string::npos) {
|
||||
// Metoda: u.setAge(5);
|
||||
if (line.find(".") != std::string::npos) {
|
||||
size_t dotPos = line.find(".");
|
||||
size_t openParen = line.find("(");
|
||||
std::string objName = trim(line.substr(0, dotPos));
|
||||
std::string methodName = trim(line.substr(dotPos + 1, openParen - dotPos - 1));
|
||||
std::string argsContent = line.substr(openParen + 1, line.rfind(")") - openParen - 1);
|
||||
|
||||
if (state.varTypes.count(objName)) {
|
||||
std::string className = state.varTypes[objName];
|
||||
std::string mangledName = className + "_" + methodName;
|
||||
std::string fullArgs = objName;
|
||||
if (!argsContent.empty()) fullArgs += "," + argsContent;
|
||||
f.instructions.push_back({ OpType::CALL, mangledName, fullArgs, "" });
|
||||
return true;
|
||||
}
|
||||
}
|
||||
// Zwykła funkcja: func();
|
||||
size_t open = line.find('(');
|
||||
std::string funcName = trim(line.substr(0, open));
|
||||
std::string argsContent = line.substr(open + 1, line.find(')') - open - 1);
|
||||
f.instructions.push_back({ OpType::CALL, funcName, argsContent, "" });
|
||||
return true;
|
||||
}
|
||||
return false;
|
||||
}
|
||||
|
||||
size_t eqPos = line.find('=');
|
||||
std::string leftSide = trim(line.substr(0, eqPos));
|
||||
std::string rightSide = trim(line.substr(eqPos + 1));
|
||||
if (!rightSide.empty() && rightSide.back() == ';') rightSide.pop_back();
|
||||
|
||||
// 1. Zapis do pola: u.age = 5
|
||||
if (leftSide.find(".") != std::string::npos && leftSide.find("[") == std::string::npos) {
|
||||
size_t dotPos = leftSide.find(".");
|
||||
std::string objName = trim(leftSide.substr(0, dotPos));
|
||||
std::string fieldName = trim(leftSide.substr(dotPos + 1));
|
||||
std::string className = state.varTypes[objName];
|
||||
ClassDef& cls = state.classes[className];
|
||||
int offset = -1;
|
||||
for (auto& field : cls.fields) {
|
||||
if (field.name == fieldName) { offset = field.offset; break; }
|
||||
}
|
||||
f.instructions.push_back({ OpType::STORE_FIELD, objName, std::to_string(offset), rightSide });
|
||||
return true;
|
||||
}
|
||||
// 2. Zapis do pola wewnątrz metody: age = 5
|
||||
else {
|
||||
int fieldOffset = getClassFieldOffset(state, leftSide);
|
||||
if (fieldOffset != -1) {
|
||||
f.instructions.push_back({ OpType::STORE_FIELD, "this", std::to_string(fieldOffset), rightSide });
|
||||
return true;
|
||||
}
|
||||
}
|
||||
|
||||
// Tablice
|
||||
if (leftSide.find("[") != std::string::npos) {
|
||||
size_t open = leftSide.find("[");
|
||||
size_t close = leftSide.find("]");
|
||||
std::string arrName = trim(leftSide.substr(0, open));
|
||||
std::string index = trim(leftSide.substr(open + 1, close - open - 1));
|
||||
f.instructions.push_back({ OpType::ARRAY_SET, arrName, index, rightSide });
|
||||
return true;
|
||||
}
|
||||
|
||||
std::string varName = leftSide;
|
||||
if (leftSide.rfind("int ", 0) == 0) varName = trim(leftSide.substr(4));
|
||||
else if (leftSide.rfind("bool ", 0) == 0) varName = trim(leftSide.substr(5));
|
||||
else if (leftSide.rfind("string ", 0) == 0) varName = trim(leftSide.substr(7));
|
||||
|
||||
// Odczyt pola: x = u.age
|
||||
if (rightSide.find(".") != std::string::npos && rightSide.find("(") == std::string::npos) {
|
||||
size_t dot = rightSide.find(".");
|
||||
std::string obj = rightSide.substr(0, dot);
|
||||
std::string fld = rightSide.substr(dot + 1);
|
||||
if (state.varTypes.count(obj)) {
|
||||
std::string cName = state.varTypes[obj];
|
||||
int off = -1;
|
||||
for (auto& ff : state.classes[cName].fields) if (ff.name == fld) off = ff.offset;
|
||||
if (off != -1) {
|
||||
f.instructions.push_back({ OpType::LOAD_FIELD, varName, obj, std::to_string(off) });
|
||||
return true;
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
// Tablice odczyt
|
||||
if (rightSide.find("[") != std::string::npos && rightSide.back() == ']') {
|
||||
size_t open = rightSide.find("[");
|
||||
size_t close = rightSide.find("]");
|
||||
std::string arrName = trim(rightSide.substr(0, open));
|
||||
std::string index = trim(rightSide.substr(open + 1, close - open - 1));
|
||||
f.instructions.push_back({ OpType::ASSIGN, varName, arrName, "ARRAY_IDX:" + index });
|
||||
return true;
|
||||
}
|
||||
|
||||
// Wywołanie metody po prawej stronie: x = u.getAge()
|
||||
if (rightSide.find("(") != std::string::npos && rightSide.find(")") != std::string::npos) {
|
||||
if (rightSide.find(".") != std::string::npos) {
|
||||
size_t dot = rightSide.find(".");
|
||||
size_t op = rightSide.find("(");
|
||||
std::string obj = trim(rightSide.substr(0, dot));
|
||||
std::string met = trim(rightSide.substr(dot + 1, op - dot - 1));
|
||||
std::string args = rightSide.substr(op + 1, rightSide.find(")") - op - 1);
|
||||
std::string cName = state.varTypes[obj];
|
||||
std::string mangled = cName + "_" + met;
|
||||
std::string fullArgs = obj;
|
||||
if (!args.empty()) fullArgs += "," + args;
|
||||
f.instructions.push_back({ OpType::CALL, mangled, fullArgs, "" });
|
||||
f.instructions.push_back({ OpType::ASSIGN, varName, "RAX", "" });
|
||||
return true;
|
||||
}
|
||||
// Zwykła funkcja
|
||||
size_t open = rightSide.find('(');
|
||||
std::string funcName = trim(rightSide.substr(0, open));
|
||||
std::string argsContent = rightSide.substr(open + 1, rightSide.find(')') - open - 1);
|
||||
f.instructions.push_back({ OpType::CALL, funcName, argsContent, "" });
|
||||
f.instructions.push_back({ OpType::ASSIGN, varName, "RAX", "" });
|
||||
return true;
|
||||
}
|
||||
|
||||
// Arytmetyka
|
||||
struct Operator { std::string symbol; OpType type; size_t length; };
|
||||
std::vector<Operator> operators = {
|
||||
{"&&", OpType::LOGIC_AND, 2}, {"||", OpType::LOGIC_OR, 2}, {"==", OpType::EQ, 2},
|
||||
{"+", OpType::ADD, 1}, {"-", OpType::SUB, 1}, {"*", OpType::MUL, 1}, {"/", OpType::DIV, 1}, {"%", OpType::MOD, 1}
|
||||
};
|
||||
for (const auto& op : operators) {
|
||||
size_t opPos = rightSide.find(op.symbol);
|
||||
if (opPos != std::string::npos) {
|
||||
std::string a = trim(rightSide.substr(0, opPos));
|
||||
std::string b = trim(rightSide.substr(opPos + op.length));
|
||||
int offA = getClassFieldOffset(state, a);
|
||||
if (offA != -1) { std::string t = "_opa" + std::to_string(state.labelCounter++); f.instructions.push_back({ OpType::LOAD_FIELD, t, "this", std::to_string(offA) }); a = t; }
|
||||
int offB = getClassFieldOffset(state, b);
|
||||
if (offB != -1) { std::string t = "_opb" + std::to_string(state.labelCounter++); f.instructions.push_back({ OpType::LOAD_FIELD, t, "this", std::to_string(offB) }); b = t; }
|
||||
f.instructions.push_back({ op.type, varName, a, b });
|
||||
return true;
|
||||
}
|
||||
}
|
||||
|
||||
if (rightSide.size() >= 2 && rightSide.front() == '"') {
|
||||
std::string content = rightSide.substr(1, rightSide.size() - 2);
|
||||
std::string label = registerStringLiteral(state, content);
|
||||
state.varTypes[varName] = "string";
|
||||
f.instructions.push_back({ OpType::ASSIGN, varName, label, "" });
|
||||
return true;
|
||||
}
|
||||
|
||||
int fOff = getClassFieldOffset(state, rightSide);
|
||||
if (fOff != -1) {
|
||||
f.instructions.push_back({ OpType::LOAD_FIELD, varName, "this", std::to_string(fOff) });
|
||||
}
|
||||
else {
|
||||
f.instructions.push_back({ OpType::ASSIGN, varName, rightSide, "" });
|
||||
}
|
||||
return true;
|
||||
}
|
||||
|
||||
bool handleFunctionCall(const std::string& line, Function& f) {
|
||||
if (line.find("(") == std::string::npos || line.find(")") == std::string::npos) return false;
|
||||
size_t open = line.find('(');
|
||||
std::string funcName = trim(line.substr(0, open));
|
||||
std::string argsContent = line.substr(open + 1, line.find(')') - open - 1);
|
||||
f.instructions.push_back({ OpType::CALL, funcName, argsContent, "" });
|
||||
return true;
|
||||
}
|
||||
|
||||
// Funkcja zbiorcza parsująca jedną linię (dla processSource i dla metody w klasie)
|
||||
bool parseInstruction(const std::string& line, Function& f, CompilerState& state) {
|
||||
if (line.rfind("else", 0) == 0) return true;
|
||||
|
||||
if (handleReturn(line, f, state)) return true;
|
||||
if (handleStringDeclaration(line, f, state)) return true;
|
||||
if (handleArrayDeclaration(line, f, state)) return true;
|
||||
if (handlePrint(line, f, state)) return true;
|
||||
if (handleIf(line, f, state)) return true;
|
||||
if (handleWhile(line, f, state)) return true;
|
||||
if (handleMsgbox(line, f, state)) return true;
|
||||
|
||||
// handleAssignment obsługuje też wywołania metod i operacje
|
||||
if (handleAssignment(line, f, state)) return true;
|
||||
|
||||
// Deklaracja obiektu: User u;
|
||||
if (state.classes.count(line.substr(0, line.find(" "))) > 0) {
|
||||
size_t spacePos = line.find(" ");
|
||||
std::string className = line.substr(0, spacePos);
|
||||
std::string varName = trim(line.substr(spacePos + 1));
|
||||
if (varName.back() == ';') varName.pop_back();
|
||||
state.varTypes[varName] = className;
|
||||
int size = state.classes[className].totalSize;
|
||||
f.instructions.push_back({ OpType::ALLOC_OBJECT, varName, std::to_string(size), "" });
|
||||
return true;
|
||||
}
|
||||
|
||||
return false;
|
||||
}
|
||||
|
||||
// ===================================================================
|
||||
// PARSOWANIE KLASY (TERAZ PARSUJE CIAŁA METOD!)
|
||||
// ===================================================================
|
||||
|
||||
void parseClassDefinition(const std::vector<std::string>& lines, size_t& i, CompilerState& state) {
|
||||
std::string line = trim(lines[i]);
|
||||
size_t bracePos = line.find("{");
|
||||
std::string className = trim(line.substr(6, bracePos - 6));
|
||||
|
||||
ClassDef classDef;
|
||||
classDef.name = className;
|
||||
int currentOffset = 0;
|
||||
i++;
|
||||
|
||||
while (i < lines.size()) {
|
||||
line = trim(lines[i]);
|
||||
if (line == "}") break;
|
||||
if (line.empty() || line.rfind("//", 0) == 0) { i++; continue; }
|
||||
|
||||
if (line.back() == ';' && line.find("(") == std::string::npos && line.find("=") == std::string::npos) {
|
||||
size_t spacePos = line.find(" ");
|
||||
std::string type = line.substr(0, spacePos);
|
||||
std::string name = trim(line.substr(spacePos + 1, line.size() - spacePos - 2));
|
||||
ClassField field; field.name = name; field.type = type; field.offset = currentOffset;
|
||||
if (type == "int" || type == "bool") currentOffset += 8;
|
||||
else if (type == "string") currentOffset += 8;
|
||||
classDef.fields.push_back(field);
|
||||
std::cout << " [CLASS] Field: " << type << " " << name << " @ offset " << field.offset << "\n";
|
||||
}
|
||||
else if (line.find("(") != std::string::npos && line.find("{") != std::string::npos) {
|
||||
size_t openParen = line.find("(");
|
||||
size_t spacePos = line.find(" ");
|
||||
std::string returnType = line.substr(0, spacePos);
|
||||
std::string methodName = trim(line.substr(spacePos + 1, openParen - spacePos - 1));
|
||||
|
||||
ClassMethod method;
|
||||
method.name = methodName; method.returnType = returnType;
|
||||
method.args = parseArgs(line);
|
||||
method.mangledName = className + "_" + methodName;
|
||||
classDef.methods.push_back(method);
|
||||
|
||||
Function newFunc;
|
||||
newFunc.name = method.mangledName;
|
||||
newFunc.returnType = returnType;
|
||||
newFunc.args = method.args;
|
||||
newFunc.args.insert(newFunc.args.begin(), "this");
|
||||
state.functions[method.mangledName] = newFunc;
|
||||
|
||||
// --- TUTAJ PARSUJEMY WNĘTRZE METODY ---
|
||||
state.currentFunction = &state.functions[method.mangledName];
|
||||
state.currentClass = className;
|
||||
state.classes[className] = classDef; // Rejestrujemy tymczasowo, by widzieć pola
|
||||
|
||||
i++; // Wejdź do środka metody
|
||||
while (i < lines.size()) {
|
||||
std::string mLine = trim(lines[i]);
|
||||
if (mLine == "}") break; // Koniec metody
|
||||
if (!mLine.empty() && mLine.rfind("//", 0) != 0) {
|
||||
parseInstruction(mLine, *state.currentFunction, state);
|
||||
}
|
||||
i++;
|
||||
}
|
||||
state.currentFunction = nullptr;
|
||||
state.currentClass = "";
|
||||
}
|
||||
i++;
|
||||
}
|
||||
classDef.totalSize = currentOffset;
|
||||
state.classes[className] = classDef;
|
||||
std::cout << "[PARSER] Class " << className << " registered size=" << currentOffset << "\n";
|
||||
}
|
||||
|
||||
// ===================================================================
|
||||
// GŁÓWNA PĘTLA
|
||||
// ===================================================================
|
||||
|
||||
void processSource(const std::string& src, CompilerState& state) {
|
||||
std::vector<std::string> lines;
|
||||
std::istringstream iss(src);
|
||||
std::string t;
|
||||
while (std::getline(iss, t)) lines.push_back(trim(t));
|
||||
|
||||
for (size_t i = 0; i < lines.size(); i++) {
|
||||
std::string line = trim(lines[i]);
|
||||
if (line.empty() || line.substr(0, 2) == "//" || line[0] == '#') continue;
|
||||
|
||||
if (line.find("} else") != std::string::npos) {
|
||||
handleBlockClose(state, lines, i);
|
||||
continue;
|
||||
}
|
||||
|
||||
if (line.rfind("class ", 0) == 0 && line.find("{") != std::string::npos) {
|
||||
parseClassDefinition(lines, i, state);
|
||||
continue;
|
||||
}
|
||||
|
||||
bool startsWithType = (line.rfind("int ", 0) == 0 || line.rfind("void ", 0) == 0 || line.rfind("bool ", 0) == 0);
|
||||
if (startsWithType && line.find("(") != std::string::npos && line.find("{") != std::string::npos && line.find("=") == std::string::npos) {
|
||||
size_t openParen = line.find('(');
|
||||
std::string typeRaw = line.substr(0, line.find(' '));
|
||||
std::string nameRaw = line.substr(typeRaw.length(), openParen - typeRaw.length());
|
||||
std::string funcName = trim(nameRaw);
|
||||
|
||||
Function newFunc;
|
||||
newFunc.name = funcName;
|
||||
newFunc.returnType = typeRaw;
|
||||
newFunc.args = parseArgs(line);
|
||||
state.functions[funcName] = newFunc;
|
||||
state.currentFunction = &state.functions[funcName];
|
||||
std::cout << "[PARSER] New Function: " << funcName << "\n";
|
||||
continue;
|
||||
}
|
||||
|
||||
if (line == "}") {
|
||||
handleBlockClose(state, lines, i);
|
||||
continue;
|
||||
}
|
||||
|
||||
if (state.currentFunction) {
|
||||
parseInstruction(line, *state.currentFunction, state);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
void calculateExpressions(CompilerState& state) {}
|
||||
7
PCCcompiler/parser.h
Normal file
7
PCCcompiler/parser.h
Normal file
@@ -0,0 +1,7 @@
|
||||
#ifndef PARSER_H
|
||||
#define PARSER_H
|
||||
#include "compiler_types.h"
|
||||
|
||||
void processSource(const std::string& src, CompilerState& state);
|
||||
void calculateExpressions(CompilerState& state);
|
||||
#endif
|
||||
130
PCCcompiler/preprocessor.cpp
Normal file
130
PCCcompiler/preprocessor.cpp
Normal file
@@ -0,0 +1,130 @@
|
||||
#include "preprocessor.h"
|
||||
#include <iostream>
|
||||
#include <sstream>
|
||||
#include <fstream>
|
||||
#include <filesystem>
|
||||
#include <unordered_set>
|
||||
|
||||
namespace fs = std::filesystem;
|
||||
|
||||
static std::string ltrim(std::string s) {
|
||||
const size_t first = s.find_first_not_of(" \t");
|
||||
if (first == std::string::npos) return "";
|
||||
return s.substr(first);
|
||||
}
|
||||
|
||||
static std::string loadFileContent(const std::string& path) {
|
||||
std::ifstream in(path, std::ios::binary);
|
||||
if (!in) {
|
||||
std::cerr << "[PREPROCESSOR] Error: Could not open included file: " << path << "\n";
|
||||
return "";
|
||||
}
|
||||
return std::string((std::istreambuf_iterator<char>(in)), std::istreambuf_iterator<char>());
|
||||
}
|
||||
|
||||
// Próbuje sparsowaæ #include "x" albo #include <x>
|
||||
// Zwraca: true jeœli linia to include i uda³o siê wyci¹gn¹æ œcie¿kê.
|
||||
static bool parseIncludeLine(const std::string& line, std::string& includePath, bool& isStdLib) {
|
||||
includePath.clear();
|
||||
isStdLib = false;
|
||||
|
||||
std::string t = ltrim(line);
|
||||
if (t.rfind("#include", 0) != 0) return false;
|
||||
|
||||
const size_t openQuote = t.find('"');
|
||||
const size_t closeQuote = t.rfind('"');
|
||||
const size_t openAngle = t.find('<');
|
||||
const size_t closeAngle = t.rfind('>');
|
||||
|
||||
if (openQuote != std::string::npos && closeQuote != std::string::npos && closeQuote > openQuote) {
|
||||
includePath = t.substr(openQuote + 1, closeQuote - openQuote - 1);
|
||||
isStdLib = false;
|
||||
return true;
|
||||
}
|
||||
|
||||
if (openAngle != std::string::npos && closeAngle != std::string::npos && closeAngle > openAngle) {
|
||||
includePath = t.substr(openAngle + 1, closeAngle - openAngle - 1);
|
||||
isStdLib = true;
|
||||
return true;
|
||||
}
|
||||
|
||||
// To jest #include ale w z³ym formacie (np. brak cudzys³owu / nawiasów)
|
||||
return true;
|
||||
}
|
||||
|
||||
// Wewnêtrzna funkcja z guardem na rekurencjê.
|
||||
static std::string preprocessSourceImpl(
|
||||
const std::string& src,
|
||||
const std::string& projectDir,
|
||||
const std::string& compilerDir,
|
||||
std::unordered_set<std::string>& includeGuard
|
||||
) {
|
||||
std::istringstream iss(src);
|
||||
std::string line;
|
||||
std::stringstream output;
|
||||
|
||||
while (std::getline(iss, line)) {
|
||||
std::string includePath;
|
||||
bool isStdLib = false;
|
||||
|
||||
const bool isIncludeLine = parseIncludeLine(line, includePath, isStdLib);
|
||||
|
||||
if (!isIncludeLine) {
|
||||
output << line << "\n";
|
||||
continue;
|
||||
}
|
||||
|
||||
if (includePath.empty()) {
|
||||
output << "\n// [PREPROCESSOR] Invalid include (no path): " << line << "\n";
|
||||
continue;
|
||||
}
|
||||
|
||||
// Z³ó¿ fullPath
|
||||
fs::path fullPath;
|
||||
if (isStdLib) {
|
||||
fullPath = fs::path(compilerDir) / "std" / includePath;
|
||||
std::cout << "[PREPROCESSOR] Including STD lib: " << fullPath.string() << "\n";
|
||||
}
|
||||
else {
|
||||
if (projectDir.empty()) fullPath = fs::path(includePath);
|
||||
else fullPath = fs::path(projectDir) / includePath;
|
||||
std::cout << "[PREPROCESSOR] Including local file: " << fullPath.string() << "\n";
|
||||
}
|
||||
|
||||
// Normalizacja œcie¿ki (jeœli siê da)
|
||||
std::string guardKey;
|
||||
try {
|
||||
guardKey = fs::weakly_canonical(fullPath).string();
|
||||
}
|
||||
catch (...) {
|
||||
guardKey = fullPath.lexically_normal().string();
|
||||
}
|
||||
|
||||
// Guard przeciw include-loop oraz wielokrotnemu includowaniu
|
||||
if (includeGuard.find(guardKey) != includeGuard.end()) {
|
||||
output << "\n// [PREPROCESSOR] Skipped include (already included): " << includePath << "\n";
|
||||
continue;
|
||||
}
|
||||
includeGuard.insert(guardKey);
|
||||
|
||||
// Wczytaj + przetwórz rekurencyjnie
|
||||
std::string content = loadFileContent(fullPath.string());
|
||||
if (content.empty()) {
|
||||
output << "\n// [PREPROCESSOR] FAILED INCLUDE: " << includePath << "\n";
|
||||
continue;
|
||||
}
|
||||
|
||||
std::string processedContent = preprocessSourceImpl(content, projectDir, compilerDir, includeGuard);
|
||||
|
||||
output << "\n// --- BEGIN INCLUDE: " << includePath << " ---\n";
|
||||
output << processedContent;
|
||||
output << "\n// --- END INCLUDE ---\n";
|
||||
}
|
||||
|
||||
return output.str();
|
||||
}
|
||||
|
||||
std::string preprocessSource(const std::string& src, const std::string& projectDir, const std::string& compilerDir) {
|
||||
std::unordered_set<std::string> includeGuard;
|
||||
return preprocessSourceImpl(src, projectDir, compilerDir, includeGuard);
|
||||
}
|
||||
13
PCCcompiler/preprocessor.h
Normal file
13
PCCcompiler/preprocessor.h
Normal file
@@ -0,0 +1,13 @@
|
||||
#ifndef PREPROCESSOR_H
|
||||
#define PREPROCESSOR_H
|
||||
|
||||
#include <string>
|
||||
std::string preprocessSource(
|
||||
const std::string& src,
|
||||
const std::string& projectDir,
|
||||
const std::string& compilerDir
|
||||
);
|
||||
|
||||
|
||||
|
||||
#endif
|
||||
8
PCCcompiler/utils.cpp
Normal file
8
PCCcompiler/utils.cpp
Normal file
@@ -0,0 +1,8 @@
|
||||
#include "utils.h"
|
||||
|
||||
std::string trim(const std::string& str) {
|
||||
size_t first = str.find_first_not_of(" \t");
|
||||
if (first == std::string::npos) return "";
|
||||
size_t last = str.find_last_not_of(" \t");
|
||||
return str.substr(first, last - first + 1);
|
||||
}
|
||||
6
PCCcompiler/utils.h
Normal file
6
PCCcompiler/utils.h
Normal file
@@ -0,0 +1,6 @@
|
||||
#ifndef UTILS_H
|
||||
#define UTILS_H
|
||||
#include <string>
|
||||
|
||||
std::string trim(const std::string& str);
|
||||
#endif
|
||||
29
README.md
29
README.md
@@ -1,2 +1,29 @@
|
||||
# PCCCompiler
|
||||
# PCC Compiler (My C++ Compiler)
|
||||
|
||||

|
||||

|
||||

|
||||
|
||||
## Docs
|
||||
https://nodrop.xyz/docs/docs.html
|
||||
|
||||
**PCC Compiler** is a custom programming language compiler built from scratch in C++. It translates PCC code into x64 Assembly (NASM), which is then linked into a standalone Windows executable.
|
||||
|
||||
## 🚀 Features
|
||||
- **Custom Syntax**: C-like syntax easy for beginners.
|
||||
- **Variables**: Support for `int`, `bool` and `string`.
|
||||
- **include files**: you can include base files from compiler `#include <main.pcc>` or your own files `#include "myfile.pcc"`.
|
||||
- **KeyBoard and Inputs Support**: now you can control keyboard inputs using `#include <Input.pcc>`.
|
||||
- **Control Flow**: `if` statements support.
|
||||
- **Functions**: Define and call `void` functions.
|
||||
- **Native Compilation**: Compiles directly to x64 machine code.
|
||||
- **More Informations**: For more informations check PCC Docs.
|
||||
|
||||
## 🛠️ Usage
|
||||
1. Download the latest release from the [Releases](../../releases) page.
|
||||
2. Unzip the archive to C:/PCC/
|
||||
3. Run `start.bat` as Administrator.
|
||||
4. Compile your code: `PCC.exe code.pcc`.
|
||||
|
||||
---
|
||||
*Created by Michał Lewandowski*
|
||||
|
||||
Reference in New Issue
Block a user