[Bug target/64525] New: Duplicate instructions in both paths in conditional code

[Bug target/64525] New: Duplicate instructions in both paths in conditional code

[kugan at gcc dot gnu.org]

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

            Bug ID: 64525
           Summary: Duplicate instructions in both paths in conditional
                    code
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: kugan at gcc dot gnu.org

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

gcc is generating the same instructions down both paths of conditional
execution. For exmaple, in the attached test case.

...
        cmp     r0, #0
        movt    r2, #:upper16:tree_code_length_0
        ldr     r0, [r2]
        movweq  r2, #:lower16:permanent_obstack
        movteq  r2, #:upper16:permanent_obstack
        movwne  r2, #:lower16:permanent_obstack
        moveq   r3, r2
        movtne  r2, #:upper16:permanent_obstack
...

[Bug target/64525] Duplicate instructions in both paths in conditional code

[kugan at gcc dot gnu.org]

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

--- Comment #1 from kugan at gcc dot gnu.org ---
compiler options:
arm-none-linux-gnueabi-gcc -O3 -S test.c


arm-none-linux-gnueabi-gcc -v
Using built-in specs.
COLLECT_GCC=/home/kugan/work/builds/gcc-fsf-gcc/tools/bin/arm-none-linux-gnueabi-gcc
COLLECT_LTO_WRAPPER=/home/kugan/work/builds/gcc-fsf-gcc/tools/libexec/gcc/arm-none-linux-gnueabi/5.0.0/lto-wrapper
Target: arm-none-linux-gnueabi
Configured with: /home/kugan/work/sources/gcc-fsf/gcc/configure
--target=arm-none-linux-gnueabi
--prefix=/home/kugan/work/builds/gcc-fsf-gcc/tools
--with-sysroot=/home/kugan/work/builds/gcc-fsf-gcc/sysroot-arm-none-linux-gnueabi
--disable-libssp --disable-libgomp --disable-libmudflap
--enable-languages=c,c++,fortran --with-arch=armv7-a --with-fpu=vfpv3-d16
--with-float=softfp --with-thumb
Thread model: posix
gcc version 5.0.0 20141203 (experimental) (GCC)

[Bug target/64525] Duplicate instructions in both paths in conditional code

[mkuvyrkov at gcc dot gnu.org]

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

--- Comment #2 from Maxim Kuvyrkov <mkuvyrkov at gcc dot gnu.org> ---
Kugan's work-in-progress patches may fix this one.

[Bug target/64525] Duplicate instructions in both paths in conditional code

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |7.0
      Known to fail|                            |6.3.0
      Known to work|                            |7.1.0

[Bug rtl-optimization/64525] Duplicate instructions in both paths in conditional code

[pinskia at gcc dot gnu.org]

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

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I can't figure out what fixed it in GCC 7.  The gimple level is the same
between 6 and 7 even.

[Bug rtl-optimization/64525] Duplicate instructions in both paths in conditional code

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED

--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed.