We need to sanitize operands to fit insn predicates. 2019-01-21 Uroš Bizjak <ubiz...@gmail.com>
PR target/88938 * config/i386/i386.c (ix86_expand_builtin) [case IX86_BUILTIN_BEXTRI32, case IX86_BUILTIN_BEXTRI64]: Sanitize operands. testsuite/ChangeLog: 2019-01-21 Uroš Bizjak <ubiz...@gmail.com> PR target/88938 * gcc.target/i386/pr88938.c: New test. Bootstrapped and regression tested on x86_64-linux-gnu {,-m32}. Committed to mainline, will be backported to release branches. Uros.
Index: config/i386/i386.c =================================================================== --- config/i386/i386.c (revision 268116) +++ config/i386/i386.c (working copy) @@ -37215,6 +37215,16 @@ ix86_expand_builtin (tree exp, rtx target, rtx sub unsigned char lsb_index = INTVAL (op1) & 0xFF; op1 = GEN_INT (length); op2 = GEN_INT (lsb_index); + + mode1 = insn_data[icode].operand[1].mode; + if (!insn_data[icode].operand[1].predicate (op0, mode1)) + op0 = copy_to_mode_reg (mode1, op0); + + mode0 = insn_data[icode].operand[0].mode; + if (target == 0 + || !register_operand (target, mode0)) + target = gen_reg_rtx (mode0); + pat = GEN_FCN (icode) (target, op0, op1, op2); if (pat) emit_insn (pat); Index: testsuite/gcc.target/i386/pr88938.c =================================================================== --- testsuite/gcc.target/i386/pr88938.c (nonexistent) +++ testsuite/gcc.target/i386/pr88938.c (working copy) @@ -0,0 +1,5 @@ +/* PR target/88938 */ +/* { dg-do compile } */ +/* { dg-options "-Og -fno-tree-ccp -fno-tree-fre -mtbm" } */ + +#include "tbm-bextri-1.c"