diff options
| author | Alasdair Armstrong | 2019-03-19 14:51:09 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-19 15:42:20 +0000 |
| commit | 185d179372ce91428b800b877ffaa2b680d78722 (patch) | |
| tree | 1e2a6a37bb641bd47eaef2912f0b8e653aa3e25f /src/jib/c_backend.mli | |
| parent | 8274676f14f92438ae8d6707bce49ba599811421 (diff) | |
C: Inlining support
Add a function Jib_optimize.inline which can inline functions. To make
this more efficient, we can make identifiers unique on a per-function
basis.
Diffstat (limited to 'src/jib/c_backend.mli')
0 files changed, 0 insertions, 0 deletions