http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56791
Bug #: 56791 Summary: Segmentation fault in stage2 gengenrtl -- Incorrect instruction sequence generated by reload Classification: Unclassified Product: gcc Version: 4.8.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: middle-end AssignedTo: unassig...@gcc.gnu.org ReportedBy: dang...@gcc.gnu.org Host: hppa1.1-hp-hp10.20 Target: hppa1.1-hp-hp10.20 Build: hppa1.1-hp-hp10.20 Created attachment 29757 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29757 Preprocessed source /xxx/gnu/gcc/objdir/./prev-gcc/xg++ -B/xxx/gnu/gcc/objdir/./prev-gcc/ -B/opt/gnu/gcc/gcc-4.8/hppa1.1-hp-hpux10.20/bin/ -nostdinc++ -B/xxx/gnu/gcc/objdir/prev-hppa1.1-hp-hpux10.20/libstdc++-v3/src/.libs -B/xxx/gnu/gcc/objdir/prev-hppa1.1-hp-hpux10.20/libstdc++-v3/libsupc++/.libs -I/xxx/gnu/gcc/objdir/prev-hppa1.1-hp-hpux10.20/libstdc++-v3/include/hppa1.1-hp-hpux10.20 -I/xxx/gnu/gcc/objdir/prev-hppa1.1-hp-hpux10.20/libstdc++-v3/include -I/xxx/gnu/gcc/gcc/libstdc++-v3/libsupc++ -L/xxx/gnu/gcc/objdir/prev-hppa1.1-hp-hpux10.20/libstdc++-v3/src/.libs -L/xxx/gnu/gcc/objdir/prev-hppa1.1-hp-hpux10.20/libstdc++-v3/libsupc++/.libs -g -O2 -DIN_GCC -fno-exceptions -fno-rtti -fasynchronous-unwind-tables -W -Wall -Wno-narrowing -Wwrite-strings -Wcast-qual -Wmissing-format-attribute -pedantic -Wno-long-long -Wno-variadic-macros -Wno-overlength-strings -DHAVE_CONFIG_H -DGENERATO R_FILE -static-libstdc++ -static-libgcc -o build/gengenrtl \ build/gengenrtl.o build/errors.o .././libiberty/libiberty.a build/gengenrtl > tmp-genrtl.h /bin/sh: 9799 Memory fault(coredump) make[3]: *** [s-genrtl-h] Error 139 In the generated assembly code, the fault occurs in the ldw instruction using register %r19. .CALL ARGW0=GR bl puts,%r2 ldo RR'L$C0034(%r26),%r26 L$BE0063: L$BE0067: .stabn 68,0,270,L$M0084-L$FBB0002 L$M0084: ldw 0(%r19),%r20 ldws,ma 4(%r20),%r4 %r19 is clobbered by the preceding call to puts. The problem occurs in reload. Prior to reload, we have the following for insn 448: (insn 448 447 450 57 (set (reg/v/f:SI 242 [ format ]) (mem/f:SI (post_inc:SI (reg/f:SI 243 [ ivtmp.101 ])) [3 MEM[base: _104, offset: 0B]+0 S4 A32])) ../../gcc/gcc/gengenrtl.c:270 40 {*pa.md:2211} (expr_list:REG_INC (reg/f:SI 243 [ ivtmp.101 ]) (nil))) After reload, we have: (call_insn 447 446 1092 57 (parallel [ (set (reg:SI 28 %r28) (call (mem:SI (symbol_ref/v:SI ("@puts") [flags 0x41] <function _decl 7ae76100 __builtin_puts>) [0 __builtin_puts S4 A32]) (const_int 16 [0x10]))) (clobber (reg:SI 1 %r1)) (clobber (reg:SI 2 %r2)) (use (const_int 0 [0])) ]) ../../gcc/gcc/gengenrtl.c:247 203 {call_val_symref} (nil) (expr_list:REG_CC_SETTER (use (reg:SI 26 %r26)) (nil))) (insn 1092 447 1091 57 (set (reg:SI 20 %r20) (mem/c:SI (reg:SI 19 %r19) [7 %sfp+8 S4 A32])) ../../gcc/gcc/gengenrtl.c :270 40 {*pa.md:2211} (nil)) (insn 1091 1092 448 57 (set (reg:SI 19 %r19) (plus:SI (reg/f:SI 30 %r30) (const_int -120 [0xffffff88]))) ../../gcc/gcc/gengenrtl.c:270 112 {a ddsi3} (nil)) (insn 448 1091 1093 57 (set (reg/v/f:SI 4 %r4 [orig:242 format ] [242]) (mem/f:SI (post_inc:SI (reg:SI 20 %r20)) [3 MEM[base: _104, offset: 0B]+0 S4 A32])) ../../gcc/gcc/gengenrtl.c:270 40 {*pa.md:2211} (expr_list:REG_INC (reg:SI 20 %r20) (nil))) Insns 1091 and 1092 are interchanged. I'm not sure but there appears to be special handling for increment instructions here: if (old != 0 /* AUTO_INC reloads need to be handled even if inherited. We got an AUTO_INC reload if reload_out is set but reload_out_reg isn't. */ && (! reload_inherited[j] || (rl->out && ! rl->out_reg)) && ! rtx_equal_p (reg_rtx, old) && reg_rtx != 0) emit_input_reload_insns (chain, rld + j, old, j); emit_input_reload_insns is called from the above after insn 1091 is emitted. Can reproduce on i686-apple-darwin9. Probably, this affects other hppa targets. Compilation command: -fpreprocessed gengenrtl.ii -quiet -dumpbase gengenrtl.c -mschedule=7100LC -auxbase-strip build/gengenrtl.o -g -O2 -Wextra -Wall -Wno-narrowing -Wwrite-strings -Wcast-qual -Wsuggest-attribute=format -Wpedantic -Wno-long-long -Wno-variadic-macros -Wno-overlength-strings -version -fno-exceptions -fno-rtti -fasynchronous-unwind-tables -o gengenrtl.s