[Bug target/78791] New: [7.0 regression] ACATS cxf2001 failure

[ebotcazou at gcc dot gnu.org]

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

            Bug ID: 78791
           Summary: [7.0 regression] ACATS cxf2001 failure
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ebotcazou at gcc dot gnu.org
  Target Milestone: ---
            Target: ix86-*-*

Created attachment 40320
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40320&action=edit
Self-contained testcase

ACATS cxf2001 fails on 32-bit x86 because Double_Divide of s-arit64.adb is
miscompiled at -O2 by the STV pass.  Self-contained testcase to be attached.

eric@polaris:~/build/gcc/native> gnatchop adatest.txt 
splitting adatest.txt into:
   opt61.adb
   opt61_pkg.ads
   opt61_pkg.adb
eric@polaris:~/build/gcc/native> gnatmake opt61 -O2 -m32
gcc -c -O2 -m32 --RTS=32 opt61.adb
gcc -c -O2 -m32 --RTS=32 opt61_pkg.adb
gnatbind --RTS=32 -x opt61.ali
gnatlink opt61.ali -O2 -m32
eric@polaris:~/build/gcc/native> ./opt61 

raised PROGRAM_ERROR : opt61.adb:19 explicit raise

The testcase can be added to the gnat.dg testsuite as-is.