| // RUN: %clang_cc1 -std=c++2a %s -emit-llvm -o - -triple x86_64-linux-gnu | FileCheck %s |
| |
| struct TriviallyCopyable {}; |
| |
| struct NonTriviallyCopyable { |
| NonTriviallyCopyable() = default; |
| NonTriviallyCopyable(const NonTriviallyCopyable&) = default; |
| NonTriviallyCopyable(NonTriviallyCopyable &&) {} |
| }; |
| |
| struct Foo { |
| int i; |
| [[no_unique_address]] TriviallyCopyable m; |
| [[no_unique_address]] NonTriviallyCopyable n; |
| }; |
| |
| void call() { |
| Foo foo; |
| Foo foo2(static_cast<Foo&&>(foo)); |
| } |
| |
| // The memcpy call should copy exact 4 bytes for member 'int i' |
| // CHECK: define {{.*}} void @_ZN3FooC2EOS_ |
| // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* {{.+}}, i8* {{.+}}, i64 4, i1 false) |
| // CHECK: call void @_ZN20NonTriviallyCopyableC2EOS_ |
