diff --git a/cranelift/src/libcretonne/instructions.rs b/cranelift/src/libcretonne/instructions.rs
index 50cd4d8aad..cbc6b053dd 100644
--- a/cranelift/src/libcretonne/instructions.rs
+++ b/cranelift/src/libcretonne/instructions.rs
@@ -133,13 +133,19 @@ pub enum InstructionData {
         lhs: Value,
         rhs: Imm64,
     },
-    // Same as BinaryImm, but the imediate is the lhs operand.
+    // Same as BinaryImm, but the immediate is the lhs operand.
     BinaryImmRev {
         opcode: Opcode,
         ty: Type,
         rhs: Value,
         lhs: Imm64,
     },
+    BinaryOverflow {
+        opcode: Opcode,
+        ty: Type,
+        second_result: Value,
+        args: [Value; 2],
+    },
     Jump {
         opcode: Opcode,
         ty: Type,
diff --git a/cranelift/src/libcretonne/write.rs b/cranelift/src/libcretonne/write.rs
index 74ece4790e..d3a676293d 100644
--- a/cranelift/src/libcretonne/write.rs
+++ b/cranelift/src/libcretonne/write.rs
@@ -155,6 +155,7 @@ pub fn write_instruction(w: &mut Write, func: &Function, inst: Inst) -> Result {
         Binary { opcode, args, .. } => writeln!(w, "{} {}, {}", opcode, args[0], args[1]),
         BinaryImm { opcode, lhs, rhs, .. } => writeln!(w, "{} {}, {}", opcode, lhs, rhs),
         BinaryImmRev { opcode, lhs, rhs, .. } => writeln!(w, "{} {}, {}", opcode, lhs, rhs),
+        BinaryOverflow { opcode, args, .. } => writeln!(w, "{} {}, {}", opcode, args[0], args[1]),
         Jump { opcode, ref data, .. } => writeln!(w, "{} {}", opcode, data),
         Branch { opcode, ref data, .. } => writeln!(w, "{} {}", opcode, data),
         BranchTable { opcode, arg, table, .. } => writeln!(w, "{} {}, {}", opcode, arg, table),
diff --git a/cranelift/src/libreader/parser.rs b/cranelift/src/libreader/parser.rs
index 713fa7e829..2247259530 100644
--- a/cranelift/src/libreader/parser.rs
+++ b/cranelift/src/libreader/parser.rs
@@ -657,6 +657,17 @@ impl<'a> Parser<'a> {
                     rhs: rhs,
                 }
             }
+            InstructionFormat::BinaryOverflow => {
+                let lhs = try!(self.match_value("expected SSA value first operand"));
+                try!(self.match_token(Token::Comma, "expected ',' between operands"));
+                let rhs = try!(self.match_value("expected SSA value second operand"));
+                InstructionData::BinaryOverflow {
+                    opcode: opcode,
+                    ty: VOID,
+                    second_result: NO_VALUE,
+                    args: [lhs, rhs],
+                }
+            }
             InstructionFormat::Jump |
             InstructionFormat::Branch |
             InstructionFormat::BranchTable |
diff --git a/meta/cretonne/formats.py b/meta/cretonne/formats.py
index 319dc6fb69..261b400321 100644
--- a/meta/cretonne/formats.py
+++ b/meta/cretonne/formats.py
@@ -23,6 +23,9 @@ Binary = InstructionFormat(value, value)
 BinaryImm = InstructionFormat(value, imm64)
 BinaryImmRev = InstructionFormat(imm64, value)
 
+# Generate result + overflow flag.
+BinaryOverflow = InstructionFormat(value, value, multiple_results=True)
+
 Jump = InstructionFormat(ebb, variable_args, boxed_storage=True)
 Branch = InstructionFormat(value, ebb, variable_args, boxed_storage=True)
 BranchTable = InstructionFormat(value, jump_table)