Add logging tweaks.

devito/logger.py

@@ -16,20 +16,24 @@
 # Add extra logging levels (note: INFO has value=20, WARNING has value=30)
 DEBUG = logging.DEBUG
 PERF = 19
+BENCH = logging.DEBUG
 INFO = logging.INFO
 WARNING = logging.WARNING
 ERROR = logging.ERROR
 CRITICAL = logging.CRITICAL
 
 logging.addLevelName(PERF, "PERF")
+logging.addLevelName(BENCH, "BENCH")
+
 
 logger_registry = {
     'DEBUG': DEBUG,
     'PERF': PERF,
     'INFO': INFO,
     'WARNING': WARNING,
     'ERROR': ERROR,
-    'CRITICAL': CRITICAL
+    'CRITICAL': CRITICAL,
+    'BENCH': BENCH
 }
 
 NOCOLOR = '%s'
@@ -133,6 +137,8 @@ def warning(msg, *args, **kwargs):
 def error(msg, *args, **kwargs):
     log(msg, ERROR, *args, **kwargs)
 
+def bench(msg, *args, **kwargs):
+    log(msg, BENCH, *args, **kwargs)
 
 def debug(msg, *args, **kwargs):
     log(msg, DEBUG, *args, **kwargs)

devito/operator/profiling.py

@@ -460,7 +460,7 @@ def timings(self):
 
 def create_profile(name):
     """Create a new Profiler."""
-    if configuration['log-level'] in ['DEBUG', 'PERF'] and \
+    if configuration['log-level'] in ['DEBUG', 'PERF', 'BENCH'] and \
        configuration['profiling'] == 'basic':
         # Enforce performance profiling in DEBUG mode
         level = 'advanced'