aboutsummaryrefslogtreecommitdiff
path: root/lib/CodeGen/Designator.cc
diff options
context:
space:
mode:
Diffstat (limited to 'lib/CodeGen/Designator.cc')
-rw-r--r--lib/CodeGen/Designator.cc190
1 files changed, 1 insertions, 189 deletions
diff --git a/lib/CodeGen/Designator.cc b/lib/CodeGen/Designator.cc
index 019c19e..6c00524 100644
--- a/lib/CodeGen/Designator.cc
+++ b/lib/CodeGen/Designator.cc
@@ -1,37 +1,11 @@
-// Type-name-level emission helpers for the user-defined TYPE system:
-// the type pre-pass, the admission gate for assignments/arguments, and the
-// binary-operator interception for Enum/Record/Pointer operands.
-// These are CodeGen methods; the file is split out to keep the hub
-// dispatch-only.
+// User-defined type registration and addressable designator access.
#include "cps/CodeGen.h"
#include "cps/ArrayHandler.h"
#include "cps/TypeAST.h"
-#include "cps/Lexer.h"
using namespace llvm;
using namespace cps;
-namespace {
-
-// Operator spelling for diagnostics (raw ASCII or a keyword token).
-std::string opToText(int Op) {
- switch (Op) {
- case tok_eq: return "=";
- case tok_ne: return "<>";
- case tok_le: return "<=";
- case tok_ge: return ">=";
- case tok_and: return "AND";
- case tok_or: return "OR";
- case tok_div: return "DIV";
- case tok_mod: return "MOD";
- default:
- if (Op >= 0) return std::string(1, static_cast<char>(Op));
- return "?";
- }
-}
-
-} // namespace
-
// Registers every top-level TYPE declaration before prototypes are emitted.
// Two passes so a pointer TYPE may reference a type declared later
// (TYPE NodePtr = ^Node before TYPE Node โ€” required for linked structures);
@@ -201,165 +175,3 @@ Value *CodeGen::loadFromLValue(const LValueInfo &LV) {
}
return Val;
}
-
-// The single name-level admission gate. Targets of a user kind demand exact
-// type-name equality (their representations are indistinguishable at the
-// LLVM level); builtin targets additionally reject user-kind sources, then
-// keep the existing representation coercions unchanged.
-Value *CodeGen::emitCoercedExpr(ExprAST *E, const TypeInfo *Target) {
- if (!E || !Target) return nullptr;
-
- // A whole-array reference evaluates to its raw data pointer, and
- // getExprTypeInfo reports the ELEMENT type for it โ€” both would slip
- // through the name check and smash the pointer into the target.
- if (isWholeArrayVar(E)) {
- reportError("A whole array cannot be used as a value of type %s; index it",
- Target->Name.c_str());
- return nullptr;
- }
-
- const TypeInfo *Src = getExprTypeInfo(E);
-
- if (Target->isC() || (Src && Src->isC())) {
- if (auto *Addr = dynamic_cast<AddrOfExprAST*>(E)) {
- const PointerPayload *PP = Target->asPointer();
- LValueInfo LV;
- if (PP && emitLValue(Addr->getTarget(), LV)) {
- if (Types->sameType(LV.TypeName, PP->PointeeTypeName)) return LV.Addr;
- }
- reportError("Address does not match C pointer type %s", Target->Name.c_str());
- return nullptr;
- }
- if (Src && Src->sameType(Target) && !Target->isVoid()) return emitExpr(E);
- if (Src && Src->Kind == TypeKind::CScalar && Target->Kind == TypeKind::CScalar &&
- !Src->isVoid() && !Target->isVoid())
- return convertNumericValue(emitExpr(E), Src, Target);
- reportError("Cannot implicitly convert %s to %s; use an explicit cast",
- Src ? Src->Name.c_str() : "expression", Target->Name.c_str());
- return nullptr;
- }
-
- if (Target->isUserKind()) {
- // ^x into a pointer target is structural: the pointee type name must
- // match the pointer type's declared pointee exactly (strict โ€” the
- // guide's own ^INTEGER-at-a-Season example is rejected by design).
- if (auto *Addr = dynamic_cast<AddrOfExprAST*>(E)) {
- const PointerPayload *PP = Target->asPointer();
- if (!PP) {
- reportError("'^' (address-of) can only be used where a pointer type is expected (got %s)",
- Target->Name.c_str());
- return nullptr;
- }
- LValueInfo LV;
- if (!emitLValue(Addr->getTarget(), LV)) return nullptr;
- if (!Types->sameType(LV.TypeName, PP->PointeeTypeName)) {
- reportError("%s is a pointer to %s and cannot point at a value of type %s",
- Target->Name.c_str(), PP->PointeeTypeName.c_str(), LV.TypeName.c_str());
- return nullptr;
- }
- return LV.Addr;
- }
- if (!Src) {
- // Emit anyway: an inadmissible sub-expression (e.g. enum * 2)
- // then reports its own, more specific diagnostic.
- if (emitExpr(E)) {
- reportError("Cannot determine the type of the value used where %s is expected",
- Target->Name.c_str());
- }
- return nullptr;
- }
- if (Src->Name != Target->Name) {
- reportError("Cannot use a value of type %s where %s is expected",
- Src->Name.c_str(), Target->Name.c_str());
- return nullptr;
- }
- return emitExpr(E); // same nominal type: no conversion needed
- }
-
- // ^x is a raw address: admissible ONLY where a pointer type is expected.
- // Without this check the ptr would coerce into STRING/BOOLEAN silently.
- if (dynamic_cast<AddrOfExprAST*>(E)) {
- reportError("'^' (address-of) can only be used where a pointer type is expected (got %s)",
- Target->Name.c_str());
- return nullptr;
- }
-
- if (Src && Src->isUserKind()) {
- reportError("Cannot use a value of type %s where %s is expected",
- Src->Name.c_str(), Target->Name.c_str());
- return nullptr;
- }
- return coerceValueToType(emitExpr(E), Target);
-}
-
-// Binary operators with at least one Enum/Record/Pointer operand. Decides
-// admissibility by type name and emits directly; ArithmeticHandler stays
-// ignorant of user kinds.
-Value *CodeGen::emitUserKindBinaryOp(BinaryExprAST *Bin, const TypeInfo *LT, const TypeInfo *RT) {
- int Op = Bin->getOp();
- const char *LName = LT ? LT->Name.c_str() : "?";
- const char *RName = RT ? RT->Name.c_str() : "?";
-
- if ((LT && LT->isRecord()) || (RT && RT->isRecord())) {
- reportError("Operator %s cannot be applied to a record value (type %s)",
- opToText(Op).c_str(), (LT && LT->isRecord()) ? LName : RName);
- return nullptr;
- }
-
- if ((LT && LT->isPointer()) || (RT && RT->isPointer())) {
- bool SameName = LT && RT && LT->isPointer() && RT->isPointer() && LT->Name == RT->Name;
- if (SameName && (Op == tok_eq || Op == tok_ne)) {
- Value *L = emitExpr(Bin->getLHS());
- Value *R = emitExpr(Bin->getRHS());
- if (!L || !R) return nullptr;
- return Op == tok_eq ? Builder->CreateICmpEQ(L, R, "ptr_eq")
- : Builder->CreateICmpNE(L, R, "ptr_ne");
- }
- reportError("Pointer values support only = and <> between the same pointer type (got %s %s %s)",
- LName, opToText(Op).c_str(), RName);
- return nullptr;
- }
-
- // At least one enum operand from here on.
- bool BothSameEnum = LT && RT && LT->isEnum() && RT->isEnum() && LT->Name == RT->Name;
-
- switch (Op) {
- case tok_eq: case tok_ne: case '<': case '>': case tok_le: case tok_ge: {
- if (!BothSameEnum) break;
- Value *L = emitExpr(Bin->getLHS());
- Value *R = emitExpr(Bin->getRHS());
- if (!L || !R) return nullptr;
- switch (Op) {
- case tok_eq: return Builder->CreateICmpEQ(L, R, "enum_eq");
- case tok_ne: return Builder->CreateICmpNE(L, R, "enum_ne");
- case '<': return Builder->CreateICmpSLT(L, R, "enum_lt");
- case '>': return Builder->CreateICmpSGT(L, R, "enum_gt");
- case tok_le: return Builder->CreateICmpSLE(L, R, "enum_le");
- case tok_ge: return Builder->CreateICmpSGE(L, R, "enum_ge");
- }
- return nullptr;
- }
-
- case '+': case '-': {
- // The one legal arithmetic shape (guide ยง4.2): enum on the left,
- // INTEGER on the right, result checked against the enum's range.
- if (!(LT && LT->isEnum() && RT && RT->Kind == TypeKind::Integer)) break;
- Value *L = emitExpr(Bin->getLHS());
- Value *R = emitExpr(Bin->getRHS());
- if (!L || !R) return nullptr;
- Value *Res = Op == '+' ? Builder->CreateAdd(L, R, "enum_step")
- : Builder->CreateSub(L, R, "enum_step");
- RuntimeChecker->emitEnumRangeCheck(Res, LT->asEnum()->ValueNames.size(),
- LT->Name, Bin->getLine());
- return Res;
- }
-
- default:
- break;
- }
-
- reportError("Operator %s cannot be applied to %s and %s "
- "(enums allow comparison with the same enum type, and enum + or - INTEGER)",
- opToText(Op).c_str(), LName, RName);
- return nullptr;
-}
generated by cgit v1.3.1-4-g156e (git 2.54.0) at 2026-11-14 18:00:52 +0000