[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Analysis / ConstantFolding / trunc.ll
blobdf13809171454b86b1fb409056e33535880df4cb
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt -S -early-cse < %s | FileCheck %s
4 declare float @truncf(float) #0
5 declare float @llvm.trunc.f32(float) #0
6 declare double @trunc(double) #0
7 declare double @llvm.trunc.f64(double) #0
9 define float @constant_fold_trunc_f32_01() #0 {
10 ; CHECK-LABEL: @constant_fold_trunc_f32_01(
11 ; CHECK-NEXT:    ret float 1.000000e+00
13   %x = call float @truncf(float 1.25) #0
14   ret float %x
17 define float @constant_fold_trunc_f32_02() #0 {
18 ; CHECK-LABEL: @constant_fold_trunc_f32_02(
19 ; CHECK-NEXT:    ret float -1.000000e+00
21   %x = call float @llvm.trunc.f32(float -1.25) #0
22   ret float %x
25 define float @constant_fold_trunc_f32_03() #0 {
26 ; CHECK-LABEL: @constant_fold_trunc_f32_03(
27 ; CHECK-NEXT:    ret float 1.000000e+00
29   %x = call float @truncf(float 1.5) #0
30   ret float %x
33 define float @constant_fold_trunc_f32_04() #0 {
34 ; CHECK-LABEL: @constant_fold_trunc_f32_04(
35 ; CHECK-NEXT:    ret float -1.000000e+00
37   %x = call float @llvm.trunc.f32(float -1.5) #0
38   ret float %x
41 define float @constant_fold_trunc_f32_05() #0 {
42 ; CHECK-LABEL: @constant_fold_trunc_f32_05(
43 ; CHECK-NEXT:    ret float 2.000000e+00
45   %x = call float @truncf(float 2.75) #0
46   ret float %x
49 define float @constant_fold_trunc_f32_06() #0 {
50 ; CHECK-LABEL: @constant_fold_trunc_f32_06(
51 ; CHECK-NEXT:    ret float -2.000000e+00
53   %x = call float @llvm.trunc.f32(float -2.75) #0
54   ret float %x
57 define double @constant_fold_trunc_f64_01() #0 {
58 ; CHECK-LABEL: @constant_fold_trunc_f64_01(
59 ; CHECK-NEXT:    ret double 1.000000e+00
61   %x = call double @trunc(double 1.3) #0
62   ret double %x
65 define double @constant_fold_trunc_f64_02() #0 {
66 ; CHECK-LABEL: @constant_fold_trunc_f64_02(
67 ; CHECK-NEXT:    ret double -1.000000e+00
69   %x = call double @llvm.trunc.f64(double -1.3) #0
70   ret double %x
73 define double @constant_fold_trunc_f64_03() #0 {
74 ; CHECK-LABEL: @constant_fold_trunc_f64_03(
75 ; CHECK-NEXT:    ret double 1.000000e+00
77   %x = call double @trunc(double 1.5) #0
78   ret double %x
81 define double @constant_fold_trunc_f64_04() #0 {
82 ; CHECK-LABEL: @constant_fold_trunc_f64_04(
83 ; CHECK-NEXT:    ret double -1.000000e+00
85   %x = call double @llvm.trunc.f64(double -1.5) #0
86   ret double %x
89 define double @constant_fold_trunc_f64_05() #0 {
90 ; CHECK-LABEL: @constant_fold_trunc_f64_05(
91 ; CHECK-NEXT:    ret double 2.000000e+00
93   %x = call double @trunc(double 2.7) #0
94   ret double %x
97 define double @constant_fold_trunc_f64_06() #0 {
98 ; CHECK-LABEL: @constant_fold_trunc_f64_06(
99 ; CHECK-NEXT:    ret double -2.000000e+00
101   %x = call double @llvm.trunc.f64(double -2.7) #0
102   ret double %x
105 attributes #0 = { nounwind readnone }