File: gh2515.d

package info (click to toggle)
ldc 1%3A1.12.0-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 80,880 kB
  • sloc: ansic: 123,899; cpp: 84,038; sh: 1,402; makefile: 1,083; asm: 919; objc: 65; exp: 30; python: 22
file content (81 lines) | stat: -rw-r--r-- 1,684 bytes parent folder | download | duplicates (3)
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
// For scope-allocated class objects, make sure the _d_callfinalizer()
// druntime call is elided if the object has no dtors and no monitor.

// RUN: %ldc -O3 -output-ll -of=%t.ll %s && FileCheck %s < %t.ll

import core.stdc.stdio : printf;

class Base
{
    int val = 123;
    void foo() { val *= 3; }
    void bar() { synchronized(this) val *= 2; }
}

class WithDtor : Base
{
    ~this() {}
}

class WithImplicitDtor : Base
{
    static struct S { int val; ~this() {} }
    S s;
}

// CHECK: define{{.*}} void @{{.*}}_D6gh251516noDtor_noMonitorFZv
void noDtor_noMonitor()
{
    scope b = new Base();
    b.foo();
    printf("%d\n", b.val);
    // CHECK-NOT: _d_callfinalizer
    // CHECK: ret void
}

// CHECK: define{{.*}} void @{{.*}}_D6gh251518noDtor_withMonitorFZv
void noDtor_withMonitor()
{
    scope b = new Base();
    b.bar();
    printf("%d\n", b.val);
    // CHECK: _d_callfinalizer
    // CHECK: ret void
}

// CHECK: define{{.*}} void @{{.*}}_D6gh25158withDtorFZv
void withDtor()
{
    scope Base b = new WithDtor();
    b.foo();
    printf("%d\n", b.val);
    // CHECK: _d_callfinalizer
    // CHECK: ret void
}

// CHECK: define{{.*}} void @{{.*}}_D6gh251516withImplicitDtorFZv
void withImplicitDtor()
{
    scope Base b = new WithImplicitDtor();
    b.foo();
    printf("%d\n", b.val);
    // CHECK: _d_callfinalizer
    // CHECK: ret void
}


/* Test a C++ class as well, which as of 2.077 isn't implicitly delete()d. */

extern(C++) class CppClass
{
    int val = 666;
}

// CHECK: define{{.*}} void @{{.*}}_D6gh25158cppClassFZv
void cppClass()
{
    scope c = new CppClass();
    printf("%d\n", c.val);
    // CHECK-NOT: _d_callfinalizer
    // CHECK: ret void
}