https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119689
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |vmakarov at gcc dot gnu.org
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
With additional --param min-nondebug-insn-uid=10000 -da I see already in the
reload pass the 10000+ insn uids getting out of sync:
deleting insn with uid = 17945.
- Considering alt=0 of insn 12915: (0) =r (1) 0
- 1 Matching alt: reject+=2
- 1 Operand reload: losers++
- overall=8,losers=1,rld_nregs=1
- Considering alt=1 of insn 12915: (0) ?r (1) rm
- Staticly defined alt reject+=6
- overall=0,losers=0,rld_nregs=0
- 18078: r2751:DI=r711:DI
- REG_DEAD r711:DI
- Inserting rematerialization insn before:
- 18647: r2751:DI=zero_extend(r771:SI)
-
-deleting insn with uid = 18078.
...
-(note 12930 18077 12931 407 NOTE_INSN_DELETED)
-(insn 12931 12930 18647 407 (parallel [
+(note 12930 18077 2798 407 NOTE_INSN_DELETED)
+(debug_insn 2798 12930 2799 407 (debug_marker)
"/space/rguenther/src/gcc-clean/gcc/sreal.h":219:3 -1
+ (nil))
+(debug_insn 2799 2798 12931 407 (debug_marker)
"/space/rguenther/src/gcc-clean/gcc/sreal.h":222:5 -1
+ (nil))
+(insn 12931 2799 18078 407 (parallel [
(set (reg:SI 2 cx [orig:1444 shift_1449 ] [1444])
(plus:SI (reg:SI 2 cx [1438])
(const_int -34 [0xffffffffffffffde])))
(clobber (reg:CC 17 flags))
]) "/space/rguenther/src/gcc-clean/gcc/sreal.h":205:39 discrim 1 283
{*addsi_1}
(nil))
-(insn 18647 12931 18078 407 (set (reg:DI 0 ax [orig:1445 sig_1450 ] [1445])
- (zero_extend:DI (reg:SI 5 di [orig:771 _1682 ] [771])))
"/space/rguenther/src/gcc-clean/gcc/sreal.h":208:7 175 {*zero_extendsidi2}
+(insn 18078 12931 12932 407 (set (reg:DI 0 ax [orig:1445 sig_1450 ] [1445])
+ (mem/c:DI (plus:SI (reg/f:SI 6 bp)
+ (const_int -720 [0xfffffffffffffd30])) [933 %sfp+-696 S8
A64])) "/space/rguenther/src/gcc-clean/gcc/sreal.h":208:7 95 {*movdi_internal}
(nil))
-(note 18078 18647 12932 407 NOTE_INSN_DELETED)
