Skip to content

[LLVM22] Add test case for lifetime.start not appearing with sret #5022

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
+80 −22
Open

[LLVM22] Add test case for lifetime.start not appearing with sret #5022

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
756a286
[LLVM22] Add test case for `lifetime.start` not appearing with `sret`
thewilsonator Nov 12, 2025
7d16008
Fix other checks
thewilsonator Nov 12, 2025
129ae9b
Merge branch 'ldc-developers:master' into thewilsonator-patch-4
thewilsonator Nov 12, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
102 changes: 80 additions & 22 deletions tests/codegen/lifetime_local_variables.d
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,22 +6,22 @@ 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: %arr = alloca [400 x i8]
// CHECK: %arr1 = alloca [800 x i8]
{
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}(i64 immarg 400
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}({{(i64 immarg 400, )?}}ptr{{( captures\(none\))?}} %arr)
byte[400] arr = void;
// CHECK: call void @opaque
opaque(&arr[0]);
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}(i64 immarg 400
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}({{(i64 immarg 400, )?}}ptr{{( captures\(none\))?}} %arr)
}

{
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}(i64 immarg 800
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}({{(i64 immarg 800, )?}}ptr{{( captures\(none\))?}} %arr1)
byte[800] arr = void;
// CHECK: call void @opaque
opaque(&arr[0]);
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}(i64 immarg 800
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}({{(i64 immarg 800, )?}}ptr{{(( captures\(none\))?}} %arr1)
}

// CHECK-LABEL: ret void
Expand All @@ -34,16 +34,16 @@ void foo_forloop_foo() {
// 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.p0{{(i8)?}}(i64 immarg 13
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}({{(i64 immarg 13, )?}}ptr{{( captures\(none\))?}} %d)
// Lifetime should start before initializing the variable
// CHECK: call void @llvm.memset.p0{{(i8)?}}.i{{.*}}13
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}(i64 immarg 44
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}({{(i64 immarg 44, )?}}ptr{{( captures\(none\))?}} %arr)
byte[44] arr = void;
// CHECK: call void @opaque
opaque(&arr[0]);
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}(i64 immarg 44
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}({{(i64 immarg 44, )?}}ptr{{( captures\(none\))?}} %arr)
// CHECK: endfor:
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}(i64 immarg 13
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}({{(i64 immarg 13, )?}}ptr{{( captures\(none\))?}} %arr)
}

// CHECK-LABEL: ret void
Expand All @@ -56,15 +56,15 @@ void foo_whileloop_foo() {
// This call should appear before lifetime start of while-loop variable.
opaque(&i);
while (ulong d = 131) {
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}(i64 immarg 8
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}({{(i64 immarg 8, )?}}ptr{{( captures\(none\))?}} %d)
// Lifetime should start before initializing the variable
// CHECK: store i64 131
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}(i64 immarg 33
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}({{(i64 immarg 33, )?}}ptr{{( captures\(none\))?}} %arr)
byte[33] arr = void;
// CHECK: call void @opaque
opaque(&arr[0]);
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}(i64 immarg 33
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}(i64 immarg 8
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}({{(i64 immarg 33, )?}}ptr{{( captures\(none\))?}} %arr)
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}({{(i64 immarg 8, )?}}ptr{{( captures\(none\))?}} %d)
}

// CHECK-LABEL: ret void
Expand All @@ -76,25 +76,25 @@ void foo_if_foo() {
// CHECK: call void @opaque
// This call should appear before lifetime start of if-statement condition variable.
opaque(&i);
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}(i64 immarg 8
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}({{(i64 immarg 8, )?}}ptr{{( captures\(none\))?}} %d)
// Lifetime should start before initializing the variable
// CHECK: store i64 565
if (ulong d = 565) {
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}(i64 immarg 72
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}({{(i64 immarg 72, )?}}ptr{{( captures\(none\))?}} %arr)
byte[72] arr = void;
// CHECK: call void @opaque
opaque(&arr[0]);
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}(i64 immarg 72
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}({{(i64 immarg 72, )?}}ptr{{( captures\(none\))?}} %arr)
} else {
// d is out of scope here.
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}(i64 immarg 51
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}({{(i64 immarg 51, )?}}ptr{{( captures\(none\))?}} %arr1)
byte[51] arr = void;
// CHECK: call void @opaque
opaque(&arr[0]);
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}(i64 immarg 51
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}({{(i64 immarg 51, )?}}ptr{{( captures\(none\))?}} %arr1)
}
// CHECK: endif:
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}(i64 immarg 8
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}({{(i64 immarg 8, )?}}ptr{{( captures\(none\))?}} %d)

// CHECK-LABEL: ret void
}
Expand All @@ -111,12 +111,70 @@ void opaque_S(S* i);
// CHECK-LABEL: define void @foo_struct_foo()
void foo_struct_foo() {
{
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}(i64 immarg 123
// CHECK: call void @llvm.lifetime.start.p0{{(i8)?}}({{(i64 immarg 123, )?}}ptr{{( captures\(none\))?}} %s)
S s;
// CHECK: invoke void @opaque_S
opaque_S(&s);
}

// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}(i64 immarg 123
// CHECK: call void @llvm.lifetime.end.p0{{(i8)?}}({{(i64 immarg 123, )?}}ptr{{( captures\(none\))?}} %s)
// CHECK-NEXT: ret void
}

struct CodepointSet
{
CodepointSet opBinary(string op, U)(U )
{
return this;
}

this(this) { }
}

CodepointSet memoizeExpr(string expr)()
{
if (__ctfe)
return mixin(expr);
CodepointSet slot;
return slot;
}

struct unicode
{
static CodepointSet opDispatch(string name)()
{
CodepointSet set;
return set;
}
}

void wordCharacter() {
// CHECK-LABEL: define void @wordCharacter()
// CHECK-NOT: call void @llvm.lifetime.start.p0{{(i8)?}}({{.*}}sret
memoizeExpr!"unicode.A | unicode.M";
// CHECK-LABEL: ret void
}

struct Grapheme
{
/// Ctor
this(C)(C) { }

this(this) { }

~this() { }
}

enum jamoLBase = 0x1100;

Grapheme decomposeHangul(dchar ch) {
// CHECK-LABEL: define void @decomposeHangul(ptr noalias sret{{.*}} %.sret_arg,
immutable idxS = ch ;
immutable idxT = idxS ;

immutable partL = jamoLBase ;
// CHECK-NOT: call void @llvm.lifetime.start.p0{{(i8)?}}({{.*}}sret
if (idxT )
return Grapheme(partL);
return Grapheme();
}
Loading