diff --git a/test/CodeGen/X86/pr1489.ll b/test/CodeGen/X86/pr1489.ll new file mode 100644 index 00000000000..61e68dfb9fc --- /dev/null +++ b/test/CodeGen/X86/pr1489.ll @@ -0,0 +1,55 @@ +; RUN: llvm-as < %s | llc -disable-fp-elim -fast -mcpu=i486 | grep 1082126238 | wc -l | grep 3 +; RUN: llvm-as < %s | llc -disable-fp-elim -fast -mcpu=i486 | grep 3058016715 | wc -l | grep 1 +;; magic constants are 3.999f and half of 3.999 +; ModuleID = '1489.c' +target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64" +target triple = "i686-apple-darwin8" +@.str = internal constant [13 x i8] c"%d %d %d %d\0A\00" ; <[13 x i8]*> [#uses=1] + +define i32 @quux() { +entry: + %tmp1 = tail call i32 @lrintf( float 0x400FFDF3C0000000 ) ; [#uses=1] + %tmp2 = icmp slt i32 %tmp1, 1 ; [#uses=1] + %tmp23 = zext i1 %tmp2 to i32 ; [#uses=1] + ret i32 %tmp23 +} + +declare i32 @lrintf(float) + +define i32 @foo() { +entry: + %tmp1 = tail call i32 @lrint( double 3.999000e+00 ) ; [#uses=1] + %tmp2 = icmp slt i32 %tmp1, 1 ; [#uses=1] + %tmp23 = zext i1 %tmp2 to i32 ; [#uses=1] + ret i32 %tmp23 +} + +declare i32 @lrint(double) + +define i32 @bar() { +entry: + %tmp1 = tail call i32 @lrintf( float 0x400FFDF3C0000000 ) ; [#uses=1] + %tmp2 = icmp slt i32 %tmp1, 1 ; [#uses=1] + %tmp23 = zext i1 %tmp2 to i32 ; [#uses=1] + ret i32 %tmp23 +} + +define i32 @baz() { +entry: + %tmp1 = tail call i32 @lrintf( float 0x400FFDF3C0000000 ) ; [#uses=1] + %tmp2 = icmp slt i32 %tmp1, 1 ; [#uses=1] + %tmp23 = zext i1 %tmp2 to i32 ; [#uses=1] + ret i32 %tmp23 +} + +define i32 @main() { +entry: + %tmp = tail call i32 @baz( ) ; [#uses=1] + %tmp1 = tail call i32 @bar( ) ; [#uses=1] + %tmp2 = tail call i32 @foo( ) ; [#uses=1] + %tmp3 = tail call i32 @quux( ) ; [#uses=1] + %tmp5 = tail call i32 (i8*, ...)* @printf( i8* getelementptr ([13 x i8]* @.str, i32 0, i32 0), i32 %tmp3, i32 %tmp2, i32 %tmp1, i32 %tmp ) ; [#uses=0] + ret i32 undef +} + +declare i32 @printf(i8*, ...) diff --git a/test/CodeGen/X86/pr1505.ll b/test/CodeGen/X86/pr1505.ll new file mode 100644 index 00000000000..a80d25cd077 --- /dev/null +++ b/test/CodeGen/X86/pr1505.ll @@ -0,0 +1,12 @@ +; RUN: llvm-as < %s | llc -mcpu=i486 | not grep fldl + +; ModuleID = '' +target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64" +target triple = "i686-apple-darwin8" +@G = weak global float 0.000000e+00 ; [#uses=1] + +define void @t1(float %F) { +entry: + store float %F, float* @G + ret void +} diff --git a/test/CodeGen/X86/pr1505b.ll b/test/CodeGen/X86/pr1505b.ll new file mode 100644 index 00000000000..1e6b7933cd1 --- /dev/null +++ b/test/CodeGen/X86/pr1505b.ll @@ -0,0 +1,73 @@ +; RUN: llvm-as < %s | llc -mcpu=i486 | grep fstpl | wc -l | grep 4 +; RUN: llvm-as < %s | llc -mcpu=i486 | grep fstps | wc -l | grep 3 + +; ModuleID = '' +target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64" +target triple = "i686-apple-darwin8" + %"struct.std::basic_ios >" = type { %"struct.std::ios_base", %"struct.std::basic_ostream >"*, i8, i8, %"struct.std::basic_streambuf >"*, %"struct.std::ctype"*, %"struct.std::num_get > >"*, %"struct.std::num_get > >"* } + %"struct.std::basic_ostream >" = type { i32 (...)**, %"struct.std::basic_ios >" } + %"struct.std::basic_streambuf >" = type { i32 (...)**, i8*, i8*, i8*, i8*, i8*, i8*, %"struct.std::locale" } + %"struct.std::ctype" = type { %"struct.std::locale::facet", i32*, i8, i32*, i32*, i32*, i8, [256 x i8], [256 x i8], i8 } + %"struct.std::ctype_base" = type <{ i8 }> + %"struct.std::ios_base" = type { i32 (...)**, i32, i32, i32, i32, i32, %"struct.std::ios_base::_Callback_list"*, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, %"struct.std::ios_base::_Words"*, %"struct.std::locale" } + %"struct.std::ios_base::_Callback_list" = type { %"struct.std::ios_base::_Callback_list"*, void (i32, %"struct.std::ios_base"*, i32)*, i32, i32 } + %"struct.std::ios_base::_Words" = type { i8*, i32 } + %"struct.std::locale" = type { %"struct.std::locale::_Impl"* } + %"struct.std::locale::_Impl" = type { i32, %"struct.std::locale::facet"**, i32, %"struct.std::locale::facet"**, i8** } + %"struct.std::locale::facet" = type { i32 (...)**, i32 } + %"struct.std::num_get > >" = type { %"struct.std::locale::facet" } +@a = global float 0x3FD3333340000000 ; [#uses=1] +@b = global double 6.000000e-01, align 8 ; [#uses=1] +@_ZSt8__ioinit = internal global %"struct.std::ctype_base" zeroinitializer ; <%"struct.std::ctype_base"*> [#uses=2] +@__dso_handle = external global i8* ; [#uses=1] +@_ZSt4cout = external global %"struct.std::basic_ostream >" ; <%"struct.std::basic_ostream >"*> [#uses=2] +@.str = internal constant [12 x i8] c"tan float: \00" ; <[12 x i8]*> [#uses=1] +@.str1 = internal constant [13 x i8] c"tan double: \00" ; <[13 x i8]*> [#uses=1] +@llvm.global_ctors = appending global [1 x { i32, void ()* }] [ { i32, void ()* } { i32 65535, void ()* @_GLOBAL__I_a } ] ; <[1 x { i32, void ()* }]*> [#uses=0] + +define internal void @_GLOBAL__I_a() section "__TEXT,__StaticInit,regular,pure_instructions" { +entry: + tail call void @_ZNSt8ios_base4InitC1Ev( %"struct.std::ctype_base"* @_ZSt8__ioinit ) + %tmp10.i = tail call i32 @__cxa_atexit( void (i8*)* @__tcf_0, i8* null, i8* bitcast (i8** @__dso_handle to i8*) ) ; [#uses=0] + ret void +} + +define internal void @__tcf_0(i8* %unnamed_arg) { +entry: + tail call void @_ZNSt8ios_base4InitD1Ev( %"struct.std::ctype_base"* @_ZSt8__ioinit ) + ret void +} + +declare void @_ZNSt8ios_base4InitD1Ev(%"struct.std::ctype_base"*) + +declare void @_ZNSt8ios_base4InitC1Ev(%"struct.std::ctype_base"*) + +declare i32 @__cxa_atexit(void (i8*)*, i8*, i8*) + +define i32 @main() { +entry: + %tmp6 = volatile load float* @a ; [#uses=1] + %tmp9 = tail call float @tanf( float %tmp6 ) ; [#uses=1] + %tmp12 = volatile load double* @b ; [#uses=1] + %tmp13 = tail call double @tan( double %tmp12 ) ; [#uses=1] + %tmp1314 = fptrunc double %tmp13 to float ; [#uses=1] + %tmp16 = tail call %"struct.std::basic_ostream >"* @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc( %"struct.std::basic_ostream >"* @_ZSt4cout, i8* getelementptr ([12 x i8]* @.str, i32 0, i32 0) ) ; <%"struct.std::basic_ostream >"*> [#uses=1] + %tmp1920 = fpext float %tmp9 to double ; [#uses=1] + %tmp22 = tail call %"struct.std::basic_ostream >"* @_ZNSolsEd( %"struct.std::basic_ostream >"* %tmp16, double %tmp1920 ) ; <%"struct.std::basic_ostream >"*> [#uses=1] + %tmp30 = tail call %"struct.std::basic_ostream >"* @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_( %"struct.std::basic_ostream >"* %tmp22 ) ; <%"struct.std::basic_ostream >"*> [#uses=0] + %tmp34 = tail call %"struct.std::basic_ostream >"* @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc( %"struct.std::basic_ostream >"* @_ZSt4cout, i8* getelementptr ([13 x i8]* @.str1, i32 0, i32 0) ) ; <%"struct.std::basic_ostream >"*> [#uses=1] + %tmp3940 = fpext float %tmp1314 to double ; [#uses=1] + %tmp42 = tail call %"struct.std::basic_ostream >"* @_ZNSolsEd( %"struct.std::basic_ostream >"* %tmp34, double %tmp3940 ) ; <%"struct.std::basic_ostream >"*> [#uses=1] + %tmp51 = tail call %"struct.std::basic_ostream >"* @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_( %"struct.std::basic_ostream >"* %tmp42 ) ; <%"struct.std::basic_ostream >"*> [#uses=0] + ret i32 0 +} + +declare float @tanf(float) + +declare double @tan(double) + +declare %"struct.std::basic_ostream >"* @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(%"struct.std::basic_ostream >"*, i8*) + +declare %"struct.std::basic_ostream >"* @_ZNSolsEd(%"struct.std::basic_ostream >"*, double) + +declare %"struct.std::basic_ostream >"* @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_(%"struct.std::basic_ostream >"*)