Intermediate representation of Koka before compiling to C backend #478
swarnpriya
started this conversation in
General
Replies: 1 comment 1 reply
-
Core is the IR |
Beta Was this translation helpful? Give feedback.
1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hi,
Is there an intermediate language (IR) of Koka before it is compiled to C? I would like to do some program analysis on the koka program and see things like constant-propagation / constant-folding etc. Or is it that all the optimisations are handled by the backend compiler?
For example: I want to ensure that division by 0 (static values) never occurs and the koka program is accepted only when we are sure that the divisor in non-zero. If there was an IR then I could write a pass like constant-propagation and do program analysis to find that divisor is never zero.
Beta Was this translation helpful? Give feedback.
All reactions