Remove virtual keyword for two routines that should never be overridden.
[oota-llvm.git] / test / Transforms / SimplifyLibCalls / floor.ll
index 8748169be43f33ee8e21264f9b9f60249126683f..93c62c20023dbadd49c4a1a1db0b200db72b1279 100644 (file)
@@ -1,33 +1,85 @@
-; RUN: llvm-as < %s | opt -simplify-libcalls | llvm-dis | not grep 'call.*floor(' &&
-; RUN: llvm-as < %s | opt -simplify-libcalls | llvm-dis | grep 'call.*floorf('
-; RUN: llvm-as < %s | opt -simplify-libcalls | llvm-dis | not grep 'call.*ceil(' &&
-; RUN: llvm-as < %s | opt -simplify-libcalls | llvm-dis | grep 'call.*ceilf('
-; RUN: llvm-as < %s | opt -simplify-libcalls | llvm-dis | not grep 'call.*nearbyint(' &&
-; RUN: llvm-as < %s | opt -simplify-libcalls | llvm-dis | grep 'call.*nearbyintf('
-; XFAIL: sparc
-
-declare double %floor(double)
-declare double %ceil(double)
-declare double %nearbyint(double)
-
-float %test_floor(float %C) {
-       %D = cast float %C to double
-       %E = call double %floor(double %D)  ; --> floorf
-       %F = cast double %E to float
+; RUN: opt < %s -simplify-libcalls -S -mtriple "i386-pc-linux" | FileCheck -check-prefix=DO-SIMPLIFY %s
+; RUN: opt < %s -simplify-libcalls -S -mtriple "i386-pc-win32" | FileCheck -check-prefix=DONT-SIMPLIFY %s
+; RUN: opt < %s -simplify-libcalls -S -mtriple "x86_64-pc-win32" | FileCheck -check-prefix=C89-SIMPLIFY %s
+; RUN: opt < %s -simplify-libcalls -S -mtriple "i386-pc-mingw32" | FileCheck -check-prefix=DO-SIMPLIFY %s
+; RUN: opt < %s -simplify-libcalls -S -mtriple "x86_64-pc-mingw32" | FileCheck -check-prefix=DO-SIMPLIFY %s
+; RUN: opt < %s -simplify-libcalls -S -mtriple "sparc-sun-solaris" | FileCheck -check-prefix=DO-SIMPLIFY %s
+
+; DO-SIMPLIFY: call float @floorf(
+; DO-SIMPLIFY: call float @ceilf(
+; DO-SIMPLIFY: call float @roundf(
+; DO-SIMPLIFY: call float @nearbyintf(
+; DO-SIMPLIFY: call float @truncf(
+; DO-SIMPLIFY: call float @fabsf(
+
+; C89-SIMPLIFY: call float @floorf(
+; C89-SIMPLIFY: call float @ceilf(
+; C89-SIMPLIFY: call double @round(
+; C89-SIMPLIFY: call double @nearbyint(
+
+; DONT-SIMPLIFY: call double @floor(
+; DONT-SIMPLIFY: call double @ceil(
+; DONT-SIMPLIFY: call double @round(
+; DONT-SIMPLIFY: call double @nearbyint(
+; DONT-SIMPLIFY: call double @trunc(
+; DONT-SIMPLIFY: call double @fabs(
+
+declare double @floor(double)
+
+declare double @ceil(double)
+
+declare double @round(double)
+
+declare double @nearbyint(double)
+
+declare double @trunc(double)
+
+declare double @fabs(double)
+
+define float @test_floor(float %C) {
+       %D = fpext float %C to double           ; <double> [#uses=1]
+        ; --> floorf
+       %E = call double @floor( double %D )            ; <double> [#uses=1]
+       %F = fptrunc double %E to float         ; <float> [#uses=1]
        ret float %F
 }
 
-float %test_ceil(float %C) {
-       %D = cast float %C to double
-       %E = call double %ceil(double %D)  ; --> ceilf
-       %F = cast double %E to float
+define float @test_ceil(float %C) {
+       %D = fpext float %C to double           ; <double> [#uses=1]
+       ; --> ceilf
+        %E = call double @ceil( double %D )            ; <double> [#uses=1]
+       %F = fptrunc double %E to float         ; <float> [#uses=1]
        ret float %F
 }
 
-float %test_nearbyint(float %C) {
-       %D = cast float %C to double
-       %E = call double %nearbyint(double %D)  ; --> floorf
-       %F = cast double %E to float
+define float @test_round(float %C) {
+       %D = fpext float %C to double           ; <double> [#uses=1]
+       ; --> roundf
+        %E = call double @round( double %D )           ; <double> [#uses=1]
+       %F = fptrunc double %E to float         ; <float> [#uses=1]
        ret float %F
 }
 
+define float @test_nearbyint(float %C) {
+       %D = fpext float %C to double           ; <double> [#uses=1]
+       ; --> nearbyintf
+        %E = call double @nearbyint( double %D )               ; <double> [#uses=1]
+       %F = fptrunc double %E to float         ; <float> [#uses=1]
+       ret float %F
+}
+
+define float @test_trunc(float %C) {
+       %D = fpext float %C to double
+       ; --> truncf
+        %E = call double @trunc(double %D)
+       %F = fptrunc double %E to float
+       ret float %F
+}
+
+define float @test_fabs(float %C) {
+       %D = fpext float %C to double
+       ; --> fabsf
+        %E = call double @fabs(double %D)
+       %F = fptrunc double %E to float
+       ret float %F
+}