blob: 5971080cef5c379c28ba378cd820177e621fe478 [file] [log] [blame]
Chris Lattnerfa1e7ee2008-01-27 05:29:54 +00001; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep fpext
2@X = external global float
3@Y = external global float
4
5define void @test() nounwind {
6entry:
7 %tmp = load float* @X, align 4 ; <float> [#uses=1]
8 %tmp1 = fpext float %tmp to double ; <double> [#uses=1]
9 %tmp3 = add double %tmp1, 0.000000e+00 ; <double> [#uses=1]
10 %tmp34 = fptrunc double %tmp3 to float ; <float> [#uses=1]
11 store float %tmp34, float* @X, align 4
12 ret void
13}
14
15define void @test3() nounwind {
16entry:
17 %tmp = load float* @X, align 4 ; <float> [#uses=1]
18 %tmp1 = fpext float %tmp to double ; <double> [#uses=1]
19 %tmp2 = load float* @Y, align 4 ; <float> [#uses=1]
20 %tmp23 = fpext float %tmp2 to double ; <double> [#uses=1]
21 %tmp5 = fdiv double %tmp1, %tmp23 ; <double> [#uses=1]
22 %tmp56 = fptrunc double %tmp5 to float ; <float> [#uses=1]
23 store float %tmp56, float* @X, align 4
24 ret void
25}
26
27define void @test4() nounwind {
28entry:
29 %tmp = load float* @X, align 4 ; <float> [#uses=1]
30 %tmp1 = fpext float %tmp to double ; <double> [#uses=1]
31 %tmp2 = sub double -0.000000e+00, %tmp1 ; <double> [#uses=1]
32 %tmp34 = fptrunc double %tmp2 to float ; <float> [#uses=1]
33 store float %tmp34, float* @X, align 4
34 ret void
35}
36