From fe851f7ccddafbf7bf5d72ffacf6e427a723cbbb Mon Sep 17 00:00:00 2001 From: lyken Date: Wed, 28 Aug 2024 12:58:57 +0800 Subject: [PATCH] const_int sign_extend --- nac3core/src/codegen/model/int.rs | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/nac3core/src/codegen/model/int.rs b/nac3core/src/codegen/model/int.rs index 6eede4a8..255dc8fb 100644 --- a/nac3core/src/codegen/model/int.rs +++ b/nac3core/src/codegen/model/int.rs @@ -114,8 +114,9 @@ impl<'ctx, N: IntKind<'ctx>> Int<'ctx, N> { generator: &mut G, ctx: &'ctx Context, value: u64, + sign_extend: bool, ) -> Instance<'ctx, Self> { - let value = self.llvm_type(generator, ctx).const_int(value, false); + let value = self.llvm_type(generator, ctx).const_int(value, sign_extend); unsafe { self.believe_value(value) } } @@ -133,7 +134,7 @@ impl<'ctx, N: IntKind<'ctx>> Int<'ctx, N> { generator: &mut G, ctx: &'ctx Context, ) -> Instance<'ctx, Self> { - self.const_int(generator, ctx, 1) + self.const_int(generator, ctx, 1, false) } pub fn const_all_ones( @@ -283,7 +284,7 @@ impl<'ctx> Int<'ctx, Bool> { generator: &mut G, ctx: &'ctx Context, ) -> Instance<'ctx, Self> { - self.const_int(generator, ctx, 0) + self.const_int(generator, ctx, 0, false) } #[must_use] @@ -292,7 +293,7 @@ impl<'ctx> Int<'ctx, Bool> { generator: &mut G, ctx: &'ctx Context, ) -> Instance<'ctx, Self> { - self.const_int(generator, ctx, 1) + self.const_int(generator, ctx, 1, false) } }