Intermediate changes

commit_hash:e8f03143f071def87f56790176fbdc918784ed35

Author: robot-piglet

build/mapping.conf.json

@@ -911,7 +911,10 @@
         "6990860705": "https://devtools-registry.s3.yandex.net/6990860705",
         "6990881789": "https://devtools-registry.s3.yandex.net/6990881789",
         "7324461836": "https://devtools-registry.s3.yandex.net/7324461836",
+        "7512107516": "https://devtools-registry.s3.yandex.net/7512107516",
         "7193803465": "https://devtools-registry.s3.yandex.net/7193803465",
+        "7512042091": "https://devtools-registry.s3.yandex.net/7512042091",
+        "7512103615": "https://devtools-registry.s3.yandex.net/7512103615",
         "7324464594": "https://devtools-registry.s3.yandex.net/7324464594",
         "7487656957": "https://devtools-registry.s3.yandex.net/7487656957",
         "7458707245": "https://devtools-registry.s3.yandex.net/7458707245",
@@ -1962,7 +1965,10 @@
         "6990860705": "none-none-none-sandbox/backup/d386643e-58f8-43e1-8760-341d73801df8/yfm-docs.tar",
         "6990881789": "none-none-none-sandbox/backup/efc428e5-52a5-4a6f-8f0c-53f1d255efea/yfm-docs.tar",
         "7324461836": "none-none-none-service_resources/TASKLET_EXECUTABLE/backup/0541e185-8261-4b07-9149-257f03a9c8ae/yfm-docs.tar",
+        "7512107516": "none-none-none-service_resources/TASKLET_EXECUTABLE/backup/0ae16953-fe8d-4f1b-9a76-137110f40faf/yfm-docs.tar",
         "7193803465": "none-none-none-service_resources/TASKLET_EXECUTABLE/backup/17df2ad2-24bc-49e8-8909-b58685dac393/yfm-docs.tar",
+        "7512042091": "none-none-none-service_resources/TASKLET_EXECUTABLE/backup/203a60f0-6d4d-46bf-93eb-a2a5f998b768/yfm-docs.tar",
+        "7512103615": "none-none-none-service_resources/TASKLET_EXECUTABLE/backup/29fcd2aa-e0b5-481e-83c8-b7ff5e0157c9/yfm-docs.tar",
         "7324464594": "none-none-none-service_resources/TASKLET_EXECUTABLE/backup/32cc8c74-decd-44a8-bc8c-f8f0d7edfffe/yfm-docs.tar",
         "7487656957": "none-none-none-service_resources/TASKLET_EXECUTABLE/backup/4b747fb6-2d4e-4a7b-bbed-abb9a1e21761/yfm-docs.tar",
         "7458707245": "none-none-none-service_resources/TASKLET_EXECUTABLE/backup/4e7df89f-3762-4eba-ba73-562ccaeae548/yfm-docs.tar",

contrib/python/pythran/.dist-info/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: pythran
-Version: 0.16.1
+Version: 0.17.0
 Summary: Ahead of Time compiler for numeric kernels
 Author-email: Serge Guelton <serge.guelton@telecom-bretagne.eu>
 License: Copyright (c) 2012, HPC Project and Serge Guelton
@@ -52,22 +52,24 @@ Requires-Python: >=3.7
 Description-Content-Type: text/x-rst
 License-File: LICENSE
 License-File: AUTHORS
-Requires-Dist: ply>=3.4
+Requires-Dist: ply >=3.4
 Requires-Dist: setuptools
-Requires-Dist: gast~=0.5.0
+Requires-Dist: gast ~=0.6.0
 Requires-Dist: numpy
-Requires-Dist: beniget~=0.4.0
+Requires-Dist: beniget ~=0.4.0
 Provides-Extra: doc
-Requires-Dist: numpy; extra == "doc"
-Requires-Dist: nbsphinx; extra == "doc"
-Requires-Dist: scipy; extra == "doc"
-Requires-Dist: guzzle-sphinx-theme; extra == "doc"
+Requires-Dist: numpy ; extra == 'doc'
+Requires-Dist: nbsphinx ; extra == 'doc'
+Requires-Dist: scipy ; extra == 'doc'
+Requires-Dist: guzzle-sphinx-theme ; extra == 'doc'
 Provides-Extra: test
-Requires-Dist: ipython; extra == "test"
-Requires-Dist: nbval; extra == "test"
-Requires-Dist: cython; extra == "test"
-Requires-Dist: wheel; extra == "test"
-Requires-Dist: packaging; extra == "test"
+Requires-Dist: ipython ; extra == 'test'
+Requires-Dist: nbval ; extra == 'test'
+Requires-Dist: cython ; extra == 'test'
+Requires-Dist: wheel ; extra == 'test'
+Requires-Dist: packaging ; extra == 'test'
+Requires-Dist: ninja ; extra == 'test'
+Requires-Dist: meson ; extra == 'test'
 
 Pythran
 #######

contrib/python/pythran/pythran/analyses/__init__.py

@@ -9,7 +9,7 @@
 import analyses.Foo
 """
 
-from .aliases import Aliases, StrictAliases
+from .aliases import Aliases, StrictAliases, InterproceduralAliases
 from .ancestors import Ancestors, AncestorsWithBody
 from .argument_effects import ArgumentEffects
 from .argument_read_once import ArgumentReadOnce

contrib/python/pythran/pythran/analyses/aliases.py

@@ -544,6 +544,11 @@ def visit_DictComp(self, node):
 
     # aliasing created by statements
 
+    def init_function_alias(self, node):
+        "each argument is bound to a different identifier"
+        self.aliases.update((arg.id, {arg})
+                            for arg in node.args.args)
+
     def visit_FunctionDef(self, node):
         '''
         Initialise aliasing default value before visiting.
@@ -558,8 +563,7 @@ def visit_FunctionDef(self, node):
         self.aliases.update((k, {v})
                             for k, v in self.global_declarations.items())
 
-        self.aliases.update((arg.id, {arg})
-                            for arg in node.args.args)
+        self.init_function_alias(node)
 
         self.generic_visit(node)
         if Aliases.RetId in self.aliases:
@@ -612,6 +616,27 @@ def merge_return_aliases(args):
 
             node.return_alias = merge_return_aliases
 
+    def visit_Assert(self, node):
+        self.generic_visit(node)
+
+        if not isinstance(node.test, ast.Compare):
+            return
+        if len(node.test.ops) != 1:
+            return
+        op = node.test.ops[0]
+        comparator = node.test.comparators[0]
+
+        if not isinstance(node.test.left, ast.Name):
+            return
+        if not isinstance(comparator, ast.Name):
+            return
+
+        if isinstance(op, ast.IsNot):
+            left_aliases = self.aliases[node.test.left.id]
+            right_aliases = self.aliases[comparator.id]
+            self.aliases[node.test.left.id] = self.aliases[node.test.left.id].difference(right_aliases)
+            right_aliases.difference_update(left_aliases)
+
     def visit_Assign(self, node):
         r'''
         Assignment creates aliasing between lhs and rhs
@@ -626,8 +651,9 @@ def visit_Assign(self, node):
         Everyone points to the formal parameter 'a' \o/
         '''
         md.visit(self, node)
-        value_aliases = self.visit(node.value)
-        for t in node.targets:
+        value_aliases = self.visit(node.value) if node.value else {}
+        targets = node.targets if isinstance(node, ast.Assign) else (node.target,)
+        for t in targets:
             if isinstance(t, ast.Name):
                 self.aliases[t.id] = set(value_aliases) or {t}
                 for alias in list(value_aliases):
@@ -638,6 +664,8 @@ def visit_Assign(self, node):
             else:
                 self.visit(t)
 
+    visit_AnnAssign = visit_Assign
+
     def visit_For(self, node):
         '''
         For loop creates aliasing between the target
@@ -786,3 +814,14 @@ class StrictAliases(Aliases):
 
     def get_unbound_value_set(self):
         return set()
+
+
+class InterproceduralAliases(Aliases):
+    """
+    Gather aliases while assuming two different parameters can point to the same
+    value
+    """
+
+    def init_function_alias(self, node):
+        self.aliases.update((arg.id, set(node.args.args))
+                            for arg in node.args.args)

contrib/python/pythran/pythran/analyses/argument_effects.py

@@ -135,13 +135,16 @@ def visit_AugAssign(self, node):
         self.generic_visit(node)
 
     def visit_Assign(self, node):
-        for t in node.targets:
+        targets = node.targets if isinstance(node, ast.Assign) else (node.target,)
+        for t in targets:
             if isinstance(t, ast.Subscript):
                 n = self.argument_index(t)
                 if n >= 0:
                     self.current_function.update_effects[n] = True
         self.generic_visit(node)
 
+    visit_AnnAssign = visit_Assign
+
     def visit_Call(self, node):
         for i, arg in enumerate(node.args):
             n = self.argument_index(arg)

contrib/python/pythran/pythran/analyses/argument_read_once.py

@@ -147,10 +147,13 @@ def visit_Return(self, node):
 
     def visit_Assign(self, node):
         dep = self.generic_visit(node)
-        local = [self.local_effect(t, 2) for t in node.targets
+        targets = node.targets if isinstance(node, ast.Assign) else (node.target,)
+        local = [self.local_effect(t, 2) for t in targets
                  if isinstance(t, ast.Subscript)]
         return lambda ctx: dep(ctx) + sum(l(ctx) for l in local)
 
+    visit_AnnAssign = visit_Assign
+
     def visit_AugAssign(self, node):
         dep = self.generic_visit(node)
         local = self.local_effect(node.target, 2)

contrib/python/pythran/pythran/analyses/cfg.py

@@ -61,7 +61,7 @@ def visit_Pass(self, node):
         return (node,), ()
 
     # All these nodes have the same behavior as pass
-    visit_Assign = visit_AugAssign = visit_Import = visit_Pass
+    visit_Assign = visit_AnnAssign = visit_AugAssign = visit_Import = visit_Pass
     visit_Expr = visit_Print = visit_ImportFrom = visit_Pass
     visit_Yield = visit_Delete = visit_Pass
 

contrib/python/pythran/pythran/analyses/constant_expressions.py

@@ -99,3 +99,9 @@ def visit_Slice(self, node):
 
     def visit_Index(self, node):
         return self.visit(node.value) and self.add(node)
+
+    def visit_AnnAssign(self, node):
+        self.visit(node.target)
+        # skip annotation
+        if node.value:
+            self.visit(node.value)

contrib/python/pythran/pythran/analyses/fixed_size_list.py

@@ -57,10 +57,13 @@ def is_safe_use(self, use):
 
     def visit_Assign(self, node):
         self.generic_visit(node)
+        if not node.value:
+            return
         if not self.is_fixed_size_list_def(node.value):
             return
 
-        for target in node.targets:
+        targets = node.targets if isinstance(node, ast.Assign) else (node.target,)
+        for target in targets:
             def_ = self.def_use_chains.chains[target]
             if any(not self.is_safe_use(u) for u in def_.users()):
                 break
@@ -72,6 +75,8 @@ def visit_Assign(self, node):
         else:
             self.result.add(node.value)
 
+    visit_AnnAssign = visit_Assign
+
     def visit_Call(self, node):
         self.generic_visit(node)
         for i, arg in enumerate(node.args):

contrib/python/pythran/pythran/analyses/imported_ids.py

@@ -50,10 +50,14 @@ def visit_Assign(self, node):
         # order matter as an assignation
         # is evaluated before being assigned
         md.visit(self, node)
-        self.visit(node.value)
-        for target in node.targets:
+        if node.value:
+            self.visit(node.value)
+        targets = node.targets if isinstance(node, ast.Assign) else (node.target,)
+        for target in targets:
             self.visit(target)
 
+    visit_AnnAssign = visit_Assign
+
     def visit_AugAssign(self, node):
         self.in_augassign = True
         self.generic_visit(node)