o
    i                     @   s   d dl mZmZ d dlmZmZmZmZ d dlm	Z	 d dl
mZ d dlmZmZmZ d dlmZ d dlmZ d dlZd dlZd	d
 Zdd Zdd Zdd Zdd ZG dd dejZedkree  dS dS )    )jitnjit)typesirconfigcompiler)
cpu_target)type_annotations)copy_propagateapply_copy_propagateget_name_var_table)type_inference_stage)IRPreservingTestPipelineNc                 C   s.   d}|}| dkr|| }nd}d| }|| k S )N   r       )bzwxx1yar   r   ]/home/ubuntu/transcripts/venv/lib/python3.10/site-packages/numba/tests/test_copy_propagate.pytest_will_propagate   s   
r   c                 C   s.   d}| dkr|| }d}nd}d| }|| k S )Nr   r      r   r   )r   r   r   r   r   r   r   r   r   test_wont_propagate   s   r   c                 C   s   d S )Nr   )r   r   cdr   r   r   	null_func(   s   r   c                 C   s   | D ]
}|j |kr dS qdS NTF)name)list_varvarir   r   r   	inListVar,   s
   
r%   c                 C   s^   | j  D ]'\}}t|jD ]\}}t|tjr+|jj|kr+|	 }t
||r+  dS qqdS r    )blocksitems	enumeratebody
isinstancer   Assigntargetr!   	list_varsr%   )func_irr#   labelblockr$   install_varr   r   r   
findAssign3   s   
r3   c                   @   s,   e Zd Zdd Zdd Zdd Zdd Zd	S )
TestCopyPropagatec              
   C      t j}t j}tt}|  |  tjtjtjf}t	||||d \}}}}t
j|||dd ||tjd}	t|j|\}
}t|j|
t|j|| | t|d d S )Nr   r.   typemap	calltypesliftedlifted_fromargsreturn_typehtml_outputr   )r   typing_contexttarget_contextr   run_frontendr   refreshr   int64r   r	   TypeAnnotationr   HTMLr
   r&   r   r   assertFalser3   self	typingctx	targetctxtest_irr;   r7   r<   r8   _type_annotationin_cpsout_cpsr   r   r   test1?   s8   
	
zTestCopyPropagate.test1c              
   C   r5   )Nr   r6   r   )r   r>   r?   r   r@   r   rA   r   rB   r   r	   rC   r   rD   r
   r&   r   r   
assertTruer3   rF   r   r   r   test2[   s2   
	zTestCopyPropagate.test2c                 C   s   dd }t td|}| |d|d |j|jd  jd }| t|jdk t	t
|j }d}|jD ]'}t|tjr_|jjd	kr_d
}| t|jtjo]|jjdko]|jjjdk q8| | dS )zmake sure Interpreter._remove_unused_temporaries() has removed extra copies
        in the IR in simple cases so copy propagation is faster
        c                 S   s   | d }|S )Nr   r   )r   r   r   r   r   	test_imply   s   z?TestCopyPropagate.test_input_ir_extra_copies.<locals>.test_impl)pipeline_class   r   preserved_irr   Fr   Tbinopr   N)r   r   assertEqual	overloads
signaturesmetadatarP   lenr&   nextitervaluesr)   r*   r   r+   r,   r!   valueExproplhs)rG   rR   j_funcfirr0   b_foundstmtr   r   r   test_input_ir_extra_copiesu   s"   

z,TestCopyPropagate.test_input_ir_extra_copiesc                 C   s   dd }dd }dd }G dd d}|  |d	t|d	 |  |td
dd	t|td
dd	 |  || d	tdd|| d	 dS )zmake sure Interpreter._remove_unused_temporaries() does not generate
        invalid code for rare chained assignment cases
        c                 S   s   | d  }}||fS )Nr   r   )r   r   r   r   r   r   impl1   s   zDTestCopyPropagate.test_input_ir_copy_remove_transform.<locals>.impl1c                 S   s    |d  }| |< || | d fS Nr   r   r   )Ar$   r   r   r   r   r   impl2   s   zDTestCopyPropagate.test_input_ir_copy_remove_transform.<locals>.impl2c                 S   s   |d  }| _ || j d fS ri   )r   )rj   r   r   r   r   r   impl3   s   zDTestCopyPropagate.test_input_ir_copy_remove_transform.<locals>.impl3c                   @   s   e Zd ZdS )z@TestCopyPropagate.test_input_ir_copy_remove_transform.<locals>.CN)__name__
__module____qualname__r   r   r   r   C   s    rp   rT   r   r   T)forceobjN)rW   r   nponesr   )rG   rh   rk   rl   rp   r   r   r   #test_input_ir_copy_remove_transform   s   ,*z5TestCopyPropagate.test_input_ir_copy_remove_transformN)rm   rn   ro   rO   rQ   rg   rt   r   r   r   r   r4   >   s
    r4   __main__) numbar   r   
numba.corer   r   r   r   numba.core.registryr   numba.core.annotationsr	   numba.core.ir_utilsr
   r   r   numba.core.typed_passesr   numba.tests.supportr   numpyrr   unittestr   r   r   r%   r3   TestCaser4   rm   mainr   r   r   r   <module>   s$   j