1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
// RUN: %clang_cc1 %s -triple %itanium_abi_triple -emit-llvm -fextend-variable-liveness -fcxx-exceptions -fexceptions -o - | FileCheck %s
// This test checks that the fake uses can be generated in exception handling
// blocks and that we can emit fake uses for the __int128 data type.
extern int bar();
/// Try block: fake use ends at try-block scope.
// [[BAR_VAL::%[a-zA-Z0-9\.]+]] = invoke{{.*}} i32 @_Z3barv()
// store i32 %[[BAR_VAL]], ptr [[K_ALLOC_VAL:%[a-zA-Z0-9\.]+]], align 4
// [[K_FAKE_USE:%[a-zA-Z0-9\.]+]] = load i32, ptr [[K_ALLOC_VAL]], align 4
// call void (...) @llvm.fake.use(i32 [[K_FAKE_USE]]) #2
// br label
/// Catch block: fetching the caught value...
// CHECK: [[CATCH_PTR:%[a-zA-Z0-9\.]+]] = call ptr @__cxa_begin_catch(
// CHECK: [[L_VAL:%[a-zA-Z0-9\.]+]] = load i32, ptr [[CATCH_PTR]], align 4
/// Storing to allocas...
// CHECK-DAG: store i32 8, ptr [[M_ALLOC_VAL:%[a-zA-Z0-9\.]+]]
// CHECK-DAG: store i32 [[L_VAL]], ptr [[L_ALLOC_VAL:%[a-zA-Z0-9\.]+]], align 4
/// Load into fake uses - expect M to precede L.
// CHECK: [[M_FAKE_VAL:%[a-zA-Z0-9\.]+]] = load i32, ptr [[M_ALLOC_VAL]]
// CHECK: call void (...) @llvm.fake.use(i32 [[M_FAKE_VAL]])
// CHECK: [[L_FAKE_VAL:%[a-zA-Z0-9\.]+]] = load i32, ptr [[L_ALLOC_VAL]]
// CHECK: call void (...) @llvm.fake.use(i32 [[L_FAKE_VAL]])
void foo() {
try {
int k = bar();
} catch (int l) {
/// The catch block contains a fake use for the local within its scope.
int m = 8;
}
}
|
