52 lines · cpp
1// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -std=c++98 -o - | FileCheck -check-prefix=CHECK -check-prefix=CHECK98 %s2// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -std=c++11 -o - | FileCheck -check-prefix=CHECK -check-prefix=CHECK11 %s3 4// Check that IR gen doesn't try to do an lvalue-to-rvalue conversion5// on a volatile reference result.6namespace test0 {7 struct A {8 A(const A& t);9 A& operator=(const A& t);10 volatile A& operator=(const volatile A& t) volatile;11 };12 13 volatile A *array;14 15 // CHECK-LABEL: define{{.*}} void @_ZN5test04testENS_1AE(16 void test(A t) {17 // CHECK: [[ARR:%.*]] = load ptr, ptr @_ZN5test05arrayE, align 818 // CHECK-NEXT: [[IDX:%.*]] = getelementptr inbounds [[A:%.*]], ptr [[ARR]], i64 019 // CHECK-NEXT: [[TMP:%.*]] = call noundef nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) ptr @_ZNV5test01AaSERVKS0_(ptr {{[^,]*}} [[IDX]], ptr noundef nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) [[T:%.*]])20 // CHECK-NEXT: ret void21 array[0] = t;22 }23}24 25namespace test1 {26 volatile int *x;27 28 // CHECK-LABEL: define{{.*}} void @_ZN5test14testEv()29 void test() {30 // CHECK: [[TMP:%.*]] = load ptr, ptr @_ZN5test11xE, align 831 // CHECK11-NEXT: {{%.*}} = load volatile i32, ptr [[TMP]], align 432 // CHECK-NEXT: ret void33 *x;34 }35}36 37namespace PR40642 {38 template <class T> struct S {39 // CHECK-LABEL: define {{.*}} @_ZN7PR406421SIiE3fooEv(40 void foo() {41 // CHECK98-NOT: load volatile42 // CHECK11: load volatile43 if (true)44 reinterpret_cast<const volatile unsigned char *>(m_ptr)[0];45 // CHECK: }46 }47 int *m_ptr;48 };49 50 void f(S<int> *x) { x->foo(); }51}52