Skip DAE if the integration header is not specified

Author: DenisBakhvalov

llvm/lib/Transforms/IPO/DeadArgumentElimination.cpp

@@ -773,11 +773,6 @@ constexpr StringLiteral OMIT_TABLE_BEGIN("// OMIT_TABLE_BEGIN");
 constexpr StringLiteral OMIT_TABLE_END("// OMIT_TABLE_END");
 static void updateIntegrationHeader(StringRef SyclKernelName,
                                     const ArrayRef<bool> &ArgAlive) {
-  // TODO: Enable asserts once the driver will provide the option.
-  if (!IntegrationHeaderFileName.getNumOccurrences())
-    return;
-  // assert(IntegrationHeaderFileName.hasArgStr() &&
-  //       "Integration header file not specified!");
   ErrorOr<std::unique_ptr<MemoryBuffer>> IntHeaderBuffer =
       MemoryBuffer::getFile(IntegrationHeaderFileName);
 
@@ -1196,6 +1191,11 @@ bool DeadArgumentEliminationPass::RemoveDeadStuffFromFunction(Function *F) {
 
 PreservedAnalyses DeadArgumentEliminationPass::run(Module &M,
                                                    ModuleAnalysisManager &) {
+  // Integration header file must be provided for
+  // DAE to work on SPIR kernels.
+  if (CheckSyclKernels && !IntegrationHeaderFileName.getNumOccurrences())
+    return PreservedAnalyses::all();
+
   bool Changed = false;
 
   // First pass: Do a simple check to see if any functions can have their "..."

llvm/test/Transforms/DeadArgElim/sycl-kernels-neg1.ll

@@ -1,11 +1,15 @@
-; TODO: this should be crashing (not --crash) after enabling assert
-; RUN: opt < %s -deadargelim-sycl -S
-
-; Path to the integration header is not specified.
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature
+; RUN: opt < %s -deadargelim-sycl -S | FileCheck %s
+; Skip DAE if the path to the integration header is not specified.
 
 target triple = "spir64-unknown-unknown-sycldevice"
 
 define weak_odr spir_kernel void @NegativeSyclKernel(float %arg1, float %arg2) {
+; CHECK-LABEL: define {{[^@]+}}@NegativeSyclKernel
+; CHECK-SAME: (float [[ARG1:%.*]], float [[ARG2:%.*]])
+; CHECK-NEXT:    call void @foo(float [[ARG1]])
+; CHECK-NEXT:    ret void
+;
   call void @foo(float %arg1)
   ret void
 }