[SPIR-V 1.4] Add CopyLogical instruction (KhronosGroup#2484)

There is no mapping to LLVM instructions, so it can be used only via SPIR-V friendly translation.

This addresses p1. of KhronosGroup#2460

(cherry picked from commit 8518a6f)

Author: vmaksimo

lib/SPIRV/SPIRVReader.cpp

@@ -2238,22 +2238,7 @@ Value *SPIRVToLLVM::transValueWithoutDecoration(SPIRVValue *BV, Function *F,
   }
   case OpCopyLogical: {
     SPIRVCopyLogical *CL = static_cast<SPIRVCopyLogical *>(BV);
-
-    auto *SrcTy = transType(CL->getOperand()->getType());
-    auto *DstTy = transType(CL->getType());
-
-    assert(M->getDataLayout().getTypeStoreSize(SrcTy).getFixedValue() ==
-               M->getDataLayout().getTypeStoreSize(DstTy).getFixedValue() &&
-           "Size mismatch in OpCopyLogical");
-
-    IRBuilder<> Builder(BB);
-
-    auto *SrcAI = Builder.CreateAlloca(SrcTy);
-    Builder.CreateAlignedStore(transValue(CL->getOperand(), F, BB), SrcAI,
-                               SrcAI->getAlign());
-
-    auto *LI = Builder.CreateAlignedLoad(DstTy, SrcAI, SrcAI->getAlign());
-    return mapValue(BV, LI);
+    return mapValue(BV, transSPIRVBuiltinFromInst(CL, BB));
   }
 
   case OpAccessChain:

lib/SPIRV/libSPIRV/SPIRVOpCodeEnum.h

@@ -330,6 +330,7 @@ _SPIRV_OP(GroupNonUniformBitwiseXor, 361)
 _SPIRV_OP(GroupNonUniformLogicalAnd, 362)
 _SPIRV_OP(GroupNonUniformLogicalOr, 363)
 _SPIRV_OP(GroupNonUniformLogicalXor, 364)
+_SPIRV_OP(CopyLogical, 400)
 _SPIRV_OP(PtrEqual, 401)
 _SPIRV_OP(PtrNotEqual, 402)
 _SPIRV_OP(PtrDiff, 403)

test/OpCopyLogical.spvasm

@@ -22,6 +22,4 @@
                OpReturn
                OpFunctionEnd
 
-; CHECK-LLVM: [[ALLOCA:%[a-z0-9.]+]] = alloca [[SRC_TYPE:%[a-z0-9.]+]], align 8
-; CHECK-LLVM: store [[SRC_TYPE]] zeroinitializer, ptr [[ALLOCA]], align 8
-; CHECK-LLVM: [[DST:%[a-z0-9.]+]] = load [[DST_TYPE:%[a-z0-9.]+]], ptr [[ALLOCA]], align 8
+; CHECK-LLVM: @_Z19__spirv_CopyLogical12structtype.0(ptr sret(%structtype) %[[#]], %structtype.0 zeroinitializer)