diff options
| -rw-r--r-- | gcc/ChangeLog | 114 | ||||
| -rw-r--r-- | gcc/config/i386/i386.md | 36 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 11 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/i386/pr59874-1.c | 2 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/i386/pr59874-2.c | 2 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/i386/pr81015.c | 21 |
6 files changed, 94 insertions, 92 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 697ed16..d5b003e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,13 @@ +2017-06-08 Uros Bizjak <ubizjak@gmail.com> + + PR target/81015 + Revert: + 2016-12-14 Uros Bizjak <ubizjak@gmail.com> + + PR target/59874 + * config/i386/i386.md (*ctzhi2): New insn_and_split pattern. + (*clzhi2): Ditto. + 2017-06-08 Jan Hubicka <hubicka@ucw.cz> * predict.c (unlikely_executed_edge_p): Move ahead. @@ -183,15 +193,15 @@ built-in functions was implemented as int not long long. Fix sign of return value for the unsigned version of vec_mulo and vec_mule. vector unsigned long long vec_bperm (vector unsigned long long, - vector unsigned char) + vector unsigned char) vector signed long long vec_mule (vector signed int, - vector signed int) + vector signed int) vector unsigned long long vec_mule (vector unsigned int, - vector unsigned int) + vector unsigned int) vector signed long long vec_mulo (vector signed int, - vector signed int) + vector signed int) vector unsigned long long vec_mulo (vector unsigned int, - vector unsigned int) + vector unsigned int) * doc/extend.texi: Fix the documentation for the built-in functions. @@ -543,26 +553,26 @@ 2017-06-06 Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> - * tree-ssa-loop-prefetch.c (struct mem_ref_group, struct mem_ref): - New "uid" fields to hold pretty-print IDs of group and ref. - Memory references are now identified as <group_id>:<ref_id> - instead of using [random] addresses. - (dump_mem_details): Simplify, no functional change. - (dump_mem_ref): Simplify and make output more concise. - Replace couple of fprintf's throughout code with calls to dump_mem_ref. - (find_or_create_group): Initialize group uid. - (record_ref): Initialize ref uid. Improve debug output. - (prune_group_by_reuse, should_issue_prefetch_p,) - (should_issue_prefetch_p, schedule_prefetches, issue_prefetch_ref,) - (mark_nontemporal_store, determine_loop_nest_reuse): - Improve debug output. + * tree-ssa-loop-prefetch.c (struct mem_ref_group, struct mem_ref): + New "uid" fields to hold pretty-print IDs of group and ref. + Memory references are now identified as <group_id>:<ref_id> + instead of using [random] addresses. + (dump_mem_details): Simplify, no functional change. + (dump_mem_ref): Simplify and make output more concise. + Replace couple of fprintf's throughout code with calls to dump_mem_ref. + (find_or_create_group): Initialize group uid. + (record_ref): Initialize ref uid. Improve debug output. + (prune_group_by_reuse, should_issue_prefetch_p,) + (should_issue_prefetch_p, schedule_prefetches, issue_prefetch_ref,) + (mark_nontemporal_store, determine_loop_nest_reuse): + Improve debug output. 2017-06-06 Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> - * dbgcnt.def (prefetch): New debug counter. - * tree-ssa-loop-prefetch.c (dbgcnt.h): New include. - (schedule_prefetches): Stop issueing prefetches if debug counter - tripped. + * dbgcnt.def (prefetch): New debug counter. + * tree-ssa-loop-prefetch.c (dbgcnt.h): New include. + (schedule_prefetches): Stop issueing prefetches if debug counter + tripped. 2017-06-06 Tom de Vries <tom@codesourcery.com> @@ -1233,9 +1243,9 @@ 2017-05-31 Sebastian Peryt <sebastian.peryt@intel.com> * config/i386/avx512fintrin.h (_mm_mask_max_sd) - (_mm_maskz_max_sd, _mm_mask_max_ss, _mm_maskz_max_ss) - (_mm_mask_min_sd, _mm_maskz_min_sd, _mm_mask_min_ss) - (_mm_maskz_min_ss): New intrinsics. + (_mm_maskz_max_sd, _mm_mask_max_ss, _mm_maskz_max_ss) + (_mm_mask_min_sd, _mm_maskz_min_sd, _mm_mask_min_ss) + (_mm_maskz_min_ss): New intrinsics. 2017-05-31 Martin Liska <mliska@suse.cz> @@ -2438,39 +2448,39 @@ * config/rs6000/rs6000-c: Add support for built-in functions vector unsigned long long vec_bperm (vector unsigned long long, - vector unsigned char) + vector unsigned char) vector signed long long vec_mule (vector signed int, - vector signed int) + vector signed int) vector unsigned long long vec_mule (vector unsigned int, - vector unsigned int) + vector unsigned int) vector signed long long vec_mulo (vector signed int, - vector signed int) + vector signed int) vector unsigned long long vec_mulo (vector unsigned int, - vector unsigned int) + vector unsigned int) vector signed char vec_sldw (vector signed char, - vector signed char, - const int) + vector signed char, + const int) vector unsigned char vec_sldw (vector unsigned char, - vector unsigned char, - const int) + vector unsigned char, + const int) vector signed short vec_sldw (vector signed short, - vector signed short, - const int) + vector signed short, + const int) vector unsigned short vec_sldw (vector unsigned short, - vector unsigned short, - const int) + vector unsigned short, + const int) vector signed int vec_sldw (vector signed int, - vector signed int, - const int) + vector signed int, + const int) vector unsigned int vec_sldw (vector unsigned int, - vector unsigned int, - const int) + vector unsigned int, + const int) vector signed long long vec_sldw (vector signed long long, - vector signed long long, - const int) + vector signed long long, + const int) vector unsigned long long vec_sldw (vector unsigned long long, - vector unsigned long long, - const int) + vector unsigned long long, + const int) * config/rs6000/rs6000-c: Add support for built-in functions * config/rs6000/rs6000-builtin.def: Add definition for SLDW. * config/rs6000/altivec.h: Add defintion for vec_sldw. @@ -3562,12 +3572,12 @@ 2017-05-10 Carl Love <cel@us.ibm.com> * config/rs6000/rs6000-c: Add support for built-in functions - vector signed char vec_neg (vector signed char) - vector signed short int vec_neg (vector short int) - vector signed int vec_neg (vector signed int) - vector signed long long vec_neg (vector signed long long) - vector float vec_neg (vector float) - vector double vec_neg (vector double) + vector signed char vec_neg (vector signed char) + vector signed short int vec_neg (vector short int) + vector signed int vec_neg (vector signed int) + vector signed long long vec_neg (vector signed long long) + vector float vec_neg (vector float) + vector double vec_neg (vector double) * config/rs6000/rs6000-builtin.def: Add definitions for NEG function overload. * config/rs6000/altivec.h: Add define for vec_neg diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md index a2a163a..adc13a9 100644 --- a/gcc/config/i386/i386.md +++ b/gcc/config/i386/i386.md @@ -12762,24 +12762,6 @@ (set_attr "znver1_decode" "vector") (set_attr "mode" "<MODE>")]) -(define_insn_and_split "*ctzhi2" - [(set (match_operand:SI 0 "register_operand") - (ctz:SI - (zero_extend:SI (match_operand:HI 1 "nonimmediate_operand")))) - (clobber (reg:CC FLAGS_REG))] - "TARGET_BMI - && can_create_pseudo_p ()" - "#" - "&& 1" - [(const_int 0)] -{ - rtx tmp = gen_reg_rtx (HImode); - - emit_insn (gen_tzcnt_hi (tmp, operands[1])); - emit_insn (gen_zero_extendhisi2 (operands[0], tmp)); - DONE; -}) - (define_insn_and_split "ctz<mode>2" [(set (match_operand:SWI48 0 "register_operand" "=r") (ctz:SWI48 @@ -12899,24 +12881,6 @@ operands[2] = GEN_INT (GET_MODE_BITSIZE (<MODE>mode)-1); }) -(define_insn_and_split "*clzhi2" - [(set (match_operand:SI 0 "register_operand") - (clz:SI - (zero_extend:SI (match_operand:HI 1 "nonimmediate_operand")))) - (clobber (reg:CC FLAGS_REG))] - "TARGET_LZCNT - && can_create_pseudo_p ()" - "#" - "&& 1" - [(const_int 0)] -{ - rtx tmp = gen_reg_rtx (HImode); - - emit_insn (gen_lzcnt_hi (tmp, operands[1])); - emit_insn (gen_zero_extendhisi2 (operands[0], tmp)); - DONE; -}) - (define_insn_and_split "clz<mode>2_lzcnt" [(set (match_operand:SWI48 0 "register_operand" "=r") (clz:SWI48 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1a3a4bb..4708112 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,10 @@ +2017-06-08 Uros Bizjak <ubizjak@gmail.com> + + PR target/81015 + * gcc.target/i386/pr59874-1.c (foo): Call __builtin_ctzs. + * gcc.target/i386/pr59874-2.c (foo): Call __builtin_clzs. + * gcc.target/i386/pr81015.c: New test. + 2017-06-08 Tom de Vries <tom@codesourcery.com> * gcc.c-torture/compile/930506-2.c: Use dg-require-effective-target @@ -488,8 +495,8 @@ 2017-05-31 Steven Munroe <munroesj@gcc.gnu.org> * gcc.target/powerpc/bmi2-pdep32-1.c: Add -mcpu=power7 to - dg-options. Change dg-require-effective-target powerpc_vsx_ok - to vsx_hw. Add dg-skip-if directive to disable this test if + dg-options. Change dg-require-effective-target powerpc_vsx_ok + to vsx_hw. Add dg-skip-if directive to disable this test if -mcpu overridden. * gcc.target/powerpc/bmi2-pdep64-1.c: Likewise. * gcc.target/powerpc/bmi2-pext32-1.c: Likewise. diff --git a/gcc/testsuite/gcc.target/i386/pr59874-1.c b/gcc/testsuite/gcc.target/i386/pr59874-1.c index e6a8a06..862cba4 100644 --- a/gcc/testsuite/gcc.target/i386/pr59874-1.c +++ b/gcc/testsuite/gcc.target/i386/pr59874-1.c @@ -6,5 +6,5 @@ unsigned int foo (unsigned short x) { - return x ? __builtin_ctz (x) : 16U; + return x ? __builtin_ctzs (x) : 16U; } diff --git a/gcc/testsuite/gcc.target/i386/pr59874-2.c b/gcc/testsuite/gcc.target/i386/pr59874-2.c index 710aa7a..3b7679f 100644 --- a/gcc/testsuite/gcc.target/i386/pr59874-2.c +++ b/gcc/testsuite/gcc.target/i386/pr59874-2.c @@ -6,5 +6,5 @@ unsigned int foo (unsigned short x) { - return x ? __builtin_clz (x) : 16U; + return x ? __builtin_clzs (x) : 16U; } diff --git a/gcc/testsuite/gcc.target/i386/pr81015.c b/gcc/testsuite/gcc.target/i386/pr81015.c new file mode 100644 index 0000000..92e53f1 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr81015.c @@ -0,0 +1,21 @@ +/* { dg-do run } */ +/* { dg-options "-O2 -mlzcnt" } */ +/* { dg-require-effective-target lzcnt } */ + +#include "lzcnt-check.h" + +int +__attribute__ ((noinline, noclone)) +foo (unsigned short a) +{ + return __builtin_clz (a); +} + +static void +lzcnt_test () +{ + int res = foo (1); + + if (res != 31) + abort (); +} |