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