1// RUN: %clang_cc1 -std=c++11 -triple x86_64-apple-darwin10 -emit-llvm -o - %s | FileCheck %s
2
3
4struct Spacer { int x; };
5struct A { double array[2]; };
6struct B : Spacer, A { };
7
8B &getB();
9
10// CHECK-LABEL: define nonnull %struct.A* @_Z4getAv()
11// CHECK: call nonnull %struct.B* @_Z4getBv()
12// CHECK-NEXT: bitcast %struct.B*
13// CHECK-NEXT: getelementptr inbounds i8*
14// CHECK-NEXT: bitcast i8* {{.*}} to %struct.A*
15// CHECK-NEXT: ret %struct.A*
16A &&getA() { return static_cast<A&&>(getB()); }
17
18int &getIntLValue();
19int &&getIntXValue();
20int getIntPRValue();
21
22// CHECK-LABEL: define nonnull i32* @_Z2f0v()
23// CHECK: call nonnull i32* @_Z12getIntLValuev()
24// CHECK-NEXT: ret i32*
25int &&f0() { return static_cast<int&&>(getIntLValue()); }
26
27// CHECK-LABEL: define nonnull i32* @_Z2f1v()
28// CHECK: call nonnull i32* @_Z12getIntXValuev()
29// CHECK-NEXT: ret i32*
30int &&f1() { return static_cast<int&&>(getIntXValue()); }
31
32// CHECK-LABEL: define nonnull i32* @_Z2f2v
33// CHECK: call i32 @_Z13getIntPRValuev()
34// CHECK-NEXT: store i32 {{.*}}, i32*
35// CHECK-NEXT: ret i32*
36int &&f2() { return static_cast<int&&>(getIntPRValue()); }
37
38bool ok;
39
40class C
41{
42   int* state_;
43
44   C(const C&) = delete;
45   C& operator=(const C&) = delete;
46public:
47  C(int state) : state_(new int(state)) { }
48
49  C(C&& a) {
50    state_ = a.state_;
51    a.state_ = 0;
52  }
53
54  ~C() {
55    delete state_;
56    state_ = 0;
57  }
58};
59
60C test();
61
62// CHECK-LABEL: define void @_Z15elide_copy_initv
63void elide_copy_init() {
64  ok = false;
65  // CHECK: call void @_Z4testv
66  C a = test();
67  // CHECK-NEXT: call void @_ZN1CD1Ev
68  // CHECK-NEXT: ret void
69}
70
71// CHECK-LABEL: define void @_Z16test_move_returnv
72C test_move_return() {
73  // CHECK: call void @_ZN1CC1Ei
74  C a1(3);
75  // CHECK: call void @_ZN1CC1Ei
76  C a2(4);
77  if (ok)
78    // CHECK: call void @_ZN1CC1EOS_
79    return a1;
80  // CHECK: call void @_ZN1CC1EOS_
81  return a2;
82  // CHECK: call void @_ZN1CD1Ev
83  // CHECK: call void @_ZN1CD1Ev
84  //CHECK:  ret void
85}
86
87// PR10800: don't crash
88namespace test1 {
89  int &&move(int&);
90
91  struct A { A(int); };
92  struct B {
93    A a;
94    B(int i);
95  };
96
97  // CHECK-LABEL:    define void @_ZN5test11BC2Ei(
98  // CHECK:      [[T0:%.*]] = call nonnull i32* @_ZN5test14moveERi(
99  // CHECK-NEXT: [[T1:%.*]] = load i32* [[T0]]
100  // CHECK-NEXT: call void @_ZN5test11AC1Ei({{.*}}, i32 [[T1]])
101  // CHECK-NEXT: ret void
102  B::B(int i) : a(move(i)) {}
103}
104
105// PR11009
106struct MoveConvertible {
107  operator int&& () const;
108};
109void moveConstruct() {
110  (void)(int)MoveConvertible();
111}
112