wcc: add the size primitive type (TY_SIZE), classify as unsigned int (#85)
fold-1: type exists + classifies; mirrors TY_UINTPTR at every site, both stages. size(T)/len() return types UNCHANGED (fold-2). Regenerates the 5 combined.ww (lib/ww embedded).
This commit is contained in:
@@ -6394,6 +6394,7 @@ type tykind = enum i32 {
|
||||
// Tail-appended values keep prior TY_* stable for the byte-diff
|
||||
// against cmd/wcc/ww.h.
|
||||
TY_ENUM = 35,
|
||||
TY_SIZE = 36, // #85 fold-1; mirrors TY_UINTPTR (8/8 amd64)
|
||||
};
|
||||
|
||||
// ---- tinfo / tfield / tparam -----------------------------------------
|
||||
@@ -6495,6 +6496,7 @@ type tctx = struct {
|
||||
tyint: *tinfo,
|
||||
tyuint: *tinfo,
|
||||
tyuintptr: *tinfo,
|
||||
tysize: *tinfo,
|
||||
tyf32: *tinfo,
|
||||
tyf64: *tinfo,
|
||||
tystr: *tinfo,
|
||||
@@ -6540,6 +6542,7 @@ export fn typesinit(c: *tctx) void = {
|
||||
c.tyint = prim(tykind.TY_INT, "int", 8u64, 8u64);
|
||||
c.tyuint = prim(tykind.TY_UINT, "uint", 8u64, 8u64);
|
||||
c.tyuintptr= prim(tykind.TY_UINTPTR, "uintptr", 8u64, 8u64);
|
||||
c.tysize = prim(tykind.TY_SIZE, "size", 8u64, 8u64); // #85
|
||||
c.tyf32 = prim(tykind.TY_F32, "f32", 4u64, 4u64);
|
||||
c.tyf64 = prim(tykind.TY_F64, "f64", 8u64, 8u64);
|
||||
// str IS []u8: { *u8, len, cap } — 24B, 3-reg ABI (#1/Phase 3).
|
||||
@@ -6660,6 +6663,7 @@ export fn typeisint(t: *tinfo) bool = {
|
||||
if (k == tykind.TY_INT) { return true; };
|
||||
if (k == tykind.TY_UINT){ return true; };
|
||||
if (k == tykind.TY_UINTPTR) { return true; };
|
||||
if (k == tykind.TY_SIZE) { return true; };
|
||||
if (k == tykind.TY_RUNE){ return true; };
|
||||
if (k == tykind.TY_UNTYPED_INT) { return true; };
|
||||
if (k == tykind.TY_UNTYPED_RUNE) { return true; };
|
||||
@@ -6696,6 +6700,7 @@ export fn typeisunsigned(t: *tinfo) bool = {
|
||||
if (k == tykind.TY_U64) { return true; };
|
||||
if (k == tykind.TY_UINT){ return true; };
|
||||
if (k == tykind.TY_UINTPTR) { return true; };
|
||||
if (k == tykind.TY_SIZE) { return true; };
|
||||
if (k == tykind.TY_RUNE){ return true; };
|
||||
if (k == tykind.TY_NAMED) { return typeisunsigned(t.under); };
|
||||
if (k == tykind.TY_ENUM) { return typeisunsigned(t.sub); };
|
||||
@@ -8328,7 +8333,7 @@ fn tupleelemslot(pt: *tinfo) u64 = {
|
||||
pk == tykind.TY_CHAN || pk == tykind.TY_I64 ||
|
||||
pk == tykind.TY_U64 || pk == tykind.TY_INT ||
|
||||
pk == tykind.TY_UINT || pk == tykind.TY_UINTPTR ||
|
||||
pk == tykind.TY_F64) { return 8u64; };
|
||||
pk == tykind.TY_SIZE || pk == tykind.TY_F64) { return 8u64; };
|
||||
if (pk == tykind.TY_BOOL || pk == tykind.TY_RUNE ||
|
||||
pk == tykind.TY_I8 || pk == tykind.TY_I16 ||
|
||||
pk == tykind.TY_I32 || pk == tykind.TY_U8 ||
|
||||
@@ -8373,8 +8378,9 @@ fn fieldslotsize(ft: *tinfo) u64 = {
|
||||
fk == tykind.TY_U8 || fk == tykind.TY_U16 ||
|
||||
fk == tykind.TY_U32 || fk == tykind.TY_U64 ||
|
||||
fk == tykind.TY_INT || fk == tykind.TY_UINT ||
|
||||
fk == tykind.TY_UINTPTR || fk == tykind.TY_F32 ||
|
||||
fk == tykind.TY_F64 || fk == tykind.TY_ENUM) { return t.size; };
|
||||
fk == tykind.TY_UINTPTR || fk == tykind.TY_SIZE ||
|
||||
fk == tykind.TY_F32 || fk == tykind.TY_F64 ||
|
||||
fk == tykind.TY_ENUM) { return t.size; };
|
||||
return 8u64;
|
||||
};
|
||||
|
||||
|
||||
@@ -1210,7 +1210,7 @@ fn tupleelemslot(pt: *tinfo) u64 = {
|
||||
pk == tykind.TY_CHAN || pk == tykind.TY_I64 ||
|
||||
pk == tykind.TY_U64 || pk == tykind.TY_INT ||
|
||||
pk == tykind.TY_UINT || pk == tykind.TY_UINTPTR ||
|
||||
pk == tykind.TY_F64) { return 8u64; };
|
||||
pk == tykind.TY_SIZE || pk == tykind.TY_F64) { return 8u64; };
|
||||
if (pk == tykind.TY_BOOL || pk == tykind.TY_RUNE ||
|
||||
pk == tykind.TY_I8 || pk == tykind.TY_I16 ||
|
||||
pk == tykind.TY_I32 || pk == tykind.TY_U8 ||
|
||||
@@ -1255,8 +1255,9 @@ fn fieldslotsize(ft: *tinfo) u64 = {
|
||||
fk == tykind.TY_U8 || fk == tykind.TY_U16 ||
|
||||
fk == tykind.TY_U32 || fk == tykind.TY_U64 ||
|
||||
fk == tykind.TY_INT || fk == tykind.TY_UINT ||
|
||||
fk == tykind.TY_UINTPTR || fk == tykind.TY_F32 ||
|
||||
fk == tykind.TY_F64 || fk == tykind.TY_ENUM) { return t.size; };
|
||||
fk == tykind.TY_UINTPTR || fk == tykind.TY_SIZE ||
|
||||
fk == tykind.TY_F32 || fk == tykind.TY_F64 ||
|
||||
fk == tykind.TY_ENUM) { return t.size; };
|
||||
return 8u64;
|
||||
};
|
||||
|
||||
|
||||
@@ -6394,6 +6394,7 @@ type tykind = enum i32 {
|
||||
// Tail-appended values keep prior TY_* stable for the byte-diff
|
||||
// against cmd/wcc/ww.h.
|
||||
TY_ENUM = 35,
|
||||
TY_SIZE = 36, // #85 fold-1; mirrors TY_UINTPTR (8/8 amd64)
|
||||
};
|
||||
|
||||
// ---- tinfo / tfield / tparam -----------------------------------------
|
||||
@@ -6495,6 +6496,7 @@ type tctx = struct {
|
||||
tyint: *tinfo,
|
||||
tyuint: *tinfo,
|
||||
tyuintptr: *tinfo,
|
||||
tysize: *tinfo,
|
||||
tyf32: *tinfo,
|
||||
tyf64: *tinfo,
|
||||
tystr: *tinfo,
|
||||
@@ -6540,6 +6542,7 @@ export fn typesinit(c: *tctx) void = {
|
||||
c.tyint = prim(tykind.TY_INT, "int", 8u64, 8u64);
|
||||
c.tyuint = prim(tykind.TY_UINT, "uint", 8u64, 8u64);
|
||||
c.tyuintptr= prim(tykind.TY_UINTPTR, "uintptr", 8u64, 8u64);
|
||||
c.tysize = prim(tykind.TY_SIZE, "size", 8u64, 8u64); // #85
|
||||
c.tyf32 = prim(tykind.TY_F32, "f32", 4u64, 4u64);
|
||||
c.tyf64 = prim(tykind.TY_F64, "f64", 8u64, 8u64);
|
||||
// str IS []u8: { *u8, len, cap } — 24B, 3-reg ABI (#1/Phase 3).
|
||||
@@ -6660,6 +6663,7 @@ export fn typeisint(t: *tinfo) bool = {
|
||||
if (k == tykind.TY_INT) { return true; };
|
||||
if (k == tykind.TY_UINT){ return true; };
|
||||
if (k == tykind.TY_UINTPTR) { return true; };
|
||||
if (k == tykind.TY_SIZE) { return true; };
|
||||
if (k == tykind.TY_RUNE){ return true; };
|
||||
if (k == tykind.TY_UNTYPED_INT) { return true; };
|
||||
if (k == tykind.TY_UNTYPED_RUNE) { return true; };
|
||||
@@ -6696,6 +6700,7 @@ export fn typeisunsigned(t: *tinfo) bool = {
|
||||
if (k == tykind.TY_U64) { return true; };
|
||||
if (k == tykind.TY_UINT){ return true; };
|
||||
if (k == tykind.TY_UINTPTR) { return true; };
|
||||
if (k == tykind.TY_SIZE) { return true; };
|
||||
if (k == tykind.TY_RUNE){ return true; };
|
||||
if (k == tykind.TY_NAMED) { return typeisunsigned(t.under); };
|
||||
if (k == tykind.TY_ENUM) { return typeisunsigned(t.sub); };
|
||||
@@ -8328,7 +8333,7 @@ fn tupleelemslot(pt: *tinfo) u64 = {
|
||||
pk == tykind.TY_CHAN || pk == tykind.TY_I64 ||
|
||||
pk == tykind.TY_U64 || pk == tykind.TY_INT ||
|
||||
pk == tykind.TY_UINT || pk == tykind.TY_UINTPTR ||
|
||||
pk == tykind.TY_F64) { return 8u64; };
|
||||
pk == tykind.TY_SIZE || pk == tykind.TY_F64) { return 8u64; };
|
||||
if (pk == tykind.TY_BOOL || pk == tykind.TY_RUNE ||
|
||||
pk == tykind.TY_I8 || pk == tykind.TY_I16 ||
|
||||
pk == tykind.TY_I32 || pk == tykind.TY_U8 ||
|
||||
@@ -8373,8 +8378,9 @@ fn fieldslotsize(ft: *tinfo) u64 = {
|
||||
fk == tykind.TY_U8 || fk == tykind.TY_U16 ||
|
||||
fk == tykind.TY_U32 || fk == tykind.TY_U64 ||
|
||||
fk == tykind.TY_INT || fk == tykind.TY_UINT ||
|
||||
fk == tykind.TY_UINTPTR || fk == tykind.TY_F32 ||
|
||||
fk == tykind.TY_F64 || fk == tykind.TY_ENUM) { return t.size; };
|
||||
fk == tykind.TY_UINTPTR || fk == tykind.TY_SIZE ||
|
||||
fk == tykind.TY_F32 || fk == tykind.TY_F64 ||
|
||||
fk == tykind.TY_ENUM) { return t.size; };
|
||||
return 8u64;
|
||||
};
|
||||
|
||||
|
||||
Reference in New Issue
Block a user