94 lines · c
1// RUN: %clang_cc1 -fblocks -triple x86_64-apple-darwin9 %s -emit-llvm -o - | FileCheck %s -check-prefix=X642// RUN: %clang_cc1 -fblocks -triple i686-apple-darwin9 %s -emit-llvm -o - | FileCheck %s -check-prefix=X323 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, ptr8 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, ptr15 16int globalInt;17void (^global)(void) = ^{ ++globalInt; };18 19 20void foo(int param) {21 extern int rand(void);22 extern void rand_r(int (^b)(char x, float y)); // name a function present at runtime23 while (param--)24 rand_r(^(char x, float y){ return x + (int)y + param + rand(); }); // generate a local block binding param25}26 27#if 028#include <stdio.h>29enum {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 37struct 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_DISPOSE41 void (*dispose)(void *); // conditional on BLOCK_HAS_COPY_DISPOSE42 const char *signature; // conditional on BLOCK_HAS_OBJC43 const char *layout; // conditional on BLOCK_HAS_OBJC44};45struct block_descriptor_small {46 unsigned long int reserved;47 unsigned long int size;48 const char *signature; // conditional on BLOCK_HAS_OBJC49 const char *layout; // conditional on BLOCK_HAS_OBJC50};51 52struct block_layout_abi { // can't change53 void *isa;54 int flags;55 int reserved; 56 void (*invoke)(void *, ...);57 struct block_descriptor_big *descriptor;58};59 60const 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 else66 return ((struct block_descriptor_small *)layout->descriptor)->signature;67}68 69 70 71int 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/*81x86_6482desired global flags: 134217728083desired stack flags: 107374182484types for global: v8@?085types for local: i16@?0c8f1286 87i38688desired global flags: 134217728089desired stack flags: 107374182490types for global: v4@?091types for local: i12@?0c4f892*/93#endif94