1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -emit-llvm -o - %s | FileCheck %s 2 3 struct X { int i; float f; }; 4 struct Y { X x; }; 5 6 // CHECK-LABEL: define void @_Z21reinterpret_cast_testRiRfR1X 7 void reinterpret_cast_test(int &ir, float &fr, X &xr) { 8 // CHECK: load float*, float** 9 // CHECK: bitcast float* 10 // CHECK: load i32, i32* 11 ir = reinterpret_cast<int&>(fr); 12 // CHECK: load 13 // CHECK: {{bitcast.*to i32\*}} 14 // CHECK: load i32, i32* 15 ir = reinterpret_cast<int&>(xr); 16 // CHECK: load i32 17 // CHECK: {{bitcast.*to float\*}} 18 // CHECK: load float, float* 19 fr = reinterpret_cast<float&>(ir); 20 // CHECK: load 21 // CHECK: {{bitcast.*to float\*}} 22 // CHECK: load float, float* 23 fr = reinterpret_cast<float&>(xr); 24 // CHECK: load i32*, i32** 25 // CHECK: bitcast i32* 26 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64 27 xr = reinterpret_cast<X&>(ir); 28 // CHECK: load float*, float** 29 // CHECK: bitcast float* 30 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64 31 xr = reinterpret_cast<X&>(fr); 32 _Complex float cf; 33 _Complex float &cfr = cf; 34 // CHECK: load i32*, i32** 35 // CHECK: bitcast i32* 36 // CHECK: load float, float* 37 // CHECK: load float, float* 38 cfr = reinterpret_cast<_Complex float&>(ir); 39 // CHECK: load float*, float** 40 // CHECK: bitcast float* 41 // CHECK: load float, float* 42 // CHECK: load float, float* 43 cfr = reinterpret_cast<_Complex float&>(fr); 44 // CHECK: bitcast 45 // CHECK: load float, float* 46 // CHECK: load float, float* 47 cfr = reinterpret_cast<_Complex float&>(xr); 48 // CHECK: ret void 49 } 50 51 // CHECK-LABEL: define void @_Z6c_castRiRfR1X 52 void c_cast(int &ir, float &fr, X &xr) { 53 // CHECK: load float*, float** 54 // CHECK: bitcast float* 55 // CHECK: load i32, i32* 56 ir = (int&)fr; 57 // CHECK: load 58 // CHECK: {{bitcast.*to i32\*}} 59 // CHECK: load i32, i32* 60 ir = (int&)xr; 61 // CHECK: load i32 62 // CHECK: {{bitcast.*to float\*}} 63 // CHECK: load float, float* 64 fr = (float&)ir; 65 // CHECK: load 66 // CHECK: {{bitcast.*to float\*}} 67 // CHECK: load float, float* 68 fr = (float&)xr; 69 // CHECK: load i32*, i32** 70 // CHECK: bitcast i32* 71 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64 72 xr = (X&)ir; 73 // CHECK: load float*, float** 74 // CHECK: bitcast float* 75 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64 76 xr = (X&)fr; 77 _Complex float cf; 78 _Complex float &cfr = cf; 79 // CHECK: load i32*, i32** 80 // CHECK: bitcast i32* 81 // CHECK: load float, float* 82 // CHECK: load float, float* 83 cfr = (_Complex float&)ir; 84 // CHECK: load float*, float** 85 // CHECK: bitcast float* 86 // CHECK: load float, float* 87 // CHECK: load float, float* 88 cfr = (_Complex float&)fr; 89 // CHECK: bitcast 90 // CHECK: load float, float* 91 // CHECK: load float, float* 92 cfr = (_Complex float&)xr; 93 // CHECK: ret void 94 } 95 96 // CHECK-LABEL: define void @_Z15functional_castRiRfR1X 97 void functional_cast(int &ir, float &fr, X &xr) { 98 typedef int &intref; 99 typedef float &floatref; 100 typedef X &Xref; 101 // CHECK: load float*, float** 102 // CHECK: bitcast float* 103 // CHECK: load i32, i32* 104 ir = intref(fr); 105 // CHECK: load 106 // CHECK: {{bitcast.*to i32\*}} 107 // CHECK: load i32, i32* 108 ir = intref(xr); 109 // CHECK: load i32 110 // CHECK: {{bitcast.*to float\*}} 111 // CHECK: load float, float* 112 fr = floatref(ir); 113 // CHECK: load 114 // CHECK: {{bitcast.*to float\*}} 115 // CHECK: load float, float* 116 fr = floatref(xr); 117 // CHECK: load i32*, i32** 118 // CHECK: bitcast i32* 119 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64 120 xr = Xref(ir); 121 // CHECK: load float*, float** 122 // CHECK: bitcast float* 123 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64 124 xr = Xref(fr); 125 typedef _Complex float &complex_float_ref; 126 _Complex float cf; 127 _Complex float &cfr = cf; 128 // CHECK: load i32*, i32** 129 // CHECK: bitcast i32* 130 // CHECK: load float, float* 131 // CHECK: load float, float* 132 cfr = complex_float_ref(ir); 133 // CHECK: load float*, float** 134 // CHECK: bitcast float* 135 // CHECK: load float, float* 136 // CHECK: load float, float* 137 cfr = complex_float_ref(fr); 138 // CHECK: bitcast 139 // CHECK: load float, float* 140 // CHECK: load float, float* 141 cfr = complex_float_ref(xr); 142 // CHECK: ret void 143 } 144 145 namespace PR6437 { 146 struct in_addr {}; 147 void copy( const struct in_addr &new_addr ) { 148 int addr = (int&)new_addr; 149 } 150 } 151 152 namespace PR7593 { 153 void foo(double &X, char *A) { 154 X = reinterpret_cast<double&>(A[4]); 155 } 156 } 157 158 namespace PR7344 { 159 void serialize_annotatable_id( void*& id ) 160 { 161 unsigned long l_id = (unsigned long&)id; 162 } 163 } 164
