diff options
Diffstat (limited to 'Source/GPUVerify/CrossThreadInvariantProcessor.cs')
| -rw-r--r-- | Source/GPUVerify/CrossThreadInvariantProcessor.cs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Source/GPUVerify/CrossThreadInvariantProcessor.cs b/Source/GPUVerify/CrossThreadInvariantProcessor.cs index b5772c0c..16416e11 100644 --- a/Source/GPUVerify/CrossThreadInvariantProcessor.cs +++ b/Source/GPUVerify/CrossThreadInvariantProcessor.cs @@ -19,10 +19,8 @@ namespace GPUVerify if (call.Func.Name.Equals("__uniform_bv32") || call.Func.Name.Equals("__uniform_bool"))
{
- return Expr.True;
-/* Debug.Assert(false);
return Expr.Eq(new VariableDualiser(1).VisitExpr(node.Args[0].Clone() as Expr),
- new VariableDualiser(2).VisitExpr(node.Args[0].Clone() as Expr));*/
+ new VariableDualiser(2).VisitExpr(node.Args[0].Clone() as Expr));
}
if (call.Func.Name.Equals("__distinct_bv32") || call.Func.Name.Equals("__distinct_bool"))
|