use fmt format

nautilus/test/data/bool-tests/after_ssa/boolAnd.trace

@@ -0,0 +1,3 @@
+B0($1:bool,$2:bool)
+	AND	$5	$1	$2	:bool
+	RETURN	$5	:bool

nautilus/test/data/bool-tests/after_ssa/boolAssignment.trace

@@ -0,0 +1,2 @@
+B0($1:bool)
+	RETURN	$1	:bool

nautilus/test/data/bool-tests/after_ssa/boolAssignmentOr.trace

@@ -0,0 +1,3 @@
+B0($1:bool,$2:bool)
+	OR	$6	$1	$2	:bool
+	RETURN	$6	:bool

nautilus/test/data/bool-tests/after_ssa/boolConst.trace

@@ -0,0 +1,4 @@
+B0($1:bool)
+	CONST	$3	true	:bool
+	AND	$4	$1	$3	:bool
+	RETURN	$4	:bool

nautilus/test/data/bool-tests/after_ssa/boolEquals.trace

@@ -0,0 +1,3 @@
+B0($1:bool,$2:bool)
+	EQ	$3	$1	$2	:bool
+	RETURN	$3	:bool

nautilus/test/data/bool-tests/after_ssa/boolIfElse.trace

@@ -0,0 +1,11 @@
+B0($1:bool,$2:bool)
+	AND	$5	$1	$2	:bool
+	CMP	$6	$5	B1()	B2()	:void
+B1()
+	CONST	$7	true	:bool
+	JMP	$0	B3($7)	:void
+B2()
+	CONST	$10	false	:bool
+	JMP	$0	B3($10)	:void
+B3($7:bool)
+	RETURN	$7	:bool

nautilus/test/data/bool-tests/after_ssa/boolNestedFunction.trace

@@ -0,0 +1,11 @@
+B0($1:bool,$2:bool)
+	EQ	$5	$1	$2	:bool
+	CMP	$6	$5	B1()	B2()	:void
+B1()
+	CONST	$7	true	:bool
+	JMP	$0	B3($7)	:void
+B2()
+	CONST	$10	false	:bool
+	JMP	$0	B3($10)	:void
+B3($7:bool)
+	RETURN	$7	:bool

nautilus/test/data/bool-tests/after_ssa/boolNot.trace

@@ -0,0 +1,3 @@
+B0($1:bool)
+	NOT	$3	$1	:bool
+	RETURN	$3	:bool

nautilus/test/data/bool-tests/after_ssa/boolNotEquals.trace

@@ -0,0 +1,3 @@
+B0($1:bool,$2:bool)
+	NEQ	$3	$1	$2	:bool
+	RETURN	$3	:bool

nautilus/test/data/bool-tests/after_ssa/boolOr.trace

@@ -0,0 +1,3 @@
+B0($1:bool,$2:bool)
+	OR	$5	$1	$2	:bool
+	RETURN	$5	:bool

nautilus/test/data/bool-tests/ir/boolAnd.trace

@@ -0,0 +1,7 @@
+NautilusIr {
+execute() {
+Block_0($1:bool, $2:bool):
+	$5 = $1 and $2 :bool
+	return ($5) :bool
+}
+} //NESIR

nautilus/test/data/bool-tests/ir/boolAssignment.trace

@@ -0,0 +1,6 @@
+NautilusIr {
+execute() {
+Block_0($1:bool):
+	return ($1) :bool
+}
+} //NESIR

nautilus/test/data/bool-tests/ir/boolAssignmentOr.trace

@@ -0,0 +1,7 @@
+NautilusIr {
+execute() {
+Block_0($1:bool, $2:bool):
+	$6 = $1 or $2 :bool
+	return ($6) :bool
+}
+} //NESIR

nautilus/test/data/bool-tests/ir/boolConst.trace

@@ -0,0 +1,8 @@
+NautilusIr {
+execute() {
+Block_0($1:bool):
+	$3 = true :bool
+	$4 = $1 and $3 :bool
+	return ($4) :bool
+}
+} //NESIR

nautilus/test/data/bool-tests/ir/boolEquals.trace

@@ -0,0 +1,7 @@
+NautilusIr {
+execute() {
+Block_0($1:bool, $2:bool):
+	$3 = $1 == $2 :bool
+	return ($3) :bool
+}
+} //NESIR

nautilus/test/data/bool-tests/ir/boolIfElse.trace

@@ -0,0 +1,18 @@
+NautilusIr {
+execute() {
+Block_0($1:bool, $2:bool):
+	$5 = $1 and $2 :bool
+	if $5 ? Block_1() : Block_2() :void
+
+Block_1():
+	$7 = true :bool
+	br Block_3($7) :void
+
+Block_3($7:bool):
+	return ($7) :bool
+
+Block_2():
+	$10 = false :bool
+	br Block_3($10) :void
+}
+} //NESIR

nautilus/test/data/bool-tests/ir/boolNestedFunction.trace

@@ -0,0 +1,18 @@
+NautilusIr {
+execute() {
+Block_0($1:bool, $2:bool):
+	$5 = $1 == $2 :bool
+	if $5 ? Block_1() : Block_2() :void
+
+Block_1():
+	$7 = true :bool
+	br Block_3($7) :void
+
+Block_3($7:bool):
+	return ($7) :bool
+
+Block_2():
+	$10 = false :bool
+	br Block_3($10) :void
+}
+} //NESIR

nautilus/test/data/bool-tests/ir/boolNot.trace

@@ -0,0 +1,7 @@
+NautilusIr {
+execute() {
+Block_0($1:bool):
+	$3 = !$1 :bool
+	return ($3) :bool
+}
+} //NESIR

nautilus/test/data/bool-tests/ir/boolNotEquals.trace

@@ -0,0 +1,7 @@
+NautilusIr {
+execute() {
+Block_0($1:bool, $2:bool):
+	$3 = $1  $2 :bool
+	return ($3) :bool
+}
+} //NESIR

nautilus/test/data/bool-tests/ir/boolOr.trace

@@ -0,0 +1,7 @@
+NautilusIr {
+execute() {
+Block_0($1:bool, $2:bool):
+	$5 = $1 or $2 :bool
+	return ($5) :bool
+}
+} //NESIR

nautilus/test/data/bool-tests/tracing/boolAnd.trace

@@ -0,0 +1,5 @@
+B0($1:bool,$2:bool)
+	ASSIGN	$3	$1	:bool
+	ASSIGN	$4	$2	:bool
+	AND	$5	$3	$4	:bool
+	RETURN	$5	:bool

nautilus/test/data/bool-tests/tracing/boolAssignment.trace

@@ -0,0 +1,3 @@
+B0($1:bool)
+	ASSIGN	$2	$1	:bool
+	RETURN	$2	:bool

nautilus/test/data/bool-tests/tracing/boolAssignmentOr.trace

@@ -0,0 +1,7 @@
+B0($1:bool,$2:bool)
+	ASSIGN	$3	$1	:bool
+	ASSIGN	$1	$2	:bool
+	ASSIGN	$4	$3	:bool
+	ASSIGN	$5	$2	:bool
+	OR	$6	$4	$5	:bool
+	RETURN	$6	:bool

nautilus/test/data/bool-tests/tracing/boolConst.trace

@@ -0,0 +1,5 @@
+B0($1:bool)
+	ASSIGN	$2	$1	:bool
+	CONST	$3	true	:bool
+	AND	$4	$2	$3	:bool
+	RETURN	$4	:bool

nautilus/test/data/bool-tests/tracing/boolEquals.trace

@@ -0,0 +1,3 @@
+B0($1:bool,$2:bool)
+	EQ	$3	$1	$2	:bool
+	RETURN	$3	:bool

nautilus/test/data/bool-tests/tracing/boolIfElse.trace

@@ -0,0 +1,11 @@
+B0($1:bool,$2:bool)
+	ASSIGN	$3	$1	:bool
+	ASSIGN	$4	$2	:bool
+	AND	$5	$3	$4	:bool
+	CMP	$6	$5	B1()	B2()	:void
+B1()
+	CONST	$7	true	:bool
+	RETURN	$7	:bool
+B2()
+	CONST	$10	false	:bool
+	RETURN	$10	:bool

nautilus/test/data/bool-tests/tracing/boolNestedFunction.trace

@@ -0,0 +1,11 @@
+B0($1:bool,$2:bool)
+	ASSIGN	$3	$1	:bool
+	ASSIGN	$4	$2	:bool
+	EQ	$5	$3	$4	:bool
+	CMP	$6	$5	B1()	B2()	:void
+B1()
+	CONST	$7	true	:bool
+	RETURN	$7	:bool
+B2()
+	CONST	$10	false	:bool
+	RETURN	$10	:bool

nautilus/test/data/bool-tests/tracing/boolNot.trace

@@ -0,0 +1,4 @@
+B0($1:bool)
+	ASSIGN	$2	$1	:bool
+	NOT	$3	$2	:bool
+	RETURN	$3	:bool

nautilus/test/data/bool-tests/tracing/boolNotEquals.trace

@@ -0,0 +1,3 @@
+B0($1:bool,$2:bool)
+	NEQ	$3	$1	$2	:bool
+	RETURN	$3	:bool

nautilus/test/data/bool-tests/tracing/boolOr.trace

@@ -0,0 +1,5 @@
+B0($1:bool,$2:bool)
+	ASSIGN	$3	$1	:bool
+	ASSIGN	$4	$2	:bool
+	OR	$5	$3	$4	:bool
+	RETURN	$5	:bool

nautilus/test/data/cast-tests/after_ssa/implicitCast_d_i16.trace

@@ -0,0 +1,3 @@
+B0($1:f64)
+	CAST	$2	$1	:i16
+	RETURN	$2	:i16

nautilus/test/data/cast-tests/after_ssa/implicitCast_d_i32.trace

@@ -0,0 +1,3 @@
+B0($1:f64)
+	CAST	$2	$1	:i32
+	RETURN	$2	:i32

nautilus/test/data/cast-tests/after_ssa/implicitCast_d_i64.trace

@@ -0,0 +1,3 @@
+B0($1:f64)
+	CAST	$2	$1	:i64
+	RETURN	$2	:i64

nautilus/test/data/cast-tests/after_ssa/implicitCast_d_i8.trace

@@ -0,0 +1,3 @@
+B0($1:f64)
+	CAST	$2	$1	:i8
+	RETURN	$2	:i8

nautilus/test/data/cast-tests/after_ssa/implicitCast_d_ui16.trace

@@ -0,0 +1,3 @@
+B0($1:f64)
+	CAST	$2	$1	:ui16
+	RETURN	$2	:ui16

nautilus/test/data/cast-tests/after_ssa/implicitCast_d_ui32.trace

@@ -0,0 +1,3 @@
+B0($1:f64)
+	CAST	$2	$1	:ui32
+	RETURN	$2	:ui32

nautilus/test/data/cast-tests/after_ssa/implicitCast_d_ui64.trace

@@ -0,0 +1,3 @@
+B0($1:f64)
+	CAST	$2	$1	:ui64
+	RETURN	$2	:ui64

nautilus/test/data/cast-tests/after_ssa/implicitCast_d_ui8.trace

@@ -0,0 +1,3 @@
+B0($1:f64)
+	CAST	$2	$1	:ui8
+	RETURN	$2	:ui8

nautilus/test/data/cast-tests/after_ssa/implicitCast_f_i16.trace

@@ -0,0 +1,3 @@
+B0($1:f32)
+	CAST	$2	$1	:i16
+	RETURN	$2	:i16

nautilus/test/data/cast-tests/after_ssa/implicitCast_f_i32.trace

@@ -0,0 +1,3 @@
+B0($1:f32)
+	CAST	$2	$1	:i32
+	RETURN	$2	:i32

nautilus/test/data/cast-tests/after_ssa/implicitCast_f_i64.trace

@@ -0,0 +1,3 @@
+B0($1:f32)
+	CAST	$2	$1	:i64
+	RETURN	$2	:i64

nautilus/test/data/cast-tests/after_ssa/implicitCast_f_i8.trace

@@ -0,0 +1,3 @@
+B0($1:f32)
+	CAST	$2	$1	:i8
+	RETURN	$2	:i8

nautilus/test/data/cast-tests/after_ssa/implicitCast_f_ui16.trace

@@ -0,0 +1,3 @@
+B0($1:f32)
+	CAST	$2	$1	:ui16
+	RETURN	$2	:ui16

nautilus/test/data/cast-tests/after_ssa/implicitCast_f_ui32.trace

@@ -0,0 +1,3 @@
+B0($1:f32)
+	CAST	$2	$1	:ui32
+	RETURN	$2	:ui32

nautilus/test/data/cast-tests/after_ssa/implicitCast_f_ui64.trace

@@ -0,0 +1,3 @@
+B0($1:f32)
+	CAST	$2	$1	:ui64
+	RETURN	$2	:ui64

nautilus/test/data/cast-tests/after_ssa/implicitCast_f_ui8.trace

@@ -0,0 +1,3 @@
+B0($1:f32)
+	CAST	$2	$1	:ui8
+	RETURN	$2	:ui8

nautilus/test/data/cast-tests/after_ssa/implicitCast_i16_i16.trace

@@ -0,0 +1,2 @@
+B0($1:i16)
+	RETURN	$1	:i16

nautilus/test/data/cast-tests/after_ssa/implicitCast_i16_i32.trace

@@ -0,0 +1,3 @@
+B0($1:i16)
+	CAST	$2	$1	:i32
+	RETURN	$2	:i32

nautilus/test/data/cast-tests/after_ssa/implicitCast_i16_i64.trace

@@ -0,0 +1,3 @@
+B0($1:i16)
+	CAST	$2	$1	:i64
+	RETURN	$2	:i64

nautilus/test/data/cast-tests/after_ssa/implicitCast_i16_i8.trace

@@ -0,0 +1,3 @@
+B0($1:i16)
+	CAST	$2	$1	:i8
+	RETURN	$2	:i8

nautilus/test/data/cast-tests/after_ssa/implicitCast_i16_ui16.trace

@@ -0,0 +1,3 @@
+B0($1:i16)
+	CAST	$2	$1	:ui16
+	RETURN	$2	:ui16

nautilus/test/data/cast-tests/after_ssa/implicitCast_i16_ui32.trace

@@ -0,0 +1,3 @@
+B0($1:i16)
+	CAST	$2	$1	:ui32
+	RETURN	$2	:ui32

nautilus/test/data/cast-tests/after_ssa/implicitCast_i16_ui64.trace

@@ -0,0 +1,3 @@
+B0($1:i16)
+	CAST	$2	$1	:ui64
+	RETURN	$2	:ui64

nautilus/test/data/cast-tests/after_ssa/implicitCast_i16_ui8.trace

@@ -0,0 +1,3 @@
+B0($1:i16)
+	CAST	$2	$1	:ui8
+	RETURN	$2	:ui8

nautilus/test/data/cast-tests/after_ssa/implicitCast_i32_i16.trace

@@ -0,0 +1,3 @@
+B0($1:i32)
+	CAST	$2	$1	:i16
+	RETURN	$2	:i16

nautilus/test/data/cast-tests/after_ssa/implicitCast_i32_i32.trace

@@ -0,0 +1,2 @@
+B0($1:i32)
+	RETURN	$1	:i32

nautilus/test/data/cast-tests/after_ssa/implicitCast_i32_i64.trace

@@ -0,0 +1,3 @@
+B0($1:i32)
+	CAST	$2	$1	:i64
+	RETURN	$2	:i64

nautilus/test/data/cast-tests/after_ssa/implicitCast_i32_i8.trace

@@ -0,0 +1,3 @@
+B0($1:i32)
+	CAST	$2	$1	:i8
+	RETURN	$2	:i8

nautilus/test/data/cast-tests/after_ssa/implicitCast_i32_ui16.trace

@@ -0,0 +1,3 @@
+B0($1:i32)
+	CAST	$2	$1	:ui16
+	RETURN	$2	:ui16

nautilus/test/data/cast-tests/after_ssa/implicitCast_i32_ui32.trace

@@ -0,0 +1,3 @@
+B0($1:i32)
+	CAST	$2	$1	:ui32
+	RETURN	$2	:ui32

nautilus/test/data/cast-tests/after_ssa/implicitCast_i32_ui64.trace

@@ -0,0 +1,3 @@
+B0($1:i32)
+	CAST	$2	$1	:ui64
+	RETURN	$2	:ui64

nautilus/test/data/cast-tests/after_ssa/implicitCast_i32_ui8.trace

@@ -0,0 +1,3 @@
+B0($1:i32)
+	CAST	$2	$1	:ui8
+	RETURN	$2	:ui8

nautilus/test/data/cast-tests/after_ssa/implicitCast_i64_i16.trace

@@ -0,0 +1,3 @@
+B0($1:i64)
+	CAST	$2	$1	:i16
+	RETURN	$2	:i16

nautilus/test/data/cast-tests/after_ssa/implicitCast_i64_i32.trace

@@ -0,0 +1,3 @@
+B0($1:i64)
+	CAST	$2	$1	:i32
+	RETURN	$2	:i32

nautilus/test/data/cast-tests/after_ssa/implicitCast_i64_i64.trace

@@ -0,0 +1,2 @@
+B0($1:i64)
+	RETURN	$1	:i64

nautilus/test/data/cast-tests/after_ssa/implicitCast_i64_i8.trace

@@ -0,0 +1,3 @@
+B0($1:i64)
+	CAST	$2	$1	:i8
+	RETURN	$2	:i8

nautilus/test/data/cast-tests/after_ssa/implicitCast_i64_ui16.trace

@@ -0,0 +1,3 @@
+B0($1:i64)
+	CAST	$2	$1	:ui16
+	RETURN	$2	:ui16

nautilus/test/data/cast-tests/after_ssa/implicitCast_i64_ui32.trace

@@ -0,0 +1,3 @@
+B0($1:i64)
+	CAST	$2	$1	:ui32
+	RETURN	$2	:ui32

nautilus/test/data/cast-tests/after_ssa/implicitCast_i64_ui64.trace

@@ -0,0 +1,3 @@
+B0($1:i64)
+	CAST	$2	$1	:ui64
+	RETURN	$2	:ui64

nautilus/test/data/cast-tests/after_ssa/implicitCast_i64_ui8.trace

@@ -0,0 +1,3 @@
+B0($1:i64)
+	CAST	$2	$1	:ui8
+	RETURN	$2	:ui8

nautilus/test/data/cast-tests/after_ssa/implicitCast_i8_i16.trace

@@ -0,0 +1,3 @@
+B0($1:i8)
+	CAST	$2	$1	:i16
+	RETURN	$2	:i16

nautilus/test/data/cast-tests/after_ssa/implicitCast_i8_i32.trace

@@ -0,0 +1,3 @@
+B0($1:i8)
+	CAST	$2	$1	:i32
+	RETURN	$2	:i32