Add RUS test case

Author: swernli

source/pip/tests-integration/resources/adaptive_rifla/input/RUS.qs

@@ -0,0 +1,14 @@
+namespace Test {
+    operation Main() : Result[] {
+        use qs = Qubit[2];
+        use anc = Qubit();
+        repeat {
+            ApplyToEach(H, qs);
+            Controlled X(qs, anc);
+        } until MResetZ(anc) == Zero
+        fixup {
+            ResetAll(qs);
+        }
+        MResetEachZ(qs)
+    }
+}

source/pip/tests-integration/resources/adaptive_rifla/output/RUS.ll

@@ -0,0 +1,70 @@
+@0 = internal constant [4 x i8] c"0_a\00"
+@1 = internal constant [6 x i8] c"1_a0r\00"
+@2 = internal constant [6 x i8] c"2_a1r\00"
+
+define i64 @ENTRYPOINT__main() #0 {
+block_0:
+  %var_1 = alloca i1
+  call void @__quantum__rt__initialize(ptr null)
+  store i1 true, ptr %var_1
+  br label %block_1
+block_1:
+  %var_7 = load i1, ptr %var_1
+  br i1 %var_7, label %block_2, label %block_3
+block_2:
+  call void @__quantum__qis__h__body(ptr inttoptr (i64 0 to ptr))
+  call void @__quantum__qis__h__body(ptr inttoptr (i64 1 to ptr))
+  call void @__quantum__qis__ccx__body(ptr inttoptr (i64 0 to ptr), ptr inttoptr (i64 1 to ptr), ptr inttoptr (i64 2 to ptr))
+  call void @__quantum__qis__mresetz__body(ptr inttoptr (i64 2 to ptr), ptr inttoptr (i64 0 to ptr))
+  %var_3 = call i1 @__quantum__rt__read_result(ptr inttoptr (i64 0 to ptr))
+  %var_4 = icmp eq i1 %var_3, false
+  %var_5 = xor i1 %var_4, true
+  store i1 %var_5, ptr %var_1
+  %var_9 = load i1, ptr %var_1
+  br i1 %var_9, label %block_4, label %block_5
+block_3:
+  call void @__quantum__qis__mresetz__body(ptr inttoptr (i64 0 to ptr), ptr inttoptr (i64 1 to ptr))
+  call void @__quantum__qis__mresetz__body(ptr inttoptr (i64 1 to ptr), ptr inttoptr (i64 2 to ptr))
+  call void @__quantum__rt__array_record_output(i64 2, ptr @0)
+  call void @__quantum__rt__result_record_output(ptr inttoptr (i64 1 to ptr), ptr @1)
+  call void @__quantum__rt__result_record_output(ptr inttoptr (i64 2 to ptr), ptr @2)
+  ret i64 0
+block_4:
+  call void @__quantum__qis__reset__body(ptr inttoptr (i64 0 to ptr))
+  call void @__quantum__qis__reset__body(ptr inttoptr (i64 1 to ptr))
+  br label %block_5
+block_5:
+  br label %block_1
+}
+
+declare void @__quantum__rt__initialize(ptr)
+
+declare void @__quantum__qis__h__body(ptr)
+
+declare void @__quantum__qis__ccx__body(ptr, ptr, ptr)
+
+declare void @__quantum__qis__mresetz__body(ptr, ptr) #1
+
+declare i1 @__quantum__rt__read_result(ptr)
+
+declare void @__quantum__qis__reset__body(ptr) #1
+
+declare void @__quantum__rt__array_record_output(i64, ptr)
+
+declare void @__quantum__rt__result_record_output(ptr, ptr)
+
+attributes #0 = { "entry_point" "output_labeling_schema" "qir_profiles"="adaptive_profile" "required_num_qubits"="3" "required_num_results"="3" }
+attributes #1 = { "irreversible" }
+
+; module flags
+
+!llvm.module.flags = !{!0, !1, !2, !3, !4, !5, !6, !7}
+
+!0 = !{i32 1, !"qir_major_version", i32 2}
+!1 = !{i32 7, !"qir_minor_version", i32 1}
+!2 = !{i32 1, !"dynamic_qubit_management", i1 false}
+!3 = !{i32 1, !"dynamic_result_management", i1 false}
+!4 = !{i32 5, !"int_computations", !{!"i64"}}
+!5 = !{i32 5, !"float_computations", !{!"double"}}
+!6 = !{i32 7, !"backwards_branching", i2 3}
+!7 = !{i32 1, !"arrays", i1 true}

source/pip/tests-integration/resources/adaptive_rifla/output/RUS.out

@@ -0,0 +1,10 @@
+START
+METADATA	entry_point
+METADATA	output_labeling_schema
+METADATA	qir_profiles	adaptive_profile
+METADATA	required_num_qubits	3
+METADATA	required_num_results	3
+OUTPUT	ARRAY	2	0_a
+OUTPUT	RESULT	0	1_a0r
+OUTPUT	RESULT	0	2_a1r
+END	0