o
    8ήc1                     @   s   d dl mZmZ d dlmZmZ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rie!  dS dS )    )jitnjit)typestypingirconfigcompilercpu)
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   F/tmp/pip-target-vg8gfxp4/lib/python/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   
r5   c                   @   s,   e Zd Zdd Zdd Zdd Zdd Zd	S )
TestCopyPropagatec                 C      t  }t|d}tt}t||O |	  |	  t
jt
jt
jf}t||||d \}}}}tj|||dd ||tjd}	t|j|\}
}t|j|
t|j|| | t|d W d    d S 1 sgw   Y  d S )Nr	   r   r0   typemap	calltypesliftedlifted_fromargsreturn_typehtml_outputr   )r   Contextr	   
CPUContextr   run_frontendr   r
   nested_contextrefreshr   int64r   r   TypeAnnotationr   HTMLr   r(   r   r   assertFalser5   self	typingctx	targetctxtest_irr=   r9   r>   r:   _type_annotationin_cpsout_cpsr   r   r   test1?   s<   
	
"zTestCopyPropagate.test1c                 C   r7   )Nr	   r   r8   r   )r   r@   r	   rA   r   rB   r   r
   rC   rD   r   rE   r   r   rF   r   rG   r   r(   r   r   
assertTruer5   rI   r   r   r   test2\   s6   
	"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_impl{   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metadatarS   lenr(   nextitervaluesr+   r,   r   r-   r.   r#   valueExproplhs)rJ   rU   j_funcfirr2   b_foundstmtr   r   r   test_input_ir_extra_copiesw   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 rl   )r   )rm   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    rs   rW   r   r   T)forceobjN)rZ   r   nponesr   )rJ   rk   rn   ro   rs   r   r   r   #test_input_ir_copy_remove_transform   s   ,*z5TestCopyPropagate.test_input_ir_copy_remove_transformN)rp   rq   rr   rR   rT   rj   rw   r   r   r   r   r6   >   s
    r6   __main__)"numbar   r   
numba.corer   r   r   r   r   r	   numba.core.registryr
   numba.core.annotationsr   numba.core.ir_utilsr   r   r   numba.core.typed_passesr   numba.tests.supportr   numpyru   unittestr   r   r!   r'   r5   TestCaser6   rp   mainr   r   r   r   <module>   s$    l