diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2017-08-18 23:50:34 +0000 |
|---|---|---|
| committer | David Malcolm <dmalcolm@gcc.gnu.org> | 2017-08-18 23:50:34 +0000 |
| commit | 519d0798689cc68bfb27658c6f91ac3e07c04517 (patch) | |
| tree | cc81ac395b2f465a9ba04bcf927d4703f1e0d7e6 /gcc/tree-nested.h | |
| parent | b1eb28d14049e19baf772e6052a3cc388e85bd51 (diff) | |
| download | gcc-519d0798689cc68bfb27658c6f91ac3e07c04517.zip gcc-519d0798689cc68bfb27658c6f91ac3e07c04517.tar.gz gcc-519d0798689cc68bfb27658c6f91ac3e07c04517.tar.bz2 | |
jit: make simpler reproducers
The C reproducers generated by gcc_jit_context_dump_reproducer_to_file
contain numerous pointer values (from %p) to ensure uniqueness of the
identifiers, but this makes them less readable than they could be.
This patch updates reproducer::make_identifier so that the pointer
is only added if it's necessary for uniqueness.
gcc/jit/ChangeLog:
* jit-recording.c (class gcc::jit::reproducer): Rename field
"m_identifiers" to "m_map_memento_to_identifier". Add field
"m_set_identifiers" and struct hash_traits for it.
(gcc::jit::reproducer::reproducer): Update for above.
(convert_to_identifier): New function.
(gcc::jit::reproducer::ensure_identifier_is_unique): New method.
(gcc::jit::reproducer::make_identifier): Avoid appending the %p
unless necessary for uniqueness. Update for field renaming.
(gcc::jit::reproducer::get_identifier): Update for field renaming.
From-SVN: r251191
Diffstat (limited to 'gcc/tree-nested.h')
0 files changed, 0 insertions, 0 deletions