From f13306e8d646ff799b59c271164d8fabda8c4b24 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Tue, 28 Sep 2010 16:17:28 -0700
Subject: [PATCH] Switch boolean operands to 1-bit, as llvm prefers. Will
 promote to 8-bit when storing to memory.

---
 src/comp/middle/trans.rs | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/src/comp/middle/trans.rs b/src/comp/middle/trans.rs
index 1fbee72b12f..eb39697693b 100644
--- a/src/comp/middle/trans.rs
+++ b/src/comp/middle/trans.rs
@@ -62,6 +62,10 @@ fn T_nil() -> TypeRef {
     ret llvm.LLVMVoidType();
 }
 
+fn T_i1() -> TypeRef {
+    ret llvm.LLVMInt1Type();
+}
+
 fn T_i8() -> TypeRef {
     ret llvm.LLVMInt8Type();
 }
@@ -161,9 +165,9 @@ fn C_integral(int i, TypeRef t) -> ValueRef {
 
 fn C_bool(bool b) -> ValueRef {
     if (b) {
-        ret C_integral(1, T_i8());
+        ret C_integral(1, T_i1());
     } else {
-        ret C_integral(0, T_i8());
+        ret C_integral(0, T_i1());
     }
 }
 
@@ -274,8 +278,7 @@ fn trans_unary(@block_ctxt cx, ast.unop op, &ast.expr e) -> ValueRef {
             ret cx.build.Not(trans_expr(cx, e));
         }
         case (ast.not) {
-            ret cx.build.And(C_bool(true),
-                             cx.build.Not(trans_expr(cx, e)));
+            ret cx.build.Not(trans_expr(cx, e));
         }
         case (ast.neg) {
             // FIXME: switch by signedness.