OpenCores
URL https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk

Subversion Repositories openrisc_2011-10-31

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.2.2/] [gcc/] [config/] [mips/] [mips-ps-3d.md] - Blame information for rev 248

Go to most recent revision | Details | Compare with Previous | View Log

Line No. Rev Author Line
1 38 julius
;; MIPS Paired-Single Floating and MIPS-3D Instructions.
2
;; Copyright (C) 2004, 2007 Free Software Foundation, Inc.
3
;;
4
;; This file is part of GCC.
5
;;
6
;; GCC is free software; you can redistribute it and/or modify
7
;; it under the terms of the GNU General Public License as published by
8
;; the Free Software Foundation; either version 3, or (at your option)
9
;; any later version.
10
;;
11
;; GCC is distributed in the hope that it will be useful,
12
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
13
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14
;; GNU General Public License for more details.
15
;;
16
;; You should have received a copy of the GNU General Public License
17
;; along with GCC; see the file COPYING3.  If not see
18
;; .
19
 
20
(define_insn "*movcc_v2sf_"
21
  [(set (match_operand:V2SF 0 "register_operand" "=f,f")
22
        (if_then_else:V2SF
23
         (match_operator:GPR 4 "equality_operator"
24
                         [(match_operand:GPR 1 "register_operand" "d,d")
25
                          (const_int 0)])
26
         (match_operand:V2SF 2 "register_operand" "f,0")
27
         (match_operand:V2SF 3 "register_operand" "0,f")))]
28
  "TARGET_PAIRED_SINGLE_FLOAT"
29
  "@
30
    mov%T4.ps\t%0,%2,%1
31
    mov%t4.ps\t%0,%3,%1"
32
  [(set_attr "type" "condmove")
33
   (set_attr "mode" "SF")])
34
 
35
(define_insn "mips_cond_move_tf_ps"
36
  [(set (match_operand:V2SF 0 "register_operand" "=f,f")
37
        (unspec:V2SF [(match_operand:V2SF 1 "register_operand" "f,0")
38
                      (match_operand:V2SF 2 "register_operand" "0,f")
39
                      (match_operand:CCV2 3 "register_operand" "z,z")]
40
                     UNSPEC_MOVE_TF_PS))]
41
  "TARGET_PAIRED_SINGLE_FLOAT"
42
  "@
43
    movt.ps\t%0,%1,%3
44
    movf.ps\t%0,%2,%3"
45
  [(set_attr "type" "condmove")
46
   (set_attr "mode" "SF")])
47
 
48
(define_expand "movv2sfcc"
49
  [(set (match_dup 4) (match_operand 1 "comparison_operator"))
50
   (set (match_operand:V2SF 0 "register_operand")
51
        (if_then_else:V2SF (match_dup 5)
52
                           (match_operand:V2SF 2 "register_operand")
53
                           (match_operand:V2SF 3 "register_operand")))]
54
  "TARGET_PAIRED_SINGLE_FLOAT"
55
{
56
  /* We can only support MOVN.PS and MOVZ.PS.
57
     NOTE: MOVT.PS and MOVF.PS have different semantics from MOVN.PS and
58
           MOVZ.PS.  MOVT.PS and MOVF.PS depend on two CC values and move
59
           each item independently.  */
60
 
61
  if (GET_MODE_CLASS (GET_MODE (cmp_operands[0])) != MODE_INT)
62
    FAIL;
63
 
64
  gen_conditional_move (operands);
65
  DONE;
66
})
67
 
68
; pul.ps - Pair Upper Lower
69
(define_insn "mips_pul_ps"
70
  [(set (match_operand:V2SF 0 "register_operand" "=f")
71
        (vec_merge:V2SF
72
         (match_operand:V2SF 1 "register_operand" "f")
73
         (match_operand:V2SF 2 "register_operand" "f")
74
         (const_int 2)))]
75
  "TARGET_PAIRED_SINGLE_FLOAT"
76
  "pul.ps\t%0,%1,%2"
77
  [(set_attr "type" "fmove")
78
   (set_attr "mode" "SF")])
79
 
80
; puu.ps - Pair upper upper
81
(define_insn "mips_puu_ps"
82
  [(set (match_operand:V2SF 0 "register_operand" "=f")
83
        (vec_merge:V2SF
84
         (match_operand:V2SF 1 "register_operand" "f")
85
         (vec_select:V2SF (match_operand:V2SF 2 "register_operand" "f")
86
                          (parallel [(const_int 1)
87
                                     (const_int 0)]))
88
         (const_int 2)))]
89
  "TARGET_PAIRED_SINGLE_FLOAT"
90
  "puu.ps\t%0,%1,%2"
91
  [(set_attr "type" "fmove")
92
   (set_attr "mode" "SF")])
93
 
94
; pll.ps - Pair Lower Lower
95
(define_insn "mips_pll_ps"
96
  [(set (match_operand:V2SF 0 "register_operand" "=f")
97
        (vec_merge:V2SF
98
         (vec_select:V2SF (match_operand:V2SF 1 "register_operand" "f")
99
                          (parallel [(const_int 1)
100
                                     (const_int 0)]))
101
         (match_operand:V2SF 2 "register_operand" "f")
102
         (const_int 2)))]
103
  "TARGET_PAIRED_SINGLE_FLOAT"
104
  "pll.ps\t%0,%1,%2"
105
  [(set_attr "type" "fmove")
106
   (set_attr "mode" "SF")])
107
 
108
; plu.ps - Pair Lower Upper
109
(define_insn "mips_plu_ps"
110
  [(set (match_operand:V2SF 0 "register_operand" "=f")
111
        (vec_merge:V2SF
112
         (vec_select:V2SF (match_operand:V2SF 1 "register_operand" "f")
113
                          (parallel [(const_int 1)
114
                                     (const_int 0)]))
115
         (vec_select:V2SF (match_operand:V2SF 2 "register_operand" "f")
116
                          (parallel [(const_int 1)
117
                                     (const_int 0)]))
118
         (const_int 2)))]
119
  "TARGET_PAIRED_SINGLE_FLOAT"
120
  "plu.ps\t%0,%1,%2"
121
  [(set_attr "type" "fmove")
122
   (set_attr "mode" "SF")])
123
 
124
; vec_init
125
(define_expand "vec_initv2sf"
126
  [(match_operand:V2SF 0 "register_operand")
127
   (match_operand:V2SF 1 "")]
128
  "TARGET_PAIRED_SINGLE_FLOAT"
129
{
130
  rtx op0 = force_reg (SFmode, XVECEXP (operands[1], 0, 0));
131
  rtx op1 = force_reg (SFmode, XVECEXP (operands[1], 0, 1));
132
  emit_insn (gen_vec_initv2sf_internal (operands[0], op0, op1));
133
  DONE;
134
})
135
 
136
(define_insn "vec_initv2sf_internal"
137
  [(set (match_operand:V2SF 0 "register_operand" "=f")
138
        (vec_concat:V2SF
139
         (match_operand:SF 1 "register_operand" "f")
140
         (match_operand:SF 2 "register_operand" "f")))]
141
  "TARGET_PAIRED_SINGLE_FLOAT"
142
{
143
  if (BYTES_BIG_ENDIAN)
144
    return "cvt.ps.s\t%0,%1,%2";
145
  else
146
    return "cvt.ps.s\t%0,%2,%1";
147
}
148
  [(set_attr "type" "fcvt")
149
   (set_attr "mode" "SF")])
150
 
151
;; ??? This is only generated if we perform a vector operation that has to be
152
;; emulated.  There is no other way to get a vector mode bitfield extract
153
;; currently.
154
 
155
(define_insn "vec_extractv2sf"
156
  [(set (match_operand:SF 0 "register_operand" "=f")
157
        (vec_select:SF (match_operand:V2SF 1 "register_operand" "f")
158
                       (parallel
159
                        [(match_operand 2 "const_0_or_1_operand" "")])))]
160
  "TARGET_PAIRED_SINGLE_FLOAT"
161
{
162
  if (INTVAL (operands[2]) == !BYTES_BIG_ENDIAN)
163
    return "cvt.s.pu\t%0,%1";
164
  else
165
    return "cvt.s.pl\t%0,%1";
166
}
167
  [(set_attr "type" "fcvt")
168
   (set_attr "mode" "SF")])
169
 
170
;; ??? This is only generated if we disable the vec_init pattern.  There is
171
;; no other way to get a vector mode bitfield store currently.
172
 
173
(define_expand "vec_setv2sf"
174
  [(match_operand:V2SF 0 "register_operand")
175
   (match_operand:SF 1 "register_operand")
176
   (match_operand 2 "const_0_or_1_operand")]
177
  "TARGET_PAIRED_SINGLE_FLOAT"
178
{
179
  rtx temp;
180
 
181
  /* We don't have an insert instruction, so we duplicate the float, and
182
     then use a PUL instruction.  */
183
  temp = gen_reg_rtx (V2SFmode);
184
  emit_insn (gen_mips_cvt_ps_s (temp, operands[1], operands[1]));
185
  if (INTVAL (operands[2]) == !BYTES_BIG_ENDIAN)
186
    emit_insn (gen_mips_pul_ps (operands[0], temp, operands[0]));
187
  else
188
    emit_insn (gen_mips_pul_ps (operands[0], operands[0], temp));
189
  DONE;
190
})
191
 
192
; cvt.ps.s - Floating Point Convert Pair to Paired Single
193
(define_expand "mips_cvt_ps_s"
194
  [(match_operand:V2SF 0 "register_operand")
195
   (match_operand:SF 1 "register_operand")
196
   (match_operand:SF 2 "register_operand")]
197
  "TARGET_PAIRED_SINGLE_FLOAT"
198
{
199
  if (BYTES_BIG_ENDIAN)
200
    emit_insn (gen_vec_initv2sf_internal (operands[0], operands[1],
201
               operands[2]));
202
  else
203
    emit_insn (gen_vec_initv2sf_internal (operands[0], operands[2],
204
               operands[1]));
205
  DONE;
206
})
207
 
208
; cvt.s.pl - Floating Point Convert Pair Lower to Single Floating Point
209
(define_expand "mips_cvt_s_pl"
210
  [(set (match_operand:SF 0 "register_operand")
211
        (vec_select:SF (match_operand:V2SF 1 "register_operand")
212
                       (parallel [(match_dup 2)])))]
213
  "TARGET_PAIRED_SINGLE_FLOAT"
214
  { operands[2] = GEN_INT (BYTES_BIG_ENDIAN); })
215
 
216
; cvt.s.pu - Floating Point Convert Pair Upper to Single Floating Point
217
(define_expand "mips_cvt_s_pu"
218
  [(set (match_operand:SF 0 "register_operand")
219
        (vec_select:SF (match_operand:V2SF 1 "register_operand")
220
                       (parallel [(match_dup 2)])))]
221
  "TARGET_PAIRED_SINGLE_FLOAT"
222
  { operands[2] = GEN_INT (!BYTES_BIG_ENDIAN); })
223
 
224
; alnv.ps - Floating Point Align Variable
225
(define_insn "mips_alnv_ps"
226
  [(set (match_operand:V2SF 0 "register_operand" "=f")
227
        (unspec:V2SF [(match_operand:V2SF 1 "register_operand" "f")
228
                      (match_operand:V2SF 2 "register_operand" "f")
229
                      (match_operand:SI 3 "register_operand" "d")]
230
                     UNSPEC_ALNV_PS))]
231
  "TARGET_PAIRED_SINGLE_FLOAT"
232
  "alnv.ps\t%0,%1,%2,%3"
233
  [(set_attr "type" "fmove")
234
   (set_attr "mode" "SF")])
235
 
236
; addr.ps - Floating Point Reduction Add
237
(define_insn "mips_addr_ps"
238
  [(set (match_operand:V2SF 0 "register_operand" "=f")
239
        (unspec:V2SF [(match_operand:V2SF 1 "register_operand" "f")
240
                      (match_operand:V2SF 2 "register_operand" "f")]
241
                     UNSPEC_ADDR_PS))]
242
  "TARGET_MIPS3D"
243
  "addr.ps\t%0,%1,%2"
244
  [(set_attr "type" "fadd")
245
   (set_attr "mode" "SF")])
246
 
247
; cvt.pw.ps - Floating Point Convert Paired Single to Paired Word
248
(define_insn "mips_cvt_pw_ps"
249
  [(set (match_operand:V2SF 0 "register_operand" "=f")
250
        (unspec:V2SF [(match_operand:V2SF 1 "register_operand" "f")]
251
                     UNSPEC_CVT_PW_PS))]
252
  "TARGET_MIPS3D"
253
  "cvt.pw.ps\t%0,%1"
254
  [(set_attr "type" "fcvt")
255
   (set_attr "mode" "SF")])
256
 
257
; cvt.ps.pw - Floating Point Convert Paired Word to Paired Single
258
(define_insn "mips_cvt_ps_pw"
259
  [(set (match_operand:V2SF 0 "register_operand" "=f")
260
        (unspec:V2SF [(match_operand:V2SF 1 "register_operand" "f")]
261
                     UNSPEC_CVT_PS_PW))]
262
  "TARGET_MIPS3D"
263
  "cvt.ps.pw\t%0,%1"
264
  [(set_attr "type" "fcvt")
265
   (set_attr "mode" "SF")])
266
 
267
; mulr.ps - Floating Point Reduction Multiply
268
(define_insn "mips_mulr_ps"
269
  [(set (match_operand:V2SF 0 "register_operand" "=f")
270
        (unspec:V2SF [(match_operand:V2SF 1 "register_operand" "f")
271
                      (match_operand:V2SF 2 "register_operand" "f")]
272
                     UNSPEC_MULR_PS))]
273
  "TARGET_MIPS3D"
274
  "mulr.ps\t%0,%1,%2"
275
  [(set_attr "type" "fmul")
276
   (set_attr "mode" "SF")])
277
 
278
; abs.ps
279
(define_expand "mips_abs_ps"
280
  [(set (match_operand:V2SF 0 "register_operand")
281
        (unspec:V2SF [(match_operand:V2SF 1 "register_operand")]
282
                     UNSPEC_ABS_PS))]
283
  "TARGET_PAIRED_SINGLE_FLOAT"
284
{
285
  /* If we can ignore NaNs, this operation is equivalent to the
286
     rtl ABS code.  */
287
  if (!HONOR_NANS (V2SFmode))
288
    {
289
      emit_insn (gen_absv2sf2 (operands[0], operands[1]));
290
      DONE;
291
    }
292
})
293
 
294
(define_insn "*mips_abs_ps"
295
  [(set (match_operand:V2SF 0 "register_operand" "=f")
296
        (unspec:V2SF [(match_operand:V2SF 1 "register_operand" "f")]
297
                     UNSPEC_ABS_PS))]
298
  "TARGET_PAIRED_SINGLE_FLOAT"
299
  "abs.ps\t%0,%1"
300
  [(set_attr "type" "fabs")
301
   (set_attr "mode" "SF")])
302
 
303
;----------------------------------------------------------------------------
304
; Floating Point Comparisons for Scalars
305
;----------------------------------------------------------------------------
306
 
307
(define_insn "mips_cabs_cond_"
308
  [(set (match_operand:CC 0 "register_operand" "=z")
309
        (unspec:CC [(match_operand:SCALARF 1 "register_operand" "f")
310
                    (match_operand:SCALARF 2 "register_operand" "f")
311
                    (match_operand 3 "const_int_operand" "")]
312
                   UNSPEC_CABS))]
313
  "TARGET_MIPS3D"
314
  "cabs.%Y3.\t%0,%1,%2"
315
  [(set_attr "type" "fcmp")
316
   (set_attr "mode" "FPSW")])
317
 
318
 
319
;----------------------------------------------------------------------------
320
; Floating Point Comparisons for Four Singles
321
;----------------------------------------------------------------------------
322
 
323
(define_insn_and_split "mips_c_cond_4s"
324
  [(set (match_operand:CCV4 0 "register_operand" "=z")
325
        (unspec:CCV4 [(match_operand:V2SF 1 "register_operand" "f")
326
                      (match_operand:V2SF 2 "register_operand" "f")
327
                      (match_operand:V2SF 3 "register_operand" "f")
328
                      (match_operand:V2SF 4 "register_operand" "f")
329
                      (match_operand 5 "const_int_operand" "")]
330
                     UNSPEC_C))]
331
  "TARGET_PAIRED_SINGLE_FLOAT"
332
  "#"
333
  "&& reload_completed"
334
  [(set (match_dup 6)
335
        (unspec:CCV2 [(match_dup 1)
336
                      (match_dup 2)
337
                      (match_dup 5)]
338
                     UNSPEC_C))
339
   (set (match_dup 7)
340
        (unspec:CCV2 [(match_dup 3)
341
                      (match_dup 4)
342
                      (match_dup 5)]
343
                     UNSPEC_C))]
344
{
345
  operands[6] = simplify_gen_subreg (CCV2mode, operands[0], CCV4mode, 0);
346
  operands[7] = simplify_gen_subreg (CCV2mode, operands[0], CCV4mode, 8);
347
}
348
  [(set_attr "type" "fcmp")
349
   (set_attr "length" "8")
350
   (set_attr "mode" "FPSW")])
351
 
352
(define_insn_and_split "mips_cabs_cond_4s"
353
  [(set (match_operand:CCV4 0 "register_operand" "=z")
354
        (unspec:CCV4 [(match_operand:V2SF 1 "register_operand" "f")
355
                      (match_operand:V2SF 2 "register_operand" "f")
356
                      (match_operand:V2SF 3 "register_operand" "f")
357
                      (match_operand:V2SF 4 "register_operand" "f")
358
                      (match_operand 5 "const_int_operand" "")]
359
                     UNSPEC_CABS))]
360
  "TARGET_MIPS3D"
361
  "#"
362
  "&& reload_completed"
363
  [(set (match_dup 6)
364
        (unspec:CCV2 [(match_dup 1)
365
                      (match_dup 2)
366
                      (match_dup 5)]
367
                     UNSPEC_CABS))
368
   (set (match_dup 7)
369
        (unspec:CCV2 [(match_dup 3)
370
                      (match_dup 4)
371
                      (match_dup 5)]
372
                     UNSPEC_CABS))]
373
{
374
  operands[6] = simplify_gen_subreg (CCV2mode, operands[0], CCV4mode, 0);
375
  operands[7] = simplify_gen_subreg (CCV2mode, operands[0], CCV4mode, 8);
376
}
377
  [(set_attr "type" "fcmp")
378
   (set_attr "length" "8")
379
   (set_attr "mode" "FPSW")])
380
 
381
 
382
;----------------------------------------------------------------------------
383
; Floating Point Comparisons for Paired Singles
384
;----------------------------------------------------------------------------
385
 
386
(define_insn "mips_c_cond_ps"
387
  [(set (match_operand:CCV2 0 "register_operand" "=z")
388
        (unspec:CCV2 [(match_operand:V2SF 1 "register_operand" "f")
389
                      (match_operand:V2SF 2 "register_operand" "f")
390
                      (match_operand 3 "const_int_operand" "")]
391
                     UNSPEC_C))]
392
  "TARGET_PAIRED_SINGLE_FLOAT"
393
  "c.%Y3.ps\t%0,%1,%2"
394
  [(set_attr "type" "fcmp")
395
   (set_attr "mode" "FPSW")])
396
 
397
(define_insn "mips_cabs_cond_ps"
398
  [(set (match_operand:CCV2 0 "register_operand" "=z")
399
        (unspec:CCV2 [(match_operand:V2SF 1 "register_operand" "f")
400
                      (match_operand:V2SF 2 "register_operand" "f")
401
                      (match_operand 3 "const_int_operand" "")]
402
                     UNSPEC_CABS))]
403
  "TARGET_MIPS3D"
404
  "cabs.%Y3.ps\t%0,%1,%2"
405
  [(set_attr "type" "fcmp")
406
   (set_attr "mode" "FPSW")])
407
 
408
;; An expander for generating an scc operation.
409
(define_expand "scc_ps"
410
  [(set (match_operand:CCV2 0)
411
        (unspec:CCV2 [(match_operand 1)] UNSPEC_SCC))])
412
 
413
(define_insn "s_ps"
414
  [(set (match_operand:CCV2 0 "register_operand" "=z")
415
        (unspec:CCV2
416
           [(fcond (match_operand:V2SF 1 "register_operand" "f")
417
                   (match_operand:V2SF 2 "register_operand" "f"))]
418
           UNSPEC_SCC))]
419
  "TARGET_PAIRED_SINGLE_FLOAT"
420
  "c..ps\t%0,%1,%2"
421
  [(set_attr "type" "fcmp")
422
   (set_attr "mode" "FPSW")])
423
 
424
(define_insn "s_ps"
425
  [(set (match_operand:CCV2 0 "register_operand" "=z")
426
        (unspec:CCV2
427
           [(swapped_fcond (match_operand:V2SF 1 "register_operand" "f")
428
                           (match_operand:V2SF 2 "register_operand" "f"))]
429
           UNSPEC_SCC))]
430
  "TARGET_PAIRED_SINGLE_FLOAT"
431
  "c..ps\t%0,%2,%1"
432
  [(set_attr "type" "fcmp")
433
   (set_attr "mode" "FPSW")])
434
 
435
;----------------------------------------------------------------------------
436
; Floating Point Branch Instructions.
437
;----------------------------------------------------------------------------
438
 
439
; Branch on Any of Four Floating Point Condition Codes True
440
(define_insn "bc1any4t"
441
  [(set (pc)
442
        (if_then_else (ne (match_operand:CCV4 0 "register_operand" "z")
443
                          (const_int 0))
444
                      (label_ref (match_operand 1 "" ""))
445
                      (pc)))]
446
  "TARGET_MIPS3D"
447
  "%*bc1any4t\t%0,%1%/"
448
  [(set_attr "type" "branch")
449
   (set_attr "mode" "none")])
450
 
451
; Branch on Any of Four Floating Point Condition Codes False
452
(define_insn "bc1any4f"
453
  [(set (pc)
454
        (if_then_else (ne (match_operand:CCV4 0 "register_operand" "z")
455
                          (const_int -1))
456
                      (label_ref (match_operand 1 "" ""))
457
                      (pc)))]
458
  "TARGET_MIPS3D"
459
  "%*bc1any4f\t%0,%1%/"
460
  [(set_attr "type" "branch")
461
   (set_attr "mode" "none")])
462
 
463
; Branch on Any of Two Floating Point Condition Codes True
464
(define_insn "bc1any2t"
465
  [(set (pc)
466
        (if_then_else (ne (match_operand:CCV2 0 "register_operand" "z")
467
                          (const_int 0))
468
                      (label_ref (match_operand 1 "" ""))
469
                      (pc)))]
470
  "TARGET_MIPS3D"
471
  "%*bc1any2t\t%0,%1%/"
472
  [(set_attr "type" "branch")
473
   (set_attr "mode" "none")])
474
 
475
; Branch on Any of Two Floating Point Condition Codes False
476
(define_insn "bc1any2f"
477
  [(set (pc)
478
        (if_then_else (ne (match_operand:CCV2 0 "register_operand" "z")
479
                          (const_int -1))
480
                      (label_ref (match_operand 1 "" ""))
481
                      (pc)))]
482
  "TARGET_MIPS3D"
483
  "%*bc1any2f\t%0,%1%/"
484
  [(set_attr "type" "branch")
485
   (set_attr "mode" "none")])
486
 
487
; Used to access one register in a CCV2 pair.  Operand 0 is the register
488
; pair and operand 1 is the index of the register we want (a CONST_INT).
489
(define_expand "single_cc"
490
  [(ne (unspec:CC [(match_operand 0) (match_operand 1)] UNSPEC_SINGLE_CC)
491
       (const_int 0))])
492
 
493
; This is a normal floating-point branch pattern, but rather than check
494
; a single CCmode register, it checks one register in a CCV2 pair.
495
; Operand 2 is the register pair and operand 3 is the index of the
496
; register we want.
497
(define_insn "*branch_upper_lower"
498
  [(set (pc)
499
        (if_then_else
500
         (match_operator 0 "equality_operator"
501
            [(unspec:CC [(match_operand:CCV2 2 "register_operand" "z")
502
                         (match_operand 3 "const_int_operand")]
503
                        UNSPEC_SINGLE_CC)
504
             (const_int 0)])
505
         (label_ref (match_operand 1 "" ""))
506
         (pc)))]
507
  "TARGET_HARD_FLOAT"
508
{
509
  operands[2]
510
    = gen_rtx_REG (CCmode, REGNO (operands[2]) + INTVAL (operands[3]));
511
  return mips_output_conditional_branch (insn, operands,
512
                                         MIPS_BRANCH ("b%F0", "%2,%1"),
513
                                         MIPS_BRANCH ("b%W0", "%2,%1"));
514
}
515
  [(set_attr "type" "branch")
516
   (set_attr "mode" "none")])
517
 
518
; As above, but with the sense of the condition reversed.
519
(define_insn "*branch_upper_lower_inverted"
520
  [(set (pc)
521
        (if_then_else
522
         (match_operator 0 "equality_operator"
523
            [(unspec:CC [(match_operand:CCV2 2 "register_operand" "z")
524
                         (match_operand 3 "const_int_operand")]
525
                        UNSPEC_SINGLE_CC)
526
             (const_int 0)])
527
         (pc)
528
         (label_ref (match_operand 1 "" ""))))]
529
  "TARGET_HARD_FLOAT"
530
{
531
  operands[2]
532
    = gen_rtx_REG (CCmode, REGNO (operands[2]) + INTVAL (operands[3]));
533
  return mips_output_conditional_branch (insn, operands,
534
                                         MIPS_BRANCH ("b%W0", "%2,%1"),
535
                                         MIPS_BRANCH ("b%F0", "%2,%1"));
536
}
537
  [(set_attr "type" "branch")
538
   (set_attr "mode" "none")])
539
 
540
;----------------------------------------------------------------------------
541
; Floating Point Reduced Precision Reciprocal Square Root Instructions.
542
;----------------------------------------------------------------------------
543
 
544
(define_insn "mips_rsqrt1_"
545
  [(set (match_operand:ANYF 0 "register_operand" "=f")
546
        (unspec:ANYF [(match_operand:ANYF 1 "register_operand" "f")]
547
                     UNSPEC_RSQRT1))]
548
  "TARGET_MIPS3D"
549
  "rsqrt1.\t%0,%1"
550
  [(set_attr "type" "frsqrt1")
551
   (set_attr "mode" "")])
552
 
553
(define_insn "mips_rsqrt2_"
554
  [(set (match_operand:ANYF 0 "register_operand" "=f")
555
        (unspec:ANYF [(match_operand:ANYF 1 "register_operand" "f")
556
                      (match_operand:ANYF 2 "register_operand" "f")]
557
                     UNSPEC_RSQRT2))]
558
  "TARGET_MIPS3D"
559
  "rsqrt2.\t%0,%1,%2"
560
  [(set_attr "type" "frsqrt2")
561
   (set_attr "mode" "")])
562
 
563
(define_insn "mips_recip1_"
564
  [(set (match_operand:ANYF 0 "register_operand" "=f")
565
        (unspec:ANYF [(match_operand:ANYF 1 "register_operand" "f")]
566
                     UNSPEC_RECIP1))]
567
  "TARGET_MIPS3D"
568
  "recip1.\t%0,%1"
569
  [(set_attr "type" "frdiv1")
570
   (set_attr "mode" "")])
571
 
572
(define_insn "mips_recip2_"
573
  [(set (match_operand:ANYF 0 "register_operand" "=f")
574
        (unspec:ANYF [(match_operand:ANYF 1 "register_operand" "f")
575
                      (match_operand:ANYF 2 "register_operand" "f")]
576
                     UNSPEC_RECIP2))]
577
  "TARGET_MIPS3D"
578
  "recip2.\t%0,%1,%2"
579
  [(set_attr "type" "frdiv2")
580
   (set_attr "mode" "")])
581
 
582
(define_expand "vcondv2sf"
583
  [(set (match_operand:V2SF 0 "register_operand")
584
        (if_then_else:V2SF
585
          (match_operator 3 ""
586
            [(match_operand:V2SF 4 "register_operand")
587
             (match_operand:V2SF 5 "register_operand")])
588
          (match_operand:V2SF 1 "register_operand")
589
          (match_operand:V2SF 2 "register_operand")))]
590
  "TARGET_PAIRED_SINGLE_FLOAT"
591
{
592
  mips_expand_vcondv2sf (operands[0], operands[1], operands[2],
593
                         GET_CODE (operands[3]), operands[4], operands[5]);
594
  DONE;
595
})
596
 
597
(define_expand "sminv2sf3"
598
  [(set (match_operand:V2SF 0 "register_operand")
599
        (smin:V2SF (match_operand:V2SF 1 "register_operand")
600
                   (match_operand:V2SF 2 "register_operand")))]
601
  "TARGET_PAIRED_SINGLE_FLOAT"
602
{
603
  mips_expand_vcondv2sf (operands[0], operands[1], operands[2],
604
                         LE, operands[1], operands[2]);
605
  DONE;
606
})
607
 
608
(define_expand "smaxv2sf3"
609
  [(set (match_operand:V2SF 0 "register_operand")
610
        (smax:V2SF (match_operand:V2SF 1 "register_operand")
611
                   (match_operand:V2SF 2 "register_operand")))]
612
  "TARGET_PAIRED_SINGLE_FLOAT"
613
{
614
  mips_expand_vcondv2sf (operands[0], operands[1], operands[2],
615
                         LE, operands[2], operands[1]);
616
  DONE;
617
})

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.