Make _Bool 1 byte

#233

Author: tyfkda

src/cc/arch/x64/ir_x64.c

@@ -833,8 +833,6 @@ static void ei_cond(IR *ir) {
         JE(fmt_name(skip_label));
         MOV(IM(cond != COND_EQ ? 1 : 0), dst);
         EMIT_LABEL(fmt_name(skip_label));
-
-        MOVSX(dst, kReg32s[ir->dst->phys]);  // Assume bool is 4 byte.
       }
       return;
 
@@ -867,7 +865,6 @@ static void ei_cond(IR *ir) {
     default: assert(false); break;
     }
   }
-  MOVSX(dst, kReg32s[ir->dst->phys]);  // Assume bool is 4 byte.
 }
 
 static void ei_jmp(IR *ir) {

src/cc/backend/ir.c

@@ -9,7 +9,7 @@
 #include "util.h"
 
 static const enum VRegSize vtVoidPtr = VRegSize8;
-static const enum VRegSize vtBool = VRegSize4;
+static const enum VRegSize vtBool = VRegSize1;
 
 Phi *new_phi(VReg *dst, Vector *params) {
   Phi *phi = malloc_or_die(sizeof(*phi));

src/cc/frontend/type.c

@@ -14,7 +14,7 @@ Type tyInt =           {.kind=TY_FIXNUM, .fixnum={.kind=FX_INT,   .is_unsigned=f
 Type tyVoid =          {.kind=TY_VOID};
 Type tyConstVoid =     {.kind=TY_VOID, .qualifier=TQ_CONST};
 Type tyVoidPtr =       {.kind=TY_PTR, .pa={.ptrof=&tyVoid}};
-Type tyBool =          {.kind=TY_FIXNUM, .fixnum={.kind=FX_BOOL,   .is_unsigned=false}};
+Type tyBool =          {.kind=TY_FIXNUM, .fixnum={.kind=FX_BOOL,  .is_unsigned=false}};
 Type tySize =          {.kind=TY_FIXNUM, .fixnum={.kind=FX_LONG,  .is_unsigned=true}};
 Type tySSize =         {.kind=TY_FIXNUM, .fixnum={.kind=FX_LONG,  .is_unsigned=false}};
 Type tyFloat =         {.kind=TY_FLONUM, .flonum={.kind=FL_FLOAT}};
@@ -40,8 +40,8 @@ static Type kFixnumTypeTable[2][4][FX_LLONG + 1] = {
 };
 #undef FIXNUM_TABLE
 
-size_t fixnum_size_table[]  = {1, 2, 4, 8, 8, 4, 4};
-int    fixnum_align_table[] = {1, 2, 4, 8, 8, 4, 4};
+size_t fixnum_size_table[]  = {1, 2, 4, 8, 8, 4, 1};
+int    fixnum_align_table[] = {1, 2, 4, 8, 8, 4, 1};
 
 size_t flonum_size_table[]  = {4, 8, 8};
 int    flonum_align_table[] = {4, 8, 8};

tests/valtest.c

@@ -835,6 +835,7 @@ TEST(all) {
   }
 
   {
+    EXPECT("sizeof _Bool",  1, sizeof(_Bool));
     EXPECT("_Bool from int", true, ({int x = -123; (_Bool)x;}));
     EXPECT("_Bool from ulong", true, ({unsigned long x = 9876UL; (_Bool)x;}));
 #ifndef __NO_FLONUM