clang/test/CodeGenCXX/builtin-bit-cast-no-tbaa.cpp

   1 // RUN: %clang_cc1 -O3 -std=c++2a -S -emit-llvm -o - -disable-llvm-passes -triple x86_64-apple-macos10.14 %s | FileCheck %s
   2
   3 void test_scalar() {
   4   // CHECK-LABEL: define{{.*}} void @_Z11test_scalarv
   5   __builtin_bit_cast(float, 42);
   6
   7   // CHECK: load float, float* {{.*}}, align 4, !tbaa ![[MAY_ALIAS_TBAA:.*]]
   8 }
   9
  10 void test_scalar2() {
  11   // CHECK-LABEL: define{{.*}} void @_Z12test_scalar2v
  12   struct S {int m;};
  13   __builtin_bit_cast(int, S{42});
  14
  15   // CHECK: load i32, i32* {{.*}}, align 4, !tbaa ![[MAY_ALIAS_TBAA]]
  16 }
  17
  18 int test_same_type(int &r) {
  19   // CHECK: load i32, i32* {{.*}}, align 4, !tbaa ![[MAY_ALIAS_TBAA]]
  20   return __builtin_bit_cast(int, r);
  21 }
  22
  23 // CHECK: ![[CHAR_TBAA:.*]] = !{!"omnipotent char", {{.*}}, i64 0}
  24 // CHECK: ![[MAY_ALIAS_TBAA]] = !{![[CHAR_TBAA]], ![[CHAR_TBAA]], i64 0}