diff options
| author |  Peter Collingbourne <peter@pcc.me.uk> | 2012-05-30 11:01:58 +0100 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-05-30 11:01:58 +0100 |
| commit | 646003670d9df8d4063c116ac7d7e5c841e9ed40 (patch) | |
| tree | 9237308260e02bf982de63fe2f059184f165efaf /Source | |
| parent | 0ae81123dee78f9f2052a27c3ec325e9a71b4a12 (diff) | |
GPUVerify: have shared state abstraction, race instrumenter reuse blocks
Since we do not update transfer commands, they would otherwise refer to
old blocks.
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/GPUVerify/GPUVerifier.cs | 3 | ||||
| -rw-r--r-- | Source/GPUVerify/RaceInstrumenterBase.cs | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/Source/GPUVerify/GPUVerifier.cs b/Source/GPUVerify/GPUVerifier.cs index fc075274..36fbbabd 100644 --- a/Source/GPUVerify/GPUVerifier.cs +++ b/Source/GPUVerify/GPUVerifier.cs @@ -1589,7 +1589,8 @@ namespace GPUVerify private Block PerformFullSharedStateAbstraction(Block b)
{
- return new Block(Token.NoToken, b.Label, PerformFullSharedStateAbstraction(b.Cmds), b.TransferCmd);
+ b.Cmds = PerformFullSharedStateAbstraction(b.Cmds);
+ return b;
}
private BigBlock PerformFullSharedStateAbstraction(BigBlock bb)
diff --git a/Source/GPUVerify/RaceInstrumenterBase.cs b/Source/GPUVerify/RaceInstrumenterBase.cs index 11feb017..d7edf647 100644 --- a/Source/GPUVerify/RaceInstrumenterBase.cs +++ b/Source/GPUVerify/RaceInstrumenterBase.cs @@ -800,7 +800,8 @@ namespace GPUVerify private Block AddRaceCheckCalls(Block b)
{
- return new Block(Token.NoToken, b.Label, AddRaceCheckCalls(b.Cmds), b.TransferCmd);
+ b.Cmds = AddRaceCheckCalls(b.Cmds);
+ return b;
}
private void AddRaceCheckCalls(Implementation impl)
|