RACE_OPENCL IRIW-p0::p1::p2::p3-xgyg
"Rfe PodRR Fre Rfe PodRR Fre"

{}

 P0  | P1  | P2  | P3  ;
 MOV | LD  | MOV | LD  ;
 ST  | LD  | ST  | LD  ;
     | AND |     | AND ;
     | AND |     | AND ;

exists (1:r0=1 /\ 1:r2=0 /\ 3:r0=1 /\ 3:r2=0)
(device (kernel (cta (warp P0)) (cta (warp P1)) (cta (warp P2)) (cta (warp P3))))
y:global; x:global

Test IRIW Allowed
Histogram (16 states)
14727 :>1:r0=0; 1:r2=0; 3:r0=0; 3:r2=0;
1466  :>1:r0=1; 1:r2=0; 3:r0=0; 3:r2=0;
1426  :>1:r0=0; 1:r2=1; 3:r0=0; 3:r2=0;
1914  :>1:r0=1; 1:r2=1; 3:r0=0; 3:r2=0;
372   :>1:r0=0; 1:r2=0; 3:r0=1; 3:r2=0;
1     *>1:r0=1; 1:r2=0; 3:r0=1; 3:r2=0;
23041 :>1:r0=0; 1:r2=1; 3:r0=1; 3:r2=0;
4220  :>1:r0=1; 1:r2=1; 3:r0=1; 3:r2=0;
370   :>1:r0=0; 1:r2=0; 3:r0=0; 3:r2=1;
10684 :>1:r0=1; 1:r2=0; 3:r0=0; 3:r2=1;
1     :>1:r0=0; 1:r2=1; 3:r0=0; 3:r2=1;
1568  :>1:r0=1; 1:r2=1; 3:r0=0; 3:r2=1;
528   :>1:r0=0; 1:r2=0; 3:r0=1; 3:r2=1;
511   :>1:r0=1; 1:r2=0; 3:r0=1; 3:r2=1;
1629  :>1:r0=0; 1:r2=1; 3:r0=1; 3:r2=1;
37546 :>1:r0=1; 1:r2=1; 3:r0=1; 3:r2=1;
Ok

Witnesses
Positive: 1, Negative: 100003
Condition exists (1:r0=1 /\ 1:r2=0 /\ 3:r0=1 /\ 3:r2=0) is validated
Observation IRIW Sometimes 1 100003
Time IRIW 45.41

  -- device info --
DEVICE_NAME:                Tahiti
DEVICE_VENDOR:              Advanced Micro Devices, Inc.
DEVICE_VERSION:             OpenCL 1.2 AMD-APP (1445.5)
DRIVER_VERSION:             1445.5 (VM)
DEVICE_MAX_COMPUTE_UNITS:   32
DEVICE_MAX_CLOCK_FREQUENCY: 1100
DEVICE_GLOBAL_MEM_SIZE:     3221225472
DEVICE_LOCAL_MEM_SIZE:      32768

Machine:afd-VirtualBox
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 58
model name	: Intel(R) Core(TM) i5-3317U CPU @ 1.70GHz
stepping	: 9
microcode	: 0x19
cpu MHz		: 1683.608
cache size	: 6144 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 syscall nx rdtscp lm constant_tsc rep_good nopl pni monitor ssse3 lahf_lm
bogomips	: 3367.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 36 bits physical, 48 bits virtual
power management:

Revision 1340M, version 5.01 GPU_PTX experimental backend
Command line: ./litmus -mach Tahiti.cfg -gpu-mem-stress-iterations 10000 -gpu-busy-wait-atomics true -gpu-cvt-shared-to-gen false -gpu-cuda false -gpu-ptx false -gpu-conc-scope s2 -gpu-general-bc true -gpu-mem-stress true -barrier user -gpu-rand-threads true UnsureTests/D:warp-S:cta-Global/IRIW-0.litmus
Parameters
#ifndef SIZE_OF_TEST
#define SIZE_OF_TEST 100000
#endif
#ifndef NUMBER_OF_RUN
#define NUMBER_OF_RUN 1
#endif
#ifndef AVAIL
#define AVAIL 32
#endif
/* cc options: -arch=sm_20 -lOpenCL */
/* barrier: user */
/* speedcheck: no */
/* gpu_general_bc: true */
/* gpu_mem_stress: true */
/* gpu-rand-threads: true */
/* gpu_cuda: false */
/* gpu_ptx: false */
/* gpu_gen_addr: true */
/* gpu_cvt_global_to_gen: true */
/* gpu_cvt_shared_to_gen: false */
/* gpu_max_ctas: 32 */
/* gpu_min_ctas: 4 */
/* gpu_max_threads: 256 */
/* gpu_min_threads: 256 */
/* gpu_mem_stress_iterations: 10000 */
/* gpu_busy_wait_atomics: true */