clang/test/CodeGen/overloadable.c

   1 // RUN: %clang_cc1 -triple %itanium_abi_triple -Wno-incompatible-function-pointer-types -emit-llvm %s -o - | FileCheck %s
   2 // CHECK: _Z1fPA10_1X
   3 // CHECK: _Z1fPFvvE
   4
   5 int __attribute__((overloadable)) f(int x) { return x; }
   6 float __attribute__((overloadable)) f(float x) { return x; }
   7 double __attribute__((overloadable)) f(double x) { return x; }
   8 double _Complex __attribute__((overloadable)) f(double _Complex x) { return x; }
   9 typedef short v4hi __attribute__ ((__vector_size__ (8)));
  10 v4hi __attribute__((overloadable)) f(v4hi x) { return x; }
  11
  12 struct X { };
  13 void  __attribute__((overloadable)) f(struct X (*ptr)[10]) { }
  14
  15 void __attribute__((overloadable)) f(int x, int y, ...) { }
  16
  17 void __attribute__((overloadable)) f(void (*x)(void)) {}
  18
  19 int main(void) {
  20   int iv = 17;
  21   float fv = 3.0f;
  22   double dv = 4.0;
  23   double _Complex cdv;
  24   v4hi vv;
  25
  26   iv = f(iv);
  27   fv = f(fv);
  28   dv = f(dv);
  29   cdv = f(cdv);
  30   vv = f(vv);
  31 }
  32
  33 // Ensuring that we pick the correct function for taking the address of an
  34 // overload when conversions are involved.
  35
  36 void addrof_many(int *a) __attribute__((overloadable, enable_if(0, "")));
  37 void addrof_many(void *a) __attribute__((overloadable));
  38 void addrof_many(char *a) __attribute__((overloadable));
  39
  40 void addrof_single(int *a) __attribute__((overloadable, enable_if(0, "")));
  41 void addrof_single(char *a) __attribute__((overloadable, enable_if(0, "")));
  42 void addrof_single(char *a) __attribute__((overloadable));
  43
  44 // CHECK-LABEL: define {{(dso_local )?}}void @foo
  45 void foo(void) {
  46   // CHECK: store ptr @_Z11addrof_manyPc
  47   void (*p1)(char *) = &addrof_many;
  48   // CHECK: store ptr @_Z11addrof_manyPv
  49   void (*p2)(void *) = &addrof_many;
  50   // CHECK: ptr @_Z11addrof_manyPc
  51   void *vp1 = (void (*)(char *)) & addrof_many;
  52   // CHECK: ptr @_Z11addrof_manyPv
  53   void *vp2 = (void (*)(void *)) & addrof_many;
  54
  55   // CHECK: store ptr @_Z13addrof_singlePc
  56   void (*p3)(char *) = &addrof_single;
  57   // CHECK: @_Z13addrof_singlePc
  58   void (*p4)(int *) = &addrof_single;
  59   // CHECK: @_Z13addrof_singlePc
  60   void *vp3 = &addrof_single;
  61 }
  62
  63
  64 void ovl_bar(char *) __attribute__((overloadable));
  65 void ovl_bar(int) __attribute__((overloadable));
  66
  67 // CHECK-LABEL: define {{(dso_local )?}}void @bar
  68 void bar(void) {
  69   char charbuf[1];
  70   unsigned char ucharbuf[1];
  71
  72   // CHECK: call void @_Z7ovl_barPc
  73   ovl_bar(charbuf);
  74   // CHECK: call void @_Z7ovl_barPc
  75   ovl_bar(ucharbuf);
  76 }
  77
  78 void ovl_baz(int *, int) __attribute__((overloadable));
  79 void ovl_baz(unsigned int *, unsigned int) __attribute__((overloadable));
  80 void ovl_baz2(int, int *) __attribute__((overloadable));
  81 void ovl_baz2(unsigned int, unsigned int *) __attribute__((overloadable));
  82 // CHECK-LABEL: define {{(dso_local )?}}void @baz
  83 void baz(void) {
  84   unsigned int j;
  85   // Initial rules for incompatible pointer conversions made this overload
  86   // ambiguous.
  87   // CHECK: call void @_Z7ovl_bazPjj
  88   ovl_baz(&j, 0);
  89   // CHECK: call void @_Z7ovl_bazPjj
  90   ovl_baz(&j, 0u);
  91
  92   // CHECK: call void @_Z8ovl_baz2jPj
  93   ovl_baz2(0, &j);
  94   // CHECK: call void @_Z8ovl_baz2jPj
  95   ovl_baz2(0u, &j);
  96 }