| Anders Carlsson | ee38316 | 2009-10-03 14:39:13 +0000 | [diff] [blame] | 1 | // RUN: clang-cc %s -emit-llvm -o - -triple=x86_64-apple-darwin9 | FileCheck %s |
| Anders Carlsson | 7b69956 | 2009-09-29 03:38:56 +0000 | [diff] [blame] | 2 | |
| Anders Carlsson | f57b4e4 | 2009-10-03 15:02:02 +0000 | [diff] [blame] | 3 | struct A { int a; void f(); virtual void vf(); }; |
| 4 | struct B { int b; virtual void g(); }; |
| Anders Carlsson | 7b69956 | 2009-09-29 03:38:56 +0000 | [diff] [blame] | 5 | struct C : B, A { }; |
| 6 | |
| 7 | void (A::*pa)(); |
| 8 | void (A::*volatile vpa)(); |
| 9 | void (B::*pb)(); |
| 10 | void (C::*pc)(); |
| 11 | |
| Anders Carlsson | f57b4e4 | 2009-10-03 15:02:02 +0000 | [diff] [blame] | 12 | // CHECK: @pa2 = global %0 { i64 ptrtoint (void ()* @_ZN1A1fEv to i64), i64 0 }, align 8 |
| 13 | void (A::*pa2)() = &A::f; |
| 14 | |
| 15 | // CHECK: @pa3 = global %0 { i64 1, i64 0 }, align 8 |
| 16 | void (A::*pa3)() = &A::vf; |
| 17 | |
| Anders Carlsson | 2c51f09 | 2009-10-03 15:13:22 +0000 | [diff] [blame] | 18 | // CHECK: @pc2 = global %0 { i64 ptrtoint (void ()* @_ZN1A1fEv to i64), i64 16 }, align 8 |
| 19 | void (C::*pc2)() = &C::f; |
| 20 | |
| 21 | // CHECK: @pc3 = global %0 { i64 1, i64 0 }, align 8 |
| 22 | void (A::*pc3)() = &A::vf; |
| 23 | |
| Anders Carlsson | 7b69956 | 2009-09-29 03:38:56 +0000 | [diff] [blame] | 24 | void f() { |
| Anders Carlsson | ee38316 | 2009-10-03 14:39:13 +0000 | [diff] [blame] | 25 | // CHECK: store i64 0, i64* getelementptr inbounds (%0* @pa, i32 0, i32 0) |
| 26 | // CHECK: store i64 0, i64* getelementptr inbounds (%0* @pa, i32 0, i32 1) |
| Anders Carlsson | 7b69956 | 2009-09-29 03:38:56 +0000 | [diff] [blame] | 27 | pa = 0; |
| Anders Carlsson | ee38316 | 2009-10-03 14:39:13 +0000 | [diff] [blame] | 28 | |
| 29 | // CHECK: volatile store i64 0, i64* getelementptr inbounds (%0* @vpa, i32 0, i32 0) |
| 30 | // CHECK: volatile store i64 0, i64* getelementptr inbounds (%0* @vpa, i32 0, i32 1) |
| Anders Carlsson | 7b69956 | 2009-09-29 03:38:56 +0000 | [diff] [blame] | 31 | vpa = 0; |
| Anders Carlsson | ee38316 | 2009-10-03 14:39:13 +0000 | [diff] [blame] | 32 | |
| 33 | // CHECK: store i64 %0, i64* getelementptr inbounds (%0* @pc, i32 0, i32 0) |
| Anders Carlsson | a024d17 | 2009-10-03 15:43:24 +0000 | [diff] [blame] | 34 | // CHECK: [[ADJ:%[a-zA-Z0-9\.]+]] = add i64 %1, 16 |
| Anders Carlsson | ee38316 | 2009-10-03 14:39:13 +0000 | [diff] [blame] | 35 | // CHECK: store i64 [[ADJ]], i64* getelementptr inbounds (%0* @pc, i32 0, i32 1) |
| Anders Carlsson | f57b4e4 | 2009-10-03 15:02:02 +0000 | [diff] [blame] | 36 | pc = pa; |
| Anders Carlsson | 7b69956 | 2009-09-29 03:38:56 +0000 | [diff] [blame] | 37 | } |
| Anders Carlsson | a024d17 | 2009-10-03 15:43:24 +0000 | [diff] [blame] | 38 | |
| 39 | void f2() { |
| 40 | // CHECK: [[pa2ptr:%[a-zA-Z0-9\.]+]] = getelementptr inbounds %0* %pa2, i32 0, i32 0 |
| 41 | // CHECK: store i64 ptrtoint (void ()* @_ZN1A1fEv to i64), i64* [[pa2ptr]] |
| 42 | // CHECK: [[pa2adj:%[a-zA-Z0-9\.]+]] = getelementptr inbounds %0* %pa2, i32 0, i32 1 |
| 43 | // CHECK: store i64 0, i64* [[pa2adj]] |
| 44 | void (A::*pa2)() = &A::f; |
| 45 | |
| 46 | // CHECK: [[pa3ptr:%[a-zA-Z0-9\.]+]] = getelementptr inbounds %0* %pa3, i32 0, i32 0 |
| 47 | // CHECK: store i64 1, i64* [[pa3ptr]] |
| 48 | // CHECK: [[pa3adj:%[a-zA-Z0-9\.]+]] = getelementptr inbounds %0* %pa3, i32 0, i32 1 |
| 49 | // CHECK: store i64 0, i64* [[pa2adj]] |
| 50 | void (A::*pa3)() = &A::vf; |
| 51 | } |
| Anders Carlsson | 375c31c | 2009-10-03 19:43:08 +0000 | [diff] [blame] | 52 | |
| 53 | void f3(A *a, A &ar) { |
| 54 | (a->*pa)(); |
| 55 | (ar.*pa)(); |
| 56 | } |