diff --git a/cranelift/codegen/src/isa/pulley_shared/abi.rs b/cranelift/codegen/src/isa/pulley_shared/abi.rs
index b58fb1ab5dc..e2c9317d1d9 100644
--- a/cranelift/codegen/src/isa/pulley_shared/abi.rs
+++ b/cranelift/codegen/src/isa/pulley_shared/abi.rs
@@ -686,6 +686,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 6b851f00cc3..ea4b4daab67 100644
--- a/cranelift/codegen/src/isa/pulley_shared/lower.isle
+++ b/cranelift/codegen/src/isa/pulley_shared/lower.isle
@@ -326,8 +326,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 0b5c3e5fb34..7b6f05000ce 100644
--- a/crates/wast-util/src/lib.rs
+++ b/crates/wast-util/src/lib.rs
@@ -428,11 +428,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",