summaryrefslogtreecommitdiff
path: root/test/CodeGenCXX/builtin-bit-cast-no-tbaa.cpp
blob: 3f0e490a5f94bfa63ed913c228cc5057b57cc263 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
// RUN: %clang_cc1 -O3 -std=c++2a -S -emit-llvm -o - -disable-llvm-passes -triple x86_64-apple-macos10.14 %s | FileCheck %s

void test_scalar() {
  // CHECK-LABEL: define void @_Z11test_scalarv
  __builtin_bit_cast(float, 42);

  // CHECK: load float, float* {{.*}}, align 4, !tbaa ![[MAY_ALIAS_TBAA:.*]]
}

void test_scalar2() {
  // CHECK-LABEL: define void @_Z12test_scalar2v
  struct S {int m;};
  __builtin_bit_cast(int, S{42});

  // CHECK: load i32, i32* {{.*}}, align 4, !tbaa ![[MAY_ALIAS_TBAA]]
}

// CHECK: ![[CHAR_TBAA:.*]] = !{!"omnipotent char", {{.*}}, i64 0}
// CHECK: ![[MAY_ALIAS_TBAA]] = !{![[CHAR_TBAA]], ![[CHAR_TBAA]], i64 0}