Introduce QIR v2.1 Profile Adaptive_RIFLA

source/compiler/qsc/src/interpret.rs

@@ -40,7 +40,7 @@ use qsc_data_structures::{
     line_column::{Encoding, Range},
     source::{Source, SourceMap},
     span::Span,
-    target::TargetCapabilityFlags,
+    target::{Profile, TargetCapabilityFlags},
 };
 use qsc_eval::{
     Env, ErrorBehavior, State, VariableInfo,
@@ -1096,7 +1096,7 @@ impl Interpreter {
         entry_expr: Option<&str>,
         tracer_config: TracerConfig,
     ) -> std::result::Result<Circuit, Vec<Error>> {
-        if self.capabilities == TargetCapabilityFlags::all() {
+        if self.capabilities > Profile::AdaptiveRIF.into() {
             return Err(vec![Error::UnsupportedRuntimeCapabilities]);
         }
 
@@ -1116,7 +1116,7 @@ impl Interpreter {
         args: Value,
         tracer_config: TracerConfig,
     ) -> std::result::Result<Circuit, Vec<Error>> {
-        if self.capabilities == TargetCapabilityFlags::all() {
+        if self.capabilities > Profile::AdaptiveRIF.into() {
             return Err(vec![Error::UnsupportedRuntimeCapabilities]);
         }
 

source/compiler/qsc_circuit/src/rir_to_circuit.rs

@@ -369,7 +369,10 @@ fn process_variables(
             let expr = expr_from_operand(&state.variables, operand)?;
             store_expr_in_variable(&mut state.variables, *variable, expr)?;
         }
-        instruction @ (Instruction::Store(..) | Instruction::BitwiseNot(..)) => {
+        instruction @ (Instruction::Store(..)
+        | Instruction::BitwiseNot(..)
+        | Instruction::Alloca(..)
+        | Instruction::Load(..)) => {
             return Err(Error::UnsupportedFeature(format!(
                 "unsupported instruction in block: {instruction:?}"
             )));