From 3c1f841a41e672eb78dba7ebcc9fdfa485dbea7c Mon Sep 17 00:00:00 2001 From: Scott Carda Date: Fri, 12 Jun 2020 16:02:12 -0700 Subject: [PATCH 1/4] Added NoOp to precondition dependency list for classical control. --- src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs b/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs index cbd1a86cf5..1a08c60432 100644 --- a/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs +++ b/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs @@ -44,6 +44,8 @@ public bool PreconditionVerification(QsCompilation compilation) .ToHashSet(); var requiredBuiltIns = new HashSet() { + BuiltIn.NoOp.FullName, + BuiltIn.ApplyIfZero.FullName, BuiltIn.ApplyIfZeroA.FullName, BuiltIn.ApplyIfZeroC.FullName, From f3b30701c6ebb40c6b73892a687d901388b8221d Mon Sep 17 00:00:00 2001 From: Scott Carda Date: Fri, 12 Jun 2020 18:48:58 -0700 Subject: [PATCH 2/4] Revert "Added NoOp to precondition dependency list for classical control." This reverts commit 3c1f841a41e672eb78dba7ebcc9fdfa485dbea7c. --- src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs b/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs index 1a08c60432..cbd1a86cf5 100644 --- a/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs +++ b/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs @@ -44,8 +44,6 @@ public bool PreconditionVerification(QsCompilation compilation) .ToHashSet(); var requiredBuiltIns = new HashSet() { - BuiltIn.NoOp.FullName, - BuiltIn.ApplyIfZero.FullName, BuiltIn.ApplyIfZeroA.FullName, BuiltIn.ApplyIfZeroC.FullName, From b3f1640e84266c0edde947a9bb0387181febbe71 Mon Sep 17 00:00:00 2001 From: Scott Carda Date: Sat, 13 Jun 2020 17:44:41 -0700 Subject: [PATCH 3/4] Removed NoOp from dependency list for precondition of classical control rewrite step. --- src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs b/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs index 1a08c60432..cbd1a86cf5 100644 --- a/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs +++ b/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs @@ -44,8 +44,6 @@ public bool PreconditionVerification(QsCompilation compilation) .ToHashSet(); var requiredBuiltIns = new HashSet() { - BuiltIn.NoOp.FullName, - BuiltIn.ApplyIfZero.FullName, BuiltIn.ApplyIfZeroA.FullName, BuiltIn.ApplyIfZeroC.FullName, From 24b79cffe7f0f51aa38ae118d320759bd9e626cc Mon Sep 17 00:00:00 2001 From: Scott Carda Date: Fri, 26 Jun 2020 10:24:44 -0700 Subject: [PATCH 4/4] Added NoOp to list of dependencies in precondition for Classically Controlled rewrite step. --- src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs b/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs index cbd1a86cf5..caa0535e41 100644 --- a/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs +++ b/src/QsCompiler/Compiler/RewriteSteps/ClassicallyControlled.cs @@ -44,6 +44,8 @@ public bool PreconditionVerification(QsCompilation compilation) .ToHashSet(); var requiredBuiltIns = new HashSet() { + BuiltIn.NoOp.FullName, + BuiltIn.ApplyIfZero.FullName, BuiltIn.ApplyIfZeroA.FullName, BuiltIn.ApplyIfZeroC.FullName,