On Wed, Jul 27, 2011 at 6:14 AM, H.J. Lu <hongjiu...@intel.com> wrote:
> For x32, movabs is only supported with register and constant operands.
> OK for trunk?
As said on the PR49798, assembler should handle R_X86_64_64 relocations
Anyway, the x86_64_movabs_operand predicate can be simplified to
clearly show what it does.
2011-07-27 Uros Bizjak <ubiz...@gmail.com>
* config/i386/predicates.md (x86_64_movabs_operand): Reject
pic32_bit_opreand operands.
* config/i386/i386.c (ix86_expand_move): Check x86_64_movabs_operand
in DImode.
Testing on x86_64-pc-linux-gnu in progress.
Uros.
Index: predicates.md
===================================================================
--- predicates.md (revision 176816)
+++ predicates.md (working copy)
@@ -389,15 +389,10 @@
return symbolic_operand (op, mode);
})
-
;; Return true if OP is nonmemory operand acceptable by movabs patterns.
(define_predicate "x86_64_movabs_operand"
- (if_then_else (not (and (match_test "TARGET_64BIT")
- (match_test "flag_pic")))
- (match_operand 0 "nonmemory_operand")
- (ior (match_operand 0 "register_operand")
- (and (match_operand 0 "const_double_operand")
- (match_test "GET_MODE_SIZE (mode) <= 8")))))
+ (and (match_operand 0 "nonmemory_operand")
+ (not (match_operand 0 "pic_32bit_operand"))))
;; Return true if OP is either a symbol reference or a sum of a symbol
;; reference and a constant.
Index: i386.c
===================================================================
--- i386.c (revision 176816)
+++ i386.c (working copy)
@@ -15078,7 +15077,7 @@ ix86_expand_move (enum machine_mode mode
{
if (MEM_P (op0))
op1 = force_reg (mode, op1);
- else if (!TARGET_64BIT || !x86_64_movabs_operand (op1, mode))
+ else if (!(TARGET_64BIT && x86_64_movabs_operand (op1, DImode)))
{
rtx reg = can_create_pseudo_p () ? NULL_RTX : op0;
op1 = legitimize_pic_address (op1, reg);
