diff options
| author | mergify[bot] | 2022-04-12 00:55:14 +0000 |
|---|---|---|
| committer | GitHub | 2022-04-12 00:55:14 +0000 |
| commit | efd474842738444a030fbe7702d58d4a249d6ebc (patch) | |
| tree | 133597f2bed629705b9f09e5b811765010ec2b59 /src | |
| parent | 898142ba05b04fb1602b249fd1ae81baa3f47f89 (diff) | |
Optimize memory use of naming prefixes (#2471) (#2480)
* Use a single field instead of two in HasId (4-bytes per HasId)
* Set the prefix to Nil after setting ref to free up memory
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
(cherry picked from commit 3aa179f0dc1a29403fd25be7d3dc08630976d018)
Co-authored-by: Jack Koenig <koenig@sifive.com>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions