From 3e3b628f2b1a416bfb823f8de9d3311bad479899 Mon Sep 17 00:00:00 2001 From: Peter Collingbourne Date: Mon, 11 Jun 2012 16:57:36 +0100 Subject: GPUVerify: dualiser: preserve attributes of assert cmd This allows us to retain invariant tags. --- Source/GPUVerify/KernelDualiser.cs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Source') diff --git a/Source/GPUVerify/KernelDualiser.cs b/Source/GPUVerify/KernelDualiser.cs index 5c3f6edc..614659b6 100644 --- a/Source/GPUVerify/KernelDualiser.cs +++ b/Source/GPUVerify/KernelDualiser.cs @@ -188,12 +188,12 @@ namespace GPUVerify AssertCmd ass = c as AssertCmd; if (ContainsAsymmetricExpression(ass.Expr)) { - cs.Add(new AssertCmd(c.tok, new VariableDualiser(1, verifier.uniformityAnalyser, procName).VisitExpr(ass.Expr.Clone() as Expr))); + cs.Add(new AssertCmd(c.tok, new VariableDualiser(1, verifier.uniformityAnalyser, procName).VisitExpr(ass.Expr.Clone() as Expr), ass.Attributes)); } else { cs.Add(new AssertCmd(c.tok, Expr.And(new VariableDualiser(1, verifier.uniformityAnalyser, procName).VisitExpr(ass.Expr.Clone() as Expr), - new VariableDualiser(2, verifier.uniformityAnalyser, procName).VisitExpr(ass.Expr.Clone() as Expr)))); + new VariableDualiser(2, verifier.uniformityAnalyser, procName).VisitExpr(ass.Expr.Clone() as Expr)), ass.Attributes)); } } else if (c is AssumeCmd) -- cgit v1.2.3