From: Alexander Ivchenko Date: Mon, 28 Oct 2013 14:40:08 +0000 (+0000) Subject: i386.md (prefetch): Allow TARGET_AVX512PF. X-Git-Tag: releases/gcc-4.9.0~3195 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b868b7cae49515ed5311910be0bc91bce44e47f1;p=thirdparty%2Fgcc.git i386.md (prefetch): Allow TARGET_AVX512PF. * config/i386/i386.md (prefetch): Allow TARGET_AVX512PF. (*prefetch_avx512pf_): New. * config/i386/sse.md (avx512f_vmcmp3): Ditto. (avx512f_maskcmp3): Ditto. (vashrv16si3): Ditto. Co-Authored-By: Andrey Turetskiy Co-Authored-By: Anna Tikhonova Co-Authored-By: Ilya Tocar Co-Authored-By: Ilya Verbin Co-Authored-By: Kirill Yukhin Co-Authored-By: Maxim Kuznetsov Co-Authored-By: Michael Zolotukhin Co-Authored-By: Sergey Lega From-SVN: r204130 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9b43ced922e1..1834b46a2b86 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,19 @@ +2013-10-28 Alexander Ivchenko + Maxim Kuznetsov + Sergey Lega + Anna Tikhonova + Ilya Tocar + Andrey Turetskiy + Ilya Verbin + Kirill Yukhin + Michael Zolotukhin + + * config/i386/i386.md (prefetch): Allow TARGET_AVX512PF. + (*prefetch_avx512pf_): New. + * config/i386/sse.md (avx512f_vmcmp3): Ditto. + (avx512f_maskcmp3): Ditto. + (vashrv16si3): Ditto. + 2013-10-28 Alexander Ivchenko Maxim Kuznetsov Sergey Lega diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md index 81f565c88917..79db5f82f24b 100644 --- a/gcc/config/i386/i386.md +++ b/gcc/config/i386/i386.md @@ -17627,7 +17627,7 @@ [(prefetch (match_operand 0 "address_operand") (match_operand:SI 1 "const_int_operand") (match_operand:SI 2 "const_int_operand"))] - "TARGET_PREFETCH_SSE || TARGET_PRFCHW" + "TARGET_PREFETCH_SSE || TARGET_PRFCHW || TARGET_AVX512PF" { bool write = INTVAL (operands[1]) != 0; int locality = INTVAL (operands[2]); @@ -17638,7 +17638,9 @@ supported by SSE counterpart or the SSE prefetch is not available (K6 machines). Otherwise use SSE prefetch as it allows specifying of locality. */ - if (TARGET_PRFCHW && (write || !TARGET_PREFETCH_SSE)) + if (TARGET_AVX512PF && write) + operands[2] = const1_rtx; + else if (TARGET_PRFCHW && (write || !TARGET_PREFETCH_SSE)) operands[2] = GEN_INT (3); else operands[1] = const0_rtx; @@ -17681,6 +17683,18 @@ (symbol_ref "memory_address_length (operands[0], false)")) (set_attr "memory" "none")]) +(define_insn "*prefetch_avx512pf_" + [(prefetch (match_operand:P 0 "address_operand" "p") + (const_int 1) + (const_int 1))] + "TARGET_AVX512PF" + "prefetchwt1\t%a0"; + [(set_attr "type" "sse") + (set_attr "prefix" "evex") + (set (attr "length_address") + (symbol_ref "memory_address_length (operands[0], false)")) + (set_attr "memory" "none")]) + (define_expand "stack_protect_set" [(match_operand 0 "memory_operand") (match_operand 1 "memory_operand")] diff --git a/gcc/config/i386/sse.md b/gcc/config/i386/sse.md index 09f194c1af99..041ca6474932 100644 --- a/gcc/config/i386/sse.md +++ b/gcc/config/i386/sse.md @@ -2010,6 +2010,34 @@ (set_attr "prefix" "evex") (set_attr "mode" "")]) +(define_insn "avx512f_vmcmp3" + [(set (match_operand: 0 "register_operand" "=k") + (and: + (unspec: + [(match_operand:VF_128 1 "register_operand" "v") + (match_operand:VF_128 2 "nonimmediate_operand" "vm") + (match_operand:SI 3 "const_0_to_31_operand" "n")] + UNSPEC_PCMP) + (const_int 1)))] + "TARGET_AVX512F" + "vcmp\t{%3, %2, %1, %0|%0, %1, %2, %3}" + [(set_attr "type" "ssecmp") + (set_attr "length_immediate" "1") + (set_attr "prefix" "evex") + (set_attr "mode" "")]) + +(define_insn "avx512f_maskcmp3" + [(set (match_operand: 0 "register_operand" "=k") + (match_operator: 3 "sse_comparison_operator" + [(match_operand:VF 1 "register_operand" "v") + (match_operand:VF 2 "nonimmediate_operand" "vm")]))] + "TARGET_SSE" + "vcmp%D3\t{%2, %1, %0|%0, %1, %2}" + [(set_attr "type" "ssecmp") + (set_attr "length_immediate" "1") + (set_attr "prefix" "evex") + (set_attr "mode" "")]) + (define_insn "_comi" [(set (reg:CCFP FLAGS_REG) (compare:CCFP @@ -12148,6 +12176,12 @@ } }) +(define_expand "vashrv16si3" + [(set (match_operand:V16SI 0 "register_operand") + (ashiftrt:V16SI (match_operand:V16SI 1 "register_operand") + (match_operand:V16SI 2 "nonimmediate_operand")))] + "TARGET_AVX512F") + (define_expand "vashrv8si3" [(set (match_operand:V8SI 0 "register_operand") (ashiftrt:V8SI (match_operand:V8SI 1 "register_operand")