mirror of
https://github.com/ldc-developers/ldc.git
synced 2025-05-08 03:46:02 +03:00
ef0719f36b
Implement -femit-local-var-lifetime which adds local (stack) variable lifetime annotation to LLVM IR, which enables sharing stack space for variables whose lifetimes do not overlap. Resolves issue #2227 This is not enabled by default yet, to prevent miscompilation due to bugs (should be enabled in future for optimization levels > 0, and when sanitizers are enabled).
122 lines
3.7 KiB
D
122 lines
3.7 KiB
D
// RUN: %ldc -femit-local-var-lifetime -c -output-ll -of=%t.ll %s && FileCheck %s < %t.ll
|
|
|
|
extern(C): // disable mangling for easier matching
|
|
|
|
void opaque(byte* i);
|
|
|
|
// CHECK-LABEL: define void @foo_array_foo()
|
|
void foo_array_foo() {
|
|
// CHECK: alloca [400 x i8]
|
|
// CHECK: alloca [800 x i8]
|
|
{
|
|
// CHECK: call void @llvm.lifetime.start.p0i8(i64 immarg 400
|
|
byte[400] arr = void;
|
|
// CHECK: call void @opaque
|
|
opaque(&arr[0]);
|
|
// CHECK: call void @llvm.lifetime.end.p0i8(i64 immarg 400
|
|
}
|
|
|
|
{
|
|
// CHECK: call void @llvm.lifetime.start.p0i8(i64 immarg 800
|
|
byte[800] arr = void;
|
|
// CHECK: call void @opaque
|
|
opaque(&arr[0]);
|
|
// CHECK: call void @llvm.lifetime.end.p0i8(i64 immarg 800
|
|
}
|
|
|
|
// CHECK-LABEL: ret void
|
|
}
|
|
|
|
// CHECK-LABEL: define void @foo_forloop_foo()
|
|
void foo_forloop_foo() {
|
|
byte i;
|
|
// CHECK: call void @opaque
|
|
// This call should appear before lifetime start of while-loop variable.
|
|
opaque(&i);
|
|
for (byte[13] d; d[0] < 2; d[0]++) {
|
|
// CHECK: call void @llvm.lifetime.start.p0i8(i64 immarg 13
|
|
// Lifetime should start before initializing the variable
|
|
// CHECK: call void @llvm.memset.p0i8.i{{.*}}13
|
|
// CHECK: call void @llvm.lifetime.start.p0i8(i64 immarg 44
|
|
byte[44] arr = void;
|
|
// CHECK: call void @opaque
|
|
opaque(&arr[0]);
|
|
// CHECK: call void @llvm.lifetime.end.p0i8(i64 immarg 44
|
|
// CHECK: endfor:
|
|
// CHECK: call void @llvm.lifetime.end.p0i8(i64 immarg 13
|
|
}
|
|
|
|
// CHECK-LABEL: ret void
|
|
}
|
|
|
|
// CHECK-LABEL: define void @foo_whileloop_foo()
|
|
void foo_whileloop_foo() {
|
|
byte i;
|
|
// CHECK: call void @opaque
|
|
// This call should appear before lifetime start of while-loop variable.
|
|
opaque(&i);
|
|
while (ulong d = 131) {
|
|
// CHECK: call void @llvm.lifetime.start.p0i8(i64 immarg 8
|
|
// Lifetime should start before initializing the variable
|
|
// CHECK: store i64 131
|
|
// CHECK: call void @llvm.lifetime.start.p0i8(i64 immarg 33
|
|
byte[33] arr = void;
|
|
// CHECK: call void @opaque
|
|
opaque(&arr[0]);
|
|
// CHECK: call void @llvm.lifetime.end.p0i8(i64 immarg 33
|
|
// CHECK: call void @llvm.lifetime.end.p0i8(i64 immarg 8
|
|
}
|
|
|
|
// CHECK-LABEL: ret void
|
|
}
|
|
|
|
// CHECK-LABEL: define void @foo_if_foo()
|
|
void foo_if_foo() {
|
|
byte i;
|
|
// CHECK: call void @opaque
|
|
// This call should appear before lifetime start of if-statement condition variable.
|
|
opaque(&i);
|
|
// CHECK: call void @llvm.lifetime.start.p0i8(i64 immarg 8
|
|
// Lifetime should start before initializing the variable
|
|
// CHECK: store i64 565
|
|
if (ulong d = 565) {
|
|
// CHECK: call void @llvm.lifetime.start.p0i8(i64 immarg 72
|
|
byte[72] arr = void;
|
|
// CHECK: call void @opaque
|
|
opaque(&arr[0]);
|
|
// CHECK: call void @llvm.lifetime.end.p0i8(i64 immarg 72
|
|
} else {
|
|
// d is out of scope here.
|
|
// CHECK: call void @llvm.lifetime.start.p0i8(i64 immarg 51
|
|
byte[51] arr = void;
|
|
// CHECK: call void @opaque
|
|
opaque(&arr[0]);
|
|
// CHECK: call void @llvm.lifetime.end.p0i8(i64 immarg 51
|
|
}
|
|
// CHECK: endif:
|
|
// CHECK: call void @llvm.lifetime.end.p0i8(i64 immarg 8
|
|
|
|
// CHECK-LABEL: ret void
|
|
}
|
|
|
|
struct S {
|
|
byte[123] a;
|
|
~this() {
|
|
opaque(&a[1]);
|
|
}
|
|
}
|
|
|
|
void opaque_S(S* i);
|
|
|
|
// CHECK-LABEL: define void @foo_struct_foo()
|
|
void foo_struct_foo() {
|
|
{
|
|
// CHECK: call void @llvm.lifetime.start.p0i8(i64 immarg 123
|
|
S s;
|
|
// CHECK: invoke void @opaque_S
|
|
opaque_S(&s);
|
|
}
|
|
|
|
// CHECK: call void @llvm.lifetime.end.p0i8(i64 immarg 123
|
|
// CHECK-NEXT: ret void
|
|
}
|