| 1 | // RUN: %clang_cc1 -std=c++1z -Werror -triple i386-unknown-unknown -emit-llvm -O1 -disable-llvm-passes -o - %s | FileCheck %s |
|---|
| 2 | |
|---|
| 3 | // std::byte should be considered equivalent to char for aliasing. |
|---|
| 4 | |
|---|
| 5 | namespace std { |
|---|
| 6 | enum byte : unsigned char {}; |
|---|
| 7 | } |
|---|
| 8 | |
|---|
| 9 | // CHECK-LABEL: define void @test0( |
|---|
| 10 | extern "C" void test0(std::byte *sb, int *i) { |
|---|
| 11 | // CHECK: store i8 0, i8* %{{.*}} !tbaa [[TAG_CHAR:!.*]] |
|---|
| 12 | *sb = std::byte{0}; |
|---|
| 13 | |
|---|
| 14 | // CHECK: store i32 1, i32* %{{.*}} !tbaa [[TAG_INT:!.*]] |
|---|
| 15 | *i = 1; |
|---|
| 16 | } |
|---|
| 17 | |
|---|
| 18 | enum byte : unsigned char {}; |
|---|
| 19 | namespace my { |
|---|
| 20 | enum byte : unsigned char {}; |
|---|
| 21 | namespace std { |
|---|
| 22 | enum byte : unsigned char {}; |
|---|
| 23 | } // namespace std |
|---|
| 24 | } // namespace my |
|---|
| 25 | |
|---|
| 26 | // Make sure we don't get confused with other enums named 'byte'. |
|---|
| 27 | |
|---|
| 28 | // CHECK-LABEL: define void @test1( |
|---|
| 29 | extern "C" void test1(::byte *b, ::my::byte *mb, ::my::std::byte *msb) { |
|---|
| 30 | *b = ::byte{0}; |
|---|
| 31 | *mb = ::my::byte{0}; |
|---|
| 32 | *msb = ::my::std::byte{0}; |
|---|
| 33 | // CHECK-NOT: store i8 0, i8* %{{.*}} !tbaa [[TAG_CHAR]] |
|---|
| 34 | } |
|---|
| 35 | |
|---|
| 36 | // CHECK: !"any pointer", [[TYPE_CHAR:!.*]], |
|---|
| 37 | // CHECK: [[TYPE_CHAR]] = !{!"omnipotent char", [[TAG_CXX_TBAA:!.*]], |
|---|
| 38 | // CHECK: [[TAG_CXX_TBAA]] = !{!"Simple C++ TBAA"} |
|---|
| 39 | // CHECK: [[TAG_CHAR]] = !{[[TYPE_CHAR:!.*]], [[TYPE_CHAR]], i64 0} |
|---|
| 40 | // CHECK: [[TAG_INT]] = !{[[TYPE_INT:!.*]], [[TYPE_INT]], i64 0} |
|---|
| 41 | // CHECK: [[TYPE_INT]] = !{!"int", [[TYPE_CHAR]] |
|---|
| 42 | |
|---|