From: Chandler Carruth Date: Tue, 11 Jan 2011 01:07:20 +0000 (+0000) Subject: FileCheck-ize a test, and move a no-longer calling test case to another X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f7b0047f5f4d3525486d8fc139f05bddc4265d01;p=oota-llvm.git FileCheck-ize a test, and move a no-longer calling test case to another file and make it actually test something... git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123205 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/Transforms/ConstProp/basictest.ll b/test/Transforms/ConstProp/basictest.ll index 14580c1eab2..df57fb6870b 100644 --- a/test/Transforms/ConstProp/basictest.ll +++ b/test/Transforms/ConstProp/basictest.ll @@ -31,3 +31,12 @@ bb: ; CHECK: @test2 ; CHECK: ret i1 true } + +define i1 @TNAN() { +; CHECK: @TNAN +; CHECK: ret i1 true + %A = fcmp uno double 0x7FF8000000000000, 1.000000e+00 + %B = fcmp uno double 1.230000e+02, 1.000000e+00 + %C = or i1 %A, %B + ret i1 %C +} diff --git a/test/Transforms/ConstProp/calls.ll b/test/Transforms/ConstProp/calls.ll index 3c266fe62ed..a12fc82d646 100644 --- a/test/Transforms/ConstProp/calls.ll +++ b/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 } -