35 lines · plain
1// RUN: cir-opt %s --verify-roundtrip | FileCheck %s2 3!void = !cir.void4 5module {6 cir.func @block_address(){7 %0 = cir.block_address <@block_address, "label"> : !cir.ptr<!void>8 cir.br ^bb19 ^bb1:10 cir.label "label"11 cir.return12 }13// CHECK: cir.func @block_address14// CHECK: %0 = cir.block_address <@block_address, "label"> : !cir.ptr<!void>15// CHECK: cir.br ^bb116// CHECK: ^bb1:17// CHECK: cir.label "label"18// CHECK: cir.return19 20cir.func @block_address_inside_scope() -> () {21 cir.scope{22 %0 = cir.block_address <@block_address_inside_scope, "label"> : !cir.ptr<!void>23 }24 cir.br ^bb125^bb1:26 cir.label "label"27 cir.return28}29// CHECK: cir.func @block_address_inside_scope30// CHECK: cir.scope31// CHECK: %0 = cir.block_address <@block_address_inside_scope, "label"> : !cir.ptr<!void>32// CHECK: cir.label "label"33// CHECK: cir.return34}35