On Fri, 20 Sep 2019, Uros Bizjak wrote:
> On Fri, Sep 20, 2019 at 10:32 AM Richard Biener <rguent...@suse.de> wrote:
> >
> > On Fri, 20 Sep 2019, Uros Bizjak wrote:
> >
> > > On Thu, Sep 19, 2019 at 5:43 PM Uros Bizjak <ubiz...@gmail.com> wrote:
> > > >
> > > > On Thu, Sep 19, 2019 at 5:30 PM Richard Biener <rguent...@suse.de>
> > > > wrote:
> > > > >
> > > > >
> > > > > Boostrapped and tested on x86_64-unknown-linux-gnu.
> > > > >
> > > > > OK?
> > > >
> > > > OK.
> > >
> > > Hm, something is not working correctly here. For the testcase, I get:
> > >
> > > main:
> > > vmovq %xmm0, %xmm0
> > > vpxor %xmm1, %xmm1, %xmm1
> > > vpsubq %xmm0, %xmm1, %xmm1
> > > vpmaxsq %xmm1, %xmm0, %xmm0
> > > vmovq %xmm0, %rax
> > > movabsq %rax, .LC0+11532131096
> > > xorl %eax, %eax
> > > ret
> > >
> > > The first insn uses uninitialized reg.
> > >
> > > The _.stv pass misses initialization of r94 reg:
> > >
> > > (note 2 3 7 2 NOTE_INSN_FUNCTION_BEG)
> > > (note 7 2 24 2 NOTE_INSN_DELETED)
> > > (insn 24 7 8 2 (set (subreg:V2DI (reg:DI 93) 0)
> > > (vec_concat:V2DI (reg:DI 94)
> > > (const_int 0 [0]))) "pr67271.c":11:17 -1
> > > (nil))
> >
> > Hmm, it emits the instruction in the wrong spot for the caller
> >
> > emit_insn_before (gen_rtx_SET (gen_rtx_SUBREG (vmode, tmp, 0),
> > gen_gpr_to_xmm_move_src (vmode,
> > *op)),
> > insn);
> >
> > we can do the following which I am testing now.
>
> How about the attached patch? The only place we process memory operand
> is from convert_op (see the function comment), and by using
> gen_rtx_SET directly, we can still generate MOVABS, which is otherwise
> split by using emit_move_insn.
>
> Can you please test the attached patch instead?
Bootstrapped and tested on x86_64-unknown-linux-gnu, OK?
Thanks,
Richard.
2019-09-20 Richard Biener <rguent...@suse.de>
Uros Bizjak <ubiz...@gmail.com>
PR target/91814
* config/i386/i386-features.c (gen_gpr_to_xmm_move_src): Revert
previous change.
(general_scalar_chain::convert_op): Force not suitable memory
operands to a register.
Index: gcc/config/i386/i386-features.c
===================================================================
--- gcc/config/i386/i386-features.c (revision 275995)
+++ gcc/config/i386/i386-features.c (working copy)
@@ -668,8 +668,6 @@ scalar_chain::emit_conversion_insns (rtx
static rtx
gen_gpr_to_xmm_move_src (enum machine_mode vmode, rtx gpr)
{
- if (!nonimmediate_operand (gpr, GET_MODE_INNER (vmode)))
- gpr = force_reg (GET_MODE_INNER (vmode), gpr);
switch (GET_MODE_NUNITS (vmode))
{
case 1:
@@ -835,6 +833,15 @@ general_scalar_chain::convert_op (rtx *o
{
rtx tmp = gen_reg_rtx (GET_MODE (*op));
+ /* Handle movabs. */
+ if (!memory_operand (*op, GET_MODE (*op)))
+ {
+ rtx tmp2 = gen_reg_rtx (GET_MODE (*op));
+
+ emit_insn_before (gen_rtx_SET (tmp2, *op), insn);
+ *op = tmp2;
+ }
+
emit_insn_before (gen_rtx_SET (gen_rtx_SUBREG (vmode, tmp, 0),
gen_gpr_to_xmm_move_src (vmode, *op)),
insn);
