clang/test/CodeGen/assume_attr.c

   1 // RUN: %clang_cc1 -emit-llvm -triple i386-linux-gnu %s -o - | FileCheck %s
   2 // RUN: %clang_cc1 -x c -emit-pch -o %t %s
   3 // RUN: %clang_cc1 -include-pch %t %s -emit-llvm -o - | FileCheck %s
   4
   5 // TODO: for "foo" and "bar", "after" is not added as it appears "after" the first use or definition respectively. There might be a way to allow that.
   6
   7 // CHECK:   define{{.*}} void @bar() #0
   8 // CHECK:   define{{.*}} void @baz() #1
   9 // CHECK:   declare{{.*}} void @foo() #2
  10 // CHECK:      attributes #0
  11 // CHECK-SAME:   "llvm.assume"="bar:before1,bar:before2,bar:before3,bar:def1,bar:def2"
  12 // CHECK:      attributes #1
  13 // CHECK-SAME:   "llvm.assume"="baz:before1,baz:before2,baz:before3,baz:def1,baz:def2,baz:after"
  14 // CHECK:      attributes #2
  15 // CHECK-SAME:   "llvm.assume"="foo:before1,foo:before2,foo:before3"
  16
  17 #ifndef HEADER
  18 #define HEADER
  19
  20 /// foo: declarations only
  21
  22 __attribute__((assume("foo:before1"))) void foo(void);
  23
  24 __attribute__((assume("foo:before2")))
  25 __attribute__((assume("foo:before3"))) void
  26 foo(void);
  27
  28 /// baz: static function declarations and a definition
  29
  30 __attribute__((assume("baz:before1"))) static void baz(void);
  31
  32 __attribute__((assume("baz:before2")))
  33 __attribute__((assume("baz:before3"))) static void
  34 baz(void);
  35
  36 // Definition
  37 __attribute__((assume("baz:def1,baz:def2"))) static void baz(void) { foo(); }
  38
  39 __attribute__((assume("baz:after"))) static void baz(void);
  40
  41 /// bar: external function declarations and a definition
  42
  43 __attribute__((assume("bar:before1"))) void bar(void);
  44
  45 __attribute__((assume("bar:before2")))
  46 __attribute__((assume("bar:before3"))) void
  47 bar(void);
  48
  49 // Definition
  50 __attribute__((assume("bar:def1,bar:def2"))) void bar(void) { baz(); }
  51
  52 __attribute__((assume("bar:after"))) void bar(void);
  53
  54 /// back to foo
  55
  56 __attribute__((assume("foo:after"))) void foo(void);
  57
  58 #endif