diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-04-15 12:36:31 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-04-15 13:23:33 +0000 |
| commit | b6f969371dc1e824c76636c0d3754a91b55d69b9 (patch) | |
| tree | 92dd3d2c06c03a9247b0da72c1f962841f5dd81d /executor/android | |
| parent | f887b0490140a0c80dd49d2c549ac57ac2adc2b9 (diff) | |
prog: more compact exec encoding for addresses
1. Don't write size/flags for addresses.
2. Write address w/o data offset (fewer bytes in leb128 encoding).
Median exec size shrinks by 25%:
- exec sizes: 10%:584 50%:1423 90%:7076
+ exec sizes: 10%:448 50%:1065 90%:6319
Diffstat (limited to 'executor/android')
0 files changed, 0 insertions, 0 deletions