15 lines · plain
1// RUN: yaml2obj %S/inputs/promote.yaml.wasm -o - | mlir-translate --import-wasm | FileCheck %s2 3/* Source code used to generate this test:4(module5 (func $main (result f64)6 f32.const 10.57 f64.promote_f328 )9)*/10 11// CHECK-LABEL: wasmssa.func @func_0() -> f64 {12// CHECK: %[[VAL_0:.*]] = wasmssa.const 1.050000e+01 : f3213// CHECK: %[[VAL_1:.*]] = wasmssa.promote %[[VAL_0]] : f32 to f6414// CHECK: wasmssa.return %[[VAL_1]] : f6415