diff options
| author | jsmall-nvidia <jsmall@nvidia.com> | 2018-10-09 15:09:32 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-09 15:09:32 -0400 |
| commit | 60a91d63afab47a172690974c8b566af74072932 (patch) | |
| tree | a5d2d3592618deecbf55f91cca8824600fb12036 /source/core/slang-string-slice-pool.cpp | |
| parent | 7ea9ff03f4fc766f21d5896aea220d17f236dd70 (diff) | |
Added -serial-ir command line option (#664)
* Added -serial-ir option, to make generateIR always serialize in and out before further processing. Testing out serialization, and adding a kind of 'firewall' between compiler front end and backend.
* Reduce peak memory usage, by discarding IR when stored in serialized form.
Typo fix.
Diffstat (limited to 'source/core/slang-string-slice-pool.cpp')
0 files changed, 0 insertions, 0 deletions