Encode limitations explicitly

Veridise · Oct 10, 2023 · e8ba2ed · e8ba2ed
1 parent 06ed0a0
commit e8ba2ed
Showing 1 changed file with 1 addition and 12 deletions.
diff --git a/compiler/src/intermediate_representation/constraint_bucket.rs b/compiler/src/intermediate_representation/constraint_bucket.rs
@@ -116,10 +116,7 @@ impl WriteLLVMIR for ConstraintBucket {
         match self {
             ConstraintBucket::Substitution(i) => {
                 let size = match i.as_ref() {
-                    Instruction::Value(_) => todo!(),
-                    Instruction::Load(_) => todo!(),
                     Instruction::Store(b) => b.context.size,
-                    Instruction::Compute(_) => todo!(),
                     Instruction::Call(b) => {
                         for arg_ty in &b.argument_types {
                             if arg_ty.size > 1 {
@@ -129,15 +126,7 @@ impl WriteLLVMIR for ConstraintBucket {
                         }
                         1
                     },
-                    Instruction::Branch(_) => todo!(),
-                    Instruction::Return(_) => todo!(),
-                    Instruction::Assert(_) => todo!(),
-                    Instruction::Log(_) => todo!(),
-                    Instruction::Loop(_) => todo!(),
-                    Instruction::CreateCmp(_) => todo!(),
-                    Instruction::Constraint(_) => todo!(),
-                    Instruction::Block(_) => todo!(),
-                    Instruction::Nop(_) => todo!(),
+                    _ => unreachable!("Instruction {:#?} should not be used for constraint substitution", i),
                 };
                 assert_ne!(0, size, "must have non-zero size");
                 if size == 1 {