Code gen: Casted pointer offets #140

New Issue

deavmi · 2023-07-10T14:09:47+01:00

deavmi commented

2023-07-10 14:09:47 +01:00

What is this?

C compiler's do this thing where: if <a> is a pointer and <b> is an integer then the following pointer arithmetic is allowed:

int* a = (int*)2;
a = a + b;

But it's WRONG if you do:

a = a + (int*)b;

Even though it makes logical sense coercion wise. Therefore we need to check such a case and yank the cast out me thinks.

## What is this? C compiler's do this thing where: if `<a>` is a pointer and `<b>` is an integer then the following pointer arithmetic is allowed: ```c int* a = (int*)2; a = a + b; ``` **But** it's WRONG if you do: ```c a = a + (int*)b; ``` Even though it makes logical sense coercion wise. Therefore we need to check such a case and yank the cast out me thinks.

deavmi added this to the Basics milestone 2023-07-10 14:09:47 +01:00

deavmi added the

emit

label 2023-07-10 14:09:47 +01:00

deavmi self-assigned this 2023-07-10 14:09:47 +01:00

deavmi added this to the Code emit project 2023-07-10 14:09:47 +01:00

deavmi added a new dependency 2023-07-10 14:10:07 +01:00

#115 🧠️ Feature: Universal coercion and type enforcer

deavmi commented

2023-07-10 14:10:24 +01:00

This is being worked on as part of #115

deavmi started working 2023-07-10 15:08:11 +01:00

deavmi stopped working 2023-07-10 15:08:14 +01:00

3 seconds

deavmi added spent time 2023-07-10 15:08:21 +01:00

10 minutes

deavmi started working 2023-07-10 15:08:23 +01:00

deavmi commented

2023-07-10 15:11:56 +01:00

In commit 29d7cb7451b02ea6ab1ae736ede0e3094ca0d00d (and prior):

Added "relaxation" support to CastedValueInstruction
DGen now respects the CastedValueInstruction's relaxation
DGen now also sets the "relaxation" flag when one of the operands of a BinaryOpInstr is a Pointer, the assumption is that TypeChecker would have coerced the non-pointer operseand to a CastedValueInstruction

In commit `29d7cb7451b02ea6ab1ae736ede0e3094ca0d00d` (and prior): 1. Added "relaxation" support to `CastedValueInstruction` 2. DGen now respects the `CastedValueInstruction`'s relaxation 3. DGen now also sets the "relaxation" flag when one of the operands of a `BinaryOpInstr` is a `Pointer`, the assumption is that `TypeChecker` would have coerced the non-pointer operseand to a `CastedValueInstruction`

deavmi stopped working 2023-07-10 15:12:10 +01:00

3 minutes 47 seconds

deavmi started working 2023-07-10 15:13:28 +01:00

deavmi stopped working 2023-07-10 15:13:31 +01:00

3 seconds

deavmi added the due date 2023-07-12

2023-07-10 20:22:52 +01:00

deavmi referenced this issue

2023-07-10 20:23:35 +01:00

🧠️ Feature: Universal coercion and type enforcer #115

deavmi started working 2023-07-11 08:56:00 +01:00

deavmi commented