diff options
author | 2012-08-13 17:53:01 +0100 | |
---|---|---|
committer | 2012-08-13 17:53:01 +0100 | |
commit | 5440f7905d316fbccab19102776cc2d90eef61ae (patch) | |
tree | 662d6d1534132f1955f6ef6f085d1ad46c8c94e0 /Source/GPUVerify/RaceInstrumenter.cs | |
parent | 5438a42e68bde8ef0b860d28af25acb33c9532e3 (diff) |
Removed some dud code for handling nested maps, which we no longer support.
Diffstat (limited to 'Source/GPUVerify/RaceInstrumenter.cs')
-rw-r--r-- | Source/GPUVerify/RaceInstrumenter.cs | 20 |
1 files changed, 2 insertions, 18 deletions
diff --git a/Source/GPUVerify/RaceInstrumenter.cs b/Source/GPUVerify/RaceInstrumenter.cs index d3032783..6a96713a 100644 --- a/Source/GPUVerify/RaceInstrumenter.cs +++ b/Source/GPUVerify/RaceInstrumenter.cs @@ -336,15 +336,7 @@ namespace GPUVerify { foreach (AccessRecord ar in rc.accesses) {
ExprSeq inParams = new ExprSeq();
- if (ar.IndexZ != null) {
- inParams.Add(ar.IndexZ);
- }
- if (ar.IndexY != null) {
- inParams.Add(ar.IndexY);
- }
- if (ar.IndexX != null) {
- inParams.Add(ar.IndexX);
- }
+ inParams.Add(ar.Index);
Procedure logProcedure = GetLogAccessProcedure(c.tok, "_LOG_READ_" + ar.v.Name);
@@ -364,15 +356,7 @@ namespace GPUVerify { AccessRecord ar = wc.GetAccess();
ExprSeq inParams = new ExprSeq();
- if (ar.IndexZ != null) {
- inParams.Add(ar.IndexZ);
- }
- if (ar.IndexY != null) {
- inParams.Add(ar.IndexY);
- }
- if (ar.IndexX != null) {
- inParams.Add(ar.IndexX);
- }
+ inParams.Add(ar.Index);
Procedure logProcedure = GetLogAccessProcedure(c.tok, "_LOG_WRITE_" + ar.v.Name);
|