From 5377092e5b851747fed03d385a666789664c509b Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Wed, 28 Mar 2018 17:15:19 -0700
Subject: [PATCH] Use `#[cold]` rather than `#[inline(never)]`.

This gives optimizers more information about likely branch
probabilities.
---
 lib/cretonne/src/binemit/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/cretonne/src/binemit/mod.rs b/lib/cretonne/src/binemit/mod.rs
index 8f6f3c2924..6d2099ceba 100644
--- a/lib/cretonne/src/binemit/mod.rs
+++ b/lib/cretonne/src/binemit/mod.rs
@@ -92,7 +92,7 @@ pub trait CodeSink {
 }
 
 /// Report a bad encoding error.
-#[inline(never)]
+#[cold]
 pub fn bad_encoding(func: &Function, inst: Inst) -> ! {
     panic!(
         "Bad encoding {} for {}",