|
Server : LiteSpeed System : Linux server51.dnsbootclub.com 4.18.0-553.62.1.lve.el8.x86_64 #1 SMP Mon Jul 21 17:50:35 UTC 2025 x86_64 User : nandedex ( 1060) PHP Version : 8.1.33 Disable Function : NONE Directory : /opt/cppython/lib/python3.8/test/__pycache__/ |
U
>��g�M � @ sZ d dl Z d dlZd dlmZ dd� ZG dd� de�ZG dd� dej�Zed krVe� � dS )
� N)�BytecodeTestCasec C s^ d}t �| �D ]}|j|kr|d7 }qt| d�r6| j} | jD ] }t|d�r<|t||�7 }q<|S )Nr � �__code__�co_code)�dis�get_instructions�opname�hasattrr � co_consts�count_instr_recursively)�fr �count�instr�c� r �2/opt/cppython/lib/python3.8/test/test_peepholer.pyr s
r c @ s� e Zd Zdd� Zdd� Zdd� Zdd� Zd d
� Zd d � Zd
d� Z dd� Z
dd� Z dd� Z dd� Z
dd� Zdd� Zdd � Zd d � Zd d � Zd!d"� Zd#d$� Zd%d&� Zd'd(� Zd)d*� Zd+d,� Zd-d.� Zd/d0� Zd1d2� Zd3d4� Z d5d6� Z d7S )8�
TestTranformsc
C s� t t�|��}dd� |D �}|D ]�}d|jkr0q ||j }|jdkrl| �|j� d|j� d|j� d|j� �� |jdkr�|jdkr�| �|j� d|j� d|j� d|j� �� d|jkr d |jkr | �|j� d|j� d|j� d|j� �� q d S )
Nc S s i | ] }|j |�qS r )�offset��.0r r r r �
<dictcomp> s z4TestTranforms.check_jump_targets.<locals>.<dictcomp>ZJUMP_)�
JUMP_ABSOLUTE� JUMP_FORWARDz at z
jumps to � RETURN_VALUEZ_OR_POPZJUMP_IF_)�listr r r ZargvalZfailr )�self�codeZ instructionsZtargetsr Ztgtr r r �check_jump_targets s
(
�(z TestTranforms.check_jump_targetsc C s^ t �|�}tt �|��}tdd� |D ��}tdd� |D ��}| �|d� | �|t|j �� d S )Nc s s | ]}|d V qdS �r Nr �r �tr r r � <genexpr>1 s z-TestTranforms.check_lnotab.<locals>.<genexpr>c s s | ]}|d V qdS r r r r r r r! 2 s r )
r Z_get_code_objectr Zfindlinestarts�min�maxZassertGreaterEqualZ
assertLess�lenr )r r ZlnotabZ min_bytecodeZ max_bytecoder r r � check_lnotab+ s
zTestTranforms.check_lnotabc C s: dd� }| � |d� | � |d� | �|d� | �|� d S )Nc S s | dks
~ d S )N� r ��xr r r �unot; s z%TestTranforms.test_unot.<locals>.unotZ UNARY_NOT�POP_JUMP_IF_FALSE�POP_JUMP_IF_TRUE��assertNotInBytecode�assertInBytecoder% )r r) r r r � test_unot9 s
zTestTranforms.test_unotc C s6 dD ],\}}t |dd�}| �|d|� | �|� qd S )N))z
not a is bzis not)z
not a in bznot in)znot a is not b�is)znot a not in b�in� �singleZ
COMPARE_OP)�compiler. r% )r �lineZcmp_opr r r r � test_elim_inversion_of_is_or_inC s z-TestTranforms.test_elim_inversion_of_is_or_inc C s� dd� }dd� }dd� }|d f|df|dffD ],\}}| � |d � | �|d
|� | �|� q.d d� }| � |d � | �|d
d � | �|� d S ) Nc S s d } d } | S �Nr r' r r r r P s z0TestTranforms.test_global_as_constant.<locals>.fc S s d} | S )NTr r' r r r �gT s z0TestTranforms.test_global_as_constant.<locals>.gc S s d} | S )NFr r' r r r �hW s z0TestTranforms.test_global_as_constant.<locals>.hTFZ LOAD_GLOBAL�
LOAD_CONSTc S s d S r7 r r r r r r ` s r, )r r r8 r9 �func�elemr r r �test_global_as_constantN s z%TestTranforms.test_global_as_constantc C sB dd� }dD ]}| � ||� q dD ]}| �||� q"| �|� d S )Nc S s q t S r7 )r r r r r r j s z'TestTranforms.test_while_one.<locals>.f)r: r* �r r, )r r r< r r r �test_while_oneh s z TestTranforms.test_while_onec C sL dD ]B\}}t |dd�}| �||� | �|d� | �|d� | �|� qd S )N))za, = a,r: )z a, b = a, bZROT_TWO)za, b, c = a, b, cZ ROT_THREEr2 r3 � BUILD_TUPLEZ UNPACK_TUPLE�r4 r. r- r% �r r5 r< r r r r �test_pack_unpackt s z TestTranforms.test_pack_unpackc C s� dD ]8\}}t |dd�}| �|d|� | �|d� | �|� qt tttd���dd�}| �|d� dd� t�|�D �}| � t
|�d � | �|� d
d � }| �|� d S ) N))z a = 1,2,3�r r& � )z
("a","b","c")��a�br )z
a,b,c = 1,2,3rD )z(None, 1, None)�Nr N)z((1, 2), 3, 4)��r r& rE � r2 r3 r: r@ �' c S s g | ]}|j d kr|�qS )r: �r r r r r �
<listcomp>� s
�zETestTranforms.test_folding_of_tuples_of_constants.<locals>.<listcomp>r& c d S s� ddddddddd d
ddddddddd d
ddddddddd d
ddddddddd d
ddddddddd d
ddddddddd d
ddddddddd d
ddddddddd d
ddddddddd d
ddddddddd d
gd f d S ) Nr r r& rE rL � � � � � r r r r r �crater� s� �zATestTranforms.test_folding_of_tuples_of_constants.<locals>.crater) r4 r. r- r% �repr�tuple�ranger r � assertEqualr$ )r r5 r< r Z load_constsrU r r r �#test_folding_of_tuples_of_constants� s
z1TestTranforms.test_folding_of_tuples_of_constantsc C sB dD ]8\}}t |dd�}| �|d|� | �|d� | �|� qd S )N))z a in [1,2,3]rD )za not in ["a","b","c"]rF )za in [None, 1, None]rI )za not in [(1, 2), 3, 4]rJ r2 r3 r: �
BUILD_LISTrA rB r r r �"test_folding_of_lists_of_constants� s
z0TestTranforms.test_folding_of_lists_of_constantsc C s� dt dddh�fdt dddh�fd t dd h�fd
t d dd h�fd
t dddh�ffD ]8\}}t|dd�}| �|d� | �|d|� | �|� qRdd� }dd� }| �|d�� | �|d � � | �|� | �|d� � | �|d �� | �|� d S )Nz a in {1,2,3}r r& rE za not in {"a","b","c"}rG r rH za in {None, 1, None}za not in {(1, 2), 3, 4}rK rL za in {1, 2, 3, 3, 2, 1}r2 r3 Z BUILD_SETr: c S s | dkS �N> r r& rE r �rG r r r r � s z:TestTranforms.test_folding_of_sets_of_constants.<locals>.fc S s | dkS r] r r^ r r r r8 � s z:TestTranforms.test_folding_of_sets_of_constants.<locals>.g)� frozensetr4 r- r. r% �
assertTrue)r r5 r< r r r8 r r r �!test_folding_of_sets_of_constants� s$ �
z/TestTranforms.test_folding_of_sets_of_constantsc C s, dD ]N\}}t |dd�}| �|d|� t�|�D ]}| �|j�d�� q0| �|� qt ddd�}| �|dd� | �|dd� | �|� t d dd�}| �|dd
� | �d d
|j � | �|� t d dd�}| �|dd
� | �dd
> |j � | �|� t ddd�}| �|dd
� | �dd
|j � | �|� d S )N))z a = 2+3+4rT )z"@"*4z@@@@)za="abc" + "def"Zabcdef)za = 3**4�Q )za = 3*4� )z a = 13//4rE )za = 14%4r& )za = 2+3rP )za = 13-4rT )za = (12,13)[1]�
)z a = 13 << 2�4 )z a = 13 >> 2rE )z
a = 13 & 7rP )z
a = 13 ^ 7�
)z
a = 13 | 7� r2 r3 r: �BINARY_za=2+"b"r& rH z a="x"*10000rM r( z a=1<<1000i� r z a=2**1000)
r4 r. r r � assertFalser �
startswithr% Z assertNotInr
)r r5 r< r r r r r �#test_folding_of_binops_on_constants� s,
z1TestTranforms.test_folding_of_binops_on_constantsc C s� t ddd�}| �|dd� | �|d� | �|� t ddd�}| �|dd� | �|d� | �|� t d dd�}| �|dd
� | �|d� | �|� t d dd�}| �|d� | �|� d S ) Nz"foo"[0]r2 r3 r: r Z
BINARY_SUBSCRu "a"[1]u u "𒍅"[0]u 𒍅z "fuu"[10]rA )r r r r r � test_binary_subscr_on_unicode� s
z+TestTranforms.test_binary_subscr_on_unicodec C s� dD ]N\}}t |dd�}| �|d|� t�|�D ]}| �|j�d�� q0| �|� qdd� }t�|�D ]}| �|j�d�� qf| �|� dD ]:\}}}t |dd�}| �|d|� | �||� | �|� q�d S ) N))z-0.5g �)z-0.0� �)z
-(1.0-1.0)rm )z-0r )z~-2r )z+1r r2 r3 r: �UNARY_c S s dS )Nrm r r r r r �negzero& s zDTestTranforms.test_folding_of_unaryops_on_constants.<locals>.negzero))z-"abc"�abcZUNARY_NEGATIVE)z~"abc"rp Z UNARY_INVERT)r4 r. r r ri r rj r% )r r5 r< r r ro r r r r �%test_folding_of_unaryops_on_constants s
z3TestTranforms.test_folding_of_unaryops_on_constantsc C sH dd� }| � |dd � dd� t�|�D �}| �t|�d� | �|� d S )Nc S s | S r7 r r' r r r r 9 s z/TestTranforms.test_elim_extra_return.<locals>.fr: c S s g | ]}|j d kr|�qS �r rN r r r r rO < s
�z8TestTranforms.test_elim_extra_return.<locals>.<listcomp>r )r- r r rY r$ r% �r r Zreturnsr r r �test_elim_extra_return7 s
z$TestTranforms.test_elim_extra_returnc C s\ dd� }| � |� | �|d� | �|d� dd� t�|�D �}| �t|�d� | �|� d S )Nc S s | r|S |S r7 r )�condZ
true_valueZ false_valuer r r r C s �z1TestTranforms.test_elim_jump_to_return.<locals>.fr r c S s g | ]}|j d kr|�qS rr rN r r r r rO J s
�z:TestTranforms.test_elim_jump_to_return.<locals>.<listcomp>r& )r r- r r rY r$ r% rs r r r �test_elim_jump_to_returnA s
z&TestTranforms.test_elim_jump_to_returnc C s dd� }| � |� | �|� d S )Nc S s t rts trt� nt� d S r7 )rG r �d�fooZbazr r r r r Q s �z6TestTranforms.test_elim_jump_to_uncond_jump.<locals>.f�r r% �r r r r r � test_elim_jump_to_uncond_jumpO s
z+TestTranforms.test_elim_jump_to_uncond_jumpc C s dd� }| � |� | �|� d S )Nc S s | rt s tr t� } q d S r7 )r rw rx r^ r r r r ^ s
�z7TestTranforms.test_elim_jump_to_uncond_jump2.<locals>.fry rz r r r � test_elim_jump_to_uncond_jump2\ s
z,TestTranforms.test_elim_jump_to_uncond_jump2c C s� dd� }| � |� | �|� | �t|d�d� dd� }| � |� | �|� | �t|d�d� dd� }| � |� | �|� | �|d� | �|d� | �|d� d d� }| � |� | �|� | �|d� | �|d� | �|d
� d S ) Nc S s | o
|o
|S r7 r rF r r r r j s �z7TestTranforms.test_elim_jump_to_uncond_jump3.<locals>.fZJUMP_IF_FALSE_OR_POPr& c S s | p
|p
|S r7 r rF r r r r q s �ZJUMP_IF_TRUE_OR_POPc S s | r|p
|S r7 r rF r r r r x s �r* c S s | s|o
|S r7 r rF r r r r � s �r+ )r r% rY r r- r. rz r r r � test_elim_jump_to_uncond_jump3g s(
z,TestTranforms.test_elim_jump_to_uncond_jump3c C sR dd� }| � |d� | � |d� dd� t�|�D �}| �t|�d� | �|� d S )Nc S s | rdS |rdS dS | r dS dS )Nr r& rE rL rP rQ r �Zcond1Zcond2r r r r � s z5TestTranforms.test_elim_jump_after_return1.<locals>.fr r c S s g | ]}|j d kr|�qS rr rN r r r r rO � s
�z>TestTranforms.test_elim_jump_after_return1.<locals>.<listcomp>rQ )r- r r �assertLessEqualr$ r% rs r r r � test_elim_jump_after_return1� s z*TestTranforms.test_elim_jump_after_return1c C sj dd� }| � |d� dd� t�|�D �}| �t|�d� dd� t�|�D �}| �t|�d� | �|� d S ) Nc S s | r dS q d S )NrL r r~ r r r r � s z5TestTranforms.test_elim_jump_after_return2.<locals>.fr c S s g | ]}|j d kr|�qS r> rN r r r r rO � s
�z>TestTranforms.test_elim_jump_after_return2.<locals>.<listcomp>r c S s g | ]}|j d kr|�qS rr rN r r r r rO � s
�r& )r- r r rY r$ r r% rs r r r � test_elim_jump_after_return2� s z*TestTranforms.test_elim_jump_after_return2c C s" dd� }| � |d� | �|� d S )Nc S s dd�dd�} | S )Nr& )�returnc S s d S r7 r r r r r r8 � s zBTestTranforms.test_make_function_doesnt_bail.<locals>.f.<locals>.gr )r8 r r r r � s z7TestTranforms.test_make_function_doesnt_bail.<locals>.fZ
BINARY_ADD)r- r% rz r r r � test_make_function_doesnt_bail� s z,TestTranforms.test_make_function_doesnt_bailc C s� ddddddddd g }|D ]`}t |d
d �}t�|�D ]:}| �|j�d �� | �|j�d
�� | �|j�d�� q4| �|� qd S )Nz3 * -5z-3 * 5z 2 * (3 * 4)z (2 * 3) * 4z
(-1, 2, 3)z
(1, -2, 3)z
(1, 2, -3)z(1, 2, -3) * 6z:lambda x: x in {(3 * -5) + (-1 - 6), (1, -2, 3) * 2, None}r2 r3 rn rh ZBUILD_)r4 r r ri r rj r% )r Zexprs�er r r r r �test_constant_folding� s" � z#TestTranforms.test_constant_foldingc C s( dd� }| � t|d�d� | �|� d S )Nc S s t ttfkS r7 )r( rG rH r r r r � containtest� s z7TestTranforms.test_in_literal_list.<locals>.containtestr[ r �rY r r% )r r� r r r �test_in_literal_list� s z"TestTranforms.test_in_literal_listc C s( dd� }| � t|d�d� | �|� d S )Nc S s t tfD ]} qd S r7 )rG rH r' r r r �forloop� s z8TestTranforms.test_iterate_literal_list.<locals>.forloopr[ r r� )r r� r r r �test_iterate_literal_list� s z'TestTranforms.test_iterate_literal_listc C s$ dd� }| � |� d� | �|� d S )Nc S s dsdr dS dS )NTFr r r r r r r r � s z=TestTranforms.test_condition_with_binop_with_bools.<locals>.fr )rY r% rz r r r �$test_condition_with_binop_with_bools� s z2TestTranforms.test_condition_with_binop_with_boolsc C s$ dd� }| � |d�� | �|� d S )Nc S s | rndrdS dS )NTFr r' r r r r � s
z3TestTranforms.test_if_with_if_expression.<locals>.fT)r` r% rz r r r �test_if_with_if_expression� s z(TestTranforms.test_if_with_if_expressionc C s dd� }| � |� d S )Nc S s dS dS )NrE rP rQ r r' r r r r � s z+TestTranforms.test_trailing_nops.<locals>.f)r% rz r r r �test_trailing_nops� s z TestTranforms.test_trailing_nopsN) �__name__�
__module__� __qualname__r r% r/ r6 r= r? rC rZ r\ ra rk rl rq rt rv r{ r| r} r� r� r� r� r� r� r� r� r� r r r r r s6
(
,!
# r c @ s e Zd Zdd� ZdS )� TestBugletsc C s( dd� }| � t�� |� W 5 Q R X d S )Nc S s ddh\} }| |fS )Nr r )r( �yr r r r � s z%TestBuglets.test_bug_11510.<locals>.f)Z assertRaises�
ValueErrorrz r r r �test_bug_11510� s zTestBuglets.test_bug_11510N)r� r� r� r� r r r r r� � s r� �__main__)
r ZunittestZtest.bytecode_helperr r r ZTestCaser� r� �mainr r r r �<module> s
b