54 lines · plain
1// RUN: yaml2obj %S/inputs/rem.yaml.wasm -o - | mlir-translate --import-wasm | FileCheck %s2 3/* Source code used to generate this test:4(module5 (func (export "rem_u_i32") (result i32)6 i32.const 107 i32.const 38 i32.rem_u)9 10 (func (export "rem_u_i64") (result i64)11 i64.const 1012 i64.const 313 i64.rem_u)14 15 (func (export "rem_s_i32") (result i32)16 i32.const 1017 i32.const 318 i32.rem_s)19 20 (func (export "rem_s_i64") (result i64)21 i64.const 1022 i64.const 323 i64.rem_s)24)25*/26 27// CHECK-LABEL: wasmssa.func exported @rem_u_i32() -> i32 {28// CHECK: %0 = wasmssa.const 10 : i3229// CHECK: %1 = wasmssa.const 3 : i3230// CHECK: %2 = wasmssa.rem_ui %0 %1 : i3231// CHECK: wasmssa.return %2 : i3232// CHECK: }33 34// CHECK-LABEL: wasmssa.func exported @rem_u_i64() -> i64 {35// CHECK: %0 = wasmssa.const 10 : i6436// CHECK: %1 = wasmssa.const 3 : i6437// CHECK: %2 = wasmssa.rem_ui %0 %1 : i6438// CHECK: wasmssa.return %2 : i6439// CHECK: }40 41// CHECK-LABEL: wasmssa.func exported @rem_s_i32() -> i32 {42// CHECK: %0 = wasmssa.const 10 : i3243// CHECK: %1 = wasmssa.const 3 : i3244// CHECK: %2 = wasmssa.rem_si %0 %1 : i3245// CHECK: wasmssa.return %2 : i3246// CHECK: }47 48// CHECK-LABEL: wasmssa.func exported @rem_s_i64() -> i64 {49// CHECK: %0 = wasmssa.const 10 : i6450// CHECK: %1 = wasmssa.const 3 : i6451// CHECK: %2 = wasmssa.rem_si %0 %1 : i6452// CHECK: wasmssa.return %2 : i6453// CHECK: }54