Notícias

SMTGCC: uma implementação experimental da validação de tradução para GCC

by Auto News Bot 29 de setembro de 2023 300

Mas é útil o suficiente para encontrar bugs no GCC (uma lista parcial de bugs encontrados:
106513,
106523,
106744,
106883,
106884,
106990,
108625,
109626,
110434,
110487,
110495,
110554,
110760,
111257,
111280,
111494).Nesse caso, significa [c = -1776232725, a = 2128329002, b = 103540242]).NOTA: O SMTGCC-CHECK-REFINA funciona no IR do SSA Pass, ou seja, cedo o suficiente para que o compilador não tenha feito muitas otimizações.Mas o GCC faz otimizações do Peephole anteriormente (mesmo na compilação como -o0), por isso precisamos impedir que isso aconteça ao testar essas otimizações.As otimizações pré-gimple são feitas uma declaração por vez, para que possamos desativar a otimização dividindo o padrão otimizado em duas declarações.

Fonte: https://github.com/kristerw/smtgcc