search

kframework / c-semantics

Semantics of C in K
Other
303 stars 40 forks source link

Reduce the cparser memory usage #627

Closed virgil-serbanuta closed 4 years ago

virgil-serbanuta commented 4 years ago

The stats below are for a 72MB input file:

Before this change: Memory used: 44,5G Time: 2m 59s

After this change: Memory used: 6G Time: 3m 22s

dwightguth commented 4 years ago

Six gigabytes still seems high, but this is a massive improvement. I assume you tested that it generates the exact same AST?

virgil-serbanuta commented 4 years ago

Yes, it's the same AST for the 72G file. I didn't test on other files.