52 lines · cpp
1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 52// RUN: %clang_cc1 -std=c++1z -Werror -triple i386-unknown-unknown -emit-llvm -O1 -disable-llvm-passes -o - %s | FileCheck %s3 4// std::byte should be considered equivalent to char for aliasing.5 6namespace std {7enum byte : unsigned char {};8}9 10// CHECK-LABEL: define{{.*}} void @test0(11extern "C" void test0(std::byte *sb, int *i) {12 // CHECK: store i8 0, ptr %{{.*}}, align 1, !tbaa [[TBAA11:![0-9]+]]13 *sb = std::byte{0};14 15 // CHECK: store i32 1, ptr %{{.*}}, align 4, !tbaa [[TBAA3:![0-9]+]]16 *i = 1;17}18 19enum byte : unsigned char {};20namespace my {21enum byte : unsigned char {};22namespace std {23enum byte : unsigned char {};24} // namespace std25} // namespace my26 27// Make sure we don't get confused with other enums named 'byte'.28 29// CHECK-LABEL: define{{.*}} void @test1(30extern "C" void test1(::byte *b, ::my::byte *mb, ::my::std::byte *msb) {31 // CHECK: store i8 0, ptr %{{.*}}, align 1, !tbaa [[TBAA12:![0-9]+]]32 *b = ::byte{0};33 // CHECK: store i8 0, ptr %{{.*}}, align 1, !tbaa [[TBAA14:![0-9]+]]34 *mb = ::my::byte{0};35 // CHECK: store i8 0, ptr %{{.*}}, align 1, !tbaa [[TBAA16:![0-9]+]]36 *msb = ::my::std::byte{0};37}38 39//.40// CHECK: [[TBAA3]] = !{[[META4:![0-9]+]], [[META4]], i64 0}41// CHECK: [[META4]] = !{!"int", [[META5:![0-9]+]], i64 0}42// CHECK: [[META5]] = !{!"omnipotent char", [[META6:![0-9]+]], i64 0}43// CHECK: [[META6]] = !{!"Simple C++ TBAA"}44// CHECK: [[TBAA11]] = !{[[META5]], [[META5]], i64 0}45// CHECK: [[TBAA12]] = !{[[META13:![0-9]+]], [[META13]], i64 0}46// CHECK: [[META13]] = !{!"_ZTS4byte", [[META5]], i64 0}47// CHECK: [[TBAA14]] = !{[[META15:![0-9]+]], [[META15]], i64 0}48// CHECK: [[META15]] = !{!"_ZTSN2my4byteE", [[META5]], i64 0}49// CHECK: [[TBAA16]] = !{[[META17:![0-9]+]], [[META17]], i64 0}50// CHECK: [[META17]] = !{!"_ZTSN2my3std4byteE", [[META5]], i64 0}51//.52