61 lines · plain
1// RUN: cir-opt %s -cir-flatten-cfg -o - | FileCheck %s2 3!u32i = !cir.int<u, 32>4 5module {6 cir.func @foo() {7 cir.scope {8 %0 = cir.alloca !u32i, !cir.ptr<!u32i>, ["a", init] {alignment = 4 : i64}9 %1 = cir.const #cir.int<4> : !u32i10 cir.store %1, %0 : !u32i, !cir.ptr<!u32i>11 }12 cir.return13 }14// CHECK: cir.func{{.*}} @foo() {15// CHECK: cir.br ^bb116// CHECK: ^bb1: // pred: ^bb017// CHECK: %0 = cir.alloca !u32i, !cir.ptr<!u32i>, ["a", init] {alignment = 4 : i64}18// CHECK: %1 = cir.const #cir.int<4> : !u32i19// CHECK: cir.store %1, %0 : !u32i, !cir.ptr<!u32i>20// CHECK: cir.br ^bb221// CHECK: ^bb2: // pred: ^bb122// CHECK: cir.return23// CHECK: }24 25 // Should drop empty scopes.26 cir.func @empty_scope() {27 cir.scope {28 }29 cir.return30 }31// CHECK: cir.func{{.*}} @empty_scope() {32// CHECK: cir.return33// CHECK: }34 35 cir.func @scope_with_return() -> !u32i {36 %0 = cir.alloca !u32i, !cir.ptr<!u32i>, ["__retval"] {alignment = 4 : i64}37 cir.scope {38 %2 = cir.const #cir.int<0> : !u32i39 cir.store %2, %0 : !u32i, !cir.ptr<!u32i>40 %3 = cir.load %0 : !cir.ptr<!u32i>, !u32i41 cir.return %3 : !u32i42 }43 %1 = cir.load %0 : !cir.ptr<!u32i>, !u32i44 cir.return %1 : !u32i45 }46 47// CHECK: cir.func{{.*}} @scope_with_return() -> !u32i {48// CHECK: %0 = cir.alloca !u32i, !cir.ptr<!u32i>, ["__retval"] {alignment = 4 : i64}49// CHECK: cir.br ^bb150// CHECK: ^bb1: // pred: ^bb051// CHECK: %1 = cir.const #cir.int<0> : !u32i52// CHECK: cir.store %1, %0 : !u32i, !cir.ptr<!u32i>53// CHECK: %2 = cir.load %0 : !cir.ptr<!u32i>, !u32i54// CHECK: cir.return %2 : !u32i55// CHECK: ^bb2: // no predecessors56// CHECK: %3 = cir.load %0 : !cir.ptr<!u32i>, !u32i57// CHECK: cir.return %3 : !u32i58// CHECK: }59 60}61