clang/test/CodeGen/blocksignature.c

   1 // RUN: %clang_cc1 -fblocks -triple x86_64-apple-darwin9 %s -emit-llvm -o - | FileCheck %s -check-prefix=X64
   2 // RUN: %clang_cc1 -fblocks -triple i686-apple-darwin9 %s -emit-llvm -o - | FileCheck %s -check-prefix=X32
   3
   4 // X64: @.str = private unnamed_addr constant [6 x i8] c"v8@?0\00"
   5 // X64: @__block_literal_global = internal constant {{.*}} { ptr @_NSConcreteGlobalBlock, i32 1342177280,
   6 // X64: @.str.1 = private unnamed_addr constant [12 x i8] c"i16@?0c8f12\00"
   7 // X64:   store i32 1073741824, ptr
   8
   9 // X32: [[STR1:@.*]] = private unnamed_addr constant [6 x i8] c"v4@?0\00"
  10 // X32: @__block_descriptor_tmp = internal constant [[FULL_DESCRIPTOR_T:.*]] { i32 0, i32 20, ptr [[STR1]], ptr null }
  11 // X32: @__block_literal_global = internal constant [[GLOBAL_LITERAL_T:.*]] { ptr @_NSConcreteGlobalBlock, i32 1342177280, i32 0, ptr @global_block_invoke{{.*}}, ptr @__block_descriptor_tmp }
  12 // X32: [[STR2:@.*]] = private unnamed_addr constant [11 x i8] c"i12@?0c4f8\00"
  13 // X32: @__block_descriptor_tmp{{.*}} = internal constant [[FULL_DESCRIPTOR_T]] { i32 0, i32 24, ptr [[STR2]], ptr null }
  14 // X32:   store i32 1073741824, ptr
  15
  16 int globalInt;
  17 void (^global)(void) = ^{ ++globalInt; };
  18
  19
  20 void foo(int param) {
  21    extern int rand(void);
  22    extern void rand_r(int (^b)(char x, float y));   // name a function present at runtime
  23    while (param--)
  24       rand_r(^(char x, float y){ return x + (int)y + param + rand(); });  // generate a local block binding param
  25 }
  26
  27 #if 0
  28 #include <stdio.h>
  29 enum {
  30     BLOCK_HAS_COPY_DISPOSE =  (1 << 25),
  31     BLOCK_HAS_CXX_OBJ =       (1 << 26),
  32     BLOCK_IS_GLOBAL =         (1 << 28),
  33     BLOCK_HAS_DESCRIPTOR =    (1 << 29),
  34     BLOCK_HAS_OBJC_TYPE  =    (1 << 30)
  35 };
  36
  37 struct block_descriptor_big {
  38     unsigned long int reserved;
  39     unsigned long int size;
  40     void (*copy)(void *dst, void *src); // conditional on BLOCK_HAS_COPY_DISPOSE
  41     void (*dispose)(void *);            // conditional on BLOCK_HAS_COPY_DISPOSE
  42     const char *signature;                  // conditional on BLOCK_HAS_OBJC
  43     const char *layout;                 // conditional on BLOCK_HAS_OBJC
  44 };
  45 struct block_descriptor_small {
  46     unsigned long int reserved;
  47     unsigned long int size;
  48     const char *signature;              // conditional on BLOCK_HAS_OBJC
  49     const char *layout;                 // conditional on BLOCK_HAS_OBJC
  50 };
  51
  52 struct block_layout_abi { // can't change
  53   void *isa;
  54   int flags;
  55   int reserved;
  56   void (*invoke)(void *, ...);
  57   struct block_descriptor_big *descriptor;
  58 };
  59
  60 const char *getBlockSignature(void *block) {
  61    struct block_layout_abi *layout = (struct block_layout_abi *)block;
  62    if ((layout->flags & BLOCK_HAS_OBJC_TYPE) != BLOCK_HAS_OBJC_TYPE) return NULL;
  63    if (layout->flags & BLOCK_HAS_COPY_DISPOSE)
  64       return layout->descriptor->signature;
  65    else
  66       return ((struct block_descriptor_small *)layout->descriptor)->signature;
  67 }
  68
  69
  70
  71 int main(int argc, char *argv[]) {
  72    printf("desired global flags: %d\n", BLOCK_IS_GLOBAL  | BLOCK_HAS_OBJC_TYPE);
  73    printf("desired stack flags: %d\n",  BLOCK_HAS_OBJC_TYPE);
  74
  75    printf("types for global: %s\n", getBlockSignature(global));
  76    printf("types for local: %s\n", getBlockSignature(^int(char x, float y) { return (int)(y + x); }));
  77    return 0;
  78 }
  79
  80 /*
  81 x86_64
  82 desired global flags: 1342177280
  83 desired stack flags: 1073741824
  84 types for global: v8@?0
  85 types for local: i16@?0c8f12
  86
  87 i386
  88 desired global flags: 1342177280
  89 desired stack flags: 1073741824
  90 types for global: v4@?0
  91 types for local: i12@?0c4f8
  92 */
  93 #endif