blob: 5b95b24531c8ca32c60806f7fb73b2affbc0f8f7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
|
// RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -emit-llvm -o - %s | FileCheck %s
struct X { int i; float f; };
struct Y { X x; };
// CHECK: define void @_Z21reinterpret_cast_testRiRfR1X
void reinterpret_cast_test(int &ir, float &fr, X &xr) {
// CHECK: load float**
// CHECK: bitcast float*
// CHECK: load i32*
ir = reinterpret_cast<int&>(fr);
// CHECK: load
// CHECK: {{bitcast.*to i32\*}}
// CHECK: load i32*
ir = reinterpret_cast<int&>(xr);
// CHECK: load i32
// CHECK: {{bitcast.*to float\*}}
// CHECK: load float*
fr = reinterpret_cast<float&>(ir);
// CHECK: load
// CHECK: {{bitcast.*to float\*}}
// CHECK: load float*
fr = reinterpret_cast<float&>(xr);
// CHECK: load i32**
// CHECK: bitcast i32*
// CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
xr = reinterpret_cast<X&>(ir);
// CHECK: load float**
// CHECK: bitcast float*
// CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
xr = reinterpret_cast<X&>(fr);
// CHECK: ret void
}
// CHECK: define void @_Z6c_castRiRfR1X
void c_cast(int &ir, float &fr, X &xr) {
// CHECK: load float**
// CHECK: bitcast float*
// CHECK: load i32*
ir = (int&)fr;
// CHECK: load
// CHECK: {{bitcast.*to i32\*}}
// CHECK: load i32*
ir = (int&)xr;
// CHECK: load i32
// CHECK: {{bitcast.*to float\*}}
// CHECK: load float*
fr = (float&)ir;
// CHECK: load
// CHECK: {{bitcast.*to float\*}}
// CHECK: load float*
fr = (float&)xr;
// CHECK: load i32**
// CHECK: bitcast i32*
// CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
xr = (X&)ir;
// CHECK: load float**
// CHECK: bitcast float*
// CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
xr = (X&)fr;
// CHECK: ret void
}
// CHECK: define void @_Z15functional_castRiRfR1X
void functional_cast(int &ir, float &fr, X &xr) {
typedef int &intref;
typedef float &floatref;
typedef X &Xref;
// CHECK: load float**
// CHECK: bitcast float*
// CHECK: load i32*
ir = intref(fr);
// CHECK: load
// CHECK: {{bitcast.*to i32\*}}
// CHECK: load i32*
ir = intref(xr);
// CHECK: load i32
// CHECK: {{bitcast.*to float\*}}
// CHECK: load float*
fr = floatref(ir);
// CHECK: load
// CHECK: {{bitcast.*to float\*}}
// CHECK: load float*
fr = floatref(xr);
// CHECK: load i32**
// CHECK: bitcast i32*
// CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
xr = Xref(ir);
// CHECK: load float**
// CHECK: bitcast float*
// CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
xr = Xref(fr);
// CHECK: ret void
}
namespace PR6437 {
struct in_addr {};
void copy( const struct in_addr &new_addr ) {
int addr = (int&)new_addr;
}
}
namespace PR7593 {
void foo(double &X, char *A) {
X = reinterpret_cast<double&>(A[4]);
}
}
namespace PR7344 {
void serialize_annotatable_id( void*& id )
{
unsigned long l_id = (unsigned long&)id;
}
}
|
