blob: 195b2b81fa0c47c611ae2662eb61cf20cd8f603d (
plain)
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
|
// RUN: %clang_cc1 -emit-llvm -o - %s | FileCheck %s
// RUN: %clang_cc1 -emit-llvm -fexceptions -o - %s | FileCheck --check-prefix=CHECK-EH %s
// Test code generation for the named return value optimization.
class X {
public:
X();
X(const X&);
~X();
};
// CHECK: define void @_Z5test0v
// CHECK-EH: define void @_Z5test0v
X test0() {
X x;
// CHECK-NOT: call void @_ZN1XD1Ev
// CHECK: ret void
// CHECK-EH: ret void
return x;
// CHECK-EH: invoke void @_ZN1XD1Ev
}
// CHECK: define void @_Z5test1b(
X test1(bool B) {
// CHECK: call void @_ZN1XC1Ev
X x;
// CHECK-NOT: call void @_ZN1XD1Ev
// CHECK: ret void
if (B)
return (x);
return x;
// CHECK-EH: invoke void @_ZN1XD1Ev
}
// CHECK: define void @_Z5test2b
// CHECK-EH: define void @_Z5test2b
X test2(bool B) {
// No NRVO
// CHECK: call void @_ZN1XC1Ev
X x;
// CHECK: call void @_ZN1XC1Ev
X y;
// CHECK: call void @_ZN1XC1ERKS_
// CHECK-EH: invoke void @_ZN1XC1ERKS_
if (B)
return y;
// CHECK: call void @_ZN1XC1ERKS_
// CHECK-EH: invoke void @_ZN1XC1ERKS_
return x;
// CHECK: call void @_ZN1XD1Ev
// CHECK: call void @_ZN1XD1Ev
// CHECK: ret void
// CHECK-EH: invoke void @_ZN1XD1Ev
// CHECK-EH: invoke void @_ZN1XD1Ev
}
X test3(bool B) {
// FIXME: We don't manage to apply NRVO here, although we could.
{
X y;
return y;
}
X x;
return x;
}
|
