xref: /llvm-project/clang/test/CodeGen/extend-variable-liveness-except.cpp (revision 548ecde42886149dd4d69366d7c2dc02076a7083)
1*548ecde4SStephen Tozer // RUN: %clang_cc1 %s -triple %itanium_abi_triple -emit-llvm -fextend-variable-liveness -fcxx-exceptions -fexceptions -o - | FileCheck %s
24424c44cSWolfgang Pieb // This test checks that the fake uses can be generated in exception handling
34424c44cSWolfgang Pieb // blocks and that we can emit fake uses for the __int128 data type.
44424c44cSWolfgang Pieb 
54424c44cSWolfgang Pieb extern int bar();
64424c44cSWolfgang Pieb 
74424c44cSWolfgang Pieb /// Try block: fake use ends at try-block scope.
84424c44cSWolfgang Pieb // [[BAR_VAL::%[a-zA-Z0-9\.]+]] = invoke{{.*}} i32 @_Z3barv()
94424c44cSWolfgang Pieb // store i32 %[[BAR_VAL]], ptr [[K_ALLOC_VAL:%[a-zA-Z0-9\.]+]], align 4
104424c44cSWolfgang Pieb // [[K_FAKE_USE:%[a-zA-Z0-9\.]+]] = load i32, ptr [[K_ALLOC_VAL]], align 4
114424c44cSWolfgang Pieb // call void (...) @llvm.fake.use(i32 [[K_FAKE_USE]]) #2
124424c44cSWolfgang Pieb // br label
134424c44cSWolfgang Pieb 
144424c44cSWolfgang Pieb /// Catch block: fetching the caught value...
154424c44cSWolfgang Pieb // CHECK: [[CATCH_PTR:%[a-zA-Z0-9\.]+]] = call ptr @__cxa_begin_catch(
164424c44cSWolfgang Pieb // CHECK: [[L_VAL:%[a-zA-Z0-9\.]+]] = load i32, ptr [[CATCH_PTR]], align 4
174424c44cSWolfgang Pieb 
184424c44cSWolfgang Pieb /// Storing to allocas...
194424c44cSWolfgang Pieb // CHECK-DAG: store i32 8, ptr [[M_ALLOC_VAL:%[a-zA-Z0-9\.]+]]
204424c44cSWolfgang Pieb // CHECK-DAG: store i32 [[L_VAL]], ptr [[L_ALLOC_VAL:%[a-zA-Z0-9\.]+]], align 4
214424c44cSWolfgang Pieb 
224424c44cSWolfgang Pieb /// Load into fake uses - expect M to precede L.
234424c44cSWolfgang Pieb // CHECK: [[M_FAKE_VAL:%[a-zA-Z0-9\.]+]] = load i32, ptr [[M_ALLOC_VAL]]
244424c44cSWolfgang Pieb // CHECK: call void (...) @llvm.fake.use(i32 [[M_FAKE_VAL]])
254424c44cSWolfgang Pieb // CHECK: [[L_FAKE_VAL:%[a-zA-Z0-9\.]+]] = load i32, ptr [[L_ALLOC_VAL]]
264424c44cSWolfgang Pieb // CHECK: call void (...) @llvm.fake.use(i32 [[L_FAKE_VAL]])
274424c44cSWolfgang Pieb void foo() {
284424c44cSWolfgang Pieb   try {
294424c44cSWolfgang Pieb     int k = bar();
304424c44cSWolfgang Pieb   } catch (int l) {
314424c44cSWolfgang Pieb     /// The catch block contains a fake use for the local within its scope.
324424c44cSWolfgang Pieb     int m = 8;
334424c44cSWolfgang Pieb   }
344424c44cSWolfgang Pieb }
35