53 lines · plain
1// RUN: cir-opt %s --pass-pipeline='builtin.module(cir-to-llvm,canonicalize{region-simplify=disabled})' -o - | FileCheck %s -check-prefix=MLIR2 3!s32i = !cir.int<s, 32>4 5module {6 7 cir.func @gotoFromIf(%arg0: !s32i) -> !s32i {8 %0 = cir.alloca !s32i, !cir.ptr<!s32i>, ["x", init] {alignment = 4 : i64}9 %1 = cir.alloca !s32i, !cir.ptr<!s32i>, ["__retval"] {alignment = 4 : i64}10 cir.store %arg0, %0 : !s32i, !cir.ptr<!s32i>11 cir.scope {12 %6 = cir.load %0 : !cir.ptr<!s32i>, !s32i13 %7 = cir.const #cir.int<5> : !s32i14 %8 = cir.cmp(gt, %6, %7) : !s32i, !cir.bool15 cir.if %8 {16 cir.goto "err"17 }18 }19 %2 = cir.const #cir.int<0> : !s32i20 cir.store %2, %1 : !s32i, !cir.ptr<!s32i>21 cir.br ^bb122 ^bb1:23 %3 = cir.load %1 : !cir.ptr<!s32i>, !s32i24 cir.return %3 : !s32i25 ^bb2:26 cir.label "err"27 %4 = cir.const #cir.int<1> : !s32i28 %5 = cir.unary(minus, %4) : !s32i, !s32i29 cir.store %5, %1 : !s32i, !cir.ptr<!s32i>30 cir.br ^bb131 }32 33// MLIR: llvm.func @gotoFromIf34// MLIR: %[[#One:]] = llvm.mlir.constant(1 : i32) : i3235// MLIR: %[[#Zero:]] = llvm.mlir.constant(0 : i32) : i3236// MLIR: llvm.cond_br {{.*}}, ^bb[[#COND_YES:]], ^bb[[#COND_NO:]]37// MLIR: ^bb[[#COND_YES]]:38// MLIR: llvm.br ^bb[[#GOTO_BLK:]]39// MLIR: ^bb[[#COND_NO]]:40// MLIR: llvm.br ^bb[[#BLK:]]41// MLIR: ^bb[[#BLK]]:42// MLIR: llvm.store %[[#Zero]], %[[#Ret_val_addr:]] {{.*}}: i32, !llvm.ptr43// MLIR: llvm.br ^bb[[#RETURN:]]44// MLIR: ^bb[[#RETURN]]:45// MLIR: %[[#Ret_val:]] = llvm.load %[[#Ret_val_addr]] {alignment = 4 : i64} : !llvm.ptr -> i3246// MLIR: llvm.return %[[#Ret_val]] : i3247// MLIR: ^bb[[#GOTO_BLK]]:48// MLIR: %[[#Neg_one:]] = llvm.sub %[[#Zero]], %[[#One]] : i3249// MLIR: llvm.store %[[#Neg_one]], %[[#Ret_val_addr]] {{.*}}: i32, !llvm.ptr50// MLIR: llvm.br ^bb[[#RETURN]]51// MLIR: }52}53