| ; RUN: opt -S -mtriple=amdgcn-unknown-amdhsa -amdgpu-promote-alloca < %s | FileCheck %s | 
 |  | 
 | ; CHECK-LABEL: @volatile_load( | 
 | ; CHECK: alloca [4 x i32] | 
 | ; CHECK: load volatile i32, i32* | 
 | define amdgpu_kernel void @volatile_load(i32 addrspace(1)* nocapture %out, i32 addrspace(1)* nocapture %in) { | 
 | entry: | 
 |   %stack = alloca [4 x i32], align 4 | 
 |   %tmp = load i32, i32 addrspace(1)* %in, align 4 | 
 |   %arrayidx1 = getelementptr inbounds [4 x i32], [4 x i32]* %stack, i32 0, i32 %tmp | 
 |   %load = load volatile i32, i32* %arrayidx1 | 
 |   store i32 %load, i32 addrspace(1)* %out | 
 |  ret void | 
 | } | 
 |  | 
 | ; CHECK-LABEL: @volatile_store( | 
 | ; CHECK: alloca [4 x i32] | 
 | ; CHECK: store volatile i32 %tmp, i32* | 
 | define amdgpu_kernel void @volatile_store(i32 addrspace(1)* nocapture %out, i32 addrspace(1)* nocapture %in) { | 
 | entry: | 
 |   %stack = alloca [4 x i32], align 4 | 
 |   %tmp = load i32, i32 addrspace(1)* %in, align 4 | 
 |   %arrayidx1 = getelementptr inbounds [4 x i32], [4 x i32]* %stack, i32 0, i32 %tmp | 
 |   store volatile i32 %tmp, i32* %arrayidx1 | 
 |  ret void | 
 | } | 
 |  | 
 | ; Has on OK non-volatile user but also a volatile user | 
 | ; CHECK-LABEL: @volatile_and_non_volatile_load( | 
 | ; CHECK: alloca double | 
 | ; CHECK: load double | 
 | ; CHECK: load volatile double | 
 | define amdgpu_kernel void @volatile_and_non_volatile_load(double addrspace(1)* nocapture %arg, i32 %arg1) #0 { | 
 | bb: | 
 |   %tmp = alloca double, align 8 | 
 |   store double 0.000000e+00, double* %tmp, align 8 | 
 |  | 
 |   %tmp4 = load double, double* %tmp, align 8 | 
 |   %tmp5 = load volatile double, double* %tmp, align 8 | 
 |  | 
 |   store double %tmp4, double addrspace(1)* %arg | 
 |   ret void | 
 | } | 
 |  | 
 | attributes #0 = { nounwind } |