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
This commit is contained in:
Chandler Carruth 2011-01-11 01:07:20 +00:00
parent da1c122da5
commit f7b0047f5f
2 changed files with 21 additions and 19 deletions

View File

@ -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
}

View File

@ -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 ) ; <double> [#uses=1]
%B = call double @sin( double 0.000000e+00 ) ; <double> [#uses=1]
%a = fadd double %A, %B ; <double> [#uses=1]
%C = call double @tan( double 0.000000e+00 ) ; <double> [#uses=1]
%b = fadd double %a, %C ; <double> [#uses=1]
%D = call double @sqrt( double 4.000000e+00 ) ; <double> [#uses=1]
%c = fadd double %b, %D ; <double> [#uses=1]
ret double %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
}
define i1 @TNAN() {
%A = fcmp uno double 0x7FF8000000000000, 1.000000e+00 ; <i1> [#uses=1]
%B = fcmp uno double 1.230000e+02, 1.000000e+00 ; <i1> [#uses=1]
%C = or i1 %A, %B ; <i1> [#uses=1]
ret i1 %C
}