From 1adb0bd9e6d045c17fc46b89303462dc9bf9d6ad Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Fri, 9 Dec 2016 14:01:46 +0100
Subject: [PATCH] Fix kernel name generation

---
 python/dune/perftool/pdelab/localoperator.py | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/python/dune/perftool/pdelab/localoperator.py b/python/dune/perftool/pdelab/localoperator.py
index d700766a..ffa16a10 100644
--- a/python/dune/perftool/pdelab/localoperator.py
+++ b/python/dune/perftool/pdelab/localoperator.py
@@ -453,9 +453,15 @@ def extract_kernel_from_cache(tag, wrap_in_cgen=True):
     from loopy import Options
     opt = Options(ignore_boostable_into=True)
 
+    # Find a name for the kernel
+    if wrap_in_cgen:
+        from dune.perftool.pdelab.signatures import kernel_name
+        name = kernel_name()
+    else:
+        name = "constructor_kernel"
+
     # Create the kernel
     from loopy import make_kernel, preprocess_kernel
-    from dune.perftool.pdelab.signatures import kernel_name
     kernel = make_kernel(domains,
                          instructions,
                          arguments,
@@ -463,7 +469,7 @@ def extract_kernel_from_cache(tag, wrap_in_cgen=True):
                          target=DuneTarget(),
                          options=opt,
                          silenced_warnings=silenced,
-                         name=kernel_name(),
+                         name=name,
                          )
 
     from loopy import make_reduction_inames_unique
-- 
GitLab