86 lines · plain
1// RUN: yaml2obj %S/inputs/convert.yaml.wasm -o - | mlir-translate --import-wasm | FileCheck %s2 3/* Source code used to generate this test:4(module5 (func (export "convert_i32_u_to_f32") (result f32)6 i32.const 107 f32.convert_i32_u8 )9 10 (func (export "convert_i32_s_to_f32") (result f32)11 i32.const 4212 f32.convert_i32_s13 )14 15 (func (export "convert_i64_u_to_f32") (result f32)16 i64.const 1717 f32.convert_i64_u18 )19 20 (func (export "convert_i64s_to_f32") (result f32)21 i64.const 1022 f32.convert_i64_s23 )24 25 (func (export "convert_i32_u_to_f64") (result f64)26 i32.const 1027 f64.convert_i32_u28 )29 30 (func (export "convert_i32_s_to_f64") (result f64)31 i32.const 4232 f64.convert_i32_s33 )34 35 (func (export "convert_i64_u_to_f64") (result f64)36 i64.const 1737 f64.convert_i64_u38 )39 40 (func (export "convert_i64s_to_f64") (result f64)41 i64.const 1042 f64.convert_i64_s43 )44)45*/46 47// CHECK-LABEL: wasmssa.func exported @convert_i32_u_to_f32() -> f32 {48// CHECK: %[[VAL_0:.*]] = wasmssa.const 10 : i3249// CHECK: %[[VAL_1:.*]] = wasmssa.convert_u %[[VAL_0]] : i32 to f3250// CHECK: wasmssa.return %[[VAL_1]] : f3251 52// CHECK-LABEL: wasmssa.func exported @convert_i32_s_to_f32() -> f32 {53// CHECK: %[[VAL_0:.*]] = wasmssa.const 42 : i3254// CHECK: %[[VAL_1:.*]] = wasmssa.convert_s %[[VAL_0]] : i32 to f3255// CHECK: wasmssa.return %[[VAL_1]] : f3256 57// CHECK-LABEL: wasmssa.func exported @convert_i64_u_to_f32() -> f32 {58// CHECK: %[[VAL_0:.*]] = wasmssa.const 17 : i6459// CHECK: %[[VAL_1:.*]] = wasmssa.convert_u %[[VAL_0]] : i64 to f3260// CHECK: wasmssa.return %[[VAL_1]] : f3261 62// CHECK-LABEL: wasmssa.func exported @convert_i64s_to_f32() -> f32 {63// CHECK: %[[VAL_0:.*]] = wasmssa.const 10 : i6464// CHECK: %[[VAL_1:.*]] = wasmssa.convert_s %[[VAL_0]] : i64 to f3265// CHECK: wasmssa.return %[[VAL_1]] : f3266 67// CHECK-LABEL: wasmssa.func exported @convert_i32_u_to_f64() -> f64 {68// CHECK: %[[VAL_0:.*]] = wasmssa.const 10 : i3269// CHECK: %[[VAL_1:.*]] = wasmssa.convert_u %[[VAL_0]] : i32 to f6470// CHECK: wasmssa.return %[[VAL_1]] : f6471 72// CHECK-LABEL: wasmssa.func exported @convert_i32_s_to_f64() -> f64 {73// CHECK: %[[VAL_0:.*]] = wasmssa.const 42 : i3274// CHECK: %[[VAL_1:.*]] = wasmssa.convert_s %[[VAL_0]] : i32 to f6475// CHECK: wasmssa.return %[[VAL_1]] : f6476 77// CHECK-LABEL: wasmssa.func exported @convert_i64_u_to_f64() -> f64 {78// CHECK: %[[VAL_0:.*]] = wasmssa.const 17 : i6479// CHECK: %[[VAL_1:.*]] = wasmssa.convert_u %[[VAL_0]] : i64 to f6480// CHECK: wasmssa.return %[[VAL_1]] : f6481 82// CHECK-LABEL: wasmssa.func exported @convert_i64s_to_f64() -> f64 {83// CHECK: %[[VAL_0:.*]] = wasmssa.const 10 : i6484// CHECK: %[[VAL_1:.*]] = wasmssa.convert_s %[[VAL_0]] : i64 to f6485// CHECK: wasmssa.return %[[VAL_1]] : f6486