16 lines · plain
1// RUN: yaml2obj %S/inputs/demote.yaml.wasm -o - | mlir-translate --import-wasm | FileCheck %s2 3/* Source code used to create this test:4(module5 (func $main (result f32)6 f64.const 2.247 f32.demote_f648 )9)10*/11 12// CHECK-LABEL: wasmssa.func @func_0() -> f32 {13// CHECK: %[[VAL_0:.*]] = wasmssa.const 2.240000e+00 : f6414// CHECK: %[[VAL_1:.*]] = wasmssa.demote %[[VAL_0]] : f64 to f3215// CHECK: wasmssa.return %[[VAL_1]] : f3216