Subversion Repositories openrisc

;; 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, 2011 Free Software Foundation, Inc.

;; Contributed by Bernd Schmidt 

;; 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

;; .

;; -------------------------------------------------------------------------

;; Miscellaneous insns that execute on the M units

;; -------------------------------------------------------------------------

(define_insn "rotlsi3_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_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"))_CBRK_)]

  "TARGET_INSNS_64"

  "%|%.\\trotl\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "units" "m")

   (set_attr "type" "mpy2")

   (set_attr "cross" "n,n,y,y")])

(define_insn "bitrevsi2_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_A_,_A_,_B_,_B_")

        (unspec:SI [(match_operand:SI 1 "register_operand" "a,?b,b,?a")]

                   UNSPEC_BITREV)_CBRK_)]

  "TARGET_INSNS_64"

  "%|%.\\tbitr\\t%$\\t%1, %_MODk_0"

  [(set_attr "units" "m")

   (set_attr "type" "mpy2")

   (set_attr "cross" "n,y,n,y")])

;; Vector average.

(define_insn "avgv2hi3_VARIANT_"

  [(_SET_ _OBRK_(match_operand:_MV2HI 0 "_DESTOPERAND_" "=_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)_CBRK_)]

  "TARGET_INSNS_64"

  "%|%.\\tavg2\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "units" "m")

   (set_attr "type" "mpy2")

   (set_attr "cross" "n,n,y,y")])

(define_insn "uavgv4qi3_VARIANT_"

  [(_SET_ _OBRK_(match_operand:_MV4QI 0 "_DESTOPERAND_" "=_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)_CBRK_)]

  "TARGET_INSNS_64"

  "%|%.\\tavgu4\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "units" "m")

   (set_attr "type" "mpy2")

   (set_attr "cross" "n,n,y,y")])

;; -------------------------------------------------------------------------

;; Multiplication

;; -------------------------------------------------------------------------

(define_insn "mulhi3_VARIANT_"

  [(_SET_ _OBRK_(match_operand:HI 0 "_DESTOPERAND_" "=_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"))_CBRK_)]

  ""

  "%|%.\\tmpy\\t%$\\t%2, %1, %_MODk_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_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_A_,_B_,_A__B_")

        (mult:SI (sign_extend:SI

                  (match_operand:HI 1 "register_operand" "a,b,?ab"))

                 (match_operand:HI 2 "scst5_operand" "Is5,Is5,Is5"))_CBRK_)]

  ""

  "%|%.\\tmpy\\t%$\\t%2, %1, %_MODk_0"

  [(set_attr "type" "mpy2")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y")])

(define_insn "*mulhisi3_insn_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_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")))_CBRK_)]

  ""

  "%|%.\\tmpy\\t%$\\t%1, %2, %_MODk_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_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_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)))_CBRK_)]

  ""

  "%|%.\\tmpylh\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy2")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "mulhisi3_hl_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_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")))_CBRK_)]

  ""

  "%|%.\\tmpyhl\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy2")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "mulhisi3_hh_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_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)))_CBRK_)]

  ""

  "%|%.\\tmpyh\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy2")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "umulhisi3_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_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")))_CBRK_)]

  ""

  "%|%.\\tmpyu\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy2")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "umulhisi3_lh_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_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)))_CBRK_)]

  ""

  "%|%.\\tmpylhu\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy2")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "umulhisi3_hl_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_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")))_CBRK_)]

  ""

  "%|%.\\tmpyhlu\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy2")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "umulhisi3_hh_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_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)))_CBRK_)]

  ""

  "%|%.\\tmpyhu\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy2")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "usmulhisi3_const_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_A_,_B_,_A__B_")

        (mult:SI (zero_extend:SI

                  (match_operand:HI 1 "register_operand" "a,b,?ab"))

                 (match_operand:SI 2 "scst5_operand" "Is5,Is5,Is5"))_CBRK_)]

  ""

  "%|%.\\tmpysu\\t%$\\t%2, %1, %_MODk_0"

  [(set_attr "type" "mpy2")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y")])

(define_insn "*usmulhisi3_insn_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_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")))_CBRK_)]

  ""

  "%|%.\\tmpyus\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy2")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "usmulhisi3_lh_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_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)))_CBRK_)]

  ""

  "%|%.\\tmpyluhs\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy2")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "usmulhisi3_hl_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_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")))_CBRK_)]

  ""

  "%|%.\\tmpyhuls\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy2")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "usmulhisi3_hh_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_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)))_CBRK_)]

  ""

  "%|%.\\tmpyhus\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy2")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "mulsi3_insn_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_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"))_CBRK_)]

  "TARGET_MPY32"

  "%|%.\\tmpy32\\t%$\\t%1, %2, %_MODk_0"

 [(set_attr "type" "mpy4")

  (set_attr "units" "m")

  (set_attr "cross" "n,n,y,y")])

(define_insn "mulsidi3_VARIANT_"

  [(_SET_ _OBRK_(match_operand:DI 0 "_DESTOPERAND_" "=_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")))_CBRK_)]

  "TARGET_MPY32"

  "%|%.\\tmpy32\\t%$\\t%1, %2, %_MODK_0"

  [(set_attr "type" "mpy4")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "usmulsidi3_VARIANT_"

  [(_SET_ _OBRK_(match_operand:DI 0 "_DESTOPERAND_" "=_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")))_CBRK_)]

  "TARGET_MPY32"

  "%|%.\\tmpy32us\\t%$\\t%1, %2, %_MODK_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_VARIANT_"

  [(_SET_ _OBRK_(match_operand:V2SI 0 "_DESTOPERAND_" "=_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")))_CBRK_)]

  "TARGET_INSNS_64"

  "%|%.\\tmpy2\\t%$\\t%1, %2, %_MODk_0"

 [(set_attr "type" "mpy4")

  (set_attr "units" "m")

  (set_attr "cross" "n,n,y,y")])

(define_insn "umulv4qiv4hi3_VARIANT_"

  [(_SET_ _OBRK_(match_operand:V4HI 0 "_DESTOPERAND_" "=_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")))_CBRK_)]

  "TARGET_INSNS_64"

  "%|%.\\tmpyu4\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy4")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "usmulv4qiv4hi3_VARIANT_"

  [(_SET_ _OBRK_(match_operand:V4HI 0 "_DESTOPERAND_" "=_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")))_CBRK_)]

  "TARGET_INSNS_64"

  "%|%.\\tmpyus4\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy4")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "dotv2hi_VARIANT_"

  [(_SET_ _OBRK_(match_operand:SI 0 "_DESTOPERAND_" "=_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)])))))_CBRK_)]

  "TARGET_INSNS_64"

  "%|%.\\tdotp2\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy4")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

;; Fractional multiply

(define_insn "mulv2hqv2sq3_VARIANT_"

  [(_SET_ _OBRK_(match_operand:_MV2SQ 0 "_DESTOPERAND_" "=_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")))_CBRK_)]

  ""

  "%|%.\\tsmpy2\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy4")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "mulhqsq3_VARIANT_"

  [(_SET_ _OBRK_(match_operand:_MSQ 0 "_DESTOPERAND_" "=_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")))_CBRK_)]

  ""

  "%|%.\\tsmpy\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy2")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "mulhqsq3_lh_VARIANT_"

  [(_SET_ _OBRK_(match_operand:_MSQ 0 "_DESTOPERAND_" "=_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"))))_CBRK_)]

  ""

  "%|%.\\tsmpylh\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy2")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "mulhqsq3_hl_VARIANT_"

  [(_SET_ _OBRK_(match_operand:_MSQ 0 "_DESTOPERAND_" "=_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")))_CBRK_)]

  ""

  "%|%.\\tsmpyhl\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy2")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])

(define_insn "mulhqsq3_hh_VARIANT_"

  [(_SET_ _OBRK_(match_operand:_MSQ 0 "_DESTOPERAND_" "=_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"))))_CBRK_)]

  ""

  "%|%.\\tsmpyh\\t%$\\t%1, %2, %_MODk_0"

  [(set_attr "type" "mpy2")

   (set_attr "units" "m")

   (set_attr "cross" "n,n,y,y")])