aboutsummaryrefslogtreecommitdiff
path: root/test/CodeGenCXX/assign-operator.cpp
blob: 40695b706ea204425adfe780f7256b48765fdf6f (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
// RUN: %clang_cc1 %s -triple x86_64-apple-darwin10 -emit-llvm -o - -std=c++11 |FileCheck %s

class x {
public: int operator=(int);
};
void a() {
  x a;
  a = 1u;
}

void f(int i, int j) {
  // CHECK: load i32
  // CHECK: load i32
  // CHECK: add nsw i32
  // CHECK: store i32
  // CHECK: store i32 17, i32
  // CHECK: ret
  (i += j) = 17;
}

// Taken from g++.old-deja/g++.jason/net.C
namespace test1 {
  template <class T> void fn (T t) { }
  template <class T> struct A {
    void (*p)(T);
    A() { p = fn; }
  };

  A<int> a;
}

// Ensure that we use memcpy when we would have selected a trivial assignment
// operator, even for a non-trivially-copyable type.
struct A {
  A &operator=(const A&);
};
struct B {
  B(const B&);
  B &operator=(const B&) = default;
  int n;
};
struct C {
  A a;
  B b[16];
};
void b(C &a, C &b) {
  // CHECK: define {{.*}} @_ZN1CaSERKS_(
  // CHECK: call {{.*}} @_ZN1AaSERKS_(
  // CHECK-NOT: call {{.*}} @_ZN1BaSERKS_(
  // CHECK: call {{.*}} @{{.*}}memcpy
  // CHECK-NOT: call {{.*}} @_ZN1BaSERKS_(
  // CHECK: }
  a = b;
}