| // RUN: yaml2obj %S/inputs/branch_if.yaml.wasm -o - | mlir-translate --import-wasm | FileCheck %s |
| |
| /* Source code used to create this test: |
| (module |
| (type $produce_i32 (func (result i32))) |
| (func (type $produce_i32) |
| (block $my_block (type $produce_i32) |
| i32.const 1 |
| i32.const 2 |
| br_if $my_block |
| i32.const 1 |
| i32.add |
| ) |
| ) |
| ) |
| */ |
| |
| // CHECK-LABEL: wasmssa.func @func_0() -> i32 { |
| // CHECK: wasmssa.block : { |
| // CHECK: %[[VAL_0:.*]] = wasmssa.const 1 : i32 |
| // CHECK: %[[VAL_1:.*]] = wasmssa.const 2 : i32 |
| // CHECK: wasmssa.branch_if %[[VAL_1]] to level 0 with args(%[[VAL_0]] : i32) else ^bb1 |
| // CHECK: ^bb1: |
| // CHECK: %[[VAL_2:.*]] = wasmssa.const 1 : i32 |
| // CHECK: %[[VAL_3:.*]] = wasmssa.add %[[VAL_0]] %[[VAL_2]] : i32 |
| // CHECK: wasmssa.block_return %[[VAL_3]] : i32 |
| // CHECK: }> ^bb1 |
| // CHECK: ^bb1(%[[VAL_4:.*]]: i32): |
| // CHECK: wasmssa.return %[[VAL_4]] : i32 |
