From fdf4969149e445003724d0fc16b366d245572fcd Mon Sep 17 00:00:00 2001 From: Chandler Carruth Date: Tue, 11 Jan 2011 01:07:20 +0000 Subject: FileCheck-ize a test, and move a no-longer calling test case to another file and make it actually test something... llvm-svn: 123205 --- llvm/test/Transforms/ConstProp/calls.ll | 31 ++++++++++++------------------- 1 file changed, 12 insertions(+), 19 deletions(-) (limited to 'llvm/test/Transforms/ConstProp/calls.ll') diff --git a/llvm/test/Transforms/ConstProp/calls.ll b/llvm/test/Transforms/ConstProp/calls.ll index 3c266fe62ed..a12fc82d646 100644 --- a/llvm/test/Transforms/ConstProp/calls.ll +++ b/llvm/test/Transforms/ConstProp/calls.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -constprop -S | not grep call +; RUN: opt < %s -constprop -S | FileCheck %s declare double @cos(double) @@ -8,23 +8,16 @@ declare double @tan(double) declare double @sqrt(double) -declare i1 @llvm.isunordered.f64(double, double) - define double @T() { - %A = call double @cos( double 0.000000e+00 ) ; [#uses=1] - %B = call double @sin( double 0.000000e+00 ) ; [#uses=1] - %a = fadd double %A, %B ; [#uses=1] - %C = call double @tan( double 0.000000e+00 ) ; [#uses=1] - %b = fadd double %a, %C ; [#uses=1] - %D = call double @sqrt( double 4.000000e+00 ) ; [#uses=1] - %c = fadd double %b, %D ; [#uses=1] - ret double %c -} - -define i1 @TNAN() { - %A = fcmp uno double 0x7FF8000000000000, 1.000000e+00 ; [#uses=1] - %B = fcmp uno double 1.230000e+02, 1.000000e+00 ; [#uses=1] - %C = or i1 %A, %B ; [#uses=1] - ret i1 %C +; CHECK: @T +; CHECK-NOT: call +; CHECK: ret + %A = call double @cos(double 0.000000e+00) + %B = call double @sin(double 0.000000e+00) + %a = fadd double %A, %B + %C = call double @tan(double 0.000000e+00) + %b = fadd double %a, %C + %D = call double @sqrt(double 4.000000e+00) + %c = fadd double %b, %D + ret double %c } - -- cgit v1.2.3