Reid Spencer | eb1d74e | 2007-04-16 17:36:08 +0000 | [diff] [blame] | 1 | ; RUN: llvm-upgrade < %s | llvm-as | llc -march=arm -mattr=+vfp2 > %t |
Dan Gohman | 28beeea | 2007-08-15 13:36:28 +0000 | [diff] [blame] | 2 | ; RUN: grep fmsr %t | count 4 |
Reid Spencer | eb1d74e | 2007-04-16 17:36:08 +0000 | [diff] [blame] | 3 | ; RUN: grep fsitos %t |
Dan Gohman | 28beeea | 2007-08-15 13:36:28 +0000 | [diff] [blame] | 4 | ; RUN: grep fmrs %t | count 2 |
Reid Spencer | eb1d74e | 2007-04-16 17:36:08 +0000 | [diff] [blame] | 5 | ; RUN: grep fsitod %t |
Chris Lattner | 2adcf10 | 2007-11-28 05:27:07 +0000 | [diff] [blame^] | 6 | ; RUN: grep fmrrd %t | count 3 |
| 7 | ; RUN: not grep fmdrr %t |
Reid Spencer | eb1d74e | 2007-04-16 17:36:08 +0000 | [diff] [blame] | 8 | ; RUN: grep fldd %t |
Reid Spencer | eb1d74e | 2007-04-16 17:36:08 +0000 | [diff] [blame] | 9 | ; RUN: grep fuitod %t |
| 10 | ; RUN: grep fuitos %t |
| 11 | ; RUN: grep 1065353216 %t |
Evan Cheng | 02b985c | 2007-01-19 09:20:23 +0000 | [diff] [blame] | 12 | |
| 13 | float %f(int %a) { |
| 14 | entry: |
| 15 | %tmp = cast int %a to float ; <float> [#uses=1] |
| 16 | ret float %tmp |
| 17 | } |
| 18 | |
| 19 | double %g(int %a) { |
| 20 | entry: |
| 21 | %tmp = cast int %a to double ; <double> [#uses=1] |
| 22 | ret double %tmp |
| 23 | } |
| 24 | |
| 25 | double %uint_to_double(uint %a) { |
| 26 | entry: |
| 27 | %tmp = cast uint %a to double |
| 28 | ret double %tmp |
| 29 | } |
| 30 | |
| 31 | float %uint_to_float(uint %a) { |
| 32 | entry: |
| 33 | %tmp = cast uint %a to float |
| 34 | ret float %tmp |
| 35 | } |
Rafael Espindola | 2718519 | 2006-09-29 21:20:16 +0000 | [diff] [blame] | 36 | |
Rafael Espindola | e5bbd6d | 2006-10-07 14:24:52 +0000 | [diff] [blame] | 37 | |
Rafael Espindola | 5aca927 | 2006-10-07 14:03:39 +0000 | [diff] [blame] | 38 | double %h(double* %v) { |
| 39 | entry: |
| 40 | %tmp = load double* %v ; <double> [#uses=1] |
| 41 | ret double %tmp |
| 42 | } |
| 43 | |
Reid Spencer | 9085043 | 2007-01-30 16:16:01 +0000 | [diff] [blame] | 44 | float %h2() { |
Rafael Espindola | cd71da5 | 2006-10-03 17:27:58 +0000 | [diff] [blame] | 45 | entry: |
| 46 | ret float 1.000000e+00 |
| 47 | } |
Rafael Espindola | a284584 | 2006-10-05 16:48:49 +0000 | [diff] [blame] | 48 | |
| 49 | double %f2(double %a) { |
| 50 | ret double %a |
| 51 | } |
Rafael Espindola | 4a408d4 | 2006-10-06 12:50:22 +0000 | [diff] [blame] | 52 | |
Rafael Espindola | 614057b | 2006-10-06 19:10:05 +0000 | [diff] [blame] | 53 | void %f3() { |
| 54 | entry: |
| 55 | %tmp = call double %f5() ; <double> [#uses=1] |
| 56 | call void %f4(double %tmp ) |
| 57 | ret void |
Rafael Espindola | 4a408d4 | 2006-10-06 12:50:22 +0000 | [diff] [blame] | 58 | } |
Rafael Espindola | 614057b | 2006-10-06 19:10:05 +0000 | [diff] [blame] | 59 | |
Rafael Espindola | 4a408d4 | 2006-10-06 12:50:22 +0000 | [diff] [blame] | 60 | declare void %f4(double) |
Rafael Espindola | 614057b | 2006-10-06 19:10:05 +0000 | [diff] [blame] | 61 | declare double %f5() |