1; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s 2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %} 3 4;; Check the bitcast is translated back to bitcast 5 6; CHECK: Bitcast 7 8define spir_kernel void @test_fn(<2 x i8> addrspace(1)* nocapture readonly %src, i16 addrspace(1)* nocapture %dst) { 9entry: 10 %call = tail call spir_func i64 @_Z13get_global_idj(i32 0) 11 %sext = shl i64 %call, 32 12 %idxprom = ashr exact i64 %sext, 32 13 %arrayidx = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %src, i64 %idxprom 14 %0 = load <2 x i8>, <2 x i8> addrspace(1)* %arrayidx, align 2 15 %astype = bitcast <2 x i8> %0 to i16 16 %arrayidx2 = getelementptr inbounds i16, i16 addrspace(1)* %dst, i64 %idxprom 17 store i16 %astype, i16 addrspace(1)* %arrayidx2, align 2 18 ret void 19} 20 21declare spir_func i64 @_Z13get_global_idj(i32) 22