← Back
Editing: cfg.cpython-311.pyc
� cR�a� � �X � d Z ddlmZ ddlmZ ddlmZ ddlZd� Z G d� de� � Z dS ) z0 Computes the Control Flow Graph of a function. � )�FunctionAnalysis)�isnum)�DiGraphNc �> � t | � � r | j rdS t | t j � � r | j dk rdS t | t j t j t j f� � r | j rdS t | t j � � r | j rdS dS )NT�TrueF) r �value� isinstance�ast� Attribute�attr�List�Tuple�Set�elts�Dict�keys)�nodes �6/usr/lib/python3/dist-packages/pythran/analyses/cfg.py�is_true_predicater s� � � �T�{�{� �t�z� ��t��$�� �&�&� �4�9��+>�+>��t��$���3�9�c�g�6�7�7� �D�I� ��t��$���!�!� �d�i� ��t� �5� c � � � e Zd ZdZ e� � Z� fd�Zd� Zd� ZexZ xZ Z exZ xZ ZexZZd� Zd� ZeZd� Zd� ZexZZd � Zd � Zd � Z� xZS ) �CFGa Computes the Control Flow Graph of a function. The processing of a node yields a pair containing * the OUT nodes, to be linked with the IN nodes of the successor * the RAISE nodes, nodes that stop the control flow (exception/break/...) c �| �� t � � | _ t t | � � � � � d S )N)r �result�superr �__init__)�self� __class__s �r r z CFG.__init__& s0 �� � �i�i�� � �c�4���!�!�#�#�#�#�#r c � � | j � |� � |f}|j D ]T}| j � |� � |D ] }| j � ||� � � | � |� � \ }}�U| j � t j � � |D ]'}| j � |t j � � �(|fdfS �zOUT = node, RAISES = ()� )r �add_node�body�add_edge�visitr �NIL)r r �currs�n�curr�_s r �visit_FunctionDefzCFG.visit_FunctionDef* s� � � � � � �T�"�"�"������ %� %�A� �K� � �� #� #� #� � .� .��� �$�$�T�1�-�-�-�-��z�z�!�}�}�H�E�1�1� � � � �S�W�%�%�%�� 0� 0�D� �K� � ��s�w� /� /� /� /��w��{�r c � � |fdfS r r! �r r s r � visit_PasszCFG.visit_Pass; s � ��w��{�r c � � dS )zOUT = (), RAISES = ())r! r! r! r- s r � visit_ReturnzCFG.visit_ReturnD s � ��vr c �2 � |f}t � � }d}|j D ]�}| j � |� � |D ] }| j � ||� � � | � |� � \ }}|D ]_}t |t j � � r||fz }�#t |t j � � r | j � ||� � �Y||fz }�`��|D ] }| j � ||� � � |j r]|j D ]T}| j � |� � |D ] }| j � ||� � � | � |� � \ }}�Un|f}t |t j � � r t |j � � r||fS ||z |fS ||z |fS )zm OUT = (node,) + last body statements RAISES = body's that are not break or continue r! )�tupler# r r" r$ r% r r �Break�Continue�orelse�Whiler �test) r r r' � break_currs�raisesr( r) �nraises�nraises r � visit_Forz CFG.visit_ForH s� � � ����g�g� ����� (� (�A� �K� � �� #� #� #� � .� .��� �$�$�T�1�-�-�-�-� !�Z�Z��]�]�N�E�7�!� (� (�� �f�c�i�0�0� (� �F�9�,�K�K� ��� �5�5� (��K�(�(���6�6�6�6��v�i�'�F�F� (� � -� -�D� �K� � ��t� ,� ,� ,� ,� �;� ��[� /� /��� �$�$�Q�'�'�'� !� 2� 2�D��K�(�(��q�1�1�1�1�!%���A� � ���w�w� /� �E�E� �d�C�I� &� &� 3� ���+�+� 3�"�F�*�*�"�U�*�F�2�2� �U�"�F�*�*r c �� � |f}d}|j D ]Y}| j � |� � |D ] }| j � ||� � � | � |� � \ }}||z }�Z|}|}|f}|j D ]Y}| j � |� � |D ] }| j � ||� � � | � |� � \ }}||z }�Zt |j � � r||fS ||z |fS )z^ OUT = true branch U false branch RAISES = true branch U false branch r! )r# r r" r$ r% r5 r r7 ) r r r' r9 r( r) r: �tcurrs�traisess r �visit_Ifz CFG.visit_Ifw s0 � � ����� �� � �A� �K� � �� #� #� #� � .� .��� �$�$�T�1�-�-�-�-� !�Z�Z��]�]�N�E�7� �g� �F�F� ��������� '� '�A� �K� � �� #� #� #� � .� .��� �$�$�T�1�-�-�-�-� !�Z�Z��]�]�N�E�7� �w�&�F�F� �T�Y� '� '� "��6�>� !���~�v�%�%r c � � d|ffS )zOUT = (), RAISES = (node)r! r! r- s r � visit_RaisezCFG.visit_Raise� s � ��D�7�{�r c � � |f|ffS )zOUT = RAISES = (node)r! r- s r � visit_AssertzCFG.visit_Assert� s � ��w��� � r c � � |f}d}|j D ] }| j � |� � � |j D ]�}| j � |� � |D ] }| j � ||� � � | � |� � \ }}|D ]H}t |t j � � r&|j D ] }| j � ||� � � �B||fz }�I��|j D ]$}| � |� � \ } }|| z }||z }�%||fS )z� OUT = body's U handler's RAISES = handler's this equation is not has good has it could be... but we need type information to be more accurate r! ) �handlersr r" r# r$ r% r r �Raise) r r r' r9 �handlerr( r) r: r; �ncurrss r � visit_Tryz CFG.visit_Try� sN � � ������}� *� *�G� �K� � �� )� )� )� )��� (� (�A� �K� � �� #� #� #� � .� .��� �$�$�T�1�-�-�-�-� !�Z�Z��]�]�N�E�7�!� (� (�� �f�c�i�0�0� (�#'�=� >� >�� � �,�,�V�W�=�=�=�=�>� �v�i�'�F�F� (� �}� � �G� "�j�j�� 1� 1�O�F�G� �V�O�E� �g� �F�F��f�}� r c �� � |f}d}|j D ]Y}| j � |� � |D ] }| j � ||� � � | � |� � \ }}||z }�Z||fS )z OUT = body's, RAISES = body'sr! )r# r r" r$ r% )r r r' r9 r( r) r: s r �visit_ExceptHandlerzCFG.visit_ExceptHandler� s� � �������� � �A� �K� � �� #� #� #� � .� .��� �$�$�T�1�-�-�-�-� !�Z�Z��]�]�N�E�7� �g� �F�F��f�}� r ) �__name__� __module__� __qualname__�__doc__�objectr& r r+ r. � visit_Assign�visit_AugAssign� visit_Import� visit_Expr� visit_Print�visit_ImportFrom� visit_Yield� visit_Deleter0 r< � visit_Whiler@ rB � visit_Break�visit_ContinuerD rJ rL � __classcell__)r s @r r r s �� � � � � �� � �&�(�(�C�$� $� $� $� $�� � �"� � � 5?�>�L�>�?�\�2<�<�J�<�� /�!+�+�K�,�� � �++� ++� ++�Z �K� &� &� &�@� � � $/�.�K�.� � � � � � �8 � � � � � � r r ) rP �pythran.passmanagerr � pythran.utilsr � pythran.graphr �gastr r r r! r r �<module>rb s� �� 6� 6� 0� 0� 0� 0� 0� 0� � � � � � � !� !� !� !� !� !� � � � � � � �p � p � p � p � p � � p � p � p � p � p r
Save File
Cancel