clang/test/CodeGen/linux-kernel-struct-union-initializer2.c

   1 // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --check-globals all --version 5
   2 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -std=gnu11 -verify -emit-llvm %s -o - | FileCheck %s
   3 // expected-no-diagnostics
   4
   5 union U1 {
   6   int x;
   7   char y[5];
   8 };
   9
  10 struct S1 {
  11   int x;
  12   long long y;
  13 };
  14
  15 struct S2 {
  16   unsigned char b1 : 3; // 1st 3 bits (in 1st byte) are b1
  17   unsigned char    : 2; // next 2 bits (in 1st byte) are blocked out as unused
  18   unsigned char b2 : 6; // 6 bits for b2 - doesn't fit into the 1st byte => starts a 2nd
  19   unsigned char b3 : 2; // 2 bits for b3 - next (and final) bits in the 2nd byte
  20   int i;
  21 };
  22
  23 struct S3 {
  24   int x;
  25 } __attribute__((__aligned__(8)));
  26
  27 struct S4 {
  28   int a;
  29   union U1 b;
  30 };
  31
  32 struct S5 {
  33   char x;
  34   unsigned char y : 4;
  35   unsigned char z : 7;
  36 } __attribute__((packed));
  37
  38 // Test non-const initializer for union with padding.
  39 // CHECK-LABEL: define dso_local void @test1(
  40 // CHECK-SAME: i32 noundef [[X:%.*]]) #[[ATTR0:[0-9]+]] {
  41 // CHECK-NEXT:  [[ENTRY:.*:]]
  42 // CHECK-NEXT:    [[X_ADDR:%.*]] = alloca i32, align 4
  43 // CHECK-NEXT:    [[A:%.*]] = alloca [[UNION_U1:%.*]], align 4
  44 // CHECK-NEXT:    store i32 [[X]], ptr [[X_ADDR]], align 4
  45 // CHECK-NEXT:    [[TMP0:%.*]] = load i32, ptr [[X_ADDR]], align 4
  46 // CHECK-NEXT:    store i32 [[TMP0]], ptr [[A]], align 4
  47 // CHECK-NEXT:    [[TMP1:%.*]] = getelementptr i8, ptr [[A]], i64 4
  48 // CHECK-NEXT:    call void @llvm.memset.p0.i64(ptr align 4 [[TMP1]], i8 0, i64 4, i1 false)
  49 // CHECK-NEXT:    ret void
  50 //
  51 void test1(int x) {
  52   union U1 a = {x};
  53 }
  54
  55 // Test non-const initializer for struct with padding.
  56 // CHECK-LABEL: define dso_local void @test2(
  57 // CHECK-SAME: i64 noundef [[Y:%.*]]) #[[ATTR0]] {
  58 // CHECK-NEXT:  [[ENTRY:.*:]]
  59 // CHECK-NEXT:    [[Y_ADDR:%.*]] = alloca i64, align 8
  60 // CHECK-NEXT:    [[S:%.*]] = alloca [[STRUCT_S1:%.*]], align 8
  61 // CHECK-NEXT:    store i64 [[Y]], ptr [[Y_ADDR]], align 8
  62 // CHECK-NEXT:    [[X:%.*]] = getelementptr inbounds nuw [[STRUCT_S1]], ptr [[S]], i32 0, i32 0
  63 // CHECK-NEXT:    store i32 0, ptr [[X]], align 8
  64 // CHECK-NEXT:    [[TMP0:%.*]] = getelementptr i8, ptr [[S]], i64 4
  65 // CHECK-NEXT:    call void @llvm.memset.p0.i64(ptr align 4 [[TMP0]], i8 0, i64 4, i1 false)
  66 // CHECK-NEXT:    [[Y1:%.*]] = getelementptr inbounds nuw [[STRUCT_S1]], ptr [[S]], i32 0, i32 1
  67 // CHECK-NEXT:    [[TMP1:%.*]] = load i64, ptr [[Y_ADDR]], align 8
  68 // CHECK-NEXT:    store i64 [[TMP1]], ptr [[Y1]], align 8
  69 // CHECK-NEXT:    ret void
  70 //
  71 void test2(long long y) {
  72   struct S1 s = {.y = y};
  73 }
  74
  75 // Test non-const initializer for struct with padding and bit fields.
  76 // CHECK-LABEL: define dso_local void @test3(
  77 // CHECK-SAME: i8 noundef zeroext [[B:%.*]]) #[[ATTR0]] {
  78 // CHECK-NEXT:  [[ENTRY:.*:]]
  79 // CHECK-NEXT:    [[B_ADDR:%.*]] = alloca i8, align 1
  80 // CHECK-NEXT:    [[S:%.*]] = alloca [[STRUCT_S2:%.*]], align 4
  81 // CHECK-NEXT:    store i8 [[B]], ptr [[B_ADDR]], align 1
  82 // CHECK-NEXT:    store i16 0, ptr [[S]], align 4
  83 // CHECK-NEXT:    [[TMP0:%.*]] = load i8, ptr [[B_ADDR]], align 1
  84 // CHECK-NEXT:    [[TMP1:%.*]] = zext i8 [[TMP0]] to i16
  85 // CHECK-NEXT:    [[BF_LOAD:%.*]] = load i16, ptr [[S]], align 4
  86 // CHECK-NEXT:    [[BF_VALUE:%.*]] = and i16 [[TMP1]], 7
  87 // CHECK-NEXT:    [[BF_CLEAR:%.*]] = and i16 [[BF_LOAD]], -8
  88 // CHECK-NEXT:    [[BF_SET:%.*]] = or i16 [[BF_CLEAR]], [[BF_VALUE]]
  89 // CHECK-NEXT:    store i16 [[BF_SET]], ptr [[S]], align 4
  90 // CHECK-NEXT:    [[BF_LOAD1:%.*]] = load i16, ptr [[S]], align 4
  91 // CHECK-NEXT:    [[BF_CLEAR2:%.*]] = and i16 [[BF_LOAD1]], -16129
  92 // CHECK-NEXT:    [[BF_SET3:%.*]] = or i16 [[BF_CLEAR2]], 0
  93 // CHECK-NEXT:    store i16 [[BF_SET3]], ptr [[S]], align 4
  94 // CHECK-NEXT:    [[BF_LOAD4:%.*]] = load i16, ptr [[S]], align 4
  95 // CHECK-NEXT:    [[BF_CLEAR5:%.*]] = and i16 [[BF_LOAD4]], 16383
  96 // CHECK-NEXT:    [[BF_SET6:%.*]] = or i16 [[BF_CLEAR5]], 0
  97 // CHECK-NEXT:    store i16 [[BF_SET6]], ptr [[S]], align 4
  98 // CHECK-NEXT:    [[TMP2:%.*]] = getelementptr i8, ptr [[S]], i64 2
  99 // CHECK-NEXT:    call void @llvm.memset.p0.i64(ptr align 2 [[TMP2]], i8 0, i64 2, i1 false)
 100 // CHECK-NEXT:    [[I:%.*]] = getelementptr inbounds nuw [[STRUCT_S2]], ptr [[S]], i32 0, i32 1
 101 // CHECK-NEXT:    store i32 0, ptr [[I]], align 4
 102 // CHECK-NEXT:    ret void
 103 //
 104 void test3(unsigned char b) {
 105   struct S2 s = {.b1 = b};
 106 }
 107
 108 // Test non-const initializer for struct with padding at the end of the struct.
 109 // CHECK-LABEL: define dso_local void @test4(
 110 // CHECK-SAME: i32 noundef [[X:%.*]]) #[[ATTR0]] {
 111 // CHECK-NEXT:  [[ENTRY:.*:]]
 112 // CHECK-NEXT:    [[X_ADDR:%.*]] = alloca i32, align 4
 113 // CHECK-NEXT:    [[S:%.*]] = alloca [[STRUCT_S3:%.*]], align 8
 114 // CHECK-NEXT:    store i32 [[X]], ptr [[X_ADDR]], align 4
 115 // CHECK-NEXT:    [[X1:%.*]] = getelementptr inbounds nuw [[STRUCT_S3]], ptr [[S]], i32 0, i32 0
 116 // CHECK-NEXT:    [[TMP0:%.*]] = load i32, ptr [[X_ADDR]], align 4
 117 // CHECK-NEXT:    store i32 [[TMP0]], ptr [[X1]], align 8
 118 // CHECK-NEXT:    [[TMP1:%.*]] = getelementptr i8, ptr [[S]], i64 4
 119 // CHECK-NEXT:    call void @llvm.memset.p0.i64(ptr align 4 [[TMP1]], i8 0, i64 4, i1 false)
 120 // CHECK-NEXT:    ret void
 121 //
 122 void test4(int x) {
 123   struct S3 s = {x};
 124 }
 125
 126 // Test non-const initializer for union in struct.
 127 // CHECK-LABEL: define dso_local void @test5(
 128 // CHECK-SAME: i32 noundef [[A:%.*]], i32 noundef [[B:%.*]]) #[[ATTR0]] {
 129 // CHECK-NEXT:  [[ENTRY:.*:]]
 130 // CHECK-NEXT:    [[A_ADDR:%.*]] = alloca i32, align 4
 131 // CHECK-NEXT:    [[B_ADDR:%.*]] = alloca i32, align 4
 132 // CHECK-NEXT:    [[S:%.*]] = alloca [[STRUCT_S4:%.*]], align 4
 133 // CHECK-NEXT:    store i32 [[A]], ptr [[A_ADDR]], align 4
 134 // CHECK-NEXT:    store i32 [[B]], ptr [[B_ADDR]], align 4
 135 // CHECK-NEXT:    [[A1:%.*]] = getelementptr inbounds nuw [[STRUCT_S4]], ptr [[S]], i32 0, i32 0
 136 // CHECK-NEXT:    [[TMP0:%.*]] = load i32, ptr [[A_ADDR]], align 4
 137 // CHECK-NEXT:    store i32 [[TMP0]], ptr [[A1]], align 4
 138 // CHECK-NEXT:    [[B2:%.*]] = getelementptr inbounds nuw [[STRUCT_S4]], ptr [[S]], i32 0, i32 1
 139 // CHECK-NEXT:    [[TMP1:%.*]] = load i32, ptr [[B_ADDR]], align 4
 140 // CHECK-NEXT:    store i32 [[TMP1]], ptr [[B2]], align 4
 141 // CHECK-NEXT:    [[TMP2:%.*]] = getelementptr i8, ptr [[B2]], i64 4
 142 // CHECK-NEXT:    call void @llvm.memset.p0.i64(ptr align 4 [[TMP2]], i8 0, i64 4, i1 false)
 143 // CHECK-NEXT:    ret void
 144 //
 145 void test5(int a, int b) {
 146   struct S4 s = {a, {b}};
 147 }
 148
 149 // CHECK-LABEL: define dso_local void @test6(
 150 // CHECK-SAME: i8 noundef signext [[X:%.*]]) #[[ATTR0]] {
 151 // CHECK-NEXT:  [[ENTRY:.*:]]
 152 // CHECK-NEXT:    [[X_ADDR:%.*]] = alloca i8, align 1
 153 // CHECK-NEXT:    [[S:%.*]] = alloca [[STRUCT_S5:%.*]], align 1
 154 // CHECK-NEXT:    store i8 [[X]], ptr [[X_ADDR]], align 1
 155 // CHECK-NEXT:    [[X1:%.*]] = getelementptr inbounds nuw [[STRUCT_S5]], ptr [[S]], i32 0, i32 0
 156 // CHECK-NEXT:    [[TMP0:%.*]] = load i8, ptr [[X_ADDR]], align 1
 157 // CHECK-NEXT:    store i8 [[TMP0]], ptr [[X1]], align 1
 158 // CHECK-NEXT:    [[TMP1:%.*]] = getelementptr i8, ptr [[S]], i64 1
 159 // CHECK-NEXT:    store i16 0, ptr [[TMP1]], align 1
 160 // CHECK-NEXT:    [[Y:%.*]] = getelementptr inbounds nuw [[STRUCT_S5]], ptr [[S]], i32 0, i32 1
 161 // CHECK-NEXT:    [[BF_LOAD:%.*]] = load i16, ptr [[Y]], align 1
 162 // CHECK-NEXT:    [[BF_CLEAR:%.*]] = and i16 [[BF_LOAD]], -16
 163 // CHECK-NEXT:    [[BF_SET:%.*]] = or i16 [[BF_CLEAR]], 0
 164 // CHECK-NEXT:    store i16 [[BF_SET]], ptr [[Y]], align 1
 165 // CHECK-NEXT:    [[Z:%.*]] = getelementptr inbounds nuw [[STRUCT_S5]], ptr [[S]], i32 0, i32 1
 166 // CHECK-NEXT:    [[BF_LOAD2:%.*]] = load i16, ptr [[Z]], align 1
 167 // CHECK-NEXT:    [[BF_CLEAR3:%.*]] = and i16 [[BF_LOAD2]], -2033
 168 // CHECK-NEXT:    [[BF_SET4:%.*]] = or i16 [[BF_CLEAR3]], 0
 169 // CHECK-NEXT:    store i16 [[BF_SET4]], ptr [[Z]], align 1
 170 // CHECK-NEXT:    ret void
 171 //
 172 void test6(char x) {
 173   struct S5 s = {.x = x};
 174 }
 175 //.
 176 // CHECK: attributes #[[ATTR0]] = { noinline nounwind optnone "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-features"="+cx8,+mmx,+sse,+sse2,+x87" }
 177 // CHECK: attributes #[[ATTR1:[0-9]+]] = { nocallback nofree nounwind willreturn memory(argmem: write) }
 178 //.
 179 // CHECK: [[META0:![0-9]+]] = !{i32 1, !"wchar_size", i32 4}
 180 // CHECK: [[META1:![0-9]+]] = !{!"{{.*}}clang version {{.*}}"}
 181 //.