-; CHECK-LABEL: eq_i32:
-; CHECK-NEXT: (setlocal @0 (argument 1))
-; CHECK-NEXT: (setlocal @1 (argument 0))
-; CHECK-NEXT: (setlocal @2 (eq @1 @0))
+; CHECK-LABEL: (func $eq_i32
+; CHECK-NEXT: (param i32) (param i32) (result i32)
+; CHECK-NEXT: (set_local @0 (argument 1))
+; CHECK-NEXT: (set_local @1 (argument 0))
+; CHECK-NEXT: (set_local @2 (eq @1 @0))