test/CodeGenCXX/member-function-pointers.cpp

   1 // RUN: clang-cc %s -emit-llvm -o - -triple=x86_64-apple-darwin9 | FileCheck %s
   2
   3 struct A { int a; void f(); virtual void vf(); };
   4 struct B { int b; virtual void g(); };
   5 struct C : B, A { };
   6
   7 void (A::*pa)();
   8 void (A::*volatile vpa)();
   9 void (B::*pb)();
  10 void (C::*pc)();
  11
  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
  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
  24 void f() {
  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)
  27   pa = 0;
  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)
  31   vpa = 0;
  32
  33   // CHECK: store i64 {{.*}}, i64* getelementptr inbounds (%0* @pc, i32 0, i32 0)
  34   // CHECK: [[ADJ:%[a-zA-Z0-9\.]+]] = add i64 {{.*}}, 16
  35   // CHECK: store i64 [[ADJ]], i64* getelementptr inbounds (%0* @pc, i32 0, i32 1)
  36   pc = pa;
  37
  38   // CHECK: store i64 {{.*}}, i64* getelementptr inbounds (%0* @pa, i32 0, i32 0)
  39   // CHECK: [[ADJ:%[a-zA-Z0-9\.]+]] = sub i64 {{.*}}, 16
  40   // CHECK: store i64 [[ADJ]], i64* getelementptr inbounds (%0* @pa, i32 0, i32 1)
  41   pa = static_cast<void (A::*)()>(pc);
  42 }
  43
  44 void f2() {
  45   // CHECK: [[pa2ptr:%[a-zA-Z0-9\.]+]] = getelementptr inbounds %0* %pa2, i32 0, i32 0
  46   // CHECK: store i64 ptrtoint (void ()* @_ZN1A1fEv to i64), i64* [[pa2ptr]]
  47   // CHECK: [[pa2adj:%[a-zA-Z0-9\.]+]] = getelementptr inbounds %0* %pa2, i32 0, i32 1
  48   // CHECK: store i64 0, i64* [[pa2adj]]
  49   void (A::*pa2)() = &A::f;
  50
  51   // CHECK: [[pa3ptr:%[a-zA-Z0-9\.]+]] = getelementptr inbounds %0* %pa3, i32 0, i32 0
  52   // CHECK: store i64 1, i64* [[pa3ptr]]
  53   // CHECK: [[pa3adj:%[a-zA-Z0-9\.]+]] = getelementptr inbounds %0* %pa3, i32 0, i32 1
  54   // CHECK: store i64 0, i64* [[pa3adj]]
  55   void (A::*pa3)() = &A::vf;
  56 }
  57
  58 void f3(A *a, A &ar) {
  59   (a->*pa)();
  60   (ar.*pa)();
  61 }
  62
  63 bool f4() {
  64   return pa;
  65 }
  66
  67 // PR5177
  68 namespace PR5177 {
  69   struct A {
  70    bool foo(int*) const;
  71   } a;
  72
  73   struct B1 {
  74    bool (A::*pmf)(int*) const;
  75    const A* pa;
  76
  77    B1() : pmf(&A::foo), pa(&a) {}
  78    bool operator()() const { return (pa->*pmf)(new int); }
  79   };
  80
  81   void bar(B1 b2) { while (b2()) ; }
  82 }
  83
  84 // PR5138
  85 namespace PR5138 {
  86   struct foo {
  87       virtual void bar(foo *);
  88   };
  89
  90   extern "C" {
  91     void baz(foo *);
  92   }
  93
  94   void (foo::*ptr1)(void *) = (void (foo::*)(void *))&foo::bar;
  95   void (*ptr2)(void *) = (void (*)(void *))&baz;
  96
  97   void (foo::*ptr3)(void) = (void (foo::*)(void))&foo::bar;
  98 }
  99
 100 // PR5593
 101 namespace PR5593 {
 102   struct A { };
 103
 104   bool f(void (A::*f)()) {
 105     return f && f;
 106   }
 107 }
 108
 109 namespace PR5718 {
 110   struct A { };
 111
 112   bool f(void (A::*f)(), void (A::*g)()) {
 113     return f == g;
 114   }
 115 }
 116
 117 namespace BoolMemberPointer {
 118   struct A { };
 119
 120   bool f(void (A::*f)()) {
 121     return !f;
 122   }
 123
 124   bool g(void (A::*f)()) {
 125     if (!!f)
 126       return true;
 127     return false;
 128   }
 129 }
 130