Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

WIP: rewrite the C code generator #1333

Draft
wants to merge 20 commits into
base: devel
Choose a base branch
from
Draft

WIP: rewrite the C code generator #1333

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
03b1de1
sketch out the initial design for the C IR
zerbina Jun 4, 2024
2ba2693
implement the CIR formatter
zerbina Jun 4, 2024
6db0d2a
add some temporary profiling facilities
zerbina Jun 4, 2024
daa5e54
get a clean slate
zerbina Jun 4, 2024
1aa5d98
restore a basic orchestrator skeleton
zerbina Jun 4, 2024
a014eb6
restore the IC integration
zerbina Jun 4, 2024
32f6f64
cbackend: implement the basic write-to-disk logic
zerbina Jun 4, 2024
9ed6bf0
Merge branch 'devel' into rework-the-c-code-generator
zerbina Jun 14, 2024
ecd2b30
cir: use `CIdentifier`
zerbina Jun 14, 2024
f72ef94
sketch out the basic `cgen` interface
zerbina Jun 14, 2024
0c6761d
cgendata: store the entity names in `CodeGenEnv`
zerbina Jun 14, 2024
3f25ef2
cformat: make the module compile
zerbina Jun 14, 2024
17398c3
instrument some key procedures
zerbina Jun 14, 2024
4383a81
mirbodies: implement `append`
zerbina Jun 14, 2024
351d099
cbackend: remove `MirEnv` instance from `BModuleList`
zerbina Jun 14, 2024
d6dec74
cbackend: append assembled C code to output
zerbina Jun 14, 2024
d94f9f3
cbackend: sketch out the data layout/ownership
zerbina Jun 14, 2024
e03c6a1
cbackend: implement `processEvent` and `assemble`
zerbina Jun 14, 2024
8fde6c1
cgen: emit some placeholder AST
zerbina Jun 14, 2024
9d4d5b2
Merge branch 'devel' into rework-the-c-code-generator
zerbina Jul 25, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions compiler/backend/backends.nim
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -51,6 +51,8 @@ import
idioms
]

import compiler/utils/measure

export TranslationConfig

type
Expand Down Expand Up @@ -319,6 +321,7 @@ proc preprocess*(queue: var WorkQueue, graph: ModuleGraph, idgen: IdGenerator,
## needed for fully processing the procedure. `module` is the module the
## step was queued from: it's used as the module the next processing is
## queued from.
measure("transf")
let prc = env[id]
if exfDynamicLib in prc.extFlags:
# a procedure imported at runtime, it has no body
Expand Down Expand Up @@ -374,6 +377,7 @@ proc process(body: var MirBody, prc: PSym, graph: ModuleGraph,
of backendNimVm: targetVm
of backendInvalid: unreachable()

measure("MIR passes")
applyPasses(body, prc, env, graph, target)

proc translate*(id: ProcedureId, body: PNode, graph: ModuleGraph,
Expand All @@ -385,6 +389,7 @@ proc translate*(id: ProcedureId, body: PNode, graph: ModuleGraph,
let prc = env[id]
if optCursorInference in graph.config.options and
shouldInjectDestructorCalls(prc):
measure("cursor inference")
# TODO: turn cursor inference into a MIR pass and remove this part
computeCursors(prc, body, graph)

Expand Down
Loading