Chandler Carruth | f7b0047 | 2011-01-11 01:07:20 +0000 | [diff] [blame^] | 1 | ; RUN: opt < %s -constprop -S | FileCheck %s |
Chris Lattner | cc713a3 | 2004-04-13 19:28:09 +0000 | [diff] [blame] | 2 | |
Tanya Lattner | ec9a35a | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 3 | declare double @cos(double) |
Chris Lattner | cc713a3 | 2004-04-13 19:28:09 +0000 | [diff] [blame] | 4 | |
Tanya Lattner | ec9a35a | 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 | |
Tanya Lattner | ec9a35a | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 11 | define double @T() { |
Chandler Carruth | f7b0047 | 2011-01-11 01:07:20 +0000 | [diff] [blame^] | 12 | ; CHECK: @T |
| 13 | ; CHECK-NOT: call |
| 14 | ; CHECK: ret |
| 15 | %A = call double @cos(double 0.000000e+00) |
| 16 | %B = call double @sin(double 0.000000e+00) |
| 17 | %a = fadd double %A, %B |
| 18 | %C = call double @tan(double 0.000000e+00) |
| 19 | %b = fadd double %a, %C |
| 20 | %D = call double @sqrt(double 4.000000e+00) |
| 21 | %c = fadd double %b, %D |
| 22 | ret double %c |
Chris Lattner | cc713a3 | 2004-04-13 19:28:09 +0000 | [diff] [blame] | 23 | } |