compiler: switch cxx backend to static_cast

Author: mloubout

devito/arch/compiler.py

@@ -491,7 +491,7 @@ def __init_finalize__(self, **kwargs):
         language = kwargs.pop('language', configuration['language'])
         platform = kwargs.pop('platform', configuration['platform'])
 
-        if platform is NVIDIAX:
+        if platform is NvidiaDevice:
             self.cflags.remove(f'-std={self.std}')
             # Add flags for OpenMP offloading
             if language in ['C', 'openmp']:

devito/ir/cgen/printer.py

@@ -344,10 +344,10 @@ def _print_InlineIf(self, expr):
         PREC = precedence(expr)
         return self.parenthesize("(%s) ? %s : %s" % (cond, true_expr, false_expr), PREC)
 
-    def _print_UnaryOp(self, expr, op=None):
+    def _print_UnaryOp(self, expr, op=None, parenthesize=False):
         op = op or expr._op
         base = self._print(expr.base)
-        if not expr.base.is_Symbol:
+        if not expr.base.is_Symbol or parenthesize:
             base = f'({base})'
         return f'{op}{base}'
 

devito/passes/iet/languages/CXX.py

@@ -85,3 +85,11 @@ class CXXPrinter(BasePrinter, CXX11CodePrinter):
 
     def _print_ImaginaryUnit(self, expr):
         return f'1i{self.prec_literal(expr).lower()}'
+
+    def _print_Cast(self, expr):
+        # The CXX recommended way to cast is to use static_cast
+        tstr = self._print(expr._C_ctype)
+        if 'void' in tstr:
+            return super()._print_Cast(expr)
+        cast = f'static_cast<{tstr}{self._print(expr.stars)}>'
+        return self._print_UnaryOp(expr, op=cast, parenthesize=True)