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))
test2()12 int test2() { return 0; }
13 // OPTSIZE: @test2{{.*}}[[ATTR2:#[0-9]+]]
14 // MINSIZE: @test2{{.*}}[[ATTR2:#[0-9]+]]
15
16 __attribute__((optnone))
test3()17 int test3() { return 0; }
18 // PRESENT-DAG: @test3{{.*}}[[ATTR3:#[0-9]+]]
19
20 __attribute__((optnone)) __attribute__((cold))
test4()21 int test4() { 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
43