http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54779

--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Results (ms) for SPARKSkein on x86-64 at -O3 -gnatn -gnatp:

Before:
DT_Min is  36
Min    is    15.21
Median is    15.22

After:
DT_Min is  36
Min    is    14.56
Median is    14.58

Reply via email to