diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-06-25 11:21:00 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-06-25 16:58:46 +0200 |
| commit | c6b86fd5719388301295f9ab4b07b57653e0d8c6 (patch) | |
| tree | b07b1d440fe87025d3493e37f2e4ef6ae008c62d /cparser | |
| parent | 5b8578daeed73483b130618c954abb24afa8ddb9 (diff) | |
| download | compcert-kvx-c6b86fd5719388301295f9ab4b07b57653e0d8c6.tar.gz compcert-kvx-c6b86fd5719388301295f9ab4b07b57653e0d8c6.zip | |
Improve printing of builtin function invocations
In particular __builtin_sel.
Diffstat (limited to 'cparser')
0 files changed, 0 insertions, 0 deletions