gcc/config/c6x/c6x-mult.md

;; -- buffer-read-only: t -- ;; Generated automatically from c6x-mult.md.in by genmult.sh ;; Multiplication patterns for TI C6X. ;; This file is processed by genmult.sh to produce two variants of each ;; pattern, a normal one and a real_mult variant for modulo scheduling. ;; Copyright (C) 2010-2021 Free Software Foundation, Inc. ;; Contributed by Bernd Schmidt bernds@codesourcery.com ;; Contributed by CodeSourcery. ;; ;; This file is part of GCC. ;; ;; GCC is free software; you can redistribute it and/or modify ;; it under the terms of the GNU General Public License as published by ;; the Free Software Foundation; either version 3, or (at your option) ;; any later version. ;; ;; GCC is distributed in the hope that it will be useful, ;; but WITHOUT ANY WARRANTY; without even the implied warranty of ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ;; GNU General Public License for more details. ;; ;; You should have received a copy of the GNU General Public License ;; along with GCC; see the file COPYING3. If not see ;; http://www.gnu.org/licenses/.

;; ------------------------------------------------------------------------- ;; Miscellaneous insns that execute on the M units ;; -------------------------------------------------------------------------

(define_insn “rotlsi3” [(set (match_operand:SI 0 “register_operand” “=a,b,a,b”) (rotate:SI (match_operand:SI 1 “register_operand” “a,b,?b,?a”) (match_operand:SI 2 “reg_or_ucst5_operand” “aIu5,bIu5,aIu5,bIu5”)))] “TARGET_INSNS_64” “%|%.\trotl\t%$\t%1, %2, %0” [(set_attr “units” “m”) (set_attr “type” “mpy2”) (set_attr “cross” “n,n,y,y”)])

(define_insn “bitrevsi2” [(set (match_operand:SI 0 “register_operand” “=a,a,b,b”) (unspec:SI [(match_operand:SI 1 “register_operand” “a,?b,b,?a”)] UNSPEC_BITREV))] “TARGET_INSNS_64” “%|%.\tbitr\t%$\t%1, %0” [(set_attr “units” “m”) (set_attr “type” “mpy2”) (set_attr “cross” “n,y,n,y”)])

;; Vector average.

(define_insn “avgv2hi3” [(set (match_operand:V2HI 0 “register_operand” “=a,b,a,b”) (unspec:V2HI [(match_operand:V2HI 1 “register_operand” “a,b,?b,?a”) (match_operand:V2HI 2 “register_operand” “a,b,a,b”)] UNSPEC_AVG))] “TARGET_INSNS_64” “%|%.\tavg2\t%$\t%1, %2, %0” [(set_attr “units” “m”) (set_attr “type” “mpy2”) (set_attr “cross” “n,n,y,y”)])

(define_insn “uavgv4qi3” [(set (match_operand:V4QI 0 “register_operand” “=a,b,a,b”) (unspec:V4QI [(match_operand:V4QI 1 “register_operand” “a,b,?b,?a”) (match_operand:V4QI 2 “register_operand” “a,b,a,b”)] UNSPEC_AVG))] “TARGET_INSNS_64” “%|%.\tavgu4\t%$\t%1, %2, %0” [(set_attr “units” “m”) (set_attr “type” “mpy2”) (set_attr “cross” “n,n,y,y”)])

;; ------------------------------------------------------------------------- ;; Multiplication ;; -------------------------------------------------------------------------

(define_insn “mulhi3” [(set (match_operand:HI 0 “register_operand” “=a,b,a,b”) (mult:HI (match_operand:HI 1 “register_operand” “a,b,?b,?a”) (match_operand:HI 2 “reg_or_scst5_operand” “aIs5,bIs5,aIs5,bIs5”)))] "" “%|%.\tmpy\t%$\t%2, %1, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “op_pattern” “sxs”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulhisi3_const” [(set (match_operand:SI 0 “register_operand” “=a,b,ab”) (mult:SI (sign_extend:SI (match_operand:HI 1 “register_operand” “a,b,?ab”)) (match_operand:HI 2 “scst5_operand” “Is5,Is5,Is5”)))] "" “%|%.\tmpy\t%$\t%2, %1, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y”)])

(define_insn “*mulhisi3_insn” [(set (match_operand:SI 0 “register_operand” “=a,b,a,b”) (mult:SI (sign_extend:SI (match_operand:HI 1 “register_operand” “%a,b,?a,?b”)) (sign_extend:SI (match_operand:HI 2 “reg_or_scst5_operand” “a,b,b,a”))))] "" “%|%.\tmpy\t%$\t%1, %2, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “op_pattern” “ssx”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulhisi3_lh” [(set (match_operand:SI 0 “register_operand” “=a,b,a,b”) (mult:SI (sign_extend:SI (match_operand:HI 1 “register_operand” “a,b,?a,?b”)) (ashiftrt:SI (match_operand:SI 2 “register_operand” “a,b,b,a”) (const_int 16))))] "" “%|%.\tmpylh\t%$\t%1, %2, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulhisi3_hl” [(set (match_operand:SI 0 “register_operand” “=a,b,a,b”) (mult:SI (ashiftrt:SI (match_operand:SI 1 “register_operand” “a,b,?a,?b”) (const_int 16)) (sign_extend:SI (match_operand:HI 2 “register_operand” “a,b,b,a”))))] "" “%|%.\tmpyhl\t%$\t%1, %2, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulhisi3_hh” [(set (match_operand:SI 0 “register_operand” “=a,b,a,b”) (mult:SI (ashiftrt:SI (match_operand:SI 1 “register_operand” “%a,b,?a,?b”) (const_int 16)) (ashiftrt:SI (match_operand:SI 2 “register_operand” “a,b,b,a”) (const_int 16))))] "" “%|%.\tmpyh\t%$\t%1, %2, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “umulhisi3” [(set (match_operand:SI 0 “register_operand” “=a,b,a,b”) (mult:SI (zero_extend:SI (match_operand:HI 1 “register_operand” “%a,b,?a,?b”)) (zero_extend:SI (match_operand:HI 2 “register_operand” “a,b,b,a”))))] "" “%|%.\tmpyu\t%$\t%1, %2, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “umulhisi3_lh” [(set (match_operand:SI 0 “register_operand” “=a,b,a,b”) (mult:SI (zero_extend:SI (match_operand:HI 1 “register_operand” “a,b,?a,?b”)) (lshiftrt:SI (match_operand:SI 2 “register_operand” “a,b,b,a”) (const_int 16))))] "" “%|%.\tmpylhu\t%$\t%1, %2, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “umulhisi3_hl” [(set (match_operand:SI 0 “register_operand” “=a,b,a,b”) (mult:SI (lshiftrt:SI (match_operand:SI 1 “register_operand” “a,b,?a,?b”) (const_int 16)) (zero_extend:SI (match_operand:HI 2 “register_operand” “a,b,b,a”))))] "" “%|%.\tmpyhlu\t%$\t%1, %2, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “umulhisi3_hh” [(set (match_operand:SI 0 “register_operand” “=a,b,a,b”) (mult:SI (lshiftrt:SI (match_operand:SI 1 “register_operand” “%a,b,?a,?b”) (const_int 16)) (lshiftrt:SI (match_operand:SI 2 “register_operand” “a,b,b,a”) (const_int 16))))] "" “%|%.\tmpyhu\t%$\t%1, %2, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “usmulhisi3_const” [(set (match_operand:SI 0 “register_operand” “=a,b,ab”) (mult:SI (zero_extend:SI (match_operand:HI 1 “register_operand” “a,b,?ab”)) (match_operand:SI 2 “scst5_operand” “Is5,Is5,Is5”)))] "" “%|%.\tmpysu\t%$\t%2, %1, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y”)])

(define_insn “*usmulhisi3_insn” [(set (match_operand:SI 0 “register_operand” “=a,b,a,b”) (mult:SI (zero_extend:SI (match_operand:HI 1 “register_operand” “a,b,?a,?b”)) (sign_extend:SI (match_operand:HI 2 “reg_or_scst5_operand” “aIs5,bIs5,bIs5,aIs5”))))] "" “%|%.\tmpyus\t%$\t%1, %2, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “usmulhisi3_lh” [(set (match_operand:SI 0 “register_operand” “=a,b,a,b”) (mult:SI (zero_extend:SI (match_operand:HI 1 “register_operand” “a,b,?a,?b”)) (ashiftrt:SI (match_operand:SI 2 “register_operand” “a,b,b,a”) (const_int 16))))] "" “%|%.\tmpyluhs\t%$\t%1, %2, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “usmulhisi3_hl” [(set (match_operand:SI 0 “register_operand” “=a,b,a,b”) (mult:SI (lshiftrt:SI (match_operand:SI 1 “register_operand” “a,b,?a,?b”) (const_int 16)) (sign_extend:SI (match_operand:HI 2 “register_operand” “a,b,b,a”))))] "" “%|%.\tmpyhuls\t%$\t%1, %2, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “usmulhisi3_hh” [(set (match_operand:SI 0 “register_operand” “=a,b,a,b”) (mult:SI (lshiftrt:SI (match_operand:SI 1 “register_operand” “a,b,?a,?b”) (const_int 16)) (ashiftrt:SI (match_operand:SI 2 “register_operand” “a,b,b,a”) (const_int 16))))] "" “%|%.\tmpyhus\t%$\t%1, %2, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulsi3_insn” [(set (match_operand:SI 0 “register_operand” “=a,b,a,b”) (mult:SI (match_operand:SI 1 “register_operand” “%a,b,?a,?b”) (match_operand:SI 2 “register_operand” “a,b,b,a”)))] “TARGET_MPY32” “%|%.\tmpy32\t%$\t%1, %2, %0” [(set_attr “type” “mpy4”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulsidi3” [(set (match_operand:DI 0 “register_operand” “=a,b,a,b”) (mult:DI (any_ext:DI (match_operand:SI 1 “register_operand” “%a,b,?a,?b”)) (any_ext:DI (match_operand:SI 2 “register_operand” “a,b,b,a”))))] “TARGET_MPY32” “%|%.\tmpy32\t%$\t%1, %2, %0” [(set_attr “type” “mpy4”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “usmulsidi3” [(set (match_operand:DI 0 “register_operand” “=a,b,a,b”) (mult:DI (zero_extend:DI (match_operand:SI 1 “register_operand” “a,b,?a,?b”)) (sign_extend:DI (match_operand:SI 2 “register_operand” “a,b,b,a”))))] “TARGET_MPY32” “%|%.\tmpy32us\t%$\t%1, %2, %0” [(set_attr “type” “mpy4”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

;; Widening vector multiply and dot product

(define_insn “mulv2hiv2si3” [(set (match_operand:V2SI 0 “register_operand” “=a,b,a,b”) (mult:V2SI (sign_extend:V2SI (match_operand:V2HI 1 “register_operand” “a,b,a,b”)) (sign_extend:V2SI (match_operand:V2HI 2 “register_operand” “a,b,?b,?a”))))] “TARGET_INSNS_64” “%|%.\tmpy2\t%$\t%1, %2, %0” [(set_attr “type” “mpy4”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “umulv4qiv4hi3” [(set (match_operand:V4HI 0 “register_operand” “=a,b,a,b”) (mult:V4HI (zero_extend:V4HI (match_operand:V4QI 1 “register_operand” “a,b,a,b”)) (zero_extend:V4HI (match_operand:V4QI 2 “register_operand” “a,b,?b,?a”))))] “TARGET_INSNS_64” “%|%.\tmpyu4\t%$\t%1, %2, %0” [(set_attr “type” “mpy4”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “usmulv4qiv4hi3” [(set (match_operand:V4HI 0 “register_operand” “=a,b,a,b”) (mult:V4HI (zero_extend:V4HI (match_operand:V4QI 1 “register_operand” “a,b,?b,?a”)) (sign_extend:V4HI (match_operand:V4QI 2 “register_operand” “a,b,a,b”))))] “TARGET_INSNS_64” “%|%.\tmpyus4\t%$\t%1, %2, %0” [(set_attr “type” “mpy4”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “dotv2hi” [(set (match_operand:SI 0 “register_operand” “=a,b,a,b”) (plus:SI (mult:SI (sign_extend:SI (vec_select:HI (match_operand:V2HI 1 “register_operand” “a,b,a,b”) (parallel [(const_int 0)]))) (sign_extend:SI (vec_select:HI (match_operand:V2HI 2 “register_operand” “a,b,?b,?a”) (parallel [(const_int 0)])))) (mult:SI (sign_extend:SI (vec_select:HI (match_dup 1) (parallel [(const_int 1)]))) (sign_extend:SI (vec_select:HI (match_dup 2) (parallel [(const_int 1)]))))))] “TARGET_INSNS_64” “%|%.\tdotp2\t%$\t%1, %2, %0” [(set_attr “type” “mpy4”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

;; Fractional multiply

(define_insn “mulv2hqv2sq3” [(set (match_operand:V2SQ 0 “register_operand” “=a,b,a,b”) (ss_mult:V2SQ (fract_convert:V2SQ (match_operand:V2HQ 1 “register_operand” “%a,b,?a,?b”)) (fract_convert:V2SQ (match_operand:V2HQ 2 “register_operand” “a,b,b,a”))))] "" “%|%.\tsmpy2\t%$\t%1, %2, %0” [(set_attr “type” “mpy4”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulhqsq3” [(set (match_operand:SQ 0 “register_operand” “=a,b,a,b”) (ss_mult:SQ (fract_convert:SQ (match_operand:HQ 1 “register_operand” “%a,b,?a,?b”)) (fract_convert:SQ (match_operand:HQ 2 “register_operand” “a,b,b,a”))))] "" “%|%.\tsmpy\t%$\t%1, %2, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulhqsq3_lh” [(set (match_operand:SQ 0 “register_operand” “=a,b,a,b”) (ss_mult:SQ (fract_convert:SQ (match_operand:HQ 1 “register_operand” “a,b,?a,?b”)) (fract_convert:SQ (truncate:HQ (match_operand:SQ 2 “register_operand” “a,b,b,a”)))))] "" “%|%.\tsmpylh\t%$\t%1, %2, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulhqsq3_hl” [(set (match_operand:SQ 0 “register_operand” “=a,b,a,b”) (ss_mult:SQ (fract_convert:SQ (truncate:HQ (match_operand:SQ 1 “register_operand” “a,b,b,a”))) (fract_convert:SQ (match_operand:HQ 2 “register_operand” “a,b,b,a”))))] "" “%|%.\tsmpyhl\t%$\t%1, %2, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulhqsq3_hh” [(set (match_operand:SQ 0 “register_operand” “=a,b,a,b”) (ss_mult:SQ (fract_convert:SQ (truncate:HQ (match_operand:SQ 1 “register_operand” “a,b,b,a”))) (fract_convert:SQ (truncate:HQ (match_operand:SQ 2 “register_operand” “a,b,b,a”)))))] "" “%|%.\tsmpyh\t%$\t%1, %2, %0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)]) ;; Multiplication patterns for TI C6X. ;; This file is processed by genmult.sh to produce two variants of each ;; pattern, a normal one and a real_mult variant for modulo scheduling. ;; Copyright (C) 2010-2021 Free Software Foundation, Inc. ;; Contributed by Bernd Schmidt bernds@codesourcery.com ;; Contributed by CodeSourcery. ;; ;; This file is part of GCC. ;; ;; GCC is free software; you can redistribute it and/or modify ;; it under the terms of the GNU General Public License as published by ;; the Free Software Foundation; either version 3, or (at your option) ;; any later version. ;; ;; GCC is distributed in the hope that it will be useful, ;; but WITHOUT ANY WARRANTY; without even the implied warranty of ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ;; GNU General Public License for more details. ;; ;; You should have received a copy of the GNU General Public License ;; along with GCC; see the file COPYING3. If not see ;; http://www.gnu.org/licenses/.

(define_insn “rotlsi3_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (rotate:SI (match_operand:SI 1 “register_operand” “a,b,?b,?a”) (match_operand:SI 2 “reg_or_ucst5_operand” “aIu5,bIu5,aIu5,bIu5”))] UNSPEC_REAL_MULT)] “TARGET_INSNS_64” “%|%.\trotl\t%$\t%1, %2, %k0” [(set_attr “units” “m”) (set_attr “type” “mpy2”) (set_attr “cross” “n,n,y,y”)])

(define_insn “bitrevsi2_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JA,JB,JB”) (unspec:SI [(match_operand:SI 1 “register_operand” “a,?b,b,?a”)] UNSPEC_BITREV)] UNSPEC_REAL_MULT)] “TARGET_INSNS_64” “%|%.\tbitr\t%$\t%1, %k0” [(set_attr “units” “m”) (set_attr “type” “mpy2”) (set_attr “cross” “n,y,n,y”)])

;; Vector average.

(define_insn “avgv2hi3_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (unspec:V2HI [(match_operand:V2HI 1 “register_operand” “a,b,?b,?a”) (match_operand:V2HI 2 “register_operand” “a,b,a,b”)] UNSPEC_AVG)] UNSPEC_REAL_MULT)] “TARGET_INSNS_64” “%|%.\tavg2\t%$\t%1, %2, %k0” [(set_attr “units” “m”) (set_attr “type” “mpy2”) (set_attr “cross” “n,n,y,y”)])

(define_insn “uavgv4qi3_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (unspec:V4QI [(match_operand:V4QI 1 “register_operand” “a,b,?b,?a”) (match_operand:V4QI 2 “register_operand” “a,b,a,b”)] UNSPEC_AVG)] UNSPEC_REAL_MULT)] “TARGET_INSNS_64” “%|%.\tavgu4\t%$\t%1, %2, %k0” [(set_attr “units” “m”) (set_attr “type” “mpy2”) (set_attr “cross” “n,n,y,y”)])

;; ------------------------------------------------------------------------- ;; Multiplication ;; -------------------------------------------------------------------------

(define_insn “mulhi3_real” [(unspec [(match_operand:HI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:HI (match_operand:HI 1 “register_operand” “a,b,?b,?a”) (match_operand:HI 2 “reg_or_scst5_operand” “aIs5,bIs5,aIs5,bIs5”))] UNSPEC_REAL_MULT)] "" “%|%.\tmpy\t%$\t%2, %1, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “op_pattern” “sxs”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulhisi3_const_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JAJB”) (mult:SI (sign_extend:SI (match_operand:HI 1 “register_operand” “a,b,?ab”)) (match_operand:HI 2 “scst5_operand” “Is5,Is5,Is5”))] UNSPEC_REAL_MULT)] "" “%|%.\tmpy\t%$\t%2, %1, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y”)])

(define_insn “*mulhisi3_insn_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:SI (sign_extend:SI (match_operand:HI 1 “register_operand” “%a,b,?a,?b”)) (sign_extend:SI (match_operand:HI 2 “reg_or_scst5_operand” “a,b,b,a”)))] UNSPEC_REAL_MULT)] "" “%|%.\tmpy\t%$\t%1, %2, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “op_pattern” “ssx”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulhisi3_lh_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:SI (sign_extend:SI (match_operand:HI 1 “register_operand” “a,b,?a,?b”)) (ashiftrt:SI (match_operand:SI 2 “register_operand” “a,b,b,a”) (const_int 16)))] UNSPEC_REAL_MULT)] "" “%|%.\tmpylh\t%$\t%1, %2, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulhisi3_hl_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:SI (ashiftrt:SI (match_operand:SI 1 “register_operand” “a,b,?a,?b”) (const_int 16)) (sign_extend:SI (match_operand:HI 2 “register_operand” “a,b,b,a”)))] UNSPEC_REAL_MULT)] "" “%|%.\tmpyhl\t%$\t%1, %2, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulhisi3_hh_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:SI (ashiftrt:SI (match_operand:SI 1 “register_operand” “%a,b,?a,?b”) (const_int 16)) (ashiftrt:SI (match_operand:SI 2 “register_operand” “a,b,b,a”) (const_int 16)))] UNSPEC_REAL_MULT)] "" “%|%.\tmpyh\t%$\t%1, %2, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “umulhisi3_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:SI (zero_extend:SI (match_operand:HI 1 “register_operand” “%a,b,?a,?b”)) (zero_extend:SI (match_operand:HI 2 “register_operand” “a,b,b,a”)))] UNSPEC_REAL_MULT)] "" “%|%.\tmpyu\t%$\t%1, %2, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “umulhisi3_lh_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:SI (zero_extend:SI (match_operand:HI 1 “register_operand” “a,b,?a,?b”)) (lshiftrt:SI (match_operand:SI 2 “register_operand” “a,b,b,a”) (const_int 16)))] UNSPEC_REAL_MULT)] "" “%|%.\tmpylhu\t%$\t%1, %2, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “umulhisi3_hl_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:SI (lshiftrt:SI (match_operand:SI 1 “register_operand” “a,b,?a,?b”) (const_int 16)) (zero_extend:SI (match_operand:HI 2 “register_operand” “a,b,b,a”)))] UNSPEC_REAL_MULT)] "" “%|%.\tmpyhlu\t%$\t%1, %2, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “umulhisi3_hh_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:SI (lshiftrt:SI (match_operand:SI 1 “register_operand” “%a,b,?a,?b”) (const_int 16)) (lshiftrt:SI (match_operand:SI 2 “register_operand” “a,b,b,a”) (const_int 16)))] UNSPEC_REAL_MULT)] "" “%|%.\tmpyhu\t%$\t%1, %2, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “usmulhisi3_const_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JAJB”) (mult:SI (zero_extend:SI (match_operand:HI 1 “register_operand” “a,b,?ab”)) (match_operand:SI 2 “scst5_operand” “Is5,Is5,Is5”))] UNSPEC_REAL_MULT)] "" “%|%.\tmpysu\t%$\t%2, %1, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y”)])

(define_insn “*usmulhisi3_insn_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:SI (zero_extend:SI (match_operand:HI 1 “register_operand” “a,b,?a,?b”)) (sign_extend:SI (match_operand:HI 2 “reg_or_scst5_operand” “aIs5,bIs5,bIs5,aIs5”)))] UNSPEC_REAL_MULT)] "" “%|%.\tmpyus\t%$\t%1, %2, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “usmulhisi3_lh_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:SI (zero_extend:SI (match_operand:HI 1 “register_operand” “a,b,?a,?b”)) (ashiftrt:SI (match_operand:SI 2 “register_operand” “a,b,b,a”) (const_int 16)))] UNSPEC_REAL_MULT)] "" “%|%.\tmpyluhs\t%$\t%1, %2, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “usmulhisi3_hl_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:SI (lshiftrt:SI (match_operand:SI 1 “register_operand” “a,b,?a,?b”) (const_int 16)) (sign_extend:SI (match_operand:HI 2 “register_operand” “a,b,b,a”)))] UNSPEC_REAL_MULT)] "" “%|%.\tmpyhuls\t%$\t%1, %2, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “usmulhisi3_hh_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:SI (lshiftrt:SI (match_operand:SI 1 “register_operand” “a,b,?a,?b”) (const_int 16)) (ashiftrt:SI (match_operand:SI 2 “register_operand” “a,b,b,a”) (const_int 16)))] UNSPEC_REAL_MULT)] "" “%|%.\tmpyhus\t%$\t%1, %2, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulsi3_insn_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:SI (match_operand:SI 1 “register_operand” “%a,b,?a,?b”) (match_operand:SI 2 “register_operand” “a,b,b,a”))] UNSPEC_REAL_MULT)] “TARGET_MPY32” “%|%.\tmpy32\t%$\t%1, %2, %k0” [(set_attr “type” “mpy4”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulsidi3_real” [(unspec [(match_operand:DI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:DI (any_ext:DI (match_operand:SI 1 “register_operand” “%a,b,?a,?b”)) (any_ext:DI (match_operand:SI 2 “register_operand” “a,b,b,a”)))] UNSPEC_REAL_MULT)] “TARGET_MPY32” “%|%.\tmpy32\t%$\t%1, %2, %K0” [(set_attr “type” “mpy4”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “usmulsidi3_real” [(unspec [(match_operand:DI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:DI (zero_extend:DI (match_operand:SI 1 “register_operand” “a,b,?a,?b”)) (sign_extend:DI (match_operand:SI 2 “register_operand” “a,b,b,a”)))] UNSPEC_REAL_MULT)] “TARGET_MPY32” “%|%.\tmpy32us\t%$\t%1, %2, %K0” [(set_attr “type” “mpy4”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

;; Widening vector multiply and dot product

(define_insn “mulv2hiv2si3_real” [(unspec [(match_operand:V2SI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:V2SI (sign_extend:V2SI (match_operand:V2HI 1 “register_operand” “a,b,a,b”)) (sign_extend:V2SI (match_operand:V2HI 2 “register_operand” “a,b,?b,?a”)))] UNSPEC_REAL_MULT)] “TARGET_INSNS_64” “%|%.\tmpy2\t%$\t%1, %2, %k0” [(set_attr “type” “mpy4”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “umulv4qiv4hi3_real” [(unspec [(match_operand:V4HI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:V4HI (zero_extend:V4HI (match_operand:V4QI 1 “register_operand” “a,b,a,b”)) (zero_extend:V4HI (match_operand:V4QI 2 “register_operand” “a,b,?b,?a”)))] UNSPEC_REAL_MULT)] “TARGET_INSNS_64” “%|%.\tmpyu4\t%$\t%1, %2, %k0” [(set_attr “type” “mpy4”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “usmulv4qiv4hi3_real” [(unspec [(match_operand:V4HI 0 “const_int_operand” “=JA,JB,JA,JB”) (mult:V4HI (zero_extend:V4HI (match_operand:V4QI 1 “register_operand” “a,b,?b,?a”)) (sign_extend:V4HI (match_operand:V4QI 2 “register_operand” “a,b,a,b”)))] UNSPEC_REAL_MULT)] “TARGET_INSNS_64” “%|%.\tmpyus4\t%$\t%1, %2, %k0” [(set_attr “type” “mpy4”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “dotv2hi_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (plus:SI (mult:SI (sign_extend:SI (vec_select:HI (match_operand:V2HI 1 “register_operand” “a,b,a,b”) (parallel [(const_int 0)]))) (sign_extend:SI (vec_select:HI (match_operand:V2HI 2 “register_operand” “a,b,?b,?a”) (parallel [(const_int 0)])))) (mult:SI (sign_extend:SI (vec_select:HI (match_dup 1) (parallel [(const_int 1)]))) (sign_extend:SI (vec_select:HI (match_dup 2) (parallel [(const_int 1)])))))] UNSPEC_REAL_MULT)] “TARGET_INSNS_64” “%|%.\tdotp2\t%$\t%1, %2, %k0” [(set_attr “type” “mpy4”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

;; Fractional multiply

(define_insn “mulv2hqv2sq3_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (ss_mult:V2SQ (fract_convert:V2SQ (match_operand:V2HQ 1 “register_operand” “%a,b,?a,?b”)) (fract_convert:V2SQ (match_operand:V2HQ 2 “register_operand” “a,b,b,a”)))] UNSPEC_REAL_MULT)] "" “%|%.\tsmpy2\t%$\t%1, %2, %k0” [(set_attr “type” “mpy4”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulhqsq3_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (ss_mult:SQ (fract_convert:SQ (match_operand:HQ 1 “register_operand” “%a,b,?a,?b”)) (fract_convert:SQ (match_operand:HQ 2 “register_operand” “a,b,b,a”)))] UNSPEC_REAL_MULT)] "" “%|%.\tsmpy\t%$\t%1, %2, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulhqsq3_lh_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (ss_mult:SQ (fract_convert:SQ (match_operand:HQ 1 “register_operand” “a,b,?a,?b”)) (fract_convert:SQ (truncate:HQ (match_operand:SQ 2 “register_operand” “a,b,b,a”))))] UNSPEC_REAL_MULT)] "" “%|%.\tsmpylh\t%$\t%1, %2, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulhqsq3_hl_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (ss_mult:SQ (fract_convert:SQ (truncate:HQ (match_operand:SQ 1 “register_operand” “a,b,b,a”))) (fract_convert:SQ (match_operand:HQ 2 “register_operand” “a,b,b,a”)))] UNSPEC_REAL_MULT)] "" “%|%.\tsmpyhl\t%$\t%1, %2, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])

(define_insn “mulhqsq3_hh_real” [(unspec [(match_operand:SI 0 “const_int_operand” “=JA,JB,JA,JB”) (ss_mult:SQ (fract_convert:SQ (truncate:HQ (match_operand:SQ 1 “register_operand” “a,b,b,a”))) (fract_convert:SQ (truncate:HQ (match_operand:SQ 2 “register_operand” “a,b,b,a”))))] UNSPEC_REAL_MULT)] "" “%|%.\tsmpyh\t%$\t%1, %2, %k0” [(set_attr “type” “mpy2”) (set_attr “units” “m”) (set_attr “cross” “n,n,y,y”)])