Add linking and test

runner/src/lib.rs

@@ -346,6 +346,7 @@ fn bind_functions(module: &Module, execution_engine: &ExecutionEngine) -> Result
     bind!(__quantum__qis__arctan2__body, 2);
     bind!(__quantum__qis__assertmeasurementprobability__body, 6);
     bind!(__quantum__qis__assertmeasurementprobability__ctl, 6);
+    bind!(__quantum__qis__barrier__body, 0);
     bind!(__quantum__qis__ccx__body, 3);
     bind!(__quantum__qis__cnot__body, 2);
     bind!(__quantum__qis__cos__body, 1);

runner/tests/tests.rs

@@ -1,6 +1,8 @@
 // Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
+use std::io::BufWriter;
+
 use runner::{run_bitcode, run_file, OUTPUT};
 
 // This group of tests verifies the behavior of QIR execution with a series of quantum gate checks based on the Choi–Jamiołkowski Isomorphism.
@@ -339,3 +341,16 @@ fn mixed_output_recording_calls_fail() {
         result.unwrap_err().to_lowercase()
     );
 }
+
+#[test]
+fn barrier_is_noop() {
+    OUTPUT.with(|output| {
+        let mut output = output.borrow_mut();
+        output.use_std_out(false);
+    });
+    let bitcode = include_bytes!("resources/barrier.bc");
+    let mut stream = BufWriter::new(Vec::new());
+    let result = run_bitcode(bitcode, None, 1, &mut stream);
+    assert!(result.is_ok());
+    assert_eq!(String::from_utf8(stream.into_inner().unwrap()).unwrap(), "START\nMETADATA\tentry_point\nMETADATA\toutput_labeling_schema\nMETADATA\tqir_profiles\tbase_profile\nMETADATA\trequired_num_qubits\t1\nMETADATA\trequired_num_results\t1\nOUTPUT\tRESULT\t0\nEND\t0\n");
+}