1 /// -fno-semantic-interposition is the default and local aliases (via dso_local) are allowed.
2 // RUN: %clang_cc1 -triple x86_64-linux-gnu -emit-llvm -mrelocation-model pic -pic-level 1 %s -o - | FileCheck %s --check-prefixes=CHECK,NOMETADATA
3
4 /// -fsemantic-interposition sets a module metadata.
5 // RUN: %clang_cc1 -triple x86_64-linux-gnu -emit-llvm -mrelocation-model pic -pic-level 1 -fsemantic-interposition %s -o - | FileCheck %s --check-prefixes=PREEMPT,METADATA
6
7 /// Traditional half-baked behavior: interprocedural optimizations are allowed
8 /// but local aliases are not used.
9 // RUN: %clang_cc1 -triple x86_64-linux-gnu -emit-llvm -mrelocation-model pic -pic-level 1 -fhalf-no-semantic-interposition %s -o - | FileCheck %s --check-prefixes=PREEMPT,NOMETADATA
10
11 // CHECK: @var = global i32 0, align 4
12 // CHECK: @ext_var = external global i32, align 4
13 // CHECK: @ifunc = ifunc i32 (), ptr @ifunc_resolver
14 // CHECK: define dso_local i32 @func()
15 // CHECK: declare i32 @ext()
16
17 // PREEMPT: @var = global i32 0, align 4
18 // PREEMPT: @ext_var = external global i32, align 4
19 // PREEMPT: @ifunc = ifunc i32 (), ptr @ifunc_resolver
20 // PREEMPT: define i32 @func()
21 // PREEMPT: declare i32 @ext()
22
23 // METADATA: !{{[0-9]+}} = !{i32 1, !"SemanticInterposition", i32 1}
24 // NOMETADATA-NOT: "SemanticInterposition"
25
26 int var;
27 extern int ext_var;
28
29 int ifunc(void) __attribute__((ifunc("ifunc_resolver")));
30
func(void)31 int func(void) { return 0; }
32 int ext(void);
33
ifunc_resolver(void)34 static void *ifunc_resolver(void) { return func; }
35
foo(void)36 int foo(void) {
37 return var + ext_var + ifunc() + func() + ext();
38 }
39