translator: fix boolean type in assert

kotstd/lib/arm/assert_c.ll

@@ -3,9 +3,9 @@ target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
 target triple = "thumbv7m-none--eabi"
 
 ; Function Attrs: nounwind
-define weak void @assert_c(i32 %value) #0 {
-  %1 = alloca i32, align 4
-  store i32 %value, i32* %1, align 4
+define weak void @assert_c(i1 %value) #0 {
+  %1 = alloca i1, align 4
+  store i1 %value, i1* %1, align 4
   ret void
 }
 

kotstd/lib/x86/assert_c.ll

@@ -5,11 +5,11 @@ target triple = "x86_64-pc-linux-gnu"
 @.str = private unnamed_addr constant [71 x i8] c"Exception in thread \22main\22 java.lang.AssertionError: Assertion failed\0A\00", align 1
 
 ; Function Attrs: nounwind uwtable
-define void @assert_c(i32 %value) #0 {
-  %1 = alloca i32, align 4
-  store i32 %value, i32* %1, align 4
-  %2 = load i32* %1, align 4
-  %3 = icmp ne i32 %2, 0
+define weak void @assert_c(i1 %value) #0 {
+  %1 = alloca i1, align 4
+  store i1 %value, i1* %1, align 4
+  %2 = load i1* %1, align 4
+  %3 = icmp ne i1 %2, 0
   br i1 %3, label %6, label %4
 
 ; <label>:4                                       ; preds = %0