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
|
// RUN: %clang_cc1 -triple x86_64-pc-windows-msvc -emit-pch -o %t.pch %s
// RUN: %clang_cc1 -triple x86_64-pc-windows-msvc -fdelayed-template-parsing -emit-pch -o %t.delayed.pch %s
// RUN: %clang_cc1 -triple x86_64-pc-windows-msvc -DMAIN_FILE \
// RUN: -include-pch %t.pch \
// RUN: -emit-llvm -verify -o - %s | FileCheck %s
// RUN: %clang_cc1 -triple x86_64-pc-windows-msvc -DMAIN_FILE -fdelayed-template-parsing \
// RUN: -include-pch %t.delayed.pch \
// RUN: -emit-llvm -verify -o - %s | FileCheck %s
#ifndef MAIN_FILE
extern "C" void consume(int b);
template <int I>
void function() {
#pragma pack(push, 1)
struct packedAt1 {
char a;
unsigned long long b;
char c;
unsigned long long d;
// 18 bytes total
};
#pragma pack(push, slot1, 2)
struct packedAt2 {
char a; // +1 byte of padding
unsigned long long b;
char c; // +1 byte of padding
unsigned long long d;
// 20 bytes total
};
#pragma pack(push, 4)
struct packedAt4 {
char a; // +3 bytes of padding
unsigned long long b;
char c; // +3 bytes of padding
unsigned long long d;
// 24 bytes total
};
#pragma pack(push, 16)
struct packedAt16 {
char a; // +7 bytes of padding
unsigned long long b;
char c; // +7 bytes of padding
unsigned long long d;
// 32 bytes total
};
#pragma pack(pop, slot1) // This should return packing to 1 (established before push(slot1))
struct packedAfterPopBackTo1 {
char a;
unsigned long long b;
char c;
unsigned long long d;
};
#pragma pack(pop)
consume(sizeof(packedAt1)); // 18
consume(sizeof(packedAt2)); // 20
consume(sizeof(packedAt4)); // 24
consume(sizeof(packedAt16)); // 32
consume(sizeof(packedAfterPopBackTo1)); // 18 again
}
#else
// CHECK-LABEL: define linkonce_odr dso_local void @"??$function@$0A@@@YAXXZ"(
// CHECK: call void @consume(i32 noundef 18)
// CHECK-NEXT: call void @consume(i32 noundef 20)
// CHECK-NEXT: call void @consume(i32 noundef 24)
// CHECK-NEXT: call void @consume(i32 noundef 32)
// CHECK-NEXT: call void @consume(i32 noundef 18)
void foo() {
function<0>();
}
// expected-no-diagnostics
#endif
|
