diff options
Diffstat (limited to 'gcc/config/bfin/bfin.md')
-rw-r--r-- | gcc/config/bfin/bfin.md | 1902 |
1 files changed, 0 insertions, 1902 deletions
diff --git a/gcc/config/bfin/bfin.md b/gcc/config/bfin/bfin.md deleted file mode 100644 index 348bce90602..00000000000 --- a/gcc/config/bfin/bfin.md +++ /dev/null @@ -1,1902 +0,0 @@ -;;- Machine description for Blackfin for GNU compiler -;; Copyright 2005 Free Software Foundation, Inc. -;; Contributed by Analog Devices. - -;; 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 2, 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 COPYING. If not, write to -;; the Free Software Foundation, 59 Temple Place - Suite 330, -;; Boston, MA 02111-1307, USA. - -; operand punctuation marks: -; -; X -- integer value printed as log2 -; Y -- integer value printed as log2(~value) - for bitclear -; h -- print half word register, low part -; d -- print half word register, high part -; D -- print operand as dregs pairs -; w -- print operand as accumulator register word (a0w, a1w) -; H -- high part of double mode operand -; T -- byte register representation Oct. 02 2001 - -; constant operand classes -; -; J 2**N 5bit imm scaled -; Ks7 -64 .. 63 signed 7bit imm -; Ku5 0..31 unsigned 5bit imm -; Ks4 -8 .. 7 signed 4bit imm -; Ks3 -4 .. 3 signed 3bit imm -; Ku3 0 .. 7 unsigned 3bit imm -; Pn 0, 1, 2 constants 0, 1 or 2, corresponding to n -; -; register operands -; d (r0..r7) -; a (p0..p5,fp,sp) -; e (a0, a1) -; b (i0..i3) -; f (m0..m3) -; B -; c (i0..i3,m0..m3) CIRCREGS -; C (CC) CCREGS -; - -;; Define constants for hard registers. - -(define_constants - [(REG_R0 0) - (REG_R1 1) - (REG_R2 2) - (REG_R3 3) - (REG_R4 4) - (REG_R5 5) - (REG_R6 6) - (REG_R7 7) - - (REG_P0 8) - (REG_P1 9) - (REG_P2 10) - (REG_P3 11) - (REG_P4 12) - (REG_P5 13) - (REG_P6 14) - (REG_P7 15) - - (REG_SP 14) - (REG_FP 15) - - (REG_I0 16) - (REG_B0 17) - (REG_L0 18) - (REG_I1 19) - (REG_B1 20) - (REG_L1 21) - (REG_I2 22) - (REG_B2 23) - (REG_L2 24) - (REG_I3 25) - (REG_B3 26) - (REG_L3 27) - - (REG_M0 28) - (REG_M1 29) - (REG_M2 30) - (REG_M3 31) - - (REG_A0 32) - (REG_A1 33) - - (REG_CC 34) - (REG_RETS 35) - (REG_RETI 36) - (REG_RETX 37) - (REG_RETN 38) - (REG_RETE 39) - - (REG_ASTAT 40) - (REG_SEQSTAT 41) - (REG_USP 42) - - (REG_ARGP 43)]) - -;; Constants used in UNSPECs and UNSPEC_VOLATILEs. - -(define_constants - [(UNSPEC_CBRANCH_TAKEN 0) - (UNSPEC_CBRANCH_NOPS 1) - (UNSPEC_RETURN 2) - (UNSPEC_MOVE_PIC 3) - (UNSPEC_LIBRARY_OFFSET 4) - (UNSPEC_PUSH_MULTIPLE 5)]) - -(define_constants - [(UNSPEC_VOLATILE_EH_RETURN 0)]) - -(define_attr "type" - "move,mvi,mcld,mcst,dsp32,mult,alu0,shft,brcc,br,call,misc,compare,dummy" - (const_string "misc")) - -;; Scheduling definitions - -(define_automaton "bfin") - -(define_cpu_unit "core" "bfin") - -(define_insn_reservation "alu" 1 - (eq_attr "type" "move,mvi,mcst,dsp32,alu0,shft,brcc,br,call,misc,compare") - "core") - -(define_insn_reservation "imul" 3 - (eq_attr "type" "mult") - "core*3") - -(define_insn_reservation "load" 1 - (eq_attr "type" "mcld") - "core") - -;; Make sure genautomata knows about the maximum latency that can be produced -;; by the adjust_cost function. -(define_insn_reservation "dummy" 5 - (eq_attr "type" "mcld") - "core") - -;; Operand and operator predicates - -(include "predicates.md") - - -;;; FRIO branches have been optimized for code density -;;; this comes at a slight cost of complexity when -;;; a compiler needs to generate branches in the general -;;; case. In order to generate the correct branching -;;; mechanisms the compiler needs keep track of instruction -;;; lengths. The follow table describes how to count instructions -;;; for the FRIO architecture. -;;; -;;; unconditional br are 12-bit imm pcrelative branches *2 -;;; conditional br are 10-bit imm pcrelative branches *2 -;;; brcc 10-bit: -;;; 1024 10-bit imm *2 is 2048 (-1024..1022) -;;; br 12-bit : -;;; 4096 12-bit imm *2 is 8192 (-4096..4094) -;;; NOTE : For brcc we generate instructions such as -;;; if cc jmp; jump.[sl] offset -;;; offset of jump.[sl] is from the jump instruction but -;;; gcc calculates length from the if cc jmp instruction -;;; hence our range is (-4094, 4096) instead of (-4096, 4094) for a br -;;; -;;; The way the (pc) rtx works in these calculations is somewhat odd; -;;; for backward branches it's the address of the current instruction, -;;; for forward branches it's the previously known address of the following -;;; instruction - we have to take this into account by reducing the range -;;; for a forward branch. - -;; Lengths for type "mvi" insns are always defined by the instructions -;; themselves. -(define_attr "length" "" - (cond [(eq_attr "type" "mcld") - (if_then_else (match_operand 1 "effective_address_32bit_p" "") - (const_int 4) (const_int 2)) - - (eq_attr "type" "mcst") - (if_then_else (match_operand 0 "effective_address_32bit_p" "") - (const_int 4) (const_int 2)) - - (eq_attr "type" "move") (const_int 2) - - (eq_attr "type" "dsp32") (const_int 4) - (eq_attr "type" "call") (const_int 4) - - (eq_attr "type" "br") - (if_then_else (and - (le (minus (match_dup 0) (pc)) (const_int 4092)) - (ge (minus (match_dup 0) (pc)) (const_int -4096))) - (const_int 2) - (const_int 4)) - - (eq_attr "type" "brcc") - (cond [(and - (le (minus (match_dup 3) (pc)) (const_int 1020)) - (ge (minus (match_dup 3) (pc)) (const_int -1024))) - (const_int 2) - (and - (le (minus (match_dup 3) (pc)) (const_int 4096)) - (ge (minus (match_dup 3) (pc)) (const_int -4094))) - (const_int 4)] - (const_int 6)) - ] - - (const_int 2))) - -;; Conditional moves - -(define_expand "movsicc" - [(set (match_operand:SI 0 "register_operand" "") - (if_then_else:SI (match_operand 1 "comparison_operator" "") - (match_operand:SI 2 "register_operand" "") - (match_operand:SI 3 "register_operand" "")))] - "" -{ - operands[1] = bfin_gen_compare (operands[1], SImode); -}) - -(define_insn "*movsicc_insn1" - [(set (match_operand:SI 0 "register_operand" "=da,da,da") - (if_then_else:SI - (eq:BI (match_operand:BI 3 "cc_operand" "C,C,C") - (const_int 0)) - (match_operand:SI 1 "register_operand" "da,0,da") - (match_operand:SI 2 "register_operand" "0,da,da")))] - "" - "@ - if !cc %0 =%1; /* movsicc-1a */ - if cc %0 =%2; /* movsicc-1b */ - if !cc %0 =%1; if cc %0=%2; /* movsicc-1 */" - [(set_attr "length" "2,2,4") - (set_attr "type" "move")]) - -(define_insn "*movsicc_insn2" - [(set (match_operand:SI 0 "register_operand" "=da,da,da") - (if_then_else:SI - (ne:BI (match_operand:BI 3 "cc_operand" "C,C,C") - (const_int 0)) - (match_operand:SI 1 "register_operand" "0,da,da") - (match_operand:SI 2 "register_operand" "da,0,da")))] - "" - "@ - if !cc %0 =%2; /* movsicc-2b */ - if cc %0 =%1; /* movsicc-2a */ - if cc %0 =%1; if !cc %0=%2; /* movsicc-1 */" - [(set_attr "length" "2,2,4") - (set_attr "type" "move")]) - -;; Insns to load HIGH and LO_SUM - -(define_insn "movsi_high" - [(set (match_operand:SI 0 "register_operand" "=x") - (high:SI (match_operand:SI 1 "immediate_operand" "i")))] - "reload_completed" - "%d0 = %d1;" - [(set_attr "type" "mvi") - (set_attr "length" "4")]) - -(define_insn "movstricthi_high" - [(set (match_operand:SI 0 "register_operand" "+x") - (ior:SI (and:SI (match_dup 0) (const_int 65535)) - (match_operand:SI 1 "immediate_operand" "i")))] - "reload_completed" - "%d0 = %d1;" - [(set_attr "type" "mvi") - (set_attr "length" "4")]) - -(define_insn "movsi_low" - [(set (match_operand:SI 0 "register_operand" "=x") - (lo_sum:SI (match_operand:SI 1 "register_operand" "0") - (match_operand:SI 2 "immediate_operand" "i")))] - "reload_completed" - "%h0 = %h2;" - [(set_attr "type" "mvi") - (set_attr "length" "4")]) - -(define_insn "movsi_high_pic" - [(set (match_operand:SI 0 "register_operand" "=x") - (high:SI (unspec:SI [(match_operand:SI 1 "" "")] - UNSPEC_MOVE_PIC)))] - "" - "%d0 = %1@GOT_LOW;" - [(set_attr "type" "mvi") - (set_attr "length" "4")]) - -(define_insn "movsi_low_pic" - [(set (match_operand:SI 0 "register_operand" "=x") - (lo_sum:SI (match_operand:SI 1 "register_operand" "0") - (unspec:SI [(match_operand:SI 2 "" "")] - UNSPEC_MOVE_PIC)))] - "" - "%h0 = %h2@GOT_HIGH;" - [(set_attr "type" "mvi") - (set_attr "length" "4")]) - -;;; Move instructions - -(define_insn_and_split "movdi_insn" - [(set (match_operand:DI 0 "nonimmediate_operand" "=x,mx,r") - (match_operand:DI 1 "general_operand" "iFx,r,mx"))] - "GET_CODE (operands[0]) != MEM || GET_CODE (operands[1]) != MEM" - "#" - "reload_completed" - [(set (match_dup 2) (match_dup 3)) - (set (match_dup 4) (match_dup 5))] -{ - rtx lo_half[2], hi_half[2]; - split_di (operands, 2, lo_half, hi_half); - - if (reg_overlap_mentioned_p (lo_half[0], hi_half[1])) - { - operands[2] = hi_half[0]; - operands[3] = hi_half[1]; - operands[4] = lo_half[0]; - operands[5] = lo_half[1]; - } - else - { - operands[2] = lo_half[0]; - operands[3] = lo_half[1]; - operands[4] = hi_half[0]; - operands[5] = hi_half[1]; - } -}) - -(define_insn "movbi" - [(set (match_operand:BI 0 "nonimmediate_operand" "=x,x,d,mr,C,d") - (match_operand:BI 1 "general_operand" "x,xKs3,mr,d,d,C"))] - - "" - "@ - %0 = %1; - %0 = %1 (X); - %0 = %1; - %0 = %1; - CC = %1; - %0 = CC;" - [(set_attr "type" "move,mvi,mcld,mcst,compare,compare") - (set_attr "length" "2,2,*,*,2,2")]) - -(define_insn "movpdi" - [(set (match_operand:PDI 0 "nonimmediate_operand" "=e,<,e") - (match_operand:PDI 1 "general_operand" " e,e,>"))] - "" - "@ - %0 = %1; - %0 = %x1; %0 = %w1; - %w0 = %1; %x0 = %1;" - [(set_attr "type" "move,mcst,mcld")]) - -(define_insn "*pushsi_insn" - [(set (mem:SI (pre_dec:SI (reg:SI REG_SP))) - (match_operand:SI 0 "register_operand" "xy"))] - "" - "[--SP] = %0;" - [(set_attr "type" "mcst") - (set_attr "length" "2")]) - -(define_insn "*popsi_insn" - [(set (match_operand:SI 0 "register_operand" "=xy") - (mem:SI (post_inc:SI (reg:SI REG_SP))))] - "" - "%0 = [SP++];" - [(set_attr "type" "mcld") - (set_attr "length" "2")]) - -;; The first alternative is used to make reload choose a limited register -;; class when faced with a movsi_insn that had its input operand replaced -;; with a PLUS. We generally require fewer secondary reloads this way. -(define_insn "*movsi_insn" - [(set (match_operand:SI 0 "nonimmediate_operand" "=da,x*y,da,x,x,x,da,mr") - (match_operand:SI 1 "general_operand" "da,x*y,xKs7,xKsh,xKuh,ix,mr,da"))] - - "GET_CODE (operands[0]) != MEM || GET_CODE (operands[1]) != MEM" - "@ - %0 = %1; - %0 = %1; - %0 = %1 (X); - %0 = %1 (X); - %0 = %1 (Z); - # - %0 = %1; - %0 = %1;" - [(set_attr "type" "move,move,mvi,mvi,mvi,*,mcld,mcst") - (set_attr "length" "2,2,2,4,4,*,*,*")]) - -(define_insn "*movv2hi_insn" - [(set (match_operand:V2HI 0 "nonimmediate_operand" "=da,d,m") - (match_operand:V2HI 1 "general_operand" "d,m,d"))] - - "GET_CODE (operands[0]) != MEM || GET_CODE (operands[1]) != MEM" - "%0 = %1;" - [(set_attr "type" "move,mcld,mcst") - (set_attr "length" "2,*,*")]) - -(define_insn "*movhi_insn" - [(set (match_operand:HI 0 "nonimmediate_operand" "=x,da,x,d,mr") - (match_operand:HI 1 "general_operand" "x,xKs7,xKsh,mr,d"))] - "GET_CODE (operands[0]) != MEM || GET_CODE (operands[1]) != MEM" - "@ - %0 = %1; - %0 = %1 (X); - %0 = %1 (X); - %0 = W %1 (X); - W %0 = %1;" - [(set_attr "type" "move,mvi,mvi,mcld,mcst") - (set_attr "length" "2,2,4,*,*")]) - -(define_insn "*movqi_insn" - [(set (match_operand:QI 0 "nonimmediate_operand" "=x,da,x,d,mr") - (match_operand:QI 1 "general_operand" "x,xKs7,xKsh,mr,d"))] - "GET_CODE (operands[0]) != MEM || GET_CODE (operands[1]) != MEM" - "@ - %0 = %1; - %0 = %1 (X); - %0 = %1 (X); - %0 = B %1 (X); - B %0 = %1;" - [(set_attr "type" "move,mvi,mvi,mcld,mcst") - (set_attr "length" "2,2,4,*,*")]) - -(define_insn "*movsf_insn" - [(set (match_operand:SF 0 "nonimmediate_operand" "=x,x,da,mr") - (match_operand:SF 1 "general_operand" "x,Fx,mr,da"))] - "GET_CODE (operands[0]) != MEM || GET_CODE (operands[1]) != MEM" - "@ - %0 = %1; - # - %0 = %1; - %0 = %1;" - [(set_attr "type" "move,*,mcld,mcst")]) - -(define_insn_and_split "movdf_insn" - [(set (match_operand:DF 0 "nonimmediate_operand" "=x,mx,r") - (match_operand:DF 1 "general_operand" "iFx,r,mx"))] - "GET_CODE (operands[0]) != MEM || GET_CODE (operands[1]) != MEM" - "#" - "reload_completed" - [(set (match_dup 2) (match_dup 3)) - (set (match_dup 4) (match_dup 5))] -{ - rtx lo_half[2], hi_half[2]; - split_di (operands, 2, lo_half, hi_half); - - if (reg_overlap_mentioned_p (lo_half[0], hi_half[1])) - { - operands[2] = hi_half[0]; - operands[3] = hi_half[1]; - operands[4] = lo_half[0]; - operands[5] = lo_half[1]; - } - else - { - operands[2] = lo_half[0]; - operands[3] = lo_half[1]; - operands[4] = hi_half[0]; - operands[5] = hi_half[1]; - } -}) - -;; This is the main "hook" for PIC code. When generating -;; PIC, movsi is responsible for determining when the source address -;; needs PIC relocation and appropriately calling legitimize_pic_address -;; to perform the actual relocation. - -(define_expand "movsi" - [(set (match_operand:SI 0 "nonimmediate_operand" "") - (match_operand:SI 1 "general_operand" ""))] - "" - "expand_move (operands, SImode);") - -(define_expand "movv2hi" - [(set (match_operand:V2HI 0 "nonimmediate_operand" "") - (match_operand:V2HI 1 "general_operand" ""))] - "" - "expand_move (operands, V2HImode);") - -(define_expand "movdi" - [(set (match_operand:DI 0 "nonimmediate_operand" "") - (match_operand:DI 1 "general_operand" ""))] - "" - "expand_move (operands, DImode);") - -(define_expand "movsf" - [(set (match_operand:SF 0 "nonimmediate_operand" "") - (match_operand:SF 1 "general_operand" ""))] - "" - "expand_move (operands, SFmode);") - -(define_expand "movdf" - [(set (match_operand:DF 0 "nonimmediate_operand" "") - (match_operand:DF 1 "general_operand" ""))] - "" - "expand_move (operands, DFmode);") - -(define_expand "movhi" - [(set (match_operand:HI 0 "nonimmediate_operand" "") - (match_operand:HI 1 "general_operand" ""))] - "" - "expand_move (operands, HImode);") - -(define_expand "movqi" - [(set (match_operand:QI 0 "nonimmediate_operand" "") - (match_operand:QI 1 "general_operand" ""))] - "" - " expand_move (operands, QImode); ") - -;; Some define_splits to break up SI/SFmode loads of immediate constants. - -(define_split - [(set (match_operand:SI 0 "register_operand" "") - (match_operand:SI 1 "symbolic_or_const_operand" ""))] - "reload_completed - /* Always split symbolic operands; split integer constants that are - too large for a single instruction. */ - && (GET_CODE (operands[1]) != CONST_INT - || (INTVAL (operands[1]) < -32768 - || INTVAL (operands[1]) >= 65536 - || (INTVAL (operands[1]) >= 32768 && PREG_P (operands[0]))))" - [(set (match_dup 0) (high:SI (match_dup 1))) - (set (match_dup 0) (lo_sum:SI (match_dup 0) (match_dup 1)))] -{ - if (GET_CODE (operands[1]) == CONST_INT - && split_load_immediate (operands)) - DONE; - /* ??? Do something about TARGET_LOW_64K. */ -}) - -(define_split - [(set (match_operand:SF 0 "register_operand" "") - (match_operand:SF 1 "immediate_operand" ""))] - "reload_completed" - [(set (match_dup 2) (high:SI (match_dup 3))) - (set (match_dup 2) (lo_sum:SI (match_dup 2) (match_dup 3)))] -{ - long values; - REAL_VALUE_TYPE value; - - if (GET_CODE (operands[1]) != CONST_DOUBLE) - abort (); - - REAL_VALUE_FROM_CONST_DOUBLE (value, operands[1]); - REAL_VALUE_TO_TARGET_SINGLE (value, values); - - operands[2] = gen_rtx_REG (SImode, true_regnum (operands[0])); - operands[3] = GEN_INT (trunc_int_for_mode (values, SImode)); - if (values >= -32768 && values < 65536) - { - emit_move_insn (operands[2], operands[3]); - DONE; - } - if (split_load_immediate (operands + 2)) - DONE; -}) - -;; Sadly, this can't be a proper named movstrict pattern, since the compiler -;; expects to be able to use registers for operand 1. -;; Note that the asm instruction is defined by the manual to take an unsigned -;; constant, but it doesn't matter to the assembler, and the compiler only -;; deals with sign-extended constants. Hence "Ksh". -(define_insn "*movstricthi" - [(set (strict_low_part (match_operand:HI 0 "register_operand" "+x")) - (match_operand:HI 1 "immediate_operand" "Ksh"))] - "" - "%h0 = %1;" - [(set_attr "type" "mvi") - (set_attr "length" "4")]) - -;; Sign and zero extensions - -(define_insn "extendhisi2" - [(set (match_operand:SI 0 "register_operand" "=d, d") - (sign_extend:SI (match_operand:HI 1 "nonimmediate_operand" "d, m")))] - "" - "@ - %0 = %h1 (X); - %0 = W %h1 (X);" - [(set_attr "type" "alu0,mcld")]) - -(define_insn "zero_extendhisi2" - [(set (match_operand:SI 0 "register_operand" "=d, d") - (zero_extend:SI (match_operand:HI 1 "nonimmediate_operand" "d, m")))] - "" - "@ - %0 = %h1 (Z); - %0 = W%h1 (Z);" - [(set_attr "type" "alu0,mcld")]) - -(define_insn "zero_extendbisi2" - [(set (match_operand:SI 0 "register_operand" "=d") - (zero_extend:SI (match_operand:BI 1 "nonimmediate_operand" "C")))] - "" - "%0 = %1;" - [(set_attr "type" "compare")]) - -(define_insn "extendqihi2" - [(set (match_operand:HI 0 "register_operand" "=d, d") - (sign_extend:HI (match_operand:QI 1 "nonimmediate_operand" "m, d")))] - "" - "@ - %0 = B %1 (X); - %0 = %T1 (X);" - [(set_attr "type" "mcld,alu0")]) - -(define_insn "extendqisi2" - [(set (match_operand:SI 0 "register_operand" "=d, d") - (sign_extend:SI (match_operand:QI 1 "nonimmediate_operand" "m, d")))] - "" - "@ - %0 = B %1 (X); - %0 = %T1 (X);" - [(set_attr "type" "mcld,alu0")]) - - -(define_insn "zero_extendqihi2" - [(set (match_operand:HI 0 "register_operand" "=d, d") - (zero_extend:HI (match_operand:QI 1 "nonimmediate_operand" "m, d")))] - "" - "@ - %0 = B %1 (Z); - %0 = %T1 (Z);" - [(set_attr "type" "mcld,alu0")]) - - -(define_insn "zero_extendqisi2" - [(set (match_operand:SI 0 "register_operand" "=d, d") - (zero_extend:SI (match_operand:QI 1 "nonimmediate_operand" "m, d")))] - "" - "@ - %0 = B %1 (Z); - %0 = %T1 (Z);" - [(set_attr "type" "mcld,alu0")]) - -;; DImode logical operations - -(define_code_macro any_logical [and ior xor]) -(define_code_attr optab [(and "and") - (ior "ior") - (xor "xor")]) -(define_code_attr op [(and "&") - (ior "|") - (xor "^")]) -(define_code_attr high_result [(and "0") - (ior "%H1") - (xor "%H1")]) - -(define_insn "<optab>di3" - [(set (match_operand:DI 0 "register_operand" "=d") - (any_logical:DI (match_operand:DI 1 "register_operand" "0") - (match_operand:DI 2 "register_operand" "d")))] - "" - "%0 = %1 <op> %2;\\n\\t%H0 = %H1 <op> %H2;" - [(set_attr "length" "4")]) - -(define_insn "*<optab>di_zesidi_di" - [(set (match_operand:DI 0 "register_operand" "=d") - (any_logical:DI (zero_extend:DI - (match_operand:SI 2 "register_operand" "d")) - (match_operand:DI 1 "register_operand" "d")))] - "" - "%0 = %1 <op> %2;\\n\\t%H0 = <high_result>;" - [(set_attr "length" "4")]) - -(define_insn "*<optab>di_sesdi_di" - [(set (match_operand:DI 0 "register_operand" "=d") - (any_logical:DI (sign_extend:DI - (match_operand:SI 2 "register_operand" "d")) - (match_operand:DI 1 "register_operand" "0"))) - (clobber (match_scratch:SI 3 "=&d"))] - "" - "%0 = %1 <op> %2;\\n\\t%3 = %2;\\n\\t%3 >>>= 31;\\n\\t%H0 = %H1 <op> %3;" - [(set_attr "length" "8")]) - -(define_insn "negdi2" - [(set (match_operand:DI 0 "register_operand" "=d") - (neg:DI (match_operand:DI 1 "register_operand" "d"))) - (clobber (match_scratch:SI 2 "=&d")) - (clobber (reg:CC REG_CC))] - "" - "%2 = 0; %2 = %2 - %1; cc = ac0; cc = !cc; %2 = cc;\\n\\t%0 = -%1; %H0 = -%H1; %H0 = %H0 - %2;" - [(set_attr "length" "16")]) - -(define_insn "one_cmpldi2" - [(set (match_operand:DI 0 "register_operand" "=d") - (not:DI (match_operand:DI 1 "register_operand" "d")))] - "" - "%0 = ~%1;\\n\\t%H0 = ~%H1;" - [(set_attr "length" "4")]) - -;; DImode zero and sign extend patterns - -(define_insn_and_split "zero_extendsidi2" - [(set (match_operand:DI 0 "register_operand" "=d") - (zero_extend:DI (match_operand:SI 1 "register_operand" "d")))] - "" - "#" - "reload_completed" - [(set (match_dup 3) (const_int 0))] -{ - split_di (operands, 1, operands + 2, operands + 3); - if (REGNO (operands[0]) != REGNO (operands[1])) - emit_move_insn (operands[2], operands[1]); -}) - -(define_insn "zero_extendqidi2" - [(set (match_operand:DI 0 "register_operand" "=d") - (zero_extend:DI (match_operand:QI 1 "register_operand" "d")))] - "" - "%0 = %T1 (Z);\\n\\t%H0 = 0;" - [(set_attr "length" "4")]) - -(define_insn "zero_extendhidi2" - [(set (match_operand:DI 0 "register_operand" "=d") - (zero_extend:DI (match_operand:HI 1 "register_operand" "d")))] - "" - "%0 = %h1 (Z);\\n\\t%H0 = 0;" - [(set_attr "length" "4")]) - -(define_insn_and_split "extendsidi2" - [(set (match_operand:DI 0 "register_operand" "=d") - (sign_extend:DI (match_operand:SI 1 "register_operand" "d")))] - "" - "#" - "reload_completed" - [(set (match_dup 3) (match_dup 1)) - (set (match_dup 3) (ashiftrt:SI (match_dup 3) (const_int 31)))] -{ - split_di (operands, 1, operands + 2, operands + 3); - if (REGNO (operands[0]) != REGNO (operands[1])) - emit_move_insn (operands[2], operands[1]); -}) - -(define_insn_and_split "extendqidi2" - [(set (match_operand:DI 0 "register_operand" "=d") - (sign_extend:DI (match_operand:QI 1 "register_operand" "d")))] - "" - "#" - "reload_completed" - [(set (match_dup 2) (sign_extend:SI (match_dup 1))) - (set (match_dup 3) (sign_extend:SI (match_dup 1))) - (set (match_dup 3) (ashiftrt:SI (match_dup 3) (const_int 31)))] -{ - split_di (operands, 1, operands + 2, operands + 3); -}) - -(define_insn_and_split "extendhidi2" - [(set (match_operand:DI 0 "register_operand" "=d") - (sign_extend:DI (match_operand:HI 1 "register_operand" "d")))] - "" - "#" - "reload_completed" - [(set (match_dup 2) (sign_extend:SI (match_dup 1))) - (set (match_dup 3) (sign_extend:SI (match_dup 1))) - (set (match_dup 3) (ashiftrt:SI (match_dup 3) (const_int 31)))] -{ - split_di (operands, 1, operands + 2, operands + 3); -}) - -;; DImode arithmetic operations - -(define_insn "adddi3" - [(set (match_operand:DI 0 "register_operand" "=&d,&d,&d") - (plus:DI (match_operand:DI 1 "register_operand" "%0,0,0") - (match_operand:DI 2 "nonmemory_operand" "Kn7,Ks7,d"))) - (clobber (match_scratch:SI 3 "=&d,&d,&d")) - (clobber (reg:CC 34))] - "" - "@ - %0 += %2; cc = ac0; %3 = cc; %H0 += -1; %H0 = %H0 + %3; - %0 += %2; cc = ac0; %3 = cc; %H0 = %H0 + %3; - %0 = %0 + %2; cc = ac0; %3 = cc; %H0 = %H0 + %H2; %H0 = %H0 + %3;" - [(set_attr "type" "alu0") - (set_attr "length" "10,8,10")]) - -(define_insn "subdi3" - [(set (match_operand:DI 0 "register_operand" "=&d") - (minus:DI (match_operand:DI 1 "register_operand" "0") - (match_operand:DI 2 "register_operand" "d"))) - (clobber (reg:CC 34))] - "" - "%0 = %1-%2;\\n\\tcc = ac0;\\n\\t%H0 = %H1-%H2;\\n\\tif cc jump 1f;\\n\\t%H0 += -1;\\n\\t1:" - [(set_attr "length" "10")]) - -(define_insn "*subdi_di_zesidi" - [(set (match_operand:DI 0 "register_operand" "=d") - (minus:DI (match_operand:DI 1 "register_operand" "0") - (zero_extend:DI - (match_operand:SI 2 "register_operand" "d")))) - (clobber (match_scratch:SI 3 "=&d")) - (clobber (reg:CC 34))] - "" - "%0 = %1 - %2;\\n\\tcc = ac0;\\n\\tcc = ! cc;\\n\\t%3 = cc;\\n\\t%H0 = %H1 - %3;" - [(set_attr "length" "10")]) - -(define_insn "*subdi_zesidi_di" - [(set (match_operand:DI 0 "register_operand" "=d") - (minus:DI (zero_extend:DI - (match_operand:SI 2 "register_operand" "d")) - (match_operand:DI 1 "register_operand" "0"))) - (clobber (match_scratch:SI 3 "=&d")) - (clobber (reg:CC 34))] - "" - "%0 = %2 - %1;\\n\\tcc = ac0;\\n\\tcc = ! cc;\\n\\t%3 = cc;\\n\\t%3 = -%3;\\n\\t%H0 = %3 - %H1" - [(set_attr "length" "12")]) - -(define_insn "*subdi_di_sesidi" - [(set (match_operand:DI 0 "register_operand" "=d") - (minus:DI (match_operand:DI 1 "register_operand" "0") - (sign_extend:DI - (match_operand:SI 2 "register_operand" "d")))) - (clobber (match_scratch:SI 3 "=&d")) - (clobber (reg:CC 34))] - "" - "%0 = %1 - %2;\\n\\tcc = ac0;\\n\\t%3 = %2;\\n\\t%3 >>>= 31;\\n\\t%H0 = %H1 - %3;\\n\\tif cc jump 1f;\\n\\t%H0 += -1;\\n\\t1:" - [(set_attr "length" "14")]) - -(define_insn "*subdi_sesidi_di" - [(set (match_operand:DI 0 "register_operand" "=d") - (minus:DI (sign_extend:DI - (match_operand:SI 2 "register_operand" "d")) - (match_operand:DI 1 "register_operand" "0"))) - (clobber (match_scratch:SI 3 "=&d")) - (clobber (reg:CC 34))] - "" - "%0 = %2 - %1;\\n\\tcc = ac0;\\n\\t%3 = %2;\\n\\t%3 >>>= 31;\\n\\t%H0 = %3 - %H1;\\n\\tif cc jump 1f;\\n\\t%H0 += -1;\\n\\t1:" - [(set_attr "length" "14")]) - -;; Combined shift/add instructions - -(define_insn "" - [(set (match_operand:SI 0 "register_operand" "=a,d") - (ashift:SI (plus:SI (match_operand:SI 1 "register_operand" "%0,0") - (match_operand:SI 2 "register_operand" "a,d")) - (match_operand:SI 3 "pos_scale_operand" "P1P2,P1P2")))] - "" - "%0 = (%0 + %2) << %3;" /* "shadd %0,%2,%3;" */ - [(set_attr "type" "alu0")]) - -(define_insn "" - [(set (match_operand:SI 0 "register_operand" "=a") - (plus:SI (match_operand:SI 1 "register_operand" "a") - (mult:SI (match_operand:SI 2 "register_operand" "a") - (match_operand:SI 3 "scale_by_operand" "i"))))] - "" - "%0 = %1 + (%2 << %X3);" - [(set_attr "type" "alu0")]) - -(define_insn "" - [(set (match_operand:SI 0 "register_operand" "=a") - (plus:SI (match_operand:SI 1 "register_operand" "a") - (ashift:SI (match_operand:SI 2 "register_operand" "a") - (match_operand:SI 3 "pos_scale_operand" "i"))))] - "" - "%0 = %1 + (%2 << %3);" - [(set_attr "type" "alu0")]) - -(define_insn "" - [(set (match_operand:SI 0 "register_operand" "=a") - (plus:SI (mult:SI (match_operand:SI 1 "register_operand" "a") - (match_operand:SI 2 "scale_by_operand" "i")) - (match_operand:SI 3 "register_operand" "a")))] - "" - "%0 = %3 + (%1 << %X2);" - [(set_attr "type" "alu0")]) - -(define_insn "" - [(set (match_operand:SI 0 "register_operand" "=a") - (plus:SI (ashift:SI (match_operand:SI 1 "register_operand" "a") - (match_operand:SI 2 "pos_scale_operand" "i")) - (match_operand:SI 3 "register_operand" "a")))] - "" - "%0 = %3 + (%1 << %2);" - [(set_attr "type" "alu0")]) - -(define_insn "mulhisi3" - [(set (match_operand:SI 0 "register_operand" "=d") - (mult:SI (sign_extend:SI (match_operand:HI 1 "register_operand" "%d")) - (sign_extend:SI (match_operand:HI 2 "register_operand" "d"))))] - "" - "%0 = %h1 * %h2 (IS);" - [(set_attr "type" "dsp32")]) - -(define_insn "umulhisi3" - [(set (match_operand:SI 0 "register_operand" "=d") - (mult:SI (zero_extend:SI (match_operand:HI 1 "register_operand" "%d")) - (zero_extend:SI (match_operand:HI 2 "register_operand" "d"))))] - "" - "%0 = %h1 * %h2 (FU);" - [(set_attr "type" "dsp32")]) - -;; The processor also supports ireg += mreg or ireg -= mreg, but these -;; are unusable if we don't ensure that the corresponding lreg is zero. -;; The same applies to the add/subtract constant versions involving -;; iregs - -(define_insn "addsi3" - [(set (match_operand:SI 0 "register_operand" "=ad,a,d") - (plus:SI (match_operand:SI 1 "register_operand" "%0, a,d") - (match_operand:SI 2 "reg_or_7bit_operand" "Ks7, a,d")))] - "" - "@ - %0 += %2; - %0 = %1 + %2; - %0 = %1 + %2;" - [(set_attr "type" "alu0") - (set_attr "length" "2,2,2")]) - -(define_expand "subsi3" - [(set (match_operand:SI 0 "register_operand" "") - (minus:SI (match_operand:SI 1 "register_operand" "") - (match_operand:SI 2 "reg_or_7bit_operand" "")))] - "" - "") - -(define_insn "" - [(set (match_operand:SI 0 "register_operand" "=da,d,a") - (minus:SI (match_operand:SI 1 "register_operand" "0,d,0") - (match_operand:SI 2 "reg_or_7bit_operand" "Ks7,d,a")))] - "GET_CODE (operands[2]) != CONST_INT || INTVAL (operands[2]) != -64" -{ - static const char *const strings_subsi3[] = { - "%0 += -%2;", - "%0 = %1 - %2;", - "%0 -= %2;", - }; - - if (CONSTANT_P (operands[2]) && INTVAL (operands[2]) < 0) { - rtx tmp_op = operands[2]; - operands[2] = GEN_INT (-INTVAL (operands[2])); - output_asm_insn ("%0 += %2;", operands); - operands[2] = tmp_op; - return ""; - } - - return strings_subsi3[which_alternative]; -} - [(set_attr "type" "alu0")]) - -;; Bit test instructions - -(define_insn "*not_bittst" - [(set (match_operand:BI 0 "cc_operand" "=C") - (eq:BI (zero_extract:SI (match_operand:SI 1 "register_operand" "d") - (const_int 1) - (match_operand:SI 2 "immediate_operand" "Ku5")) - (const_int 0)))] - "" - "cc = !BITTST (%1,%2);" - [(set_attr "type" "alu0")]) - -(define_insn "*bittst" - [(set (match_operand:BI 0 "cc_operand" "=C") - (ne:BI (zero_extract:SI (match_operand:SI 1 "register_operand" "d") - (const_int 1) - (match_operand:SI 2 "immediate_operand" "Ku5")) - (const_int 0)))] - "" - "cc = BITTST (%1,%2);" - [(set_attr "type" "alu0")]) - -(define_insn_and_split "*bit_extract" - [(set (match_operand:SI 0 "register_operand" "=d") - (zero_extract:SI (match_operand:SI 1 "register_operand" "d") - (const_int 1) - (match_operand:SI 2 "immediate_operand" "Ku5"))) - (clobber (reg:BI REG_CC))] - "" - "#" - "" - [(set (reg:BI REG_CC) - (ne:BI (zero_extract:SI (match_dup 1) (const_int 1) (match_dup 2)) - (const_int 0))) - (set (match_dup 0) - (ne:SI (reg:BI REG_CC) (const_int 0)))]) - -(define_insn_and_split "*not_bit_extract" - [(set (match_operand:SI 0 "register_operand" "=d") - (zero_extract:SI (not:SI (match_operand:SI 1 "register_operand" "d")) - (const_int 1) - (match_operand:SI 2 "immediate_operand" "Ku5"))) - (clobber (reg:BI REG_CC))] - "" - "#" - "" - [(set (reg:BI REG_CC) - (eq:BI (zero_extract:SI (match_dup 1) (const_int 1) (match_dup 2)) - (const_int 0))) - (set (match_dup 0) - (ne:SI (reg:BI REG_CC) (const_int 0)))]) - -(define_insn "*andsi_insn" - [(set (match_operand:SI 0 "register_operand" "=d,d,d,d") - (and:SI (match_operand:SI 1 "register_operand" "%0,d,d,d") - (match_operand:SI 2 "rhs_andsi3_operand" "L,M1,M2,d")))] - "" - "@ - BITCLR (%0,%Y2); - %0 = %T1 (Z); - %0 = %h1 (Z); - %0 = %1 & %2;" - [(set_attr "type" "alu0")]) - -(define_expand "andsi3" - [(set (match_operand:SI 0 "register_operand" "") - (and:SI (match_operand:SI 1 "register_operand" "") - (match_operand:SI 2 "general_operand" "")))] - "" -{ - if (highbits_operand (operands[2], SImode)) - { - operands[2] = GEN_INT (exact_log2 (-INTVAL (operands[2]))); - emit_insn (gen_ashrsi3 (operands[0], operands[1], operands[2])); - emit_insn (gen_ashlsi3 (operands[0], operands[0], operands[2])); - DONE; - } - if (! rhs_andsi3_operand (operands[2], SImode)) - operands[2] = force_reg (SImode, operands[2]); -}) - -(define_insn "iorsi3" - [(set (match_operand:SI 0 "register_operand" "=d,d") - (ior:SI (match_operand:SI 1 "register_operand" "%0,d") - (match_operand:SI 2 "regorlog2_operand" "J,d")))] - "" - "@ - BITSET (%0, %X2); - %0 = %1 | %2;" - [(set_attr "type" "alu0")]) - -(define_insn "xorsi3" - [(set (match_operand:SI 0 "register_operand" "=d,d") - (xor:SI (match_operand:SI 1 "register_operand" "%0,d") - (match_operand:SI 2 "regorlog2_operand" "J,d")))] - "" - "@ - BITTGL (%0, %X2); - %0 = %1 ^ %2;" - [(set_attr "type" "alu0")]) - -(define_insn "smaxsi3" - [(set (match_operand:SI 0 "register_operand" "=d") - (smax:SI (match_operand:SI 1 "register_operand" "d") - (match_operand:SI 2 "register_operand" "d")))] - "" - "%0 =max(%1,%2);" - [(set_attr "type" "dsp32")]) - -(define_insn "sminsi3" - [(set (match_operand:SI 0 "register_operand" "=d") - (smin:SI (match_operand:SI 1 "register_operand" "d") - (match_operand:SI 2 "register_operand" "d")))] - "" - "%0 =min(%1,%2);" - [(set_attr "type" "dsp32")]) - -(define_insn "abssi2" - [(set (match_operand:SI 0 "register_operand" "=d") - (abs:SI (match_operand:SI 1 "register_operand" " d")))] - "" - "%0 =abs %1;" - [(set_attr "type" "dsp32")]) - - -(define_insn "negsi2" - [(set (match_operand:SI 0 "register_operand" "=d") - (neg:SI (match_operand:SI 1 "register_operand" " d")))] - "" - "%0 =-%1;" - [(set_attr "type" "alu0")]) - -(define_insn "one_cmplsi2" - [(set (match_operand:SI 0 "register_operand" "=d") - (not:SI (match_operand:SI 1 "register_operand" " d")))] - "" - "%0 =~%1;" - [(set_attr "type" "alu0")]) - -(define_insn "mulsi3" - [(set (match_operand:SI 0 "register_operand" "=d") - (mult:SI (match_operand:SI 1 "register_operand" "%0") - (match_operand:SI 2 "register_operand" "d")))] - "" - "%0 *=%2;" - [(set_attr "type" "mult")]) - -(define_expand "ashlsi3" - [(set (match_operand:SI 0 "register_operand" "") - (ashift:SI (match_operand:SI 1 "register_operand" "") - (match_operand:SI 2 "nonmemory_operand" "")))] - "" -{ - if (GET_CODE (operands[2]) == CONST_INT - && ((unsigned HOST_WIDE_INT) INTVAL (operands[2])) > 31) - { - emit_insn (gen_movsi (operands[0], const0_rtx)); - DONE; - } -}) - -(define_insn_and_split "*ashlsi3_insn" - [(set (match_operand:SI 0 "register_operand" "=d,a,a,a") - (ashift:SI (match_operand:SI 1 "register_operand" "0,a,a,a") - (match_operand:SI 2 "nonmemory_operand" "dKu5,P1,P2,?P3P4")))] - "" - "@ - %0 <<= %2; - %0 = %1 + %1; - %0 = %1 << %2; - #" - "PREG_P (operands[0]) && INTVAL (operands[2]) > 2" - [(set (match_dup 0) (ashift:SI (match_dup 1) (const_int 2))) - (set (match_dup 0) (ashift:SI (match_dup 0) (match_dup 3)))] - "operands[3] = GEN_INT (INTVAL (operands[2]) - 2);" - [(set_attr "type" "shft")]) - -(define_insn "ashrsi3" - [(set (match_operand:SI 0 "register_operand" "=d") - (ashiftrt:SI (match_operand:SI 1 "register_operand" "0") - (match_operand:SI 2 "nonmemory_operand" "dKu5")))] - "" - "%0 >>>= %2;" - [(set_attr "type" "shft")]) - -(define_insn "lshrsi3" - [(set (match_operand:SI 0 "register_operand" "=d,a") - (lshiftrt:SI (match_operand:SI 1 "register_operand" " 0,a") - (match_operand:SI 2 "nonmemory_operand" "dKu5,P1P2")))] - "" - "@ - %0 >>= %2; - %0 = %1 >> %2;" - [(set_attr "type" "shft")]) - -;; A pattern to reload the equivalent of -;; (set (Dreg) (plus (FP) (large_constant))) -;; or -;; (set (dagreg) (plus (FP) (arbitrary_constant))) -;; using a scratch register -(define_expand "reload_insi" - [(parallel [(set (match_operand:SI 0 "register_operand" "=w") - (match_operand:SI 1 "fp_plus_const_operand" "")) - (clobber (match_operand:SI 2 "register_operand" "=&a"))])] - "" -{ - rtx fp_op = XEXP (operands[1], 0); - rtx const_op = XEXP (operands[1], 1); - rtx primary = operands[0]; - rtx scratch = operands[2]; - - emit_move_insn (scratch, const_op); - emit_insn (gen_addsi3 (scratch, scratch, fp_op)); - emit_move_insn (primary, scratch); - DONE; -}) - -;; Jump instructions - -(define_insn "jump" - [(set (pc) - (label_ref (match_operand 0 "" "")))] - "" -{ - if (get_attr_length (insn) == 2) - return "jump.s %0;"; - else - return "jump.l %0;"; -} - [(set_attr "type" "br")]) - -(define_insn "indirect_jump" - [(set (pc) - (match_operand:SI 0 "register_operand" "a"))] - "" - "jump (%0);" - [(set_attr "type" "misc")]) - -(define_expand "tablejump" - [(parallel [(set (pc) (match_operand:SI 0 "register_operand" "a")) - (use (label_ref (match_operand 1 "" "")))])] - "" -{ - /* In PIC mode, the table entries are stored PC relative. - Convert the relative address to an absolute address. */ - if (flag_pic) - { - rtx op1 = gen_rtx_LABEL_REF (Pmode, operands[1]); - - operands[0] = expand_simple_binop (Pmode, PLUS, operands[0], - op1, NULL_RTX, 0, OPTAB_DIRECT); - } -}) - -(define_insn "*tablejump_internal" - [(set (pc) (match_operand:SI 0 "register_operand" "a")) - (use (label_ref (match_operand 1 "" "")))] - "" - "jump (%0);" - [(set_attr "type" "misc")]) - -;; Call instructions.. - -(define_expand "call" - [(call (match_operand:SI 0 "" "") - (match_operand 1 "" ""))] - "" - "bfin_expand_call (NULL_RTX, operands[0], operands[1], 0); DONE;") - -(define_expand "sibcall" - [(parallel [(call (match_operand:SI 0 "" "") - (match_operand 1 "" "")) - (return)])] - "" - "bfin_expand_call (NULL_RTX, operands[0], operands[1], 1); DONE;") - -(define_expand "call_value" - [(set (match_operand 0 "register_operand" "") - (call (match_operand:SI 1 "" "") - (match_operand 2 "" "")))] - "" - "bfin_expand_call (operands[0], operands[1], operands[2], 0); DONE;") - -(define_expand "sibcall_value" - [(parallel [(set (match_operand 0 "register_operand" "") - (call (match_operand:SI 1 "" "") - (match_operand 2 "" ""))) - (return)])] - "" - "bfin_expand_call (operands[0], operands[1], operands[2], 1); DONE;") - -(define_insn "*call_insn" - [(call (mem:SI (match_operand:SI 0 "call_insn_operand" "a,Q")) - (match_operand 1 "general_operand" "g,g"))] - "! SIBLING_CALL_P (insn) - && (GET_CODE (operands[0]) == SYMBOL_REF || GET_CODE (operands[0]) == REG)" - "@ - call (%0); - call %G0;" - [(set_attr "type" "call") - (set_attr "length" "2,4")]) - -(define_insn "*sibcall_insn" - [(call (mem:SI (match_operand:SI 0 "call_insn_operand" "z,Q")) - (match_operand 1 "general_operand" "g,g")) - (return)] - "SIBLING_CALL_P (insn) - && (GET_CODE (operands[0]) == SYMBOL_REF || GET_CODE (operands[0]) == REG)" - "@ - jump (%0); - jump.l %G0;" - [(set_attr "type" "br") - (set_attr "length" "2,4")]) - -(define_insn "*call_value_insn" - [(set (match_operand 0 "register_operand" "=d,d") - (call (mem:SI (match_operand:SI 1 "call_insn_operand" "a,Q")) - (match_operand 2 "general_operand" "g,g")))] - "! SIBLING_CALL_P (insn) - && (GET_CODE (operands[0]) == SYMBOL_REF || GET_CODE (operands[0]) == REG)" - "@ - call (%1); - call %G1;" - [(set_attr "type" "call") - (set_attr "length" "2,4")]) - -(define_insn "*sibcall_value_insn" - [(set (match_operand 0 "register_operand" "=d,d") - (call (mem:SI (match_operand:SI 1 "call_insn_operand" "z,Q")) - (match_operand 2 "general_operand" "g,g"))) - (return)] - "SIBLING_CALL_P (insn) - && (GET_CODE (operands[0]) == SYMBOL_REF || GET_CODE (operands[0]) == REG)" - "@ - jump (%1); - jump.l %G1;" - [(set_attr "type" "br") - (set_attr "length" "2,4")]) - -;; Block move patterns - -;; We cheat. This copies one more word than operand 2 indicates. - -(define_insn "rep_movsi" - [(set (match_operand:SI 0 "register_operand" "=&a") - (plus:SI (plus:SI (match_operand:SI 3 "register_operand" "0") - (ashift:SI (match_operand:SI 2 "register_operand" "a") - (const_int 2))) - (const_int 4))) - (set (match_operand:SI 1 "register_operand" "=&b") - (plus:SI (plus:SI (match_operand:SI 4 "register_operand" "1") - (ashift:SI (match_dup 2) (const_int 2))) - (const_int 4))) - (set (mem:BLK (match_dup 3)) - (mem:BLK (match_dup 4))) - (use (match_dup 2)) - (clobber (match_scratch:HI 5 "=&d"))] - "" - "lsetup (1f, 1f) LC1 = %2; %5 = [%4++]; 1: MNOP || [%3++] = %5 || %5 = [%4++]; [%3++] = %5;" - [(set_attr "type" "misc") - (set_attr "length" "16")]) - -(define_insn "rep_movhi" - [(set (match_operand:SI 0 "register_operand" "=&a") - (plus:SI (plus:SI (match_operand:SI 3 "register_operand" "0") - (ashift:SI (match_operand:SI 2 "register_operand" "a") - (const_int 1))) - (const_int 2))) - (set (match_operand:SI 1 "register_operand" "=&b") - (plus:SI (plus:SI (match_operand:SI 4 "register_operand" "1") - (ashift:SI (match_dup 2) (const_int 1))) - (const_int 2))) - (set (mem:BLK (match_dup 3)) - (mem:BLK (match_dup 4))) - (use (match_dup 2)) - (clobber (match_scratch:HI 5 "=&d"))] - "" - "lsetup (1f, 1f) LC1 = %2; %h5 = W[%4++]; 1: MNOP || W [%3++] = %5 || %h5 = W [%4++]; W [%3++] = %5;" - [(set_attr "type" "misc") - (set_attr "length" "16")]) - -(define_expand "movstrsi" - [(match_operand:BLK 0 "general_operand" "") - (match_operand:BLK 1 "general_operand" "") - (match_operand:SI 2 "const_int_operand" "") - (match_operand:SI 3 "const_int_operand" "")] - "" -{ - if (bfin_expand_strmov (operands[0], operands[1], operands[2], operands[3])) - DONE; - FAIL; -}) - -;; Conditional branch patterns -;; The Blackfin has only few condition codes: eq, lt, lte, ltu, leu - -;; The only outcome of this pattern is that global variables -;; bfin_compare_op[01] are set for use in bcond patterns. - -(define_expand "cmpbi" - [(set (cc0) (compare (match_operand:BI 0 "register_operand" "") - (match_operand:BI 1 "immediate_operand" "")))] - "" -{ - bfin_compare_op0 = operands[0]; - bfin_compare_op1 = operands[1]; - DONE; -}) - -(define_expand "cmpsi" - [(set (cc0) (compare (match_operand:SI 0 "register_operand" "") - (match_operand:SI 1 "nonmemory_operand" "")))] - "" -{ - bfin_compare_op0 = operands[0]; - bfin_compare_op1 = operands[1]; - DONE; -}) - -(define_insn "" - [(set (match_operand:BI 0 "cc_operand" "=C,C") - (eq:BI (match_operand:SI 1 "register_operand" "d,a") - (match_operand:SI 2 "nonmemory_operand" "dKs3,aKs3")))] - "" - "cc =%1==%2;" - [(set_attr "type" "compare")]) - -(define_insn "" - [(set (match_operand:BI 0 "cc_operand" "=C,C") - (ne:BI (match_operand:SI 1 "register_operand" "d,a") - (match_operand:SI 2 "nonmemory_operand" "dKs3,aKs3")))] - "0" - "cc =%1!=%2;" - [(set_attr "type" "compare")]) - -(define_insn "" - [(set (match_operand:BI 0 "cc_operand" "=C,C") - (lt:BI (match_operand:SI 1 "register_operand" "d,a") - (match_operand:SI 2 "nonmemory_operand" "dKs3,aKs3")))] - "" - "cc =%1<%2;" - [(set_attr "type" "compare")]) - -(define_insn "" - [(set (match_operand:BI 0 "cc_operand" "=C,C") - (le:BI (match_operand:SI 1 "register_operand" "d,a") - (match_operand:SI 2 "nonmemory_operand" "dKs3,aKs3")))] - "" - "cc =%1<=%2;" - [(set_attr "type" "compare")]) - -(define_insn "" - [(set (match_operand:BI 0 "cc_operand" "=C,C") - (leu:BI (match_operand:SI 1 "register_operand" "d,a") - (match_operand:SI 2 "nonmemory_operand" "dKu3,aKu3")))] - "" - "cc =%1<=%2 (iu);" - [(set_attr "type" "compare")]) - -(define_insn "" - [(set (match_operand:BI 0 "cc_operand" "=C,C") - (ltu:BI (match_operand:SI 1 "register_operand" "d,a") - (match_operand:SI 2 "nonmemory_operand" "dKu3,aKu3")))] - "" - "cc =%1<%2 (iu);" - [(set_attr "type" "compare")]) - -(define_expand "beq" - [(set (match_dup 1) (match_dup 2)) - (set (pc) - (if_then_else (match_dup 3) - (label_ref (match_operand 0 "" "")) - (pc)))] - "" -{ - rtx op0 = bfin_compare_op0, op1 = bfin_compare_op1; - operands[1] = bfin_cc_rtx; /* hard register: CC */ - operands[2] = gen_rtx_EQ (BImode, op0, op1); - /* If we have a BImode input, then we already have a compare result, and - do not need to emit another comparison. */ - if (GET_MODE (bfin_compare_op0) == BImode) - { - if (bfin_compare_op1 == const0_rtx) - { - emit_insn (gen_cbranchbi4 (operands[2], op0, op1, - operands[0])); - DONE; - } - else - abort (); - } - - operands[3] = gen_rtx_NE (BImode, operands[1], const0_rtx); -}) - -(define_expand "bne" - [(set (match_dup 1) (match_dup 2)) - (set (pc) - (if_then_else (match_dup 3) - (label_ref (match_operand 0 "" "")) - (pc)))] - "" -{ - rtx op0 = bfin_compare_op0, op1 = bfin_compare_op1; - /* If we have a BImode input, then we already have a compare result, and - do not need to emit another comparison. */ - if (GET_MODE (bfin_compare_op0) == BImode) - { - if (bfin_compare_op1 == const0_rtx) - { - rtx cmp = gen_rtx_NE (BImode, op0, op1); - emit_insn (gen_cbranchbi4 (cmp, op0, op1, operands[0])); - DONE; - } - else - abort (); - } - - operands[1] = bfin_cc_rtx; /* hard register: CC */ - operands[2] = gen_rtx_EQ (BImode, op0, op1); - operands[3] = gen_rtx_EQ (BImode, operands[1], const0_rtx); -}) - -(define_expand "bgt" - [(set (match_dup 1) (match_dup 2)) - (set (pc) - (if_then_else (match_dup 3) - (label_ref (match_operand 0 "" "")) - (pc)))] - "" -{ - operands[1] = bfin_cc_rtx; - operands[2] = gen_rtx_LE (BImode, bfin_compare_op0, bfin_compare_op1); - operands[3] = gen_rtx_EQ (BImode, operands[1], const0_rtx); -}) - -(define_expand "bgtu" - [(set (match_dup 1) (match_dup 2)) - (set (pc) - (if_then_else (match_dup 3) - (label_ref (match_operand 0 "" "")) - (pc)))] - "" -{ - operands[1] = bfin_cc_rtx; - operands[2] = gen_rtx_LEU (BImode, bfin_compare_op0, bfin_compare_op1); - operands[3] = gen_rtx_EQ (BImode, operands[1], const0_rtx); -}) - -(define_expand "blt" - [(set (match_dup 1) (match_dup 2)) - (set (pc) - (if_then_else (match_dup 3) - (label_ref (match_operand 0 "" "")) - (pc)))] - "" -{ - operands[1] = bfin_cc_rtx; - operands[2] = gen_rtx_LT (BImode, bfin_compare_op0, bfin_compare_op1); - operands[3] = gen_rtx_NE (BImode, operands[1], const0_rtx); -}) - -(define_expand "bltu" - [(set (match_dup 1) (match_dup 2)) - (set (pc) - (if_then_else (match_dup 3) - (label_ref (match_operand 0 "" "")) - (pc)))] - "" -{ - operands[1] = bfin_cc_rtx; - operands[2] = gen_rtx_LTU (BImode, bfin_compare_op0, bfin_compare_op1); - operands[3] = gen_rtx_NE (BImode, operands[1], const0_rtx); -}) - - -(define_expand "bge" - [(set (match_dup 1) (match_dup 2)) - (set (pc) - (if_then_else (match_dup 3) - (label_ref (match_operand 0 "" "")) - (pc)))] - "" -{ - operands[1] = bfin_cc_rtx; - operands[2] = gen_rtx_LT (BImode, bfin_compare_op0, bfin_compare_op1); - operands[3] = gen_rtx_EQ (BImode, operands[1], const0_rtx); -}) - -(define_expand "bgeu" - [(set (match_dup 1) (match_dup 2)) - (set (pc) - (if_then_else (match_dup 3) - (label_ref (match_operand 0 "" "")) - (pc)))] - "" -{ - operands[1] = bfin_cc_rtx; - operands[2] = gen_rtx_LTU (BImode, bfin_compare_op0, bfin_compare_op1); - operands[3] = gen_rtx_EQ (BImode, operands[1], const0_rtx); -}) - -(define_expand "ble" - [(set (match_dup 1) (match_dup 2)) - (set (pc) - (if_then_else (match_dup 3) - (label_ref (match_operand 0 "" "")) - (pc)))] - "" -{ - operands[1] = bfin_cc_rtx; - operands[2] = gen_rtx_LE (BImode, bfin_compare_op0, bfin_compare_op1); - operands[3] = gen_rtx_NE (BImode, operands[1], const0_rtx); -}) - -(define_expand "bleu" - [(set (match_dup 1) (match_dup 2)) - (set (pc) - (if_then_else (match_dup 3) - (label_ref (match_operand 0 "" "")) - (pc))) - ] - "" -{ - operands[1] = bfin_cc_rtx; - operands[2] = gen_rtx_LEU (BImode, bfin_compare_op0, bfin_compare_op1); - operands[3] = gen_rtx_NE (BImode, operands[1], const0_rtx); -}) - -(define_insn "cbranchbi4" - [(set (pc) - (if_then_else - (match_operator 0 "bfin_cbranch_operator" - [(match_operand:BI 1 "cc_operand" "C") - (match_operand:BI 2 "immediate_operand" "P0")]) - (label_ref (match_operand 3 "" "")) - (pc)))] - "" -{ - asm_conditional_branch (insn, operands, 0, 0); - return ""; -} - [(set_attr "type" "brcc")]) - -;; Special cbranch patterns to deal with the speculative load problem - see -;; bfin_reorg for details. - -(define_insn "cbranch_predicted_taken" - [(set (pc) - (if_then_else - (match_operator 0 "bfin_cbranch_operator" - [(match_operand:BI 1 "cc_operand" "C") - (match_operand:BI 2 "immediate_operand" "P0")]) - (label_ref (match_operand 3 "" "")) - (pc))) - (unspec [(const_int 0)] UNSPEC_CBRANCH_TAKEN)] - "" -{ - asm_conditional_branch (insn, operands, 0, 1); - return ""; -} - [(set_attr "type" "brcc")]) - -(define_insn "cbranch_with_nops" - [(set (pc) - (if_then_else - (match_operator 0 "bfin_cbranch_operator" - [(match_operand:BI 1 "cc_operand" "C") - (match_operand:BI 2 "immediate_operand" "P0")]) - (label_ref (match_operand 3 "" "")) - (pc))) - (unspec [(match_operand 4 "immediate_operand" "")] UNSPEC_CBRANCH_NOPS)] - "reload_completed" -{ - asm_conditional_branch (insn, operands, INTVAL (operands[4]), 0); - return ""; -} - [(set_attr "type" "brcc") - (set_attr "length" "6")]) - -;; setcc insns. */ -(define_expand "seq" - [(set (match_dup 1) (eq:BI (match_dup 2) (match_dup 3))) - (set (match_operand:SI 0 "register_operand" "") - (ne:SI (match_dup 1) (const_int 0)))] - "" -{ - operands[2] = bfin_compare_op0; - operands[3] = bfin_compare_op1; - operands[1] = bfin_cc_rtx; -}) - -(define_expand "slt" - [(set (match_dup 1) (lt:BI (match_dup 2) (match_dup 3))) - (set (match_operand:SI 0 "register_operand" "") - (ne:SI (match_dup 1) (const_int 0)))] - "" -{ - operands[2] = bfin_compare_op0; - operands[3] = bfin_compare_op1; - operands[1] = bfin_cc_rtx; -}) - -(define_expand "sle" - [(set (match_dup 1) (le:BI (match_dup 2) (match_dup 3))) - (set (match_operand:SI 0 "register_operand" "") - (ne:SI (match_dup 1) (const_int 0)))] - "" -{ - operands[2] = bfin_compare_op0; - operands[3] = bfin_compare_op1; - operands[1] = bfin_cc_rtx; -}) - -(define_expand "sltu" - [(set (match_dup 1) (ltu:BI (match_dup 2) (match_dup 3))) - (set (match_operand:SI 0 "register_operand" "") - (ne:SI (match_dup 1) (const_int 0)))] - "" -{ - operands[2] = bfin_compare_op0; - operands[3] = bfin_compare_op1; - operands[1] = bfin_cc_rtx; -}) - -(define_expand "sleu" - [(set (match_dup 1) (leu:BI (match_dup 2) (match_dup 3))) - (set (match_operand:SI 0 "register_operand" "") - (ne:SI (match_dup 1) (const_int 0)))] - "" -{ - operands[2] = bfin_compare_op0; - operands[3] = bfin_compare_op1; - operands[1] = bfin_cc_rtx; -}) - -(define_insn "nop" - [(const_int 0)] - "" - "nop;") - -;;;;;;;;;;;;;;;;;;;; CC2dreg ;;;;;;;;;;;;;;;;;;;;;;;;; -(define_insn "movsibi" - [(set (match_operand:BI 0 "cc_operand" "=C") - (ne:BI (match_operand:SI 1 "register_operand" "d") - (const_int 0)))] - "" - "CC = %1;" - [(set_attr "length" "2")]) - -(define_insn "movbisi" - [(set (match_operand:SI 0 "register_operand" "=d") - (ne:SI (match_operand:BI 1 "cc_operand" "C") - (const_int 0)))] - "" - "%0 = CC;" - [(set_attr "length" "2")]) - -(define_insn "" - [(set (match_operand:BI 0 "cc_operand" "=C") - (eq:BI (match_operand:BI 1 "cc_operand" " 0") - (const_int 0)))] - "" - "%0 = ! %0;" /* NOT CC;" */ - [(set_attr "type" "compare")]) - -;; Vector and DSP insns - -(define_insn "" - [(set (match_operand:SI 0 "register_operand" "=d") - (ior:SI (ashift:SI (match_operand:SI 1 "register_operand" "d") - (const_int 24)) - (lshiftrt:SI (match_operand:SI 2 "register_operand" "d") - (const_int 8))))] - "" - "%0 = ALIGN8(%1, %2);" - [(set_attr "type" "dsp32")]) - -(define_insn "" - [(set (match_operand:SI 0 "register_operand" "=d") - (ior:SI (ashift:SI (match_operand:SI 1 "register_operand" "d") - (const_int 16)) - (lshiftrt:SI (match_operand:SI 2 "register_operand" "d") - (const_int 16))))] - "" - "%0 = ALIGN16(%1, %2);" - [(set_attr "type" "dsp32")]) - -(define_insn "" - [(set (match_operand:SI 0 "register_operand" "=d") - (ior:SI (ashift:SI (match_operand:SI 1 "register_operand" "d") - (const_int 8)) - (lshiftrt:SI (match_operand:SI 2 "register_operand" "d") - (const_int 24))))] - "" - "%0 = ALIGN24(%1, %2);" - [(set_attr "type" "dsp32")]) - -;; Prologue and epilogue. - -(define_expand "prologue" - [(const_int 1)] - "" - "bfin_expand_prologue (); DONE;") - -(define_expand "epilogue" - [(const_int 1)] - "" - "bfin_expand_epilogue (1, 0); DONE;") - -(define_expand "sibcall_epilogue" - [(const_int 1)] - "" - "bfin_expand_epilogue (0, 0); DONE;") - -(define_expand "eh_return" - [(unspec_volatile [(match_operand:SI 0 "register_operand" "")] - UNSPEC_VOLATILE_EH_RETURN)] - "" -{ - emit_move_insn (EH_RETURN_HANDLER_RTX, operands[0]); - emit_insn (gen_eh_return_internal ()); - emit_barrier (); -}) - -(define_insn_and_split "eh_return_internal" - [(unspec_volatile [(reg:SI REG_P2)] UNSPEC_VOLATILE_EH_RETURN)] - "" - "#" - "reload_completed" - [(const_int 1)] - "bfin_expand_epilogue (1, 1); DONE;") - -(define_insn "link" - [(set (mem:SI (plus:SI (reg:SI REG_SP) (const_int -4))) (reg:SI REG_RETS)) - (set (mem:SI (plus:SI (reg:SI REG_SP) (const_int -8))) (reg:SI REG_FP)) - (set (reg:SI REG_FP) - (plus:SI (reg:SI REG_SP) (const_int -8))) - (set (reg:SI REG_SP) - (plus:SI (reg:SI REG_SP) (match_operand:SI 0 "immediate_operand" "i")))] - "" - "LINK %Z0;" - [(set_attr "length" "4")]) - -(define_insn "unlink" - [(set (reg:SI REG_FP) (mem:SI (reg:SI REG_FP))) - (set (reg:SI REG_RETS) (mem:SI (plus:SI (reg:SI REG_FP) (const_int 4)))) - (set (reg:SI REG_SP) (plus:SI (reg:SI REG_FP) (const_int 8)))] - "" - "UNLINK;" - [(set_attr "length" "4")]) - -;; This pattern is slightly clumsy. The stack adjust must be the final SET in -;; the pattern, otherwise dwarf2out becomes very confused about which reg goes -;; where on the stack, since it goes through all elements of the parallel in -;; sequence. -(define_insn "push_multiple" - [(match_parallel 0 "push_multiple_operation" - [(unspec [(match_operand:SI 1 "immediate_operand" "i")] UNSPEC_PUSH_MULTIPLE)])] - "" -{ - output_push_multiple (insn, operands); - return ""; -}) - -(define_insn "pop_multiple" - [(match_parallel 0 "pop_multiple_operation" - [(set (reg:SI REG_SP) - (plus:SI (reg:SI REG_SP) (match_operand:SI 1 "immediate_operand" "i")))])] - "" -{ - output_pop_multiple (insn, operands); - return ""; -}) - -(define_insn "return_internal" - [(return) - (unspec [(match_operand 0 "immediate_operand" "i")] UNSPEC_RETURN)] - "reload_completed" -{ - switch (INTVAL (operands[0])) - { - case EXCPT_HANDLER: - return "rtx;"; - case NMI_HANDLER: - return "rtn;"; - case INTERRUPT_HANDLER: - return "rti;"; - case SUBROUTINE: - return "rts;"; - } - gcc_unreachable (); -}) - -;;; Vector instructions - -(define_insn "addv2hi" - [(set (match_operand:V2HI 0 "register_operand" "=d") - (plus:V2HI (match_operand:V2HI 1 "register_operand" "d") - (match_operand:V2HI 2 "register_operand" "d")))] - "" - "%0 = %1 +|+ %2;" - [(set_attr "type" "dsp32")]) - -(define_insn "subv2hi" - [(set (match_operand:V2HI 0 "register_operand" "=d") - (minus:V2HI (match_operand:V2HI 1 "register_operand" "d") - (match_operand:V2HI 2 "register_operand" "d")))] - "" - "%0 = %1 -|- %2;" - [(set_attr "type" "dsp32")]) - -(define_insn "sminv2hi" - [(set (match_operand:V2HI 0 "register_operand" "=d") - (smin:V2HI (match_operand:V2HI 1 "register_operand" "d") - (match_operand:V2HI 2 "register_operand" "d")))] - "" - "%0 = MIN (%1, %2) (V);" - [(set_attr "type" "dsp32")]) - -(define_insn "smaxv2hi" - [(set (match_operand:V2HI 0 "register_operand" "=d") - (smax:V2HI (match_operand:V2HI 1 "register_operand" "d") - (match_operand:V2HI 2 "register_operand" "d")))] - "" - "%0 = MAX (%1, %2) (V);" - [(set_attr "type" "dsp32")]) - -(define_insn "mulv2hi" - [(set (match_operand:V2HI 0 "register_operand" "=d") - (mult:V2HI (match_operand:V2HI 1 "register_operand" "d") - (match_operand:V2HI 2 "register_operand" "d")))] - "" - "%h0 = %h1 * %h2, %d0 = %d1 * %d2 (IS);" - [(set_attr "type" "dsp32")]) - -(define_insn "negv2hi" - [(set (match_operand:V2HI 0 "register_operand" "=d") - (neg:V2HI (match_operand:V2HI 1 "register_operand" "d")))] - "" - "%0 = - %1 (V);" - [(set_attr "type" "dsp32")]) - -(define_insn "absv2hi" - [(set (match_operand:V2HI 0 "register_operand" "=d") - (abs:V2HI (match_operand:V2HI 1 "register_operand" "d")))] - "" - "%0 = ABS %1 (V);" - [(set_attr "type" "dsp32")]) - |