mirrors/janet
1
0
Fork 0
mirror of https://github.com/janet-lang/janet synced 2025-01-10 07:30:26 +00:00
Code Issues 1 Releases Wiki Activity

Format sysir.

Browse Source
This commit is contained in:
Calvin Rose 2023-08-12 13:43:51 -05:00
parent b6adc257f4
commit 91e459e4a5
1 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
src/core/sysir.c
View File

@ -693,8 +693,8 @@ static void janet_sysir_init_types(JanetSysIR *ir) {
case JANET_SYSOP_TYPE_UNION: { case JANET_SYSOP_TYPE_UNION: {
uint32_t type_def = instruction.type_types.dest_type; uint32_t type_def = instruction.type_types.dest_type;
type_defs[type_def].prim = (instruction.opcode == JANET_SYSOP_TYPE_STRUCT) type_defs[type_def].prim = (instruction.opcode == JANET_SYSOP_TYPE_STRUCT)
? JANET_PRIM_STRUCT ? JANET_PRIM_STRUCT
: JANET_PRIM_UNION; : JANET_PRIM_UNION;
type_defs[type_def].st.field_count = instruction.type_types.arg_count; type_defs[type_def].st.field_count = instruction.type_types.arg_count;
type_defs[type_def].st.field_start = (uint32_t) janet_v_count(fields); type_defs[type_def].st.field_start = (uint32_t) janet_v_count(fields);
for (uint32_t j = 0; j < instruction.type_types.arg_count; j++) { for (uint32_t j = 0; j < instruction.type_types.arg_count; j++) {
@ -798,8 +798,8 @@ static void tcheck_pointer_equals(JanetSysIR *sysir, uint32_t preg, uint32_t elr
uint32_t t2 = sysir->types[elreg]; uint32_t t2 = sysir->types[elreg];
if (t2 != tp) { if (t2 != tp) {
janet_panicf("type failure, %V is not compatible with a pointer to %V", janet_panicf("type failure, %V is not compatible with a pointer to %V",
tname(sysir, t2), tname(sysir, t2),
tname(sysir, tp)); tname(sysir, tp));
} }
} }
@ -816,8 +816,8 @@ static void tcheck_equal(JanetSysIR *sysir, uint32_t reg1, uint32_t reg2) {
uint32_t t2 = sysir->types[reg2]; uint32_t t2 = sysir->types[reg2];
if (t1 != t2) { if (t1 != t2) {
janet_panicf("type failure, %V does not match %V", janet_panicf("type failure, %V does not match %V",
tname(sysir, t1), tname(sysir, t1),
tname(sysir, t2)); tname(sysir, t2));
} }
} }
@ -868,7 +868,7 @@ static void tcheck_pointer_math(JanetSysIR *sysir, uint32_t dest, uint32_t lhs,
uint32_t tlhs = sysir->types[lhs]; uint32_t tlhs = sysir->types[lhs];
if (tdest != tlhs) { if (tdest != tlhs) {
janet_panicf("type failure, %V does not match %V", tname(sysir, tdest), janet_panicf("type failure, %V does not match %V", tname(sysir, tdest),
tname(sysir, tlhs)); tname(sysir, tlhs));
} }
uint32_t pdest = sysir->type_defs[tdest].prim; uint32_t pdest = sysir->type_defs[tdest].prim;
if (pdest == JANET_PRIM_POINTER) { if (pdest == JANET_PRIM_POINTER) {
@ -902,8 +902,8 @@ static void janet_sysir_type_check(JanetSysIR *sysir) {
if (found_return) { if (found_return) {
if (sysir->return_type != ret_type) { if (sysir->return_type != ret_type) {
janet_panicf("multiple return types are not allowed: %V and %V", janet_panicf("multiple return types are not allowed: %V and %V",
tname(sysir, ret_type), tname(sysir, ret_type),
tname(sysir, sysir->return_type)); tname(sysir, sysir->return_type));
} }
} else { } else {
sysir->return_type = ret_type; sysir->return_type = ret_type;
@ -994,8 +994,8 @@ static void janet_sysir_type_check(JanetSysIR *sysir) {
uint32_t tpdest = sysir->type_defs[tdest].pointer.type; uint32_t tpdest = sysir->type_defs[tdest].pointer.type;
if (tfield != tpdest) { if (tfield != tpdest) {
janet_panicf("field of type %V does not match %V", janet_panicf("field of type %V does not match %V",
tname(sysir, tfield), tname(sysir, tfield),
tname(sysir, tpdest)); tname(sysir, tpdest));
} }
break; break;
case JANET_SYSOP_CALLK: case JANET_SYSOP_CALLK: