Daniel Dunbar | 983e3d7 | 2010-08-21 04:20:22 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64 -emit-llvm -o - %s | opt -S -strip -o %t |
| 2 | // RUX: llvm-gcc -flto -S -O3 -o %t %s |
| 3 | // RUN: FileCheck --check-prefix=CHECK-GLOBAL < %t %s |
| 4 | // RUN: FileCheck --check-prefix=CHECK-FUNCTIONS < %t %s |
| 5 | |
| 6 | struct s0 { |
| 7 | int x; |
| 8 | int y __attribute__((packed)); |
| 9 | }; |
| 10 | |
| 11 | // CHECK-GLOBAL: @s0_align_x = global i32 4 |
| 12 | |
Fariborz Jahanian | 78a7d7d | 2011-05-05 21:19:14 +0000 | [diff] [blame] | 13 | // CHECK-GLOBAL: @s0_align_y = global i32 1 |
Daniel Dunbar | 983e3d7 | 2010-08-21 04:20:22 +0000 | [diff] [blame] | 14 | |
| 15 | // CHECK-GLOBAL: @s0_align = global i32 4 |
| 16 | int s0_align_x = __alignof(((struct s0*)0)->x); |
| 17 | int s0_align_y = __alignof(((struct s0*)0)->y); |
| 18 | int s0_align = __alignof(struct s0); |
| 19 | |
| 20 | // CHECK-FUNCTIONS: define i32 @s0_load_x |
| 21 | // CHECK-FUNCTIONS: [[s0_load_x:%.*]] = load i32* {{.*}}, align 4 |
| 22 | // CHECK-FUNCTIONS: ret i32 [[s0_load_x]] |
| 23 | int s0_load_x(struct s0 *a) { return a->x; } |
| 24 | // FIXME: This seems like it should be align 1. This is actually something which |
| 25 | // has changed in llvm-gcc recently, previously both x and y would be loaded |
| 26 | // with align 1 (in 2363.1 at least). |
| 27 | // |
| 28 | // CHECK-FUNCTIONS: define i32 @s0_load_y |
Fariborz Jahanian | 78a7d7d | 2011-05-05 21:19:14 +0000 | [diff] [blame] | 29 | // CHECK-FUNCTIONS: [[s0_load_y:%.*]] = load i32* {{.*}}, align 1 |
Daniel Dunbar | 983e3d7 | 2010-08-21 04:20:22 +0000 | [diff] [blame] | 30 | // CHECK-FUNCTIONS: ret i32 [[s0_load_y]] |
| 31 | int s0_load_y(struct s0 *a) { return a->y; } |
| 32 | // CHECK-FUNCTIONS: define void @s0_copy |
| 33 | // CHECK-FUNCTIONS: call void @llvm.memcpy.p0i8.p0i8.i64(i8* {{.*}}, i8* {{.*}}, i64 8, i32 4, i1 false) |
| 34 | void s0_copy(struct s0 *a, struct s0 *b) { *b = *a; } |
| 35 | |
| 36 | // |
| 37 | |
| 38 | struct s1 { |
| 39 | int x; |
| 40 | int y; |
| 41 | } __attribute__((packed)); |
| 42 | |
| 43 | // CHECK-GLOBAL: @s1_align_x = global i32 1 |
| 44 | // CHECK-GLOBAL: @s1_align_y = global i32 1 |
| 45 | // CHECK-GLOBAL: @s1_align = global i32 1 |
| 46 | int s1_align_x = __alignof(((struct s1*)0)->x); |
| 47 | int s1_align_y = __alignof(((struct s1*)0)->y); |
| 48 | int s1_align = __alignof(struct s1); |
| 49 | |
| 50 | // CHECK-FUNCTIONS: define i32 @s1_load_x |
| 51 | // CHECK-FUNCTIONS: [[s1_load_x:%.*]] = load i32* {{.*}}, align 1 |
| 52 | // CHECK-FUNCTIONS: ret i32 [[s1_load_x]] |
| 53 | int s1_load_x(struct s1 *a) { return a->x; } |
| 54 | // CHECK-FUNCTIONS: define i32 @s1_load_y |
| 55 | // CHECK-FUNCTIONS: [[s1_load_y:%.*]] = load i32* {{.*}}, align 1 |
| 56 | // CHECK-FUNCTIONS: ret i32 [[s1_load_y]] |
| 57 | int s1_load_y(struct s1 *a) { return a->y; } |
| 58 | // CHECK-FUNCTIONS: define void @s1_copy |
| 59 | // CHECK-FUNCTIONS: call void @llvm.memcpy.p0i8.p0i8.i64(i8* {{.*}}, i8* {{.*}}, i64 8, i32 1, i1 false) |
| 60 | void s1_copy(struct s1 *a, struct s1 *b) { *b = *a; } |
| 61 | |
| 62 | // |
| 63 | |
| 64 | #pragma pack(push,2) |
| 65 | struct s2 { |
| 66 | int x; |
| 67 | int y; |
| 68 | }; |
| 69 | #pragma pack(pop) |
| 70 | |
| 71 | // CHECK-GLOBAL: @s2_align_x = global i32 2 |
| 72 | // CHECK-GLOBAL: @s2_align_y = global i32 2 |
| 73 | // CHECK-GLOBAL: @s2_align = global i32 2 |
| 74 | int s2_align_x = __alignof(((struct s2*)0)->x); |
| 75 | int s2_align_y = __alignof(((struct s2*)0)->y); |
| 76 | int s2_align = __alignof(struct s2); |
| 77 | |
| 78 | // CHECK-FUNCTIONS: define i32 @s2_load_x |
| 79 | // CHECK-FUNCTIONS: [[s2_load_y:%.*]] = load i32* {{.*}}, align 2 |
| 80 | // CHECK-FUNCTIONS: ret i32 [[s2_load_y]] |
| 81 | int s2_load_x(struct s2 *a) { return a->x; } |
| 82 | // CHECK-FUNCTIONS: define i32 @s2_load_y |
| 83 | // CHECK-FUNCTIONS: [[s2_load_y:%.*]] = load i32* {{.*}}, align 2 |
| 84 | // CHECK-FUNCTIONS: ret i32 [[s2_load_y]] |
| 85 | int s2_load_y(struct s2 *a) { return a->y; } |
| 86 | // CHECK-FUNCTIONS: define void @s2_copy |
| 87 | // CHECK-FUNCTIONS: call void @llvm.memcpy.p0i8.p0i8.i64(i8* {{.*}}, i8* {{.*}}, i64 8, i32 2, i1 false) |
| 88 | void s2_copy(struct s2 *a, struct s2 *b) { *b = *a; } |
John McCall | ba4f5d5 | 2011-01-20 07:57:12 +0000 | [diff] [blame] | 89 | |
| 90 | struct __attribute__((packed, aligned)) s3 { |
| 91 | short aShort; |
| 92 | int anInt; |
| 93 | }; |
Fariborz Jahanian | 78a7d7d | 2011-05-05 21:19:14 +0000 | [diff] [blame] | 94 | // CHECK-GLOBAL: @s3_1 = global i32 1 |
John McCall | ba4f5d5 | 2011-01-20 07:57:12 +0000 | [diff] [blame] | 95 | int s3_1 = __alignof(((struct s3*) 0)->anInt); |
| 96 | // CHECK-FUNCTIONS: define i32 @test3( |
| 97 | int test3(struct s3 *ptr) { |
| 98 | // CHECK-FUNCTIONS: [[PTR:%.*]] = getelementptr inbounds {{%.*}}* {{%.*}}, i32 0, i32 1 |
Fariborz Jahanian | 78a7d7d | 2011-05-05 21:19:14 +0000 | [diff] [blame] | 99 | // CHECK-FUNCTIONS-NEXT: load i32* [[PTR]], align 1 |
John McCall | ba4f5d5 | 2011-01-20 07:57:12 +0000 | [diff] [blame] | 100 | return ptr->anInt; |
| 101 | } |