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
35
36
37
38
39
40
41
|
// RUN: %clang_cc1 %s -emit-llvm -fextend-variable-liveness -o - | FileCheck %s --implicit-check-not=fake.use
// Make sure we don't generate fake.use for non-scalar variables, unless they
// are small enough that they may be represented as a scalar in LLVM IR.
// Make sure we don't generate fake.use for volatile variables
// and parameters even when they are scalar.
struct BigAggr {
unsigned long t;
char c[1024];
unsigned char r[32];
};
struct SmallAggr {
int i;
int j;
};
int foo(volatile int vol_param, int param)
{
struct BigAggr big;
struct SmallAggr small;
volatile int vol_local;
int local;
unsigned long_arr[5];
unsigned short_arr[4];
return 0;
}
// CHECK: [[SMALL_ARR_FAKE_USE:%.+]] = load [4 x i[[#UINT_SIZE:]]], ptr %short_arr
// CHECK: call void (...) @llvm.fake.use([4 x i[[#UINT_SIZE]]] [[SMALL_ARR_FAKE_USE]])
// CHECK: [[LOCAL_FAKE_USE:%.+]] = load i32, ptr %local
// CHECK: call void (...) @llvm.fake.use(i32 [[LOCAL_FAKE_USE]])
// CHECK: [[SMALL_FAKE_USE:%.+]] = load %struct.SmallAggr, ptr %small
// CHECK: call void (...) @llvm.fake.use(%struct.SmallAggr [[SMALL_FAKE_USE]])
// CHECK: [[PARAM_FAKE_USE:%.+]] = load i32, ptr %param.addr
// CHECK: call void (...) @llvm.fake.use(i32 [[PARAM_FAKE_USE]])
// CHECK: declare void @llvm.fake.use
|
