On 12/17/2014 10:28 AM, Peter Levart wrote:
The example would then become:T1: store x.a <- 0 load r <- x.a store x.a <- r+1 ; store-store store x_init <- true T2: load r <- x.a ; load-load if (r) store x.a <- 42
Sorry the above has an error. I meant:
T2:
load r <- x_init
; load-load
if (r)
store x.a <- 42
Peter
