additional branch-prediction heuristic

Geert Bosch bosch@gnat.com
Fri Apr 21 04:35:00 GMT 2000


On Thu, 20 Apr 2000 12:47:05 -0700, Zack Weinberg wrote:
  This adds a new predictor which causes -freorder-blocks to transform
    if (condition) abort();

Great! If I understand this correctly, the patch will work in all cases
where a noreturn function is called? This would be a great benefit
for Ada, where range checking emits calls in the form

   if (range_check_fails) then
      raise_exception (constraint_error, file, line);
   end if;

I'll try this out ASAP! :-)

   Geert






More information about the Gcc-patches mailing list