Dan Gohman | 5bb7c7c | 2009-09-08 22:34:10 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -constprop -S | not grep call |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 3 | declare double @cos(double) |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | |
Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 5 | declare double @sin(double) |
| 6 | |
| 7 | declare double @tan(double) |
| 8 | |
| 9 | declare double @sqrt(double) |
| 10 | |
| 11 | declare i1 @llvm.isunordered.f64(double, double) |
| 12 | |
| 13 | define double @T() { |
| 14 | %A = call double @cos( double 0.000000e+00 ) ; <double> [#uses=1] |
| 15 | %B = call double @sin( double 0.000000e+00 ) ; <double> [#uses=1] |
Dan Gohman | 7ce405e | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 16 | %a = fadd double %A, %B ; <double> [#uses=1] |
Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 17 | %C = call double @tan( double 0.000000e+00 ) ; <double> [#uses=1] |
Dan Gohman | 7ce405e | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 18 | %b = fadd double %a, %C ; <double> [#uses=1] |
Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 19 | %D = call double @sqrt( double 4.000000e+00 ) ; <double> [#uses=1] |
Dan Gohman | 7ce405e | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 20 | %c = fadd double %b, %D ; <double> [#uses=1] |
Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 21 | ret double %c |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 22 | } |
| 23 | |
Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 24 | define i1 @TNAN() { |
| 25 | %A = fcmp uno double 0x7FF8000000000000, 1.000000e+00 ; <i1> [#uses=1] |
| 26 | %B = fcmp uno double 1.230000e+02, 1.000000e+00 ; <i1> [#uses=1] |
| 27 | %C = or i1 %A, %B ; <i1> [#uses=1] |
| 28 | ret i1 %C |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 29 | } |
Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 30 | |