From a455baa99483a4f5a1e667f35bf682e3f3071f53 Mon Sep 17 00:00:00 2001 From: Uros Bizjak Date: Thu, 29 Dec 2016 22:41:07 +0100 Subject: [PATCH] re PR target/78904 (zero-extracts are not effective) PR target/78904 * config/i386/i386.md (*extvqi): Remove insn pattern. (divmodqi4): Update expander to generate QImode zero-extract from AH. testsuite/ChangeLog: PR target/78904 * gcc.target/i386/pr78904-6.c: New test. From-SVN: r243968 --- gcc/ChangeLog | 6 +++++ gcc/config/i386/i386.md | 30 ++--------------------- gcc/testsuite/ChangeLog | 5 ++++ gcc/testsuite/gcc.target/i386/pr78904-6.c | 21 ++++++++++++++++ 4 files changed, 34 insertions(+), 28 deletions(-) create mode 100644 gcc/testsuite/gcc.target/i386/pr78904-6.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ae62a53ef01..517c50511d9 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-12-29 Uros Bizjak + + PR target/78904 + * config/i386/i386.md (*extvqi): Remove insn pattern. + (divmodqi4): Update expander to generate QImode zero-extract from AH. + 2016-12-29 Michael Meissner * config/rs6000/rs6000.c (altivec_expand_builtin): Fix typos in diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md index cf9dc03ba8b..0f0bf7a393a 100644 --- a/gcc/config/i386/i386.md +++ b/gcc/config/i386/i386.md @@ -2780,33 +2780,6 @@ [(set_attr "type" "imovx") (set_attr "mode" "SI")]) -(define_insn "*extvqi" - [(set (match_operand:QI 0 "nonimmediate_operand" "=QBc,?R,m") - (sign_extract:QI (match_operand 1 "ext_register_operand" "Q,Q,Q") - (const_int 8) - (const_int 8)))] - "" -{ - switch (get_attr_type (insn)) - { - case TYPE_IMOVX: - return "movs{bl|x}\t{%h1, %k0|%k0, %h1}"; - default: - return "mov{b}\t{%h1, %0|%0, %h1}"; - } -} - [(set_attr "isa" "*,*,nox64") - (set (attr "type") - (if_then_else (and (match_operand:QI 0 "register_operand") - (ior (not (match_operand:QI 0 "QIreg_operand")) - (match_test "TARGET_MOVX"))) - (const_string "imovx") - (const_string "imov"))) - (set (attr "mode") - (if_then_else (eq_attr "type" "imovx") - (const_string "SI") - (const_string "QI")))]) - (define_expand "extzv" [(set (match_operand:SWI248 0 "register_operand") (zero_extract:SWI248 (match_operand:SWI248 1 "register_operand") @@ -7586,7 +7559,8 @@ emit_insn (gen_divmodhiqi3 (tmp0, tmp1, operands[2])); /* Extract remainder from AH. */ - tmp1 = gen_rtx_SIGN_EXTRACT (QImode, tmp0, GEN_INT (8), GEN_INT (8)); + tmp1 = gen_rtx_ZERO_EXTRACT (SImode, tmp0, GEN_INT (8), GEN_INT (8)); + tmp1 = gen_rtx_SUBREG (QImode, tmp1, 0); rtx_insn *insn = emit_move_insn (operands[3], tmp1); mod = gen_rtx_MOD (QImode, operands[1], operands[2]); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 46d47323d69..dc47c623376 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-12-29 Uros Bizjak + + PR target/78904 + * gcc.target/i386/pr78904-6.c: New test. + 2016-12-29 Jakub Jelinek * gcc.target/i386/mpx/memcpy-1.c: Include mpx-check.h. diff --git a/gcc/testsuite/gcc.target/i386/pr78904-6.c b/gcc/testsuite/gcc.target/i386/pr78904-6.c new file mode 100644 index 00000000000..2fad2239a33 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr78904-6.c @@ -0,0 +1,21 @@ +/* PR target/78904 */ +/* { dg-do compile } */ +/* { dg-options "-O2 -masm=att" } */ + +typedef __SIZE_TYPE__ size_t; + +struct S1 +{ + char pad1; + char val; + short pad2; +}; + +extern char t[256]; + +void foo (struct S1 a, size_t i) +{ + t[i] = a.val; +} + +/* { dg-final { scan-assembler "\[ \t\]movb\[\t \]*%.h," } } */ -- 2.30.2