From 5e4035295b5bb48342216686cae112255b77d98a Mon Sep 17 00:00:00 2001 From: Peter Collingbourne Date: Thu, 7 Jun 2012 20:27:34 +0100 Subject: GPUVerify: re-introduce the non-divergence check in unstructured mode This is OK now that we have assume stealing. --- Source/GPUVerify/GPUVerifier.cs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'Source/GPUVerify') diff --git a/Source/GPUVerify/GPUVerifier.cs b/Source/GPUVerify/GPUVerifier.cs index 27909c52..9d235bee 100644 --- a/Source/GPUVerify/GPUVerifier.cs +++ b/Source/GPUVerify/GPUVerifier.cs @@ -1375,8 +1375,7 @@ namespace GPUVerify IdentifierExpr P1 = new IdentifierExpr(tok, new LocalVariable(tok, BarrierProcedure.InParams[0].TypedIdent)); IdentifierExpr P2 = new IdentifierExpr(tok, new LocalVariable(tok, BarrierProcedure.InParams[1].TypedIdent)); - if (!CommandLineOptions.Unstructured) - checkNonDivergence.simpleCmds.Add(new AssertCmd(tok, Expr.Eq(P1, P2))); + checkNonDivergence.simpleCmds.Add(new AssertCmd(tok, Expr.Eq(P1, P2))); if (!CommandLineOptions.OnlyDivergence) { -- cgit v1.2.3