diff --git a/lib/cretonne/src/abi.rs b/lib/cretonne/src/abi.rs
index 49620bcfde..38bc6781d1 100644
--- a/lib/cretonne/src/abi.rs
+++ b/lib/cretonne/src/abi.rs
@@ -162,7 +162,7 @@ pub fn legalize_abi_value(have: Type, arg: &ArgumentType) -> ValueConversion {
         }
         // We have the same number of bits as the argument.
         Ordering::Equal => {
-            // This must  be an integer vector that is split and then extended.
+            // This must be an integer vector that is split and then extended.
             assert!(arg.value_type.is_int());
             assert!(!have.is_scalar());
             ValueConversion::VectorSplit
diff --git a/lib/cretonne/src/licm.rs b/lib/cretonne/src/licm.rs
index 689067c188..20dfca9f5d 100644
--- a/lib/cretonne/src/licm.rs
+++ b/lib/cretonne/src/licm.rs
@@ -97,7 +97,7 @@ fn create_pre_header(
 //
 // A loop header has a pre-header if there is only one predecessor that the header doesn't
 // dominate.
-// Returns the pre-header Ebb and the instruction jumping to  the header.
+// Returns the pre-header Ebb and the instruction jumping to the header.
 fn has_pre_header(
     layout: &Layout,
     cfg: &ControlFlowGraph,
diff --git a/lib/frontend/src/ssa.rs b/lib/frontend/src/ssa.rs
index 498b0b0ea3..250d679983 100644
--- a/lib/frontend/src/ssa.rs
+++ b/lib/frontend/src/ssa.rs
@@ -422,8 +422,8 @@ where
         let mut preds = Vec::new();
         mem::swap(&mut preds, &mut self.predecessors_mut(dest_ebb));
         for &(pred, last_inst) in preds.iter() {
-            // For undef value  and each predecessor we query what is the local SSA value
-            // corresponding to var and we put it as an argument of the branch instruction.
+            // For each predecessor, we query what is the local SSA value corresponding
+            // to var and we put it as an argument of the branch instruction.
             let (pred_val, mut local_side_effects) =
                 self.use_var(dfg, layout, jts, temp_arg_var, ty, pred);
             pred_values = match pred_values {
@@ -527,7 +527,7 @@ where
     ) -> Option<Ebb> {
         match dfg[jump_inst].analyze_branch(&dfg.value_lists) {
             BranchInfo::NotABranch => {
-                panic!("you have declared a non-branch instruction  as a predecessor to an ebb");
+                panic!("you have declared a non-branch instruction as a predecessor to an ebb");
             }
             // For a single destination appending a jump argument to the instruction
             // is sufficient.