18 lines · plain
1// RUN: mlir-opt %s -split-input-file -verify-diagnostics2 3wasmssa.func @f32_reinterpret_f32() -> f32 {4 %0 = wasmssa.const -1.000000e+00 : f325 // expected-error@+1 {{reinterpret input and output type should be distinct}}6 %1 = wasmssa.reinterpret %0 : f32 as f327 wasmssa.return %1 : f328}9 10// -----11 12wasmssa.func @f64_reinterpret_f32() -> f32 {13 %0 = wasmssa.const -1.000000e+00 : f6414 // expected-error@+1 {{input type ('f64') and output type ('f32') have incompatible bit widths}}15 %1 = wasmssa.reinterpret %0 : f64 as f3216 wasmssa.return %1 : f3217}18