diff --git a/cranelift/codegen/src/isa/pulley_shared/abi.rs b/cranelift/codegen/src/isa/pulley_shared/abi.rs
index 5d475a78002d..af8f1272ec25 100644
--- a/cranelift/codegen/src/isa/pulley_shared/abi.rs
+++ b/cranelift/codegen/src/isa/pulley_shared/abi.rs
@@ -707,6 +707,7 @@ const DEFAULT_CLOBBERS: PRegSet = PRegSet::empty()
     .with(pf_reg(5))
     .with(pf_reg(6))
     .with(pf_reg(7))
+    .with(pf_reg(8))
     .with(pf_reg(9))
     .with(pf_reg(10))
     .with(pf_reg(11))
diff --git a/cranelift/codegen/src/isa/pulley_shared/lower.isle b/cranelift/codegen/src/isa/pulley_shared/lower.isle
index e90bcd6592d8..046604191b0f 100644
--- a/cranelift/codegen/src/isa/pulley_shared/lower.isle
+++ b/cranelift/codegen/src/isa/pulley_shared/lower.isle
@@ -335,8 +335,8 @@
 (rule (lower_fcmp $F64 (FloatCC.NotEqual) a b) (pulley_fneq64 a b))
 (rule (lower_fcmp $F32 (FloatCC.LessThan) a b) (pulley_flt32 a b))
 (rule (lower_fcmp $F64 (FloatCC.LessThan) a b) (pulley_flt64 a b))
-(rule (lower_fcmp $F32 (FloatCC.LessThanOrEqual) a b) (pulley_flt32 a b))
-(rule (lower_fcmp $F64 (FloatCC.LessThanOrEqual) a b) (pulley_flt64 a b))
+(rule (lower_fcmp $F32 (FloatCC.LessThanOrEqual) a b) (pulley_flteq32 a b))
+(rule (lower_fcmp $F64 (FloatCC.LessThanOrEqual) a b) (pulley_flteq64 a b))
 
 ;; NB: Pulley doesn't have lowerings for `Ordered` or `Unordered` `FloatCC`
 ;; conditions as that's not needed by wasm at this time.
diff --git a/crates/wast-util/src/lib.rs b/crates/wast-util/src/lib.rs
index 1495c9422075..b15143605392 100644
--- a/crates/wast-util/src/lib.rs
+++ b/crates/wast-util/src/lib.rs
@@ -429,11 +429,8 @@ impl WastTest {
                 "misc_testsuite/winch/_simd_load.wast",
                 "misc_testsuite/winch/_simd_multivalue.wast",
                 "misc_testsuite/winch/_simd_store.wast",
-                "spec_testsuite/call_indirect.wast",
                 "spec_testsuite/f32_bitwise.wast",
-                "spec_testsuite/f32_cmp.wast",
                 "spec_testsuite/f64_bitwise.wast",
-                "spec_testsuite/f64_cmp.wast",
                 "spec_testsuite/float_exprs.wast",
                 "spec_testsuite/float_misc.wast",
                 "spec_testsuite/proposals/annotations/simd_lane.wast",