Entry point mapping

src/QsCompiler/Compiler/RewriteSteps/QirGeneration.cs

@@ -68,7 +68,7 @@ public bool PreconditionVerification(QsCompilation compilation)
         /// <inheritdoc/>
         public bool Transformation(QsCompilation compilation, out QsCompilation transformed)
         {
-            var generator = new Generator(compilation, new Configuration());
+            var generator = new Generator(compilation);
             generator.Apply();
             generator.Emit(this.outputFile);
             transformed = compilation;

src/QsCompiler/Core/SyntaxGenerator.fs

@@ -341,6 +341,17 @@ module SyntaxGenerator =
 
     let QubitArrayType = Qubit |> ResolvedType.New |> ArrayType |> ResolvedType.New
 
+    /// Recursively extracts and returns all tuple items in the given tuple.
+    let ExtractInnerItems (this: ITuple) =
+        let rec extractAll =
+            function
+            | Tuple items -> items |> Seq.collect extractAll
+            | Item item -> seq { yield item }
+            | Missing -> ArgumentException "missing item in tuple" |> raise
+            | _ -> ArgumentException "invalid item in tuple" |> raise
+
+        this |> extractAll
+
     /// Given a QsTuple, recursively extracts and returns all of its items.
     let ExtractItems (this: QsTuple<_>) = this.Items.ToImmutableArray()
 

src/QsCompiler/QirGeneration/Generator.cs

@@ -1,6 +1,7 @@
 // Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
+using Microsoft.Quantum.QIR;
 using Microsoft.Quantum.QsCompiler.SyntaxTree;
 using Microsoft.Quantum.QsCompiler.Transformations.Core;
 
@@ -11,11 +12,6 @@ namespace Microsoft.Quantum.QsCompiler.QIR
     /// </summary>
     public class Generator : SyntaxTreeTransformation<GenerationContext>
     {
-        /// <summary>
-        /// The configuration used for QIR emission.
-        /// </summary>
-        public readonly Configuration Config;
-
         /// <summary>
         /// The compilation unit for which QIR is generated.
         /// </summary>
@@ -39,11 +35,9 @@ public class Generator : SyntaxTreeTransformation<GenerationContext>
         /// Instantiates a transformation capable of emitting QIR for the given compilation.
         /// </summary>
         /// <param name="compilation">The compilation for which to generate QIR</param>
-        /// <param name="config">The configuration for the QIR generation</param>
-        public Generator(QsCompilation compilation, Configuration config)
-        : base(new GenerationContext(compilation.Namespaces, config), TransformationOptions.NoRebuild)
+        public Generator(QsCompilation compilation)
+        : base(new GenerationContext(compilation.Namespaces), TransformationOptions.NoRebuild)
         {
-            this.Config = config;
             this.Compilation = compilation;
 
             this.Namespaces = new QirNamespaceTransformation(this, TransformationOptions.NoRebuild);
@@ -59,7 +53,7 @@ public Generator(QsCompilation compilation, Configuration config)
         }
 
         /// <summary>
-        /// Constructs the QIR for the compilation.
+        /// Constructs the QIR for the compilation, including interop-friendly functions for entry points.
         /// Does not emit anything; use <see cref="Emit"/> to output the constructed QIR.
         /// </summary>
         public void Apply()
@@ -71,7 +65,8 @@ public void Apply()
 
             foreach (var epName in this.Compilation.EntryPoints)
             {
-                this.SharedState.GenerateEntryPoint(epName);
+                var wrapperName = GenerationContext.EntryPointName(epName);
+                this.SharedState.CreateInteropWrapper(wrapperName, epName, AttributeNames.EntryPoint);
             }
         }