1; RUN: opt -instcombine -S < %s -mtriple=x86_64-apple-macosx10.9 | FileCheck %s --check-prefix=CHECK-FLOAT-IN-VEC
2; RUN: opt -instcombine -S < %s -mtriple=arm-apple-ios7.0 | FileCheck %s
3; RUN: opt -instcombine -S < %s -mtriple=arm64-apple-ios7.0 | FileCheck %s
4; RUN: opt -instcombine -S < %s -mtriple=x86_64-apple-macosx10.8 | FileCheck %s --check-prefix=CHECK-NO-SINCOS
5; RUN: opt -instcombine -S < %s -mtriple=arm-apple-ios6.0 | FileCheck %s --check-prefix=CHECK-NO-SINCOS
6; RUN: opt -instcombine -S < %s -mtriple=x86_64-none-linux-gnu | FileCheck %s --check-prefix=CHECK-NO-SINCOS
7
8
9attributes #0 = { readnone nounwind }
10
11declare float @__sinpif(float %x) #0
12declare float @__cospif(float %x) #0
13
14declare double @__sinpi(double %x) #0
15declare double @__cospi(double %x) #0
16
17@var32 = global float 0.0
18@var64 = global double 0.0
19
20define float @test_instbased_f32() {
21       %val = load float, float* @var32
22       %sin = call float @__sinpif(float %val) #0
23       %cos = call float @__cospif(float %val) #0
24       %res = fadd float %sin, %cos
25       ret float %res
26; CHECK-FLOAT-IN-VEC: [[VAL:%[a-z0-9]+]] = load float, float* @var32
27; CHECK-FLOAT-IN-VEC: [[SINCOS:%[a-z0-9]+]] = call <2 x float> @__sincospif_stret(float [[VAL]])
28; CHECK-FLOAT-IN-VEC: extractelement <2 x float> [[SINCOS]], i32 0
29; CHECK-FLOAT-IN-VEC: extractelement <2 x float> [[SINCOS]], i32 1
30
31; CHECK: [[VAL:%[a-z0-9]+]] = load float, float* @var32
32; CHECK: [[SINCOS:%[a-z0-9]+]] = call { float, float } @__sincospif_stret(float [[VAL]])
33; CHECK: extractvalue { float, float } [[SINCOS]], 0
34; CHECK: extractvalue { float, float } [[SINCOS]], 1
35
36; CHECK-NO-SINCOS: call float @__sinpif
37; CHECK-NO-SINCOS: call float @__cospif
38}
39
40define float @test_constant_f32() {
41       %sin = call float @__sinpif(float 1.0) #0
42       %cos = call float @__cospif(float 1.0) #0
43       %res = fadd float %sin, %cos
44       ret float %res
45; CHECK-FLOAT-IN-VEC: [[SINCOS:%[a-z0-9]+]] = call <2 x float> @__sincospif_stret(float 1.000000e+00)
46; CHECK-FLOAT-IN-VEC: extractelement <2 x float> [[SINCOS]], i32 0
47; CHECK-FLOAT-IN-VEC: extractelement <2 x float> [[SINCOS]], i32 1
48
49; CHECK: [[SINCOS:%[a-z0-9]+]] = call { float, float } @__sincospif_stret(float 1.000000e+00)
50; CHECK: extractvalue { float, float } [[SINCOS]], 0
51; CHECK: extractvalue { float, float } [[SINCOS]], 1
52
53; CHECK-NO-SINCOS: call float @__sinpif
54; CHECK-NO-SINCOS: call float @__cospif
55}
56
57define double @test_instbased_f64() {
58       %val = load double, double* @var64
59       %sin = call double @__sinpi(double %val) #0
60       %cos = call double @__cospi(double %val) #0
61       %res = fadd double %sin, %cos
62       ret double %res
63; CHECK-FLOAT-IN-VEC: [[VAL:%[a-z0-9]+]] = load double, double* @var64
64; CHECK-FLOAT-IN-VEC: [[SINCOS:%[a-z0-9]+]] = call { double, double } @__sincospi_stret(double [[VAL]])
65; CHECK-FLOAT-IN-VEC: extractvalue { double, double } [[SINCOS]], 0
66; CHECK-FLOAT-IN-VEC: extractvalue { double, double } [[SINCOS]], 1
67
68; CHECK: [[VAL:%[a-z0-9]+]] = load double, double* @var64
69; CHECK: [[SINCOS:%[a-z0-9]+]] = call { double, double } @__sincospi_stret(double [[VAL]])
70; CHECK: extractvalue { double, double } [[SINCOS]], 0
71; CHECK: extractvalue { double, double } [[SINCOS]], 1
72
73; CHECK-NO-SINCOS: call double @__sinpi
74; CHECK-NO-SINCOS: call double @__cospi
75}
76
77define double @test_constant_f64() {
78       %sin = call double @__sinpi(double 1.0) #0
79       %cos = call double @__cospi(double 1.0) #0
80       %res = fadd double %sin, %cos
81       ret double %res
82; CHECK-FLOAT-IN-VEC: [[SINCOS:%[a-z0-9]+]] = call { double, double } @__sincospi_stret(double 1.000000e+00)
83; CHECK-FLOAT-IN-VEC: extractvalue { double, double } [[SINCOS]], 0
84; CHECK-FLOAT-IN-VEC: extractvalue { double, double } [[SINCOS]], 1
85
86; CHECK: [[SINCOS:%[a-z0-9]+]] = call { double, double } @__sincospi_stret(double 1.000000e+00)
87; CHECK: extractvalue { double, double } [[SINCOS]], 0
88; CHECK: extractvalue { double, double } [[SINCOS]], 1
89
90; CHECK-NO-SINCOS: call double @__sinpi
91; CHECK-NO-SINCOS: call double @__cospi
92}
93
94define double @test_fptr(double (double)* %fptr, double %p1) {
95       %sin = call double @__sinpi(double %p1) #0
96       %cos = call double %fptr(double %p1)
97       %res = fadd double %sin, %cos
98       ret double %res
99; CHECK-LABEL: @test_fptr
100; CHECK: __sinpi
101}
102