CoWR.test

.global x;
.texref t virtually aliases x;
.surfref s virtually aliases x;

d0.b0.t0 {
  $0, 1;
  $1
  $2 r0, $3;
}

$4(r0 $5 1) as r0; 

$$

st   [x] |                                           | ld   | [x] | assert | ==
st   [x] |                                           | suld | [s] | permit | !=
st   [x] | fence.proxy.surface;                      | suld | [s] | assert | ==
sust [s] |                                           | ld   | [x] | permit | !=
sust [s] | fence.proxy.surface;                      | ld   | [x] | assert | ==
sust [s] |                                           | suld | [s] | assert | ==
sust [s] | fence.proxy.surface;                      | tld  | [t] | permit | !=
sust [s] | fence.proxy.texture;                      | tld  | [t] | permit | !=
sust [s] | fence.proxy.texture; fence.proxy.surface; | tld  | [t] | permit | !=
sust [s] | fence.proxy.surface; fence.proxy.texture; | tld  | [t] | assert | ==