clang/test/CodeGen/attr-optnone.c

   1 // RUN: %clang_cc1 -emit-llvm < %s > %t
   2 // RUN: FileCheck %s --check-prefix=PRESENT < %t
   3 // RUN: FileCheck %s --check-prefix=ABSENT  < %t
   4 // RUN: %clang_cc1 -emit-llvm -Os < %s > %t
   5 // RUN: FileCheck %s --check-prefix=PRESENT < %t
   6 // RUN: FileCheck %s --check-prefix=OPTSIZE < %t
   7 // RUN: %clang_cc1 -emit-llvm -Oz < %s > %t
   8 // RUN: FileCheck %s --check-prefix=PRESENT < %t
   9 // RUN: FileCheck %s --check-prefix=MINSIZE < %t
  10
  11 __attribute__((always_inline))
  12 int test2(void) { return 0; }
  13 // OPTSIZE: @test2{{.*}}[[ATTR2:#[0-9]+]]
  14 // MINSIZE: @test2{{.*}}[[ATTR2:#[0-9]+]]
  15
  16 __attribute__((optnone))
  17 int test3(void) { return 0; }
  18 // PRESENT-DAG: @test3{{.*}}[[ATTR3:#[0-9]+]]
  19
  20 __attribute__((optnone)) __attribute__((cold))
  21 int test4(void) { return test2(); }
  22 // PRESENT-DAG: @test4{{.*}}[[ATTR4:#[0-9]+]]
  23 // Also check that test2 is inlined into test4 (always_inline still works).
  24 // PRESENT-NOT: call i32 @test2
  25
  26 // Check for both noinline and optnone on each optnone function.
  27 // PRESENT-DAG: attributes [[ATTR3]] = { {{.*}}noinline{{.*}}optnone{{.*}} }
  28 // PRESENT-DAG: attributes [[ATTR4]] = { {{.*}}noinline{{.*}}optnone{{.*}} }
  29
  30 // Check that no 'optsize' or 'minsize' attributes appear.
  31 // ABSENT-NOT: optsize
  32 // ABSENT-NOT: minsize
  33
  34 // With -Os, check that 'optsize' appears only on test2.
  35 // OPTSIZE-NOT: optsize
  36 // OPTSIZE: attributes [[ATTR2]] = { {{.*}}optsize{{.*}} }
  37 // OPTSIZE-NOT: optsize
  38
  39 // With -Oz, check that 'minsize' appears only on test2.
  40 // MINSIZE-NOT: minsize
  41 // MINSIZE: attributes [[ATTR2]] = { {{.*}}minsize{{.*}} }
  42 // MINSIZE-NOT: minsize