[Bug target/90620] Microblaze: ICE similar to bug 16267

[Bug target/90620] Microblaze: ICE similar to bug 16267

[pinskia at gcc dot gnu.org]

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

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

src/proto_htx.c:463:1: error: VOIDmode on an output
 }
 ^
(insn 1768 4216 1773 339 (parallel [
            (reg:SI 5 r5 [1471])
            (const_int 0 [0])
            (mem/v:SI (reg/f:SI 8 r8 [orig:696 _1126 ] [696]) [-1  S4 A32])
            (reg:SI 3 r3 [orig:701 _1133 ] [701])
            (reg:SI 1469)
            (const_int 0 [0])
            (const_int 0 [0])
            (const_int 0 [0])
            (clobber (scratch:SI))
        ]) "include/proto/freq_ctr.h":82 85 {atomic_compare_and_swapsi}
     (expr_list:REG_DEAD (reg:SI 1470)
        (nil)))
src/proto_htx.c:463:1: internal compiler error: in do_output_reload, at
reload1.c:7978

[Bug target/90620] Microblaze: ICE similar to bug 16267

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2022-10-31
           Keywords|                            |ra
             Status|UNCONFIRMED                 |WAITING
     Ever confirmed|0                           |1

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

  [(match_operand:SI 0 "register_operand" "=&d")        ;; bool output
   (match_operand:SI 1 "register_operand" "=&d")        ;; val output
   (match_operand:SI 2 "nonimmediate_operand" "+Q")     ;; memory
   (match_operand:SI 3 "register_operand" "d")          ;; expected value
   (match_operand:SI 4 "register_operand" "d")          ;; desired value
   (match_operand:SI 5 "const_int_operand" "")          ;; is_weak
   (match_operand:SI 6 "const_int_operand" "")          ;; mod_s
   (match_operand:SI 7 "const_int_operand" "")          ;; mod_f
   (clobber (match_scratch:SI 8 "=&d"))]


"d" is:
(define_register_constraint "d" "GR_REGS"
  "A general register.")


So this should work. someone will have to debug this further to see why it is
not.

Can someone please test a newer compiler and if it still happens attach the
preprocessed source?

[Bug target/90620] Microblaze: ICE similar to bug 16267

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|---                         |INVALID

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
No feedback in 1.5 years and there is no way to reproduce it so closing as
invalid.

[Bug target/90620] Microblaze: ICE similar to bug 16267

[giulio.benetti at benettiengineering dot com]

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

Giulio Benetti <giulio.benetti at benettiengineering dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|INVALID                     |FIXED

--- Comment #5 from Giulio Benetti <giulio.benetti at benettiengineering dot com> ---
Hello Andrew,

I've just rebuilt all the affected packages:
- qt5base
- qt5xmlpatterns

while haproxy has a dependency on SYNC_1 so it won't be built anymore
on Microblaze.

And everything built well with gcc:
- 11.4.0
- 12.3.0
- 13.2.0

So I can confirm the bug has been fixed and I'm going to remove the bug from
Buildroot.

Thank you and
best regards