[Bug ada/96344] 3rdd case of gnat.dg/opt86a.adb fails

ebotcazou at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Fri Jul 31 15:53:19 GMT 2020


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96344

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[11 regerssion]             |3rdd case of
                   |gnat.dg/opt86a.adb fails    |gnat.dg/opt86a.adb fails
                   |starting with r11-1675      |
   Target Milestone|11.0                        |---
   Last reconfirmed|                            |2020-07-31
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
           Severity|normal                      |enhancement

--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
I can reproduce: the third optimization does not work

  <bb 22> [local count: 1070914630]:
  if (_40 == 1)
    goto <bb 24>; [0.04%]
  else
    goto <bb 23>; [99.96%]

  <bb 23> [local count: 1070486265]:
  _65 = s3_41 + 252;
  _73 = _65 & 251;
  if (_73 == 0)
    goto <bb 24>; [0.04%]
  else
    goto <bb 25>; [99.96%]

  <bb 24> [local count: 1284581]:
  .gnat_rcheck_PE_Explicit_Raise ("opt86a.adb", 27);

but that's not a regression, just a missed optimization.


More information about the Gcc-bugs mailing list