[Bug middle-end/47602] Permit inline asm to clobber PIC register

[kyukhin at gcc dot gnu.org]

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

--- Comment #16 from Kirill Yukhin <kyukhin at gcc dot gnu.org> ---
Author: kyukhin
Date: Mon Oct 13 17:26:49 2014
New Revision: 216154

URL: https://gcc.gnu.org/viewcvs?rev=216154&root=gcc&view=rev
Log:

gcc/
    PR target/8340
    PR middle-end/47602
    PR rtl-optimization/55458
    * config/i386/i386.c (ix86_use_pseudo_pic_reg): New.
    (ix86_init_pic_reg): New.
    (ix86_select_alt_pic_regnum): Add check on pseudo register.
    (ix86_save_reg): Likewise.
    (ix86_expand_prologue): Remove PIC register initialization
    now performed in ix86_init_pic_reg.
    (ix86_output_function_epilogue): Add check on pseudo register.
    (set_pic_reg_ever_alive): New.
    (legitimize_pic_address): Replace df_set_regs_ever_live with new
    set_pic_reg_ever_alive.
    (legitimize_tls_address): Likewise.
    (ix86_pic_register_p): New check.
    (ix86_delegitimize_address): Add check on pseudo register.
    (ix86_expand_call): Insert move from pseudo PIC register to ABI
    defined REAL_PIC_OFFSET_TABLE_REGNUM.
    (TARGET_INIT_PIC_REG): New.
    (TARGET_USE_PSEUDO_PIC_REG): New.
    * config/i386/i386.h (PIC_OFFSET_TABLE_REGNUM): Return INVALID_REGNUM
    if pic_offset_table_rtx exists.
    * doc/tm.texi.in (TARGET_USE_PSEUDO_PIC_REG, TARGET_INIT_PIC_REG):
    Document.
    * doc/tm.texi: Regenerate.
    * function.c (assign_parms): Generate pseudo register for PIC.
    * init-regs.c (initialize_uninitialized_regs): Ignor pseudo PIC
    register.
    * ira-color.c (color_pass): Add check on pseudo register.
    * ira-emit.c (change_loop): Don't create copies for PIC pseudo
    register.
    * ira.c (split_live_ranges_for_shrink_wrap): Add check on pseudo
    register.
    (ira): Add target specific PIC register initialization.
    (do_reload): Keep PIC pseudo register.
    * lra-assigns.c (spill_for): Add checks on pseudo register.
    * lra-constraints.c (contains_symbol_ref_p): New.
    (lra_constraints): Enable lra risky transformations when PIC is pseudo
    register.
    * shrink-wrap.c (try_shrink_wrapping): Add check on pseudo register.
    * target.def (use_pseudo_pic_reg): New.
    (init_pic_reg): New.

gcc/testsuite/
    PR target/8340
    PR middle-end/47602
    PR rtl-optimization/55458
    * gcc.target/i386/pic-1.c: Remove dg-error as test should pass now.
    * gcc.target/i386/pr55458.c: Likewise.
    * gcc.target/i386/pr47602.c: New.
    * gcc.target/i386/pr23098.c: Move to XFAIL.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/i386/i386.c
    trunk/gcc/config/i386/i386.h
    trunk/gcc/doc/tm.texi
    trunk/gcc/doc/tm.texi.in
    trunk/gcc/function.c
    trunk/gcc/init-regs.c
    trunk/gcc/ira-color.c
    trunk/gcc/ira-emit.c
    trunk/gcc/ira.c
    trunk/gcc/lra-assigns.c
    trunk/gcc/lra-constraints.c
    trunk/gcc/shrink-wrap.c
    trunk/gcc/target.def
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.target/i386/pic-1.c
    trunk/gcc/testsuite/gcc.target/i386/pr23098.c
    trunk/gcc/testsuite/gcc.target/i386/pr55458.c