[Bug target/46254] ICE: in find_reloads, at reload.c:3806 (unable to generate reloads) with -fPIC -mcmodel={medium|large} and __sync_val_compare_and_swap

["uros at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46254

--- Comment #1 from uros at gcc dot gnu.org 2012-08-27 21:13:13 UTC ---
Author: uros
Date: Mon Aug 27 21:13:07 2012
New Revision: 190732

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=190732
Log:
    PR target/46254
    * config/i386/predicates.md (cmpxchg8b_pic_memory_operand): Return
    true for TARGET_64BIT or !flag_pic.
    * config/i386/sync.md (*atomic_compare_and_swap_doubledi_pic): Remove.
    (atomic_compare_and_swap_double<mode>): Change operand 2 predicate
    to cmpxchg8b_pic_memory_operand.  Use DWIH mode iterator.
    Add insn constraint.  Conditionally emit xchg asm insns.
    (atomic_compare_and_swap<mode>): Update calls.  Check only
    cmpxchg8b_pic_memory_operand in memory address fixup.
    (DCASMODE): Remove.
    (CASHMODE): Rename from DCASHMODE.
    (doublemodesuffix): Update modes.
    (regprefix): New mode attribute.

    (unspecv) <UNSPECV_CMPXCHG_{1,2,3,4}>: Remove.
    <UNSPECV_CMPXCHG>: New constant.
    (atomic_compare_and_swap<mode>_1): Rename from
    atomic_compare_and_swap_single<mode>.  Update calls and
    unspec_volatile constants.
    (atomic_compare_and_swap<mode>_doubleword): Rename from
    atomic_compare_and_swap_double<mode>.  Update calls and
    unspec_volatile constants.

testsuite/ChangeLog:

    PR target/46254
    * gcc.target/i386/pr46254.c: New test.


Added:
    trunk/gcc/testsuite/gcc.target/i386/pr46254.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/i386/predicates.md
    trunk/gcc/config/i386/sync.md
    trunk/gcc/testsuite/ChangeLog