meta: Respect opt flags when performing whole-module optimization

standalone: Update demos
- Add `output_str` for printing a string - Add demo_test.py to test interop
2023-09-28 15:02:35 +08:00 · 2023-09-28 15:02:35 +08:00 · 2023-09-28 15:02:35 +08:00 · 2023-09-28 10:06:40 +08:00
1 changed files with 3 additions and 1 deletions
--- a/nac3core/src/codegen/expr.rs
+++ b/nac3core/src/codegen/expr.rs
@ -1293,11 +1293,12 @@ pub fn gen_expr<'ctx, 'a, G: CodeGenerator>(
                .unwrap()
                .to_basic_value_enum(ctx, generator, values[0].custom.unwrap())?
                .into_int_value();
+            let left = generator.bool_to_i1(ctx, left);
            let current = ctx.builder.get_insert_block().unwrap().get_parent().unwrap();
            let a_bb = ctx.ctx.append_basic_block(current, "a");
            let b_bb = ctx.ctx.append_basic_block(current, "b");
            let cont_bb = ctx.ctx.append_basic_block(current, "cont");
-            ctx.builder.build_conditional_branch(generator.bool_to_i1(ctx, left), a_bb, b_bb);
+            ctx.builder.build_conditional_branch(left, a_bb, b_bb);
            let (a, b) = match op {
                Boolop::Or => {
                    ctx.builder.position_at_end(a_bb);
@ -1463,6 +1464,7 @@ pub fn gen_expr<'ctx, 'a, G: CodeGenerator>(
                .unwrap()
                .to_basic_value_enum(ctx, generator, test.custom.unwrap())?
                .into_int_value();
+            let test = generator.bool_to_i1(ctx, test);
            let body_ty = body.custom.unwrap();
            let is_none = ctx.unifier.get_representative(body_ty) == ctx.primitives.none;
            let result = if !is_none {
Author	SHA1	Message	Date
David Mak	059b02f920	meta: Respect opt flags when performing whole-module optimization	2023-09-28 15:02:35 +08:00
David Mak	d0fa271fe6	standalone: Update demos - Add `output_str` for printing a string - Add demo_test.py to test interop	2023-09-28 15:02:35 +08:00
David Mak	cb39f61e79	core: Fix passing structure arguments to extern functions All parameters with a structure type in extern functions are marked as `byref` instead of `byval`, as most ABIs require the first several arguments to be passed in registers before spilling into the stack. `byval` breaks this contract by explicitly requiring all arguments to be passed in the stack, breaking interop with libraries written in other languages.	2023-09-28 15:02:35 +08:00
David Mak	176f250bdb	core: Fix missing conversion to i1 for IfExp	2023-09-28 10:06:40 +08:00