801     Value *DevArray = createCallAllocateMemoryForDevice(ArraySize);  in allocateDeviceArrays()  local
802     DevArray->setName(DevArrayName);  in allocateDeviceArrays()
803     DeviceAllocations[ScopArray] = DevArray;  in allocateDeviceArrays()
1645     Value *DevArray = nullptr;  in createLaunchParameters()  local
1647       DevArray = getManagedDeviceArray(&Prog->array[i],  in createLaunchParameters()
1650       DevArray = DeviceAllocations[const_cast<ScopArrayInfo *>(SAI)];  in createLaunchParameters()
1651       DevArray = createCallGetDevicePtr(DevArray);  in createLaunchParameters()
1653     assert(DevArray != nullptr && "Array to be offloaded to device not "  in createLaunchParameters()
1658       DevArray = Builder.CreatePointerCast(  in createLaunchParameters()
1659           DevArray, SAI->getElementType()->getPointerTo());  in createLaunchParameters()
1660       DevArray = Builder.CreateGEP(DevArray, Builder.CreateNeg(Offset));  in createLaunchParameters()
1661       DevArray = Builder.CreatePointerCast(DevArray, Builder.getInt8PtrTy());  in createLaunchParameters()
1669         ValPtr = DevArray;  in createLaunchParameters()
1683       Builder.CreateStore(DevArray, Param);  in createLaunchParameters()