RACE_OPENCL CoWR-p0::p1-xg
"-"

{}

 P0  | P1  ;
 MOV | MOV ;
 ST  | ST  ;
 LD  |     ;

exists (0:r2=2 /\ 0::x=1)
(device (kernel (cta (warp P0)) (cta (warp P1))))
x:global

Test CoWR Allowed
Histogram (3 states)
53077 :>0:r2=1; 0::x=1;
17167 :>0:r2=1; 0::x=2;
29764 :>0:r2=2; 0::x=2;
No

Witnesses
Positive: 0, Negative: 100008
Condition exists (0:r2=2 /\ 0::x=1) is NOT validated
Observation CoWR Never 0 100008
Time CoWR 12.70

  -- 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		: 1727.375
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	: 3454.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 36 bits physical, 48 bits virtual
power management:

Revision 1188:1189M, 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 incantation_benchmarks_RACE_OPENCL/D:warp-S:cta-Global/COWR-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 */