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