gcc/config/rl78/rl78-real.md

   1 ;;  Machine Description for Renesas RL78 processors
   2 ;;  Copyright (C) 2011-2016 Free Software Foundation, Inc.
   3 ;;  Contributed by Red Hat.
   4
   5 ;; This file is part of GCC.
   6
   7 ;; GCC is free software; you can redistribute it and/or modify
   8 ;; it under the terms of the GNU General Public License as published by
   9 ;; the Free Software Foundation; either version 3, or (at your option)
  10 ;; any later version.
  11
  12 ;; GCC is distributed in the hope that it will be useful,
  13 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 ;; GNU General Public License for more details.
  16
  17 ;; You should have received a copy of the GNU General Public License
  18 ;; along with GCC; see the file COPYING3.  If not see
  19 ;; <http://www.gnu.org/licenses/>.
  20 \f
  21 ;; The insns in this file correspond to the actual opcodes the RL78
  22 ;; can issue with real registers.  All insns in here should be
  23 ;; conditional on rl78_real_insns_ok() returning true, and should
  24 ;; allow virtual registers in their predicates - the reorg pass that
  25 ;; allocates physical registers uses the constraints to select
  26 ;; registers, but insns with virtual registers MUST match one of these
  27 ;; patterns - other than the constraints - so that the operand info is
  28 ;; properly set up for the alloc pass.
  29
  30 ;; This attribute reflects how the insn alters the Z flag,
  31 ;; based upon the value of the it's output.  The default is NO
  32 ;; for no change, but other possibilities are UPDATE_Z if it changes
  33 ;; the Z flag and CLOBBER if the state of the flag is indeterminate.
  34 ;; The CY and AC flags are not set in the same way as the Z flag, so
  35 ;; their values are not tracked.
  36 (define_attr "update_Z" "no,update_Z,clobber" (const_string "no"))
  37
  38 ;;---------- Moving ------------------------
  39
  40 (define_insn "movqi_to_es"
  41   [(set (reg:QI ES_REG)
  42         (match_operand:QI 0 "register_operand" "a"))]
  43   ""
  44   "mov\tes, %0"
  45 )
  46
  47 (define_insn "movqi_from_es"
  48   [(set (match_operand:QI 0 "register_operand" "=a")
  49         (reg:QI ES_REG))]
  50   ""
  51   "mov\t%0, es"
  52 )
  53
  54 (define_insn "movqi_cs"
  55   [(set (reg:QI CS_REG)
  56         (match_operand:QI 0 "register_operand" "a"))]
  57   ""
  58   "mov\tcs, %0"
  59 )
  60
  61 (define_insn "*movqi_real"
  62   [(set (match_operand:QI 0 "rl78_nonimmediate_operand" "=Rv,RaxbcWab,RaxbcWab,a,                               bcx,R,     WabWd2WhlWh1WhbWbcWs1v, bcx,WsaWsf")
  63         (match_operand    1 "rl78_general_operand"      "0,K,        M,       RInt8sJvWabWdeWd2WhlWh1WhbWbcWs1,Wab,aInt8J,a,                      R,  i"))]
  64   "rl78_real_insns_ok ()"
  65   "@
  66    ; mov\t%0, %1
  67    oneb\t%0
  68    clrb\t%0
  69    mov\t%0, %1
  70    mov\t%0, %1
  71    mov\t%0, %1
  72    mov\t%0, %1
  73    mov\t%0, %S1
  74    mov\t%0, %1"
  75 )
  76
  77 (define_insn "*movhi_real"
  78   [(set (match_operand:HI 0 "rl78_nonimmediate_operand" "=Rv,AB,AB,RSv,A,BDTvSWabWd2WdeWhlWh1WbcWs1, BDT,ABDT,v")
  79         (match_operand:HI 1 "rl78_general_operand"      " 0,K, M, i,  BDTvSWabWd2WdeWh1WhlWbcWs1,A, BDT,vS,  ABDT"))]
  80   "rl78_real_insns_ok ()"
  81   "@
  82    ; movw\t%0, %1
  83    onew\t%0
  84    clrw\t%0
  85    movw\t%0, %1
  86    movw\t%0, %1
  87    movw\t%0, %1
  88    movw\t%0, %S1
  89    movw\t%0, %1
  90    movw\t%0, %1"
  91 )
  92
  93 ;;---------- Conversions ------------------------
  94
  95 (define_insn "*zero_extendqihi2_real"
  96   [(set (match_operand:HI                 0 "nonimmediate_operand" "=Rv,A")
  97         (zero_extend:HI (match_operand:QI 1 "general_operand" "0,a")))]
  98   "rl78_real_insns_ok ()"
  99   "@
 100    mov\t%Q0, #0
 101    mov\tx, a \;mov\ta, #0"
 102   )
 103
 104 (define_insn "*extendqihi2_real"
 105   [(set (match_operand:HI                 0 "nonimmediate_operand" "=A,A")
 106         (sign_extend:HI (match_operand:QI 1 "general_operand" "x,a")))]
 107   "rl78_real_insns_ok ()"
 108   "@
 109    shlw\t%0, 8 \;sarw\t%0, 8
 110    sarw\t%0, 8"
 111   )
 112
 113 ;;---------- Arithmetic ------------------------
 114
 115 (define_insn "*addqi3_real"
 116   [(set (match_operand:QI          0 "rl78_nonimmediate_operand"  "=RvWabWhlWh1Wsa,RvWabWhlWh1Wsa,a,*bcdehl,Wsa")
 117         (plus:QI (match_operand:QI 1 "rl78_general_operand"  "%0,0,0,0,0")
 118                  (match_operand:QI 2 "rl78_general_operand" "K,L,RWhlWh1Wabi,a,i")))
 119    ]
 120   "rl78_real_insns_ok ()"
 121   "@
 122     inc\t%p0
 123     dec\t%p0
 124     add\t%0, %2
 125     add\t%0, %2
 126     add\t%0, %2"
 127   [(set (attr "update_Z") (const_string "update_Z"))]
 128 )
 129
 130 (define_insn "*addhi3_real"
 131   [(set (match_operand:HI          0 "rl78_nonimmediate_operand"  "=vABDTWhlWh1WabWsa,vABDTWhlWh1WabWsa,v,v,A,S,S,A")
 132         (plus:HI (match_operand:HI 1 "rl78_general_operand"  "%0,0,0,0,0,0,0,S")
 133                  (match_operand:HI 2 "" "K,L,N,O,RWh1WhlWabiv,Int8Qs8,J,Ri")))
 134    ]
 135   "rl78_real_insns_ok ()"
 136   "@
 137    incw\t%p0
 138    decw\t%p0
 139    incw\t%0 \;incw\t%0
 140    decw\t%0 \;decw\t%0
 141    addw\t%0, %p2
 142    addw\t%0, %2
 143    subw\t%0, %m2
 144    movw\t%0, %1 \;addw\t%0, %2"
 145   [(set_attr "update_Z" "*,*,*,*,update_Z,update_Z,update_Z,update_Z")]
 146 )
 147
 148 (define_insn "*addqihi3a_real"
 149   [(set (match_operand:HI                          0 "register_operand" "=R")
 150         (plus:HI (zero_extend:HI (match_operand:QI 1 "register_operand"  "R"))
 151                  (match_operand:HI                 2 "register_operand"  "0")))
 152    ]
 153   "rl78_real_insns_ok ()"
 154   "add\t%q0, %q1 \;addc\t%Q0, #0"
 155   [(set (attr "update_Z") (const_string "update_Z"))]
 156 )
 157
 158 (define_insn "*subqi3_real"
 159   [(set (match_operand:QI           0 "nonimmediate_operand"  "=a,R,v")
 160         (minus:QI (match_operand:QI 1 "general_operand"  "0,0,0")
 161                   (match_operand:QI 2 "rl78_general_operand" "RiWabWhbWh1Whl,a,i")))
 162    ]
 163   "rl78_real_insns_ok ()"
 164   "sub\t%0, %2"
 165   [(set (attr "update_Z") (const_string "update_Z"))]
 166 )
 167
 168 (define_insn "*subhi3_real"
 169   [(set (match_operand:HI           0 "nonimmediate_operand"  "=A,S")
 170         (minus:HI (match_operand:HI 1 "general_operand"  "0,0")
 171                   (match_operand:HI 2 "rl78_general_operand" "iBDTWabWh1v,i")))
 172    ]
 173   "rl78_real_insns_ok ()"
 174   "subw\t%0, %2"
 175   [(set (attr "update_Z") (const_string "update_Z"))]
 176 )
 177
 178 (define_insn "*umulhi3_shift_real"
 179   [(set (match_operand:HI 0 "register_operand" "=A,A")
 180         (mult:HI (match_operand:HI 1 "rl78_nonfar_operand" "0,0")
 181                  (match_operand:HI 2 "rl78_24_operand" "N,i")))]
 182   "rl78_real_insns_ok ()"
 183   "@
 184    shlw\t%0, 1
 185    shlw\t%0, 2"
 186 )
 187
 188 (define_insn "*umulqihi3_real"
 189   [(set (match_operand:HI 0 "nonimmediate_operand" "=A")
 190         (mult:HI (zero_extend:HI (match_operand:QI 1 "general_operand" "%a"))
 191                  (zero_extend:HI (match_operand:QI 2 "general_operand" "x"))))]
 192   "rl78_real_insns_ok ()"
 193   "mulu\t%2"
 194 )
 195
 196 (define_insn "*andqi3_real"
 197   [(set (match_operand:QI         0 "rl78_nonimmediate_operand"  "=WsfWsaWhlWab,A,R,vWsa")
 198         (and:QI (match_operand:QI 1 "rl78_general_operand"       "%0,0,0,0")
 199                 (match_operand:QI 2 "rl78_general_operand"       "IBqi,iRvWabWhbWh1Whl,A,i")))
 200    ]
 201   "rl78_real_insns_ok ()"
 202   "@
 203    clr1\t%0.%B2
 204    and\t%0, %2
 205    and\t%0, %2
 206    and\t%0, %2"
 207   [(set_attr "update_Z" "*,update_Z,update_Z,update_Z")]
 208 )
 209
 210 (define_insn "*iorqi3_real"
 211   [(set (match_operand:QI         0 "rl78_nonimmediate_operand"  "=WsfWsaWhlWab,A,R,vWsa")
 212         (ior:QI (match_operand:QI 1 "rl78_general_operand"       "%0,0,0,0")
 213                 (match_operand:QI 2 "rl78_general_operand"       "Ibqi,iRvWabWhbWh1Whl,A,i")))
 214    ]
 215   "rl78_real_insns_ok ()"
 216   "@
 217    set1\t%0.%B2
 218    or\t%0, %2
 219    or\t%0, %2
 220    or\t%0, %2"
 221   [(set_attr "update_Z" "*,update_Z,update_Z,update_Z")]
 222 )
 223
 224 (define_insn "*xorqi3_real"
 225   [(set (match_operand:QI         0 "rl78_nonimmediate_operand"  "=A,R,vWsa")
 226         (xor:QI (match_operand:QI 1 "rl78_general_operand"       "%0,0,0")
 227                 (match_operand    2 "rl78_general_operand"       "iRvWabWhbWh1Whl,A,i")))
 228    ]
 229   "rl78_real_insns_ok ()"
 230   "xor\t%0, %2"
 231   [(set (attr "update_Z") (const_string "update_Z"))]
 232 )
 233
 234 ;;---------- Shifts ------------------------
 235
 236 (define_insn "*ashlqi3_real"
 237   [(set (match_operand:QI            0 "nonimmediate_operand"  "=abc,a,a")
 238         (ashift:QI (match_operand:QI 1 "general_operand"  "0,0,0")
 239                    (match_operand:QI 2 "general_operand" "Int3,bc,dehl")))
 240    ]
 241   "rl78_real_insns_ok ()"
 242   "@
 243    shl\t%0, %u2
 244    cmp0 %2\; bz $2f\; 1: shl\t%0, 1 \;dec %2 \;bnz $1b\;2:
 245    inc %2\;dec %2\;bz $2f\;1: shl\t%0, 1 \;dec %2 \;bnz $1b\;2:"
 246   [(set_attr "update_Z" "*,clobber,clobber")]
 247 )
 248
 249 (define_insn "*ashlhi3_real"
 250   [(set (match_operand:HI            0 "nonimmediate_operand"  "=AB,A,A")
 251         (ashift:HI (match_operand:HI 1 "general_operand"  "0,0,0")
 252                    (match_operand:QI 2 "general_operand" "P,bc,dehl")))
 253    ]
 254   "rl78_real_insns_ok ()"
 255   "@
 256    shlw\t%0, %u2
 257    cmp0 %2\; bz $2f\; 1: shlw\t%0, 1 \;dec %2 \;bnz $1b\;2:
 258    inc %2\;dec %2\;bz $2f\;1: shlw\t%0, 1 \;dec %2 \;bnz $1b\;2:"
 259   [(set_attr "update_Z" "*,clobber,clobber")]
 260 )
 261
 262 ;;----------
 263
 264 (define_insn "*ashrqi3_real"
 265   [(set (match_operand:QI              0 "nonimmediate_operand"  "=abc,a,a")
 266         (ashiftrt:QI (match_operand:QI 1 "general_operand"  "0,0,0")
 267                      (match_operand:QI 2 "general_operand" "Int3,bc,dehl")))
 268    ]
 269   "rl78_real_insns_ok ()"
 270   "@
 271    sar\t%0, %u2
 272    cmp0 %2\; bz $2f\; 1: sar\t%0, 1 \;dec %2 \;bnz $1b\;2:
 273    inc %2\;dec %2\;bz $2f\;1: sar\t%0, 1\;dec %2 \;bnz $1b\;2:"
 274   [(set_attr "update_Z" "*,clobber,clobber")]
 275 )
 276
 277 (define_insn "*ashrhi3_real"
 278   [(set (match_operand:HI              0 "nonimmediate_operand"  "=AB,A,A")
 279         (ashiftrt:HI (match_operand:HI 1 "general_operand"  "0,0,0")
 280                      (match_operand:QI 2 "general_operand" "P,bc,dehl")))
 281    ]
 282   "rl78_real_insns_ok ()"
 283   "@
 284    sarw\t%0, %u2
 285    cmp0 %2\; bz $2f\; 1: sarw\t%0, 1 \;dec %2 \;bnz $1b\;2:
 286    inc %2\;dec %2\;bz $2f\;1: sarw\t%0, 1\;dec %2\;bnz $1b\;2:"
 287   [(set_attr "update_Z" "*,clobber,clobber")]
 288 )
 289
 290 ;;----------
 291
 292 (define_insn "*lshrqi3_real"
 293   [(set (match_operand:QI              0 "nonimmediate_operand"  "=abc,a,a")
 294         (lshiftrt:QI (match_operand:QI 1 "general_operand"  "0,0,0")
 295                      (match_operand:QI 2 "general_operand" "Int3,bc,dehl")))
 296    ]
 297   "rl78_real_insns_ok ()"
 298   "@
 299    shr\t%0, %u2
 300    cmp0 %2\; bz $2f\; 1: shr\t%0, 1 \;dec %2 \;bnz $1b\;2:
 301    inc %2\;dec %2\;bz $2f\;1: shr\t%0, 1\;dec %2\;bnz $1b\;2:"
 302   [(set_attr "update_Z" "*,clobber,clobber")]
 303 )
 304
 305 (define_insn "*lshrhi3_real"
 306   [(set (match_operand:HI              0 "nonimmediate_operand"  "=AB,A,A")
 307         (lshiftrt:HI (match_operand:HI 1 "general_operand"  "0,0,0")
 308                      (match_operand:QI 2 "general_operand" "P,bc,dehl")))
 309    ]
 310   "rl78_real_insns_ok ()"
 311   "@
 312    shrw\t%0, %u2
 313    cmp0 %2\; bz $2f\; 1: shrw\t%0, 1 \;dec %2 \;bnz $1b\;2:
 314    inc %2\;dec %2\;bz $2f\;1: shrw\t%0, 1\;dec %2\;bnz $1b\;2:"
 315   [(set_attr "update_Z" "*,clobber,clobber")]
 316 )
 317
 318 ;;---------- Branching ------------------------
 319
 320 (define_insn "*indirect_jump_real"
 321   [(set (pc)
 322         (match_operand:HI 0 "nonimmediate_operand" "A"))]
 323   "rl78_real_insns_ok ()"
 324   "br\t%0"
 325 )
 326
 327 (define_insn "jump"
 328   [(set (pc)
 329         (label_ref (match_operand 0 "" "")))]
 330   ""
 331   ;; $rel8, $!rel16, !abs16, !!abs20
 332   "br\t!!%0"
 333 )
 334
 335 (define_insn "*call_real"
 336   [(call (match_operand:HI 0 "memory_operand" "Wab,Wca")
 337          (match_operand 1 "" ""))]
 338   "rl78_real_insns_ok ()"
 339   "@
 340    call\t!!%A0
 341    call\t%A0"
 342   [(set (attr "update_Z") (const_string "clobber"))]
 343   )
 344
 345 ;; Peephole to match:
 346 ;;
 347 ;;      (set (reg1) (reg2))
 348 ;;      (call (mem (reg1)))
 349 ;;
 350 ;;  and replace it with:
 351 ;;
 352 ;;      (call (mem (reg2)))
 353
 354 (define_peephole2
 355   [(set (match_operand:HI 0 "register_operand") (match_operand:HI 1 "register_operand"))
 356    (call (mem:HI (match_dup 0))(const_int 0))
 357   ]
 358   "peep2_regno_dead_p (2, REGNO (operands[0]))
 359    && REGNO (operands[1]) < 8"
 360   [(call (mem:HI (match_dup 1))(const_int 0))
 361   ]
 362 )
 363
 364 (define_insn "*call_value_real"
 365   [(set (match_operand 0 "register_operand" "=v,v")
 366         (call (match_operand:HI 1 "memory_operand" "Wab,Wca")
 367               (match_operand 2 "" "")))]
 368   "rl78_real_insns_ok ()"
 369   "@
 370    call\t!!%A1
 371    call\t%A1"
 372   [(set (attr "update_Z") (const_string "clobber"))]
 373   )
 374
 375 ;; Peephole to match:
 376 ;;
 377 ;;      (set (reg1) (reg2))
 378 ;;      (set (reg3) (call (mem (reg1))))
 379 ;;
 380 ;;  and replace it with:
 381 ;;
 382 ;;      (set (reg3) (call (mem (reg2))))
 383
 384 (define_peephole2
 385   [(set (match_operand:HI 0 "register_operand") (match_operand:HI 1 "register_operand"))
 386    (set (match_operand:HI 2 "register_operand") (call (mem:HI (match_dup 0))(const_int 0)))
 387   ]
 388   "peep2_regno_dead_p (2, REGNO (operands[0]))
 389    && REGNO (operands[1]) < 8"
 390   [(set (match_dup 2) (call (mem:HI (match_dup 1))(const_int 0)))
 391   ]
 392 )
 393
 394 (define_insn "*cbranchqi4_real_signed"
 395   [(set (pc) (if_then_else
 396               (match_operator 0 "rl78_cmp_operator_signed"
 397                               [(match_operand:QI 1 "general_operand" "A,A,A,A,Wsa")
 398                                (match_operand:QI 2 "general_operand" "M,ISqi,i,v,i")])
 399               (label_ref (match_operand 3 "" ""))
 400               (pc)))]
 401   "rl78_real_insns_ok ()"
 402   {
 403     gcc_assert (GET_CODE (operands[0]) != EQ && GET_CODE (operands[0]) != NE);
 404
 405     switch (which_alternative)
 406     {
 407     case 0: return "cmp0\t%1\; xor1\tCY, %1.7\; sk%C0\; br\t!!%3";
 408     case 1: return "cmp\t%1, %2\; xor1\tCY, %1.7\; not1\tCY\; sk%C0\; br\t!!%3";
 409     case 4:
 410     case 2: return "cmp\t%1, %2\; xor1\tCY, %1.7\; sk%C0\; br\t!!%3";
 411     case 3: return "cmp\t%1, %2\; xor1\tCY, %1.7\; xor1\tCY, %2.7\; sk%C0\; br\t!!%3";
 412     default: gcc_unreachable ();
 413     }
 414   }
 415   [(set (attr "update_Z") (const_string "clobber"))] ;; FIXME: flags are set based on %1 vs %2
 416   )
 417
 418 (define_insn "*cbranchqi4_real"
 419   [(set (pc) (if_then_else
 420               (match_operator 0 "rl78_cmp_operator_real"
 421                               [(match_operand:QI 1 "rl78_general_operand" "Wabvaxbc,a,              vWsaWab,bcdehl")
 422                                (match_operand:QI 2 "rl78_general_operand" "M,       iRvWabWhlWh1Whb,i,a")])
 423               (label_ref (match_operand 3 "" ""))
 424               (pc)))]
 425   "rl78_real_insns_ok ()"
 426   {
 427     if (which_alternative == 0)
 428       {
 429         if (rl78_flags_already_set (operands[0], operands[1]))
 430           return "sk%C0\; br\t!!%3\; # zero-comparison eliminated";
 431         else
 432           return "cmp0\t%1\; sk%C0\; br\t!!%3";
 433       }
 434     return "cmp\t%1, %2\; sk%C0\; br\t!!%3";
 435   }
 436   [(set (attr "update_Z") (const_string "clobber"))] ;; FIXME: alt 0: flags are set based on %1 vs %2
 437   )
 438
 439 (define_insn "*cbranchhi4_real_signed"
 440   [(set (pc) (if_then_else
 441               (match_operator 0 "rl78_cmp_operator_signed"
 442                               [(match_operand:HI 1 "general_operand" "A,A,A,vR")
 443                                (match_operand:HI 2 "general_operand" "IShi,i,v,1")])
 444               (label_ref (match_operand 3))
 445               (pc)))]
 446   "rl78_real_insns_ok ()"
 447   "@
 448    cmpw\t%1, %2\; xor1\tCY, %Q1.7\; not1\tCY\; sk%C0\; br\t!!%3
 449    cmpw\t%1, %2\; xor1\tCY, %Q1.7\; sk%C0\; br\t!!%3
 450    cmpw\t%1, %2\; xor1\tCY, %Q1.7\; xor1\tCY, %Q2.7\; sk%C0\; br\t!!%3
 451    %z0\t!!%3"
 452   [(set_attr "update_Z" "clobber,clobber,clobber,*")]
 453   )
 454
 455 (define_insn "cbranchhi4_real"
 456   [(set (pc) (if_then_else
 457               (match_operator                    0 "rl78_cmp_operator_real"
 458                               [(match_operand:HI 1 "general_operand" "A,A,vR")
 459                                (match_operand:HI 2 "rl78_general_operand" "M,iBDTvWabWhlWh1,1")])
 460               (label_ref (match_operand          3 "" ""))
 461               (pc)))]
 462   "rl78_real_insns_ok ()"
 463   {
 464     switch (which_alternative)
 465       {
 466       case 0:
 467         if (rl78_flags_already_set (operands[0], operands[1]))
 468           return "sk%C0\; br\t!!%3\; # cmpw eliminated";
 469         /* else fall through.  */
 470       case 1:
 471         return "cmpw\t%1, %2\; sk%C0\; br\t!!%3";
 472       case 2:
 473         return "%z0\t!!%3";
 474       default:
 475         gcc_unreachable ();
 476       }
 477   }
 478   [(set (attr "update_Z") (const_string "clobber"))] ;; FIXME: Z might be set based on %1 vs %2
 479   )
 480
 481 (define_insn "cbranchhi4_real_inverted"
 482   [(set (pc) (if_then_else
 483               (match_operator                    0 "rl78_cmp_operator_real"
 484                               [(match_operand:HI 1 "general_operand" "A,A")
 485                                (match_operand:HI 2 "rl78_general_operand" "M,iBDTvWabWhlWh1")])
 486               (pc)
 487               (label_ref (match_operand          3 "" ""))))]
 488   "rl78_real_insns_ok ()"
 489   {
 490     if (which_alternative == 0 && rl78_flags_already_set (operands[0], operands[1]))
 491       return "sk%C0\; br\t!!%3\; # inverted cmpw eliminated";
 492     else
 493       return "cmpw\t%1, %2\; sk%C0\; br\t!!%3";
 494   }
 495   [(set (attr "update_Z") (const_string "clobber"))] ;; FIXME: flags are set based on %1 vs %2
 496   )
 497
 498 (define_insn "*cbranchsi4_real_lt"
 499   [(set (pc) (if_then_else
 500               (lt (match_operand:SI 0 "rl78_general_operand" "U,vWabWhlWh1")
 501                   (const_int 0))
 502               (label_ref (match_operand 1 "" ""))
 503               (pc)))
 504    (clobber (reg:HI AX_REG))
 505    ]
 506   "rl78_real_insns_ok ()"
 507   "@
 508    mov\ta, %E0\; mov1\tCY, a.7\; sknc\; br\t!!%1
 509    mov1\tCY, %E0.7\; sknc\; br\t!!%1"
 510   )
 511
 512 (define_insn "*cbranchsi4_real_ge"
 513   [(set (pc) (if_then_else
 514               (ge (match_operand:SI 0 "rl78_general_operand" "U,vWabWhlWh1")
 515                   (const_int 0))
 516               (label_ref (match_operand 1 "" ""))
 517               (pc)))
 518    (clobber (reg:HI AX_REG))
 519    ]
 520   "rl78_real_insns_ok ()"
 521   "@
 522    mov\ta, %E0\; mov1\tCY, a.7\; skc\; br\t!!%1
 523    mov1\tCY, %E0.7\; skc\; br\t!!%1"
 524   )
 525
 526 (define_insn "*cbranchsi4_real_signed"
 527   [(set (pc) (if_then_else
 528               (match_operator 0 "rl78_cmp_operator_signed"
 529                               [(match_operand:SI 1 "general_operand"   "vU,vU,vU,i,i")
 530                                (match_operand:SI 2 "nonmemory_operand" "ISsi,i,v,S,v")])
 531               (label_ref (match_operand 3 "" ""))
 532               (pc)))
 533    (clobber (reg:HI AX_REG))
 534    ]
 535   "rl78_real_insns_ok ()"
 536   "@
 537    movw\tax, %H1\; cmpw\tax, %H2\; xor1\tCY, a.7\; not1\tCY\; movw\tax, %h1\; sknz\; cmpw\tax, %h2\; sk%C0\; br\t!!%3
 538    movw\tax, %H1\; cmpw\tax, %H2\; xor1\tCY, a.7\; movw\tax, %h1\; sknz\; cmpw\tax, %h2\; sk%C0\; br\t!!%3
 539    movw\tax, %H1\; cmpw\tax, %H2\; xor1\tCY, a.7\; xor1\tCY, %E2.7\; movw\tax, %h1\; sknz\; cmpw\tax, %h2\; sk%C0\; br\t!!%3
 540    movw\tax, %H1\; cmpw\tax, %H2\; xor1\tCY, a.7\; not1\tCY\; movw\tax, %h1\; sknz\; cmpw\tax, %h2\; sk%0\; br\t!!%3
 541    movw\tax, %H1\; cmpw\tax, %H2\; xor1\tCY, a.7\; movw\tax, %h1\; sknz\; cmpw\tax, %h2\; sk%0\; br\t!!%3"
 542   [(set (attr "update_Z") (const_string "clobber"))]
 543   )
 544
 545 (define_insn "*cbranchsi4_real"
 546   [(set (pc) (if_then_else
 547               (match_operator 0 "rl78_cmp_operator_real"
 548                               [(match_operand:SI 1 "general_operand" "vUi")
 549                                (match_operand:SI 2 "general_operand" "iWhlWh1v")])
 550               (label_ref (match_operand 3 "" ""))
 551               (pc)))
 552    (clobber (reg:HI AX_REG))
 553    ]
 554   "rl78_real_insns_ok ()"
 555   "movw\tax, %H1\; cmpw\tax, %H2\; movw\tax, %h1\; sknz\; cmpw\tax, %h2\; sk%C0\; br\t!!%3"
 556   [(set (attr "update_Z") (const_string "clobber"))]
 557   )
 558
 559 ;; Peephole to match:
 560 ;;
 561 ;;     (set (mem (sp)) (ax))
 562 ;;     (set (ax) (mem (sp)))
 563 ;; or:
 564 ;;     (set (mem (plus (sp) (const)) (ax))
 565 ;;     (set (ax) (mem (plus (sp) (const))))
 566 ;;
 567 ;; which can be generated as the last instruction of the conversion
 568 ;; of one virtual insn into a real insn and the first instruction of
 569 ;; the conversion of the following virtual insn.
 570
 571 (define_peephole2
 572   [(set (match_operand:HI 0 "rl78_stack_based_mem")
 573         (reg:HI AX_REG))
 574    (set (reg:HI AX_REG)
 575         (match_dup 0))]
 576   ""
 577   [(set (match_dup 0) (reg:HI AX_REG))]
 578   )
 579
 580 ;; Bit test and branch insns.
 581
 582 ;; NOTE: These patterns will work for bits in other places, not just A.
 583
 584 (define_insn "bf"
 585   [(set (pc)
 586         (if_then_else (eq (and (reg:QI A_REG)
 587                                (match_operand 0 "immediate_operand" "n"))
 588                           (const_int 0))
 589                       (label_ref (match_operand 1 "" ""))
 590                       (pc)))]
 591   ""
 592   "bt\tA.%B0, $1f\n\tbr !!%1\n\t1:"
 593   [(set (attr "update_Z") (const_string "clobber"))]
 594 )
 595
 596 (define_insn "bt"
 597   [(set (pc)
 598         (if_then_else (ne (and (reg:QI A_REG)
 599                                (match_operand 0 "immediate_operand" "n"))
 600                           (const_int 0))
 601                       (label_ref (match_operand 1 "" ""))
 602                       (pc)))]
 603   ""
 604   "bf\tA.%B0, $1f\n\tbr !!%1\n\t1:"
 605   [(set (attr "update_Z") (const_string "clobber"))]
 606 )
 607
 608 ;; NOTE: These peepholes are fragile.  They rely upon GCC generating
 609 ;; a specific sequence on insns, based upon examination of test code.
 610 ;; Improvements to GCC or using code other than the test code can result
 611 ;; in the peephole not matching and the optimization being missed.
 612
 613 (define_peephole2
 614   [(set (match_operand:QI 0 "register_operand") (reg:QI A_REG))
 615    (set (match_dup 0) (and:QI (match_dup 0) (match_operand 1 "immediate_operand")))
 616    (set (pc) (if_then_else (eq (match_dup 0) (const_int 0))
 617                            (label_ref (match_operand 2 ""))
 618                            (pc)))]
 619   "peep2_regno_dead_p (3, REGNO (operands[0]))
 620    && exact_log2 (INTVAL (operands[1])) >= 0"
 621   [(set (pc) (if_then_else (eq (and (reg:QI A_REG) (match_dup 1)) (const_int 0))
 622                            (label_ref (match_dup 2))
 623                            (pc)))]
 624   )
 625
 626 (define_peephole2
 627   [(set (match_operand:QI 0 "register_operand") (reg:QI A_REG))
 628    (set (match_dup 0) (and:QI (match_dup 0) (match_operand 1 "immediate_operand")))
 629    (set (pc) (if_then_else (ne (match_dup 0) (const_int 0))
 630                            (label_ref (match_operand 2 ""))
 631                            (pc)))]
 632   "peep2_regno_dead_p (3, REGNO (operands[0]))
 633    && exact_log2 (INTVAL (operands[1])) >= 0"
 634   [(set (pc) (if_then_else (ne (and (reg:QI A_REG) (match_dup 1)) (const_int 0))
 635                            (label_ref (match_dup 2))
 636                            (pc)))]
 637   )
 638
 639 ;; Eliminate needless register copies.
 640 (define_peephole2
 641   [(set (match_operand:HI 0 "register_operand") (match_operand:HI 1 "register_operand"))
 642    (set (match_operand:HI 2 "register_operand") (match_dup 0))]
 643   "peep2_regno_dead_p (2, REGNO (operands[0]))
 644    && (REGNO (operands[1]) < 8 || REGNO (operands[2]) < 8)"
 645   [(set (match_dup 2) (match_dup 1))]
 646   )
 647
 648 ;; Eliminate needless register copying when performing bit manipulations.
 649 (define_peephole2
 650   [(set (match_operand:QI 0 "register_operand") (reg:QI A_REG))
 651    (set (match_dup 0) (ior:QI (match_dup 0) (match_operand 1 "immediate_operand")))
 652    (set (reg:QI A_REG) (match_dup 0))]
 653   "peep2_regno_dead_p (3, REGNO (operands[0]))"
 654   [(set (reg:QI A_REG) (ior:QI (reg:QI A_REG) (match_dup 1)))]
 655   )
 656
 657 (define_peephole2
 658   [(set (match_operand:QI 0 "register_operand") (reg:QI A_REG))
 659    (set (match_dup 0) (xor:QI (match_dup 0) (match_operand 1 "immediate_operand")))
 660    (set (reg:QI A_REG) (match_dup 0))]
 661   "peep2_regno_dead_p (3, REGNO (operands[0]))"
 662   [(set (reg:QI A_REG) (xor:QI (reg:QI A_REG) (match_dup 1)))]
 663   )
 664
 665 (define_peephole2
 666   [(set (match_operand:QI 0 "register_operand") (reg:QI A_REG))
 667    (set (match_dup 0) (and:QI (match_dup 0) (match_operand 1 "immediate_operand")))
 668    (set (reg:QI A_REG) (match_dup 0))]
 669   "peep2_regno_dead_p (3, REGNO (operands[0]))"
 670   [(set (reg:QI A_REG) (and:QI (reg:QI A_REG) (match_dup 1)))]
 671   )
 672
 673 (define_insn "*negandhi3_real"
 674   [(set (match_operand:HI                 0 "register_operand"  "=A")
 675         (and:HI (neg:HI (match_operand:HI 1 "register_operand"  "0"))
 676                 (match_operand:HI         2 "immediate_operand" "n")))
 677    ]
 678   "rl78_real_insns_ok ()"
 679   "xor a, #0xff @ xch a, x @ xor a, #0xff @ xch a, x @ addw ax, #1 @ and a, %Q2 @ xch a, x @ and a, %q2 @ xch a, x"
 680   [(set (attr "update_Z") (const_string "clobber"))]
 681 )