diff options
author | upstream source tree <ports@midipix.org> | 2015-03-15 20:14:05 -0400 |
---|---|---|
committer | upstream source tree <ports@midipix.org> | 2015-03-15 20:14:05 -0400 |
commit | 554fd8c5195424bdbcabf5de30fdc183aba391bd (patch) | |
tree | 976dc5ab7fddf506dadce60ae936f43f58787092 /gcc/config/m32c/muldiv.md | |
download | cbb-gcc-4.6.4-15d2061ac0796199866debe9ac87130894b0cdd3.tar.bz2 cbb-gcc-4.6.4-15d2061ac0796199866debe9ac87130894b0cdd3.tar.xz |
obtained gcc-4.6.4.tar.bz2 from upstream website;upstream
verified gcc-4.6.4.tar.bz2.sig;
imported gcc-4.6.4 source tree from verified upstream tarball.
downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.
if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.
Diffstat (limited to 'gcc/config/m32c/muldiv.md')
-rw-r--r-- | gcc/config/m32c/muldiv.md | 288 |
1 files changed, 288 insertions, 0 deletions
diff --git a/gcc/config/m32c/muldiv.md b/gcc/config/m32c/muldiv.md new file mode 100644 index 000000000..17b0b5d18 --- /dev/null +++ b/gcc/config/m32c/muldiv.md @@ -0,0 +1,288 @@ +;; Machine Descriptions for R8C/M16C/M32C +;; Copyright (C) 2005, 2007 +;; Free Software Foundation, Inc. +;; Contributed by Red Hat. +;; +;; 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/>. + +;; multiply and divide + +; Here is the pattern for the const_int. +(define_insn "mulqihi3_c" + [(set (match_operand:HI 0 "mra_operand" "=RhiSd,??Rmm") + (mult:HI (sign_extend:HI (match_operand:QI 1 "mra_operand" "%0,0")) + (match_operand 2 "immediate_operand" "i,i")))] + "" + "mul.b\t%2,%1" + [(set_attr "flags" "o")] +) + +; Here is the pattern for registers and such. +(define_insn "mulqihi3_r" + [(set (match_operand:HI 0 "mra_operand" "=RhiSd,RhiSd,??Rmm,??Rmm,Raa,Raa") + (mult:HI (sign_extend:HI (match_operand:QI 1 "mra_operand" "%0,0,0,0,0,0")) + (sign_extend:HI (match_operand:QI 2 "mra_operand" "RqiSd,?Rmm,RqiSd,?Rmm,RhlSd,?Rmm"))))] + "" + "mul.b\t%2,%1" + [(set_attr "flags" "o")] +) + +; Don't try to sign_extend a const_int. Same for all other multiplies. +(define_expand "mulqihi3" + [(set (match_operand:HI 0 "mra_operand" "=RhiSd,RhiSd,??Rmm,??Rmm,Raa,Raa") + (mult:HI (sign_extend:HI (match_operand:QI 1 "mra_operand" "%0,0,0,0,0,0")) + (match_operand:QI 2 "mra_operand" "RqiSd,?Rmm,RqiSd,?Rmm,RhlSd,?Rmm")))] + "" + "{ if (GET_MODE (operands[2]) != VOIDmode) + operands[2] = gen_rtx_SIGN_EXTEND (HImode, operands[2]); }" +) + +(define_insn "umulqihi3_c" + [(set (match_operand:HI 0 "mra_operand" "=RhiSd,??Rmm") + (mult:HI (zero_extend:HI (match_operand:QI 1 "mra_operand" "%0,0")) + (match_operand 2 "immediate_operand" "i,i")))] + "" + "mulu.b\t%U2,%1" + [(set_attr "flags" "o")] +) + +(define_insn "umulqihi3_r" + [(set (match_operand:HI 0 "mra_operand" "=RhiSd,RhiSd,??Rmm,??Rmm,Raa,Raa") + (mult:HI (zero_extend:HI (match_operand:QI 1 "mra_operand" "%0,0,0,0,0,0")) + (zero_extend:HI (match_operand:QI 2 "mra_operand" "RqiSd,?Rmm,RqiSd,?Rmm,RhlSd,?Rmm"))))] + "" + "mulu.b\t%U2,%1" + [(set_attr "flags" "o")] +) + +(define_expand "umulqihi3" + [(set (match_operand:HI 0 "mra_operand" "=RhiSd,RhiSd,??Rmm,??Rmm,Raa,Raa") + (mult:HI (zero_extend:HI (match_operand:QI 1 "mra_operand" "%0,0,0,0,0,0")) + (match_operand:QI 2 "mra_operand" "RqiSd,?Rmm,RqiSd,?Rmm,RhlSd,?Rmm")))] + "" + "{ if (GET_MODE (operands[2]) != VOIDmode) + operands[2] = gen_rtx_ZERO_EXTEND (HImode, operands[2]); }" +) + +(define_insn "mulhisi3_c" + [(set (match_operand:SI 0 "ra_operand" "=Rsi") + (mult:SI (sign_extend:SI (match_operand:HI 1 "mra_operand" "%0")) + (match_operand:HI 2 "immediate_operand" "i")))] + "" + "mul.w\t%2,%1" + [(set_attr "flags" "o")] +) + +(define_insn "mulhisi3_r" + [(set (match_operand:SI 0 "mra_operand" "=Rsi,Rsi") + (mult:SI (sign_extend:SI (match_operand:HI 1 "mra_operand" "%0,0")) + (sign_extend:SI (match_operand:HI 2 "mra_operand" "RhiSd,?Rmm"))))] + "" + "mul.w\t%2,%1" + [(set_attr "flags" "o")] +) + +(define_expand "mulhisi3" + [(set (match_operand:SI 0 "mra_operand" "=RsiSd,RsiSd,??Rmm,??Rmm") + (mult:SI (sign_extend:SI (match_operand:HI 1 "mra_operand" "%0,0,0,0")) + (match_operand:HI 2 "mra_operand" "RhiSd,?Rmm,RhiSd,?Rmm")))] + "" + "{ if (GET_MODE (operands[2]) != VOIDmode) + operands[2] = gen_rtx_SIGN_EXTEND (SImode, operands[2]); }" +) + +(define_insn "umulhisi3_c" + [(set (match_operand:SI 0 "ra_operand" "=Rsi") + (mult:SI (zero_extend:SI (match_operand:HI 1 "mra_operand" "%0")) + (match_operand 2 "m32c_const_u16_operand" "i")))] + "" + "mulu.w\t%u2,%1" + [(set_attr "flags" "o")] +) + +(define_insn "umulhisi3_r" + [(set (match_operand:SI 0 "mra_operand" "=Rsi,Rsi") + (mult:SI (zero_extend:SI (match_operand:HI 1 "mra_operand" "%0,0")) + (zero_extend:SI (match_operand:HI 2 "mra_operand" "RhiSd,?Rmm"))))] + "" + "mulu.w\t%u2,%1" + [(set_attr "flags" "o")] +) + +(define_expand "umulhisi3" + [(set (match_operand:SI 0 "mra_operand" "=RsiSd,RsiSd,??Rmm,??Rmm") + (mult:SI (zero_extend:SI (match_operand:HI 1 "mra_operand" "%0,0,0,0")) + (match_operand:HI 2 "mra_operand" "RhiSd,?Rmm,RhiSd,?Rmm")))] + "" + "{ if (GET_MODE (operands[2]) != VOIDmode) + operands[2] = gen_rtx_ZERO_EXTEND (SImode, operands[2]); }" +) + + +; GCC expects to be able to multiply pointer-sized integers too, but +; fortunately it only multiplies by powers of two, although sometimes +; they're negative. +(define_insn "mulpsi3_op" + [(set (match_operand:PSI 0 "mra_operand" "=RsiSd") + (mult:PSI (match_operand:PSI 1 "mra_operand" "%0") + (match_operand 2 "m32c_psi_scale" "Ilb")))] + "TARGET_A24" + "shl.l\t%b2,%0" + [(set_attr "flags" "szc")] + ) + +(define_expand "mulpsi3" + [(set (match_operand:PSI 0 "mra_operand" "=RsiSd") + (mult:PSI (match_operand:PSI 1 "mra_operand" "%0") + (match_operand 2 "m32c_psi_scale" "Ilb")))] + "TARGET_A24" + "if (GET_CODE (operands[2]) != CONST_INT + || ! m32c_psi_scale (operands[2], PSImode)) + { + m32c_expand_neg_mulpsi3 (operands); + DONE; + }" + ) + +(define_insn "mulsi3" + [(set (match_operand:SI 0 "r0123_operand" "=R02,R02") + (mult:SI (match_operand:SI 1 "r0123_operand" "%0,0") + (match_operand:SI 2 "mra_operand" "RsiSd,?Rmm")))] + "TARGET_M32C" + "mul.l\t%2,%1" + [(set_attr "flags" "o")] +) + +(define_expand "divmodqi4" + [(set (match_dup 4) + (sign_extend:HI (match_operand:QI 1 "register_operand" "0,0"))) + (parallel [(set (match_operand:QI 0 "register_operand" "=R0w,R0w") + (div:QI (match_dup 4) + (match_operand:QI 2 "general_operand" "iRqiSd,?Rmm"))) + (set (match_operand:QI 3 "register_operand" "=&R0h,&R0h") + (mod:QI (match_dup 4) (match_dup 2))) + ])] + "0" + "operands[4] = gen_reg_rtx (HImode);" + ) + +(define_insn "divmodqi4_n" + [(set (match_operand:QI 0 "register_operand" "=R0l,R0l") + (div:QI (match_operand:HI 1 "register_operand" "R0w,R0w") + (match_operand:QI 2 "general_operand" "iRqiSd,?Rmm"))) + (set (match_operand:QI 3 "register_operand" "=R0h,R0h") + (mod:QI (match_dup 1) (match_dup 2))) + ] + "0" + "div.b\t%2" + [(set_attr "flags" "o")] + ) + +(define_expand "udivmodqi4" + [(set (match_dup 4) + (zero_extend:HI (match_operand:QI 1 "register_operand" "0,0"))) + (parallel [(set (match_operand:QI 0 "register_operand" "=R0l,R0l") + (udiv:QI (match_dup 4) + (match_operand:QI 2 "general_operand" "iRqiSd,?Rmm"))) + (set (match_operand:QI 3 "register_operand" "=&R0h,&R0h") + (umod:QI (match_dup 4) (match_dup 2))) + ])] + "0" + "operands[4] = gen_reg_rtx (HImode);" + ) + +(define_insn "udivmodqi4_n" + [(set (match_operand:QI 0 "register_operand" "=R0l,R0l") + (udiv:QI (match_operand:HI 1 "register_operand" "R0w,R0w") + (match_operand:QI 2 "general_operand" "iRqiSd,?Rmm"))) + (set (match_operand:QI 3 "register_operand" "=R0h,R0h") + (umod:QI (match_dup 1) (match_dup 2))) + ] + "0" + "divu.b\t%2" + [(set_attr "flags" "o")] + ) + +(define_expand "divmodhi4" + [(set (match_dup 4) + (sign_extend:SI (match_operand:HI 1 "register_operand" "0,0"))) + (parallel [(set (match_operand:HI 0 "register_operand" "=R0w,R0w") + (div:HI (match_dup 4) + (match_operand:HI 2 "general_operand" "iRhiSd,?Rmm"))) + (set (match_operand:HI 3 "register_operand" "=R2w,R2w") + (mod:HI (match_dup 4) (match_dup 2))) + ])] + "" + "operands[4] = gen_reg_rtx (SImode);" + ) + +(define_insn "divmodhi4_n" + [(set (match_operand:HI 0 "m32c_r0_operand" "=R0w,R0w") + (div:HI (match_operand:SI 1 "m32c_r0_operand" "R02,R02") + (match_operand:HI 2 "m32c_notr2_operand" "iR1wR3wRaaSd,?Rmm"))) + (set (match_operand:HI 3 "m32c_r2_operand" "=R2w,R2w") + (mod:HI (match_dup 1) (match_dup 2))) + ] + "" + "div.w\t%2" + [(set_attr "flags" "o")] + ) + +(define_expand "udivmodhi4" + [(set (match_dup 4) + (zero_extend:SI (match_operand:HI 1 "register_operand" "0,0"))) + (parallel [(set (match_operand:HI 0 "register_operand" "=R0w,R0w") + (udiv:HI (match_dup 4) + (match_operand:HI 2 "general_operand" "iRhiSd,?Rmm"))) + (set (match_operand:HI 3 "register_operand" "=R2w,R2w") + (umod:HI (match_dup 4) (match_dup 2))) + ])] + "" + "operands[4] = gen_reg_rtx (SImode);" + ) + +(define_insn "udivmodhi4_n" + [(set (match_operand:HI 0 "m32c_r0_operand" "=R0w,R0w") + (udiv:HI (match_operand:SI 1 "m32c_r0_operand" "R02,R02") + (match_operand:HI 2 "m32c_notr2_operand" "iR1wR3wRaaSd,?Rmm"))) + (set (match_operand:HI 3 "m32c_r2_operand" "=R2w,R2w") + (umod:HI (match_dup 1) (match_dup 2))) + ] + "" + "divu.w\t%2" + [(set_attr "flags" "o")] + ) + +(define_insn "divsi3" + [(set (match_operand:SI 0 "r0123_operand" "=R02,R02") + (div:SI (match_operand:SI 1 "r0123_operand" "0,0") + (match_operand:SI 2 "mra_operand" "RsiSd,?Rmm")))] + "TARGET_M32C" + "div.l\t%2" + [(set_attr "flags" "o")] +) + +(define_insn "udivsi3" + [(set (match_operand:SI 0 "r0123_operand" "=R02,R02") + (udiv:SI (match_operand:SI 1 "r0123_operand" "0,0") + (match_operand:SI 2 "mra_operand" "RsiSd,?Rmm")))] + "TARGET_M32C" + "divu.l\t%2" + [(set_attr "flags" "o")] +) + + |