24 lines · c
1// RUN: %clang_cc1 -x c -std=c89 -fblocks -debug-info-kind=standalone -emit-llvm -O0 \2// RUN: -triple x86_64-apple-darwin -o - %s | FileCheck %s3// RUN: %clang_cc1 -x c -std=c89 -fblocks -debug-info-kind=standalone -emit-llvm -O1 \4// RUN: -triple x86_64-apple-darwin -o - %s \5// RUN: | FileCheck --check-prefix=CHECK-OPT %s6 7// CHECK: define internal void @__f_block_invoke(ptr noundef %.block_descriptor)8// CHECK: %.block_descriptor.addr = alloca ptr, align 89// CHECK: %block.addr = alloca ptr, align 810// CHECK: store ptr %.block_descriptor, ptr %.block_descriptor.addr, align 811// CHECK: #dbg_declare(ptr %.block_descriptor.addr,12// CHECK-SAME: !DIExpression(),13// CHECK-OPT-NOT: alloca14// Since the block address is not used anywhere in this function,15// the optimizer (DeadArgElim) has replaced all the false uses16// (i.e., metadata users) with poison.17// CHECK-OPT: #dbg_value(ptr poison,18// CHECK-OPT-SAME: !DIExpression(),19void f(void) {20 a(^{21 b();22 });23}24