diff options
| author |  Peter Collingbourne <peter@pcc.me.uk> | 2012-06-07 13:11:31 +0100 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-06-07 13:11:31 +0100 |
| commit | e8c8f17356c420c2e3565a4da4e3fce83913c6ef (patch) | |
| tree | 6040f4b3752d1b949c5d1a954d1aa5daa2c79bcd /Source/GPUVerify/KernelDualiser.cs | |
| parent | b4fbe82bc3e8ac81f0203b0fed9aff5e27de0e8f (diff) | |
GPUVerify: have dualiser reuse blocks
Diffstat (limited to 'Source/GPUVerify/KernelDualiser.cs')
| -rw-r--r-- | Source/GPUVerify/KernelDualiser.cs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Source/GPUVerify/KernelDualiser.cs b/Source/GPUVerify/KernelDualiser.cs index 49b04251..da9a7a32 100644 --- a/Source/GPUVerify/KernelDualiser.cs +++ b/Source/GPUVerify/KernelDualiser.cs @@ -268,12 +268,13 @@ namespace GPUVerify private Block MakeDual(Block b)
{
- Block result = new Block(b.tok, b.Label, new CmdSeq(), b.TransferCmd);
+ var newCmds = new CmdSeq();
foreach (Cmd c in b.Cmds)
{
- MakeDual(result.Cmds, c);
+ MakeDual(newCmds, c);
}
- return result;
+ b.Cmds = newCmds;
+ return b;
}
private List<PredicateCmd> MakeDualInvariants(List<PredicateCmd> originalInvariants)
|