blob: 3c266fe62ed884dc45235d2803a861f9907223d9 [file] [log] [blame]
Dan Gohman5bb7c7c2009-09-08 22:34:10 +00001; RUN: opt < %s -constprop -S | not grep call
Dan Gohmanf17a25c2007-07-18 16:29:46 +00002
Tanya Lattner4c4d0b82008-03-01 09:15:35 +00003declare double @cos(double)
Dan Gohmanf17a25c2007-07-18 16:29:46 +00004
Tanya Lattner4c4d0b82008-03-01 09:15:35 +00005declare double @sin(double)
6
7declare double @tan(double)
8
9declare double @sqrt(double)
10
11declare i1 @llvm.isunordered.f64(double, double)
12
13define 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 Gohman7ce405e2009-06-04 22:49:04 +000016 %a = fadd double %A, %B ; <double> [#uses=1]
Tanya Lattner4c4d0b82008-03-01 09:15:35 +000017 %C = call double @tan( double 0.000000e+00 ) ; <double> [#uses=1]
Dan Gohman7ce405e2009-06-04 22:49:04 +000018 %b = fadd double %a, %C ; <double> [#uses=1]
Tanya Lattner4c4d0b82008-03-01 09:15:35 +000019 %D = call double @sqrt( double 4.000000e+00 ) ; <double> [#uses=1]
Dan Gohman7ce405e2009-06-04 22:49:04 +000020 %c = fadd double %b, %D ; <double> [#uses=1]
Tanya Lattner4c4d0b82008-03-01 09:15:35 +000021 ret double %c
Dan Gohmanf17a25c2007-07-18 16:29:46 +000022}
23
Tanya Lattner4c4d0b82008-03-01 09:15:35 +000024define 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 Gohmanf17a25c2007-07-18 16:29:46 +000029}
Tanya Lattner4c4d0b82008-03-01 09:15:35 +000030