diff options
| author |  Unknown <afd@afd-THINK.home> | 2012-07-20 12:48:04 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK.home> | 2012-07-20 12:48:04 +0100 |
| commit | e601612247686029a91f6db88b190d03dfd4106a (patch) | |
| tree | 3fd62f63207ae1dc8babe45035e4722e62348deb /Source/GPUVerify/IKernelArrayInfo.cs | |
| parent | b9dfc55284aa0dcffcaf9c5ddbde51a77572b31a (diff) | |
Implemented Houdini-based pointer analysis. Made inter-group race checking default.
Diffstat (limited to 'Source/GPUVerify/IKernelArrayInfo.cs')
| -rw-r--r-- | Source/GPUVerify/IKernelArrayInfo.cs | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/Source/GPUVerify/IKernelArrayInfo.cs b/Source/GPUVerify/IKernelArrayInfo.cs new file mode 100644 index 00000000..18ab0512 --- /dev/null +++ b/Source/GPUVerify/IKernelArrayInfo.cs @@ -0,0 +1,25 @@ +using System;
+using System.Collections.Generic;
+using System.Linq;
+using System.Text;
+using Microsoft.Boogie;
+
+namespace GPUVerify
+{
+ interface IKernelArrayInfo
+ {
+
+ ICollection<Variable> getGlobalArrays();
+
+ ICollection<Variable> getGroupSharedArrays();
+
+ ICollection<Variable> getPrivateArrays();
+
+ ICollection<Variable> getAllNonLocalArrays();
+
+ ICollection<Variable> getAllArrays();
+
+ bool Contains(Variable v);
+
+ }
+}
|