Dan Gohman | b7c0b24 | 2009-09-11 18:36:27 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=cellspu > %t1.s |
Chris Lattner | 994d6cf | 2008-01-18 19:53:43 +0000 | [diff] [blame] | 2 | ; RUN: grep dfa %t1.s | count 2 |
| 3 | ; RUN: grep dfs %t1.s | count 2 |
| 4 | ; RUN: grep dfm %t1.s | count 6 |
| 5 | ; RUN: grep dfma %t1.s | count 2 |
| 6 | ; RUN: grep dfms %t1.s | count 2 |
Scott Michel | 0a92af4 | 2007-12-19 20:50:49 +0000 | [diff] [blame] | 7 | ; RUN: grep dfnms %t1.s | count 4 |
| 8 | ; |
| 9 | ; This file includes double precision floating point arithmetic instructions |
Scott Michel | 9de5d0d | 2008-01-11 02:53:15 +0000 | [diff] [blame] | 10 | target datalayout = "E-p:32:32:128-f64:64:128-f32:32:128-i64:32:128-i32:32:128-i16:16:128-i8:8:128-i1:8:128-a0:0:128-v128:128:128-s0:128:128" |
| 11 | target triple = "spu" |
Scott Michel | 0a92af4 | 2007-12-19 20:50:49 +0000 | [diff] [blame] | 12 | |
| 13 | define double @fadd(double %arg1, double %arg2) { |
Dan Gohman | ae3a0be | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 14 | %A = fadd double %arg1, %arg2 |
Scott Michel | 53dec47 | 2008-03-05 23:00:19 +0000 | [diff] [blame] | 15 | ret double %A |
Scott Michel | 0a92af4 | 2007-12-19 20:50:49 +0000 | [diff] [blame] | 16 | } |
| 17 | |
| 18 | define <2 x double> @fadd_vec(<2 x double> %arg1, <2 x double> %arg2) { |
Dan Gohman | ae3a0be | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 19 | %A = fadd <2 x double> %arg1, %arg2 |
Scott Michel | 53dec47 | 2008-03-05 23:00:19 +0000 | [diff] [blame] | 20 | ret <2 x double> %A |
Scott Michel | 0a92af4 | 2007-12-19 20:50:49 +0000 | [diff] [blame] | 21 | } |
| 22 | |
| 23 | define double @fsub(double %arg1, double %arg2) { |
Dan Gohman | ae3a0be | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 24 | %A = fsub double %arg1, %arg2 |
Scott Michel | 53dec47 | 2008-03-05 23:00:19 +0000 | [diff] [blame] | 25 | ret double %A |
Scott Michel | 0a92af4 | 2007-12-19 20:50:49 +0000 | [diff] [blame] | 26 | } |
| 27 | |
| 28 | define <2 x double> @fsub_vec(<2 x double> %arg1, <2 x double> %arg2) { |
Dan Gohman | ae3a0be | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 29 | %A = fsub <2 x double> %arg1, %arg2 |
Scott Michel | 53dec47 | 2008-03-05 23:00:19 +0000 | [diff] [blame] | 30 | ret <2 x double> %A |
Scott Michel | 0a92af4 | 2007-12-19 20:50:49 +0000 | [diff] [blame] | 31 | } |
| 32 | |
| 33 | define double @fmul(double %arg1, double %arg2) { |
Dan Gohman | ae3a0be | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 34 | %A = fmul double %arg1, %arg2 |
Scott Michel | 53dec47 | 2008-03-05 23:00:19 +0000 | [diff] [blame] | 35 | ret double %A |
Scott Michel | 0a92af4 | 2007-12-19 20:50:49 +0000 | [diff] [blame] | 36 | } |
| 37 | |
| 38 | define <2 x double> @fmul_vec(<2 x double> %arg1, <2 x double> %arg2) { |
Dan Gohman | ae3a0be | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 39 | %A = fmul <2 x double> %arg1, %arg2 |
Scott Michel | 53dec47 | 2008-03-05 23:00:19 +0000 | [diff] [blame] | 40 | ret <2 x double> %A |
Scott Michel | 0a92af4 | 2007-12-19 20:50:49 +0000 | [diff] [blame] | 41 | } |
| 42 | |
| 43 | define double @fma(double %arg1, double %arg2, double %arg3) { |
Dan Gohman | ae3a0be | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 44 | %A = fmul double %arg1, %arg2 |
| 45 | %B = fadd double %A, %arg3 |
Scott Michel | 53dec47 | 2008-03-05 23:00:19 +0000 | [diff] [blame] | 46 | ret double %B |
Scott Michel | 0a92af4 | 2007-12-19 20:50:49 +0000 | [diff] [blame] | 47 | } |
| 48 | |
| 49 | define <2 x double> @fma_vec(<2 x double> %arg1, <2 x double> %arg2, <2 x double> %arg3) { |
Dan Gohman | ae3a0be | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 50 | %A = fmul <2 x double> %arg1, %arg2 |
| 51 | %B = fadd <2 x double> %A, %arg3 |
Scott Michel | 53dec47 | 2008-03-05 23:00:19 +0000 | [diff] [blame] | 52 | ret <2 x double> %B |
Scott Michel | 0a92af4 | 2007-12-19 20:50:49 +0000 | [diff] [blame] | 53 | } |
| 54 | |
| 55 | define double @fms(double %arg1, double %arg2, double %arg3) { |
Dan Gohman | ae3a0be | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 56 | %A = fmul double %arg1, %arg2 |
| 57 | %B = fsub double %A, %arg3 |
Scott Michel | 53dec47 | 2008-03-05 23:00:19 +0000 | [diff] [blame] | 58 | ret double %B |
Scott Michel | 0a92af4 | 2007-12-19 20:50:49 +0000 | [diff] [blame] | 59 | } |
| 60 | |
| 61 | define <2 x double> @fms_vec(<2 x double> %arg1, <2 x double> %arg2, <2 x double> %arg3) { |
Dan Gohman | ae3a0be | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 62 | %A = fmul <2 x double> %arg1, %arg2 |
| 63 | %B = fsub <2 x double> %A, %arg3 |
Scott Michel | 53dec47 | 2008-03-05 23:00:19 +0000 | [diff] [blame] | 64 | ret <2 x double> %B |
Scott Michel | 0a92af4 | 2007-12-19 20:50:49 +0000 | [diff] [blame] | 65 | } |
| 66 | |
| 67 | ; - (a * b - c) |
| 68 | define double @d_fnms_1(double %arg1, double %arg2, double %arg3) { |
Dan Gohman | ae3a0be | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 69 | %A = fmul double %arg1, %arg2 |
| 70 | %B = fsub double %A, %arg3 |
| 71 | %C = fsub double -0.000000e+00, %B ; <double> [#uses=1] |
Scott Michel | 53dec47 | 2008-03-05 23:00:19 +0000 | [diff] [blame] | 72 | ret double %C |
Scott Michel | 0a92af4 | 2007-12-19 20:50:49 +0000 | [diff] [blame] | 73 | } |
| 74 | |
| 75 | ; Annother way of getting fnms |
| 76 | ; - ( a * b ) + c => c - (a * b) |
| 77 | define double @d_fnms_2(double %arg1, double %arg2, double %arg3) { |
Dan Gohman | ae3a0be | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 78 | %A = fmul double %arg1, %arg2 |
| 79 | %B = fsub double %arg3, %A |
Scott Michel | 53dec47 | 2008-03-05 23:00:19 +0000 | [diff] [blame] | 80 | ret double %B |
Scott Michel | 0a92af4 | 2007-12-19 20:50:49 +0000 | [diff] [blame] | 81 | } |
| 82 | |
| 83 | ; FNMS: - (a * b - c) => c - (a * b) |
| 84 | define <2 x double> @d_fnms_vec_1(<2 x double> %arg1, <2 x double> %arg2, <2 x double> %arg3) { |
Dan Gohman | ae3a0be | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 85 | %A = fmul <2 x double> %arg1, %arg2 |
Dan Gohman | aceba31 | 2010-01-05 17:55:26 +0000 | [diff] [blame] | 86 | %B = fsub <2 x double> %arg3, %A |
Scott Michel | 53dec47 | 2008-03-05 23:00:19 +0000 | [diff] [blame] | 87 | ret <2 x double> %B |
Scott Michel | 0a92af4 | 2007-12-19 20:50:49 +0000 | [diff] [blame] | 88 | } |
| 89 | |
| 90 | ; Another way to get fnms using a constant vector |
| 91 | ; - ( a * b - c) |
| 92 | define <2 x double> @d_fnms_vec_2(<2 x double> %arg1, <2 x double> %arg2, <2 x double> %arg3) { |
Dan Gohman | ae3a0be | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 93 | %A = fmul <2 x double> %arg1, %arg2 ; <<2 x double>> [#uses=1] |
| 94 | %B = fsub <2 x double> %A, %arg3 ; <<2 x double>> [#uses=1] |
| 95 | %C = fsub <2 x double> < double -0.00000e+00, double -0.00000e+00 >, %B |
Scott Michel | 53dec47 | 2008-03-05 23:00:19 +0000 | [diff] [blame] | 96 | ret <2 x double> %C |
Scott Michel | 0a92af4 | 2007-12-19 20:50:49 +0000 | [diff] [blame] | 97 | } |
| 98 | |
| 99 | ;define double @fdiv_1(double %arg1, double %arg2) { |
Scott Michel | 53dec47 | 2008-03-05 23:00:19 +0000 | [diff] [blame] | 100 | ; %A = fdiv double %arg1, %arg2 ; <double> [#uses=1] |
| 101 | ; ret double %A |
Scott Michel | 0a92af4 | 2007-12-19 20:50:49 +0000 | [diff] [blame] | 102 | ;} |