diff options
| author | Prashanth Mundkur | 2018-06-19 15:18:54 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-06-19 15:18:54 -0700 |
| commit | e63f1441cb17407a4adc696324f71d6c3800a911 (patch) | |
| tree | fbfe337b6bd9736825d4cabb324d36f98184ac8e /lib | |
| parent | a03d5dfa7e220b2be9455480672c8b00a2e4fec2 (diff) | |
Minor optimization in ocaml_backend to use ints instead of strings for Big_int literals.
Improves tests/riscv duration by around 2% and size of riscv.o by 15%.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions