1 // RUN: %clang_cc1 -emit-llvm %s -o - -DDEFINE_GUID -triple=i386-pc-linux -fms-extensions | FileCheck %s --check-prefix=CHECK-DEFINE-GUID 2 // RUN: %clang_cc1 -emit-llvm %s -o - -DDEFINE_GUID -DBRACKET_ATTRIB -triple=i386-pc-linux -fms-extensions | FileCheck %s --check-prefix=CHECK-DEFINE-GUID 3 // RUN: %clang_cc1 -emit-llvm %s -o - -triple=i386-pc-linux -fms-extensions | FileCheck %s 4 // RUN: %clang_cc1 -emit-llvm %s -o - -triple=x86_64-pc-linux -fms-extensions | FileCheck %s --check-prefix=CHECK-64 5 // RUN: %clang_cc1 -emit-llvm %s -o - -DDEFINE_GUID -DWRONG_GUID -triple=i386-pc-linux -fms-extensions | FileCheck %s --check-prefix=CHECK-DEFINE-WRONG-GUID 6 7 #ifdef DEFINE_GUID 8 struct _GUID { 9 #ifdef WRONG_GUID 10 unsigned int SomethingWentWrong; 11 #else 12 unsigned long Data1; 13 unsigned short Data2; 14 unsigned short Data3; 15 unsigned char Data4[8]; 16 #endif 17 }; 18 #endif 19 typedef struct _GUID GUID; 20 21 #ifdef BRACKET_ATTRIB 22 [uuid(12345678-1234-1234-1234-1234567890aB)] struct S1 { } s1; 23 [uuid(87654321-4321-4321-4321-ba0987654321)] struct S2 { }; 24 [uuid({12345678-1234-1234-1234-1234567890ac})] struct Curly; 25 [uuid({12345678-1234-1234-1234-1234567890ac})] struct Curly; 26 #else 27 struct __declspec(uuid("12345678-1234-1234-1234-1234567890aB")) S1 { } s1; 28 struct __declspec(uuid("87654321-4321-4321-4321-ba0987654321")) S2 { }; 29 struct __declspec(uuid("{12345678-1234-1234-1234-1234567890ac}")) Curly; 30 struct __declspec(uuid("{12345678-1234-1234-1234-1234567890ac}")) Curly; 31 #endif 32 33 void side_effect(); 34 35 #ifdef DEFINE_GUID 36 // Make sure we can properly generate code when the UUID has curly braces on it. 37 GUID thing = (side_effect(), __uuidof(Curly)); 38 // CHECK-DEFINE-GUID: @thing ={{.*}} global %struct._GUID zeroinitializer, align 4 39 // CHECK-DEFINE-WRONG-GUID: @thing ={{.*}} global %struct._GUID zeroinitializer, align 4 40 41 // This gets initialized in a static initializer. 42 // CHECK-DEFINE-GUID: @g ={{.*}} global %struct._GUID zeroinitializer, align 4 43 // CHECK-DEFINE-WRONG-GUID: @g ={{.*}} global %struct._GUID zeroinitializer, align 4 44 GUID g = (side_effect(), __uuidof(S1)); 45 46 // CHECK-DEFINE-GUID: @const_init ={{.*}} global %struct._GUID { i32 305419896, i16 4660, i16 4660, [8 x i8] c"\124\124Vx\90\AC" } 47 // CHECK-DEFINE-WRONG-GUID: @const_init ={{.*}} global %struct._GUID zeroinitializer 48 GUID const_init = __uuidof(Curly); 49 #endif 50 51 // First global use of __uuidof(S1) forces the creation of the global. 52 // CHECK: @_GUID_12345678_1234_1234_1234_1234567890ab = linkonce_odr constant { i32, i16, i16, [8 x i8] } { i32 305419896, i16 4660, i16 4660, [8 x i8] c"\124\124Vx\90\AB" }, comdat 53 // CHECK: @gr ={{.*}} constant %struct._GUID* bitcast ({ i32, i16, i16, [8 x i8] }* @_GUID_12345678_1234_1234_1234_1234567890ab to %struct._GUID*), align 4 54 // CHECK-64: @gr ={{.*}} constant %struct._GUID* bitcast ({ i32, i16, i16, [8 x i8] }* @_GUID_12345678_1234_1234_1234_1234567890ab to %struct._GUID*), align 8 55 const GUID& gr = __uuidof(S1); 56 57 // CHECK: @gp ={{.*}} global %struct._GUID* bitcast ({ i32, i16, i16, [8 x i8] }* @_GUID_12345678_1234_1234_1234_1234567890ab to %struct._GUID*), align 4 58 const GUID* gp = &__uuidof(S1); 59 60 // CHECK: @cp ={{.*}} global %struct._GUID* bitcast ({ i32, i16, i16, [8 x i8] }* @_GUID_12345678_1234_1234_1234_1234567890ac to %struct._GUID*), align 4 61 const GUID* cp = &__uuidof(Curly); 62 63 // Special case: _uuidof(0) 64 // CHECK: @zeroiid ={{.*}} constant %struct._GUID* bitcast ({ i32, i16, i16, [8 x i8] }* @_GUID_00000000_0000_0000_0000_000000000000 to %struct._GUID*), align 4 65 const GUID& zeroiid = __uuidof(0); 66 67 // __uuidof(S2) hasn't been used globally yet, so it's emitted when it's used 68 // in a function and is emitted at the end of the globals section. 69 // CHECK: @_GUID_87654321_4321_4321_4321_ba0987654321 = linkonce_odr constant { i32, i16, i16, [8 x i8] } { i32 -2023406815, i16 17185, i16 17185, [8 x i8] c"C!\BA\09\87eC!" }, comdat 70 71 // The static initializer for thing. 72 // CHECK-DEFINE-GUID: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 bitcast (%struct._GUID* @thing to i8*), i8* align 4 bitcast (%struct._GUID* @_GUID_12345678_1234_1234_1234_1234567890ac to i8*), i32 16, i1 false) 73 // CHECK-DEFINE-WRONG-GUID: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 bitcast (%struct._GUID* @thing to i8*), i8* align 4 bitcast ({ i32, i16, i16, [8 x i8] }* @_GUID_12345678_1234_1234_1234_1234567890ac to i8*), i32 4, i1 false) 74 75 // The static initializer for g. 76 // CHECK-DEFINE-GUID: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 bitcast (%struct._GUID* @g to i8*), i8* align 4 bitcast (%struct._GUID* @_GUID_12345678_1234_1234_1234_1234567890ab to i8*), i32 16, i1 false) 77 // CHECK-DEFINE-WRONG-GUID: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 bitcast (%struct._GUID* @g to i8*), i8* align 4 bitcast ({ i32, i16, i16, [8 x i8] }* @_GUID_12345678_1234_1234_1234_1234567890ab to i8*), i32 4, i1 false) 78 79 // We don't constant-initialize const_init if the definition of _GUID is dodgy. 80 // CHECK-DEFINE-GUID-NOT: @const_init 81 // CHECK-DEFINE-WRONG-GUID: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 bitcast (%struct._GUID* @const_init to i8*), i8* align 4 bitcast ({ i32, i16, i16, [8 x i8] }* @_GUID_12345678_1234_1234_1234_1234567890ac to i8*), i32 4, i1 false) 82 83 #ifdef DEFINE_GUID 84 void fun() { 85 // CHECK-DEFINE-GUID: %s1_1 = alloca %struct._GUID, align 4 86 // CHECK-DEFINE-WRONG-GUID: %s1_1 = alloca %struct._GUID, align 4 87 // CHECK-DEFINE-GUID: %s1_2 = alloca %struct._GUID, align 4 88 // CHECK-DEFINE-WRONG-GUID: %s1_2 = alloca %struct._GUID, align 4 89 // CHECK-DEFINE-GUID: %s1_3 = alloca %struct._GUID, align 4 90 // CHECK-DEFINE-WRONG-GUID: %s1_3 = alloca %struct._GUID, align 4 91 92 // CHECK-DEFINE-GUID: [[U1:%.+]] = bitcast %struct._GUID* %s1_1 to i8* 93 // CHECK-DEFINE-WRONG-GUID: [[U1:%.+]] = bitcast %struct._GUID* %s1_1 to i8* 94 // CHECK-DEFINE-GUID: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 [[U1]], i8* align 4 bitcast (%struct._GUID* @_GUID_12345678_1234_1234_1234_1234567890ab to i8*), i32 16, i1 false) 95 // CHECK-DEFINE-WRONG-GUID: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 [[U1]], i8* align 4 bitcast ({ i32, i16, i16, [8 x i8] }* @_GUID_12345678_1234_1234_1234_1234567890ab to i8*), i32 4, i1 false) 96 GUID s1_1 = (side_effect(), __uuidof(S1)); 97 98 // CHECK-DEFINE-GUID: [[U2:%.+]] = bitcast %struct._GUID* %s1_2 to i8* 99 // CHECK-DEFINE-WRONG-GUID: [[U2:%.+]] = bitcast %struct._GUID* %s1_2 to i8* 100 // CHECK-DEFINE-GUID: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 [[U2]], i8* align 4 bitcast (%struct._GUID* @_GUID_12345678_1234_1234_1234_1234567890ab to i8*), i32 16, i1 false) 101 // CHECK-DEFINE-WRONG-GUID: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 [[U2]], i8* align 4 bitcast ({ i32, i16, i16, [8 x i8] }* @_GUID_12345678_1234_1234_1234_1234567890ab to i8*), i32 4, i1 false) 102 GUID s1_2 = (side_effect(), __uuidof(S1)); 103 104 // CHECK-DEFINE-GUID: [[U3:%.+]] = bitcast %struct._GUID* %s1_3 to i8* 105 // CHECK-DEFINE-WRONG-GUID: [[U3:%.+]] = bitcast %struct._GUID* %s1_3 to i8* 106 // CHECK-DEFINE-GUID: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 [[U3]], i8* align 4 bitcast (%struct._GUID* @_GUID_12345678_1234_1234_1234_1234567890ab to i8*), i32 16, i1 false) 107 // CHECK-DEFINE-WRONG-GUID: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 [[U3]], i8* align 4 bitcast ({ i32, i16, i16, [8 x i8] }* @_GUID_12345678_1234_1234_1234_1234567890ab to i8*), i32 4, i1 false) 108 GUID s1_3 = (side_effect(), __uuidof(s1)); 109 } 110 #endif 111 112 void gun() { 113 #ifdef DEFINE_GUID 114 // CHECK-DEFINE-GUID: %s2_1 = alloca %struct._GUID, align 4 115 // CHECK-DEFINE-WRONG-GUID: %s2_1 = alloca %struct._GUID, align 4 116 // CHECK-DEFINE-GUID: %s2_2 = alloca %struct._GUID, align 4 117 // CHECK-DEFINE-WRONG-GUID: %s2_2 = alloca %struct._GUID, align 4 118 GUID s2_1 = __uuidof(S2); 119 GUID s2_2 = __uuidof(S2); 120 #endif 121 // CHECK: %r = alloca %struct._GUID*, align 4 122 // CHECK: %p = alloca %struct._GUID*, align 4 123 // CHECK: %zeroiid = alloca %struct._GUID*, align 4 124 125 // CHECK: store %struct._GUID* bitcast ({ i32, i16, i16, [8 x i8] }* @_GUID_87654321_4321_4321_4321_ba0987654321 to %struct._GUID*), %struct._GUID** %r, align 4 126 const GUID& r = __uuidof(S2); 127 // CHECK: store %struct._GUID* bitcast ({ i32, i16, i16, [8 x i8] }* @_GUID_87654321_4321_4321_4321_ba0987654321 to %struct._GUID*), %struct._GUID** %p, align 4 128 const GUID* p = &__uuidof(S2); 129 130 // Special case _uuidof(0), local scope version. 131 // CHECK: store %struct._GUID* bitcast ({ i32, i16, i16, [8 x i8] }* @_GUID_00000000_0000_0000_0000_000000000000 to %struct._GUID*), %struct._GUID** %zeroiid, align 4 132 const GUID& zeroiid = __uuidof(0); 133 } 134 135 namespace DeclRefExprNamingGUID { 136 template<const _GUID &g> const _GUID &f() { return g; } 137 struct __declspec(uuid("12345678-1234-1234-1234-123412341234")) S {}; 138 auto &r = f<__uuidof(S)>(); 139 } 140