1 ; Test some floating point casting cases
2 ; RUN: opt < %s -instcombine -S | FileCheck %s
5 %x = fptoui float 2.550000e+02 to i8 ; <i8> [#uses=1]
11 %x = fptosi float -1.000000e+00 to i8 ; <i8> [#uses=1]
17 define half @test3(float %a) {
19 ; CHECK: llvm.fabs.f16
20 %b = call float @llvm.fabs.f32(float %a)
21 %c = fptrunc float %b to half
26 define half @test4(float %a) {
29 %b = fsub float -0.0, %a
30 %c = fptrunc float %b to half
35 define half @test4-fast(float %a) {
38 %b = fsub fast float -0.0, %a
39 %c = fptrunc float %b to half
44 define half @test5(float %a, float %b, float %c) {
49 %d = fcmp ogt float %a, %b
50 %e = select i1 %d, float %c, float 1.0
51 %f = fptrunc float %e to half
55 declare float @llvm.fabs.f32(float) nounwind readonly
57 define <1 x float> @test6(<1 x double> %V) {
58 %frem = frem <1 x double> %V, %V
59 %trunc = fptrunc <1 x double> %frem to <1 x float>
60 ret <1 x float> %trunc
62 ; CHECK-NEXT: %[[frem:.*]] = frem <1 x double> %V, %V
63 ; CHECK-NEXT: %[[trunc:.*]] = fptrunc <1 x double> %[[frem]] to <1 x float>
64 ; CHECK-NEXT: ret <1 x float> %trunc
67 define float @test7(double %V) {
68 %frem = frem double %V, 1.000000e+00
69 %trunc = fptrunc double %frem to float
72 ; CHECK-NEXT: %[[frem:.*]] = frem double %V, 1.000000e+00
73 ; CHECK-NEXT: %[[trunc:.*]] = fptrunc double %frem to float
74 ; CHECK-NEXT: ret float %trunc
77 define float @test8(float %V) {
78 %fext = fpext float %V to double
79 %frem = frem double %fext, 1.000000e-01
80 %trunc = fptrunc double %frem to float
83 ; CHECK-NEXT: %[[fext:.*]] = fpext float %V to double
84 ; CHECK-NEXT: %[[frem:.*]] = frem double %fext, 1.000000e-01
85 ; CHECK-NEXT: %[[trunc:.*]] = fptrunc double %frem to float
86 ; CHECK-NEXT: ret float %trunc