clang/test/CodeGen/attr-counted-by-pr88931.c

   1 // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 4
   2 // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -O2 -Wno-missing-declarations -emit-llvm -o - %s | FileCheck %s
   3
   4 struct foo {
   5   int x,y,z;
   6   struct bar {
   7     int count;
   8     int array[] __attribute__((counted_by(count)));
   9   };
  10 };
  11
  12 void init(void * __attribute__((pass_dynamic_object_size(0))));
  13
  14 // CHECK-LABEL: define dso_local void @test1(
  15 // CHECK-SAME: ptr noundef [[P:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {
  16 // CHECK-NEXT:  entry:
  17 // CHECK-NEXT:    [[ARRAY:%.*]] = getelementptr inbounds nuw i8, ptr [[P]], i64 4
  18 // CHECK-NEXT:    tail call void @init(ptr noundef nonnull [[ARRAY]], i64 noundef -1) #[[ATTR2:[0-9]+]]
  19 // CHECK-NEXT:    ret void
  20 //
  21 void test1(struct bar *p) {
  22   init(p->array);
  23 }
  24
  25 struct mux {
  26   int count;
  27   int array[] __attribute__((counted_by(count)));
  28 };
  29
  30 struct bux { struct mux x; };
  31
  32 // CHECK-LABEL: define dso_local void @test2(
  33 // CHECK-SAME: ptr noundef [[P:%.*]]) local_unnamed_addr #[[ATTR0]] {
  34 // CHECK-NEXT:  entry:
  35 // CHECK-NEXT:    tail call void @init(ptr noundef [[P]], i64 noundef -1) #[[ATTR2]]
  36 // CHECK-NEXT:    ret void
  37 //
  38 void test2(struct bux *p) {
  39   init(p);
  40 }