RACE_OPENCL ISA2-p0::p1::p2-xgygzg
"PodWW Rfe PodRW Rfe PodRR Fre"

{}

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

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

Test ISA2 Allowed
Histogram (8 states)
11075 :>1:r0=0; 2:r0=0; 2:r2=0;
10340 :>1:r0=1; 2:r0=0; 2:r2=0;
14409 :>1:r0=0; 2:r0=1; 2:r2=0;
443   *>1:r0=1; 2:r0=1; 2:r2=0;
536   :>1:r0=0; 2:r0=0; 2:r2=1;
24818 :>1:r0=1; 2:r0=0; 2:r2=1;
12413 :>1:r0=0; 2:r0=1; 2:r2=1;
25966 :>1:r0=1; 2:r0=1; 2:r2=1;
Ok

Witnesses
Positive: 443, Negative: 99557
Condition exists (1:r0=1 /\ 2:r0=1 /\ 2:r2=0) is validated
Observation ISA2 Sometimes 443 99557
Time ISA2 45.06

  -- 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/ISA2-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 */