M-Labs/nac3
M-Labs/nac3
8
1
Fork 12
Code Issues 99 Pull Requests 19 Releases Wiki Activity

core/model: remove extra generic params

Browse Source
This commit is contained in:
lyken 2024-08-05 10:53:29 +08:00
parent 1873b35654
commit f144cc338e
No known key found for this signature in database
GPG Key ID: 3BD5FC6AC8325DD8
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
nac3core/src/codegen/model/int.rs
View File

@ -164,7 +164,7 @@ impl IntModel<Bool> {
} }
impl<'ctx, N: IntKind<'ctx>> Int<'ctx, N> { impl<'ctx, N: IntKind<'ctx>> Int<'ctx, N> {
pub fn s_extend_or_bit_cast<NewN: IntKind<'ctx>, G: CodeGenerator + ?Sized>( pub fn s_extend_or_bit_cast<NewN: IntKind<'ctx>>(
&self, &self,
tyctx: TypeContext<'ctx>, tyctx: TypeContext<'ctx>,
ctx: &CodeGenContext<'ctx, '_>, ctx: &CodeGenContext<'ctx, '_>,
@ -174,7 +174,7 @@ impl<'ctx, N: IntKind<'ctx>> Int<'ctx, N> {
IntModel(to_int_kind).s_extend_or_bit_cast(tyctx, ctx, self.value, name) IntModel(to_int_kind).s_extend_or_bit_cast(tyctx, ctx, self.value, name)
} }
pub fn truncate<NewN: IntKind<'ctx>, G: CodeGenerator + ?Sized>( pub fn truncate<NewN: IntKind<'ctx>>(
&self, &self,
tyctx: TypeContext<'ctx>, tyctx: TypeContext<'ctx>,
ctx: &CodeGenContext<'ctx, '_>, ctx: &CodeGenContext<'ctx, '_>,
@ -185,7 +185,7 @@ impl<'ctx, N: IntKind<'ctx>> Int<'ctx, N> {
} }
#[must_use] #[must_use]
pub fn add<G: CodeGenerator + ?Sized>( pub fn add(
&self, &self,
ctx: &CodeGenContext<'ctx, '_>, ctx: &CodeGenContext<'ctx, '_>,
other: Int<'ctx, N>, other: Int<'ctx, N>,
@ -196,7 +196,7 @@ impl<'ctx, N: IntKind<'ctx>> Int<'ctx, N> {
} }
#[must_use] #[must_use]
pub fn sub<G: CodeGenerator + ?Sized>( pub fn sub(
&self, &self,
ctx: &CodeGenContext<'ctx, '_>, ctx: &CodeGenContext<'ctx, '_>,
other: Int<'ctx, N>, other: Int<'ctx, N>,
@ -207,7 +207,7 @@ impl<'ctx, N: IntKind<'ctx>> Int<'ctx, N> {
} }
#[must_use] #[must_use]
pub fn mul<G: CodeGenerator + ?Sized>( pub fn mul(
&self, &self,
ctx: &CodeGenContext<'ctx, '_>, ctx: &CodeGenContext<'ctx, '_>,
other: Int<'ctx, N>, other: Int<'ctx, N>,
@ -217,7 +217,7 @@ impl<'ctx, N: IntKind<'ctx>> Int<'ctx, N> {
self.model.believe_value(value) self.model.believe_value(value)
} }
pub fn compare<G: CodeGenerator + ?Sized>( pub fn compare(
&self, &self,
ctx: &CodeGenContext<'ctx, '_>, ctx: &CodeGenContext<'ctx, '_>,
op: IntPredicate, op: IntPredicate,