o
    8ήcF                     @   s  d dl mZ d dlZd dlmZ d dlmZmZ d dl	m
Z
mZmZ d dlZe Zde_de_e Zde_dd Zd	d
 Zdd Zdd Zdd Zdd Zdd Zdd Zdd Zdd Zdd Zdd ZG dd  d ee
Z G d!d" d"e
Z!G d#d$ d$ee
Z"e#d%kre$  dS dS )&    )StringION)types)compile_extraFlags)TestCasetagMemoryLeakMixinTc                 K   s>   ddl m} |dd  |di  t|j|j| |fi |S )Nr   
cpu_targetreturn_typelocals)numba.core.registryr
   
setdefaultr   typing_contexttarget_context)pyfuncargtypeskwargsr
    r   C/tmp/pip-target-vg8gfxp4/lib/python/numba/tests/test_looplifting.pycompile_isolated   s   r   c                 C   s&   t d}t|jD ]}| ||< q
|S )N   )npemptyrangesizexair   r   r   lift1    s   

r    c                 C   sB   t d}t|jd D ]}t|jd D ]}| |||f< qq|S )N)r      r      )r   r   r   shape)r   r   r   jr   r   r   lift2)   s   
r%   c                 C   sB   t  }tjdtjd}d}t|jd D ]
}||| |  7 }q|S N   dtyper   objectr   arangeint64r   r#   )r   _r   cr   r   r   r   lift33   s   r0   c                 C   sR   t  }tjdtjd}d}d}t|jd D ]}||| |  7 }||7 }q|| S r&   r*   )r   r.   r   r/   dr   r   r   r   lift4<   s   
r2   c                 C   s6   t  }td}t|jd D ]	}|dkr |S q|S )Nr!   r      r+   r   r,   r   r#   r   r.   r   r   r   r   r   lift5G   s   
r6   c                 c   s:    t d}dV  t|jD ]}| ||< qt |V  d S )Nr   r   )r   r   r   r   sumr   r   r   r   	lift_gen1P   s   

r8   c                  C   s0   t d tdD ]} tdD ]}  dS q	dS )Nr"   
   r3   )r   r   r   )r   r$   r   r   r   lift_issue2561Y   s   
r:   c                 C   s(   t d}t|jd D ]}|  S |S Nr!   r   )r   r,   r   r#   r   r   r   r   reject1`   s   
r<   c                 c   s4    t  }td}t|jd D ]}|| V  qd S r;   r4   r5   r   r   r   reject_gen1h   s   
r=   c                 c   sN    t  }td}t|jD ]}|| |  }t|D ]}|d }q|V  qd S )Nr   r3   )r+   r   r,   r   r   )r   r.   r   r   resr$   r   r   r   reject_gen2o   s   

r?   c                 C   s@   t jdt jd}t|jD ]}t }t |d | ||< q|S )Nr   r(   r"   )r   r   int32r   r   r+   r,   )r   r   r   r.   r   r   r   reject_npm1{   s
   rA   c                   @   s   e Zd Zdd Zdd Zdd Zdd Zd	d
 Zdd Zdd Z	dd Z
dd Zdd Zdd Zdd Zdd Zdd Zdd Zdd  Zd!d" Zd#d$ Zd%S )&TestLoopLiftingc              	   C   s<   ddl m} t|j|j||d ti d}| t|jd |S )Nr   r	   )r   flagsr   r"   )	r   r
   r   r   r   looplift_flagsassertEquallenlifted)selfr   r   r
   cresr   r   r   try_lift   s   zTestLoopLifting.try_liftc                 C   s(   |j d }|j \}| |jj d S Nr   )rG   	overloadsvalues
assertTruefndescnative)rH   rI   jitlooploopcresr   r   r   assert_lifted_native   s   
z$TestLoopLifting.assert_lifted_nativec                 C   s8   |  ||}|| }|j| }| | | || dS )zH
        Check that pyfunc can loop-lift even in nopython mode.
        N)rJ   entry_pointrS   assertPreciseEqualrH   r   r   argsrI   expectedgotr   r   r   check_lift_ok   s
   

zTestLoopLifting.check_lift_okc                 C   s@   |  ||}t|| }t|j| }| | | || dS )zg
        Check that pyfunc (a generator function) can loop-lift even in
        nopython mode.
        N)rJ   listrT   rS   rU   rV   r   r   r   check_lift_generator_ok   s
   
z'TestLoopLifting.check_lift_generator_okc                 C   s<   t ||td}| |j || }|j| }| || dS )z4
        Check that pyfunc can't loop-lift.
        rC   N)r   rD   assertFalserG   rT   rU   rV   r   r   r   check_no_lift   s   
zTestLoopLifting.check_no_liftc                 C   sD   t ||td}| |j t|| }t|j| }| || dS )zK
        Check that pyfunc (a generator function) can't loop-lift.
        r]   N)r   rD   r^   rG   r[   rT   rU   rV   r   r   r   check_no_lift_generator   s   z'TestLoopLifting.check_no_lift_generatorc                 C   s   t ||td}| |j |   |j|  W d   n1 s!w   Y  t ||td}| |j || }|j| }| || dS )z
        Check that pyfunc will fail loop-lifting if pyobject mode
        is disabled inside the loop, succeed otherwise.
        r]   N)r   rD   rN   rG   assertTypingErrorrT   pyobject_looplift_flagsrU   rV   r   r   r   check_no_lift_nopython   s   

z&TestLoopLifting.check_no_lift_nopythonc                 C      |  ttjfd d S N){   )rZ   r    r   intprH   r   r   r   
test_lift1      zTestLoopLifting.test_lift1c                 C   rd   re   )rZ   r%   r   rg   rh   r   r   r   
test_lift2   rj   zTestLoopLifting.test_lift2c                 C   rd   re   )rZ   r0   r   rg   rh   r   r   r   
test_lift3   rj   zTestLoopLifting.test_lift3c                 C   rd   re   )rZ   r2   r   rg   rh   r   r   r   
test_lift4   rj   zTestLoopLifting.test_lift4c                 C   rd   re   )rZ   r6   r   rg   rh   r   r   r   
test_lift5   rj   zTestLoopLifting.test_lift5c                 C   s   |  tdd d S )Nr   )rZ   r:   rh   r   r   r   test_lift_issue2561   s   z#TestLoopLifting.test_lift_issue2561c                 C   rd   re   )r\   r8   r   rg   rh   r   r   r   test_lift_gen1   rj   zTestLoopLifting.test_lift_gen1c                 C   rd   re   )r_   r<   r   rg   rh   r   r   r   test_reject1   rj   zTestLoopLifting.test_reject1c                 C   rd   re   )r`   r=   r   rg   rh   r   r   r   test_reject_gen1   rj   z TestLoopLifting.test_reject_gen1c                 C   rd   re   )r`   r?   r   rg   rh   r   r   r   test_reject_gen2   rj   z TestLoopLifting.test_reject_gen2c                 C   rd   re   )rc   rA   r   rg   rh   r   r   r   test_reject_npm1   rj   z TestLoopLifting.test_reject_npm1N)__name__
__module____qualname__rJ   rS   rZ   r\   r_   r`   rc   ri   rk   rl   rm   rn   ro   rp   rq   rr   rs   rt   r   r   r   r   rB      s&    rB   c                   @   s   e Zd Zdd Zdd ZdS )TestLoopLiftingAnnotatec           
         s   ddl m} dd   fdd}||}td}| }||}tj||d  t }|j|d	 |	 }|
  | d
| |jjd }	| dj|	d| | d| dS )zO
        Verify that annotation works as expected with one lifted loop
        r   jitc                   S      d S Nr   r   r   r   r   bar     z4TestLoopLiftingAnnotate.test_annotate_1.<locals>.barc                    s*      t | jD ]
}| |  d7  < q| S )Nr"   r   r   )r   r   r}   r   r   foo  s   z4TestLoopLiftingAnnotate.test_annotate_1.<locals>.foor9   r"   file"The function contains lifted loopsr3   Loop at line {line}linezHas 1 overloadsNnumbarz   r   r,   copytestingassert_equalr   inspect_typesgetvaluecloseassertIn__code__co_firstlinenoformat)
rH   rz   r   cfoor   xcopyrbuf
annotationr   r   r   r   test_annotate_1   s    
z'TestLoopLiftingAnnotate.test_annotate_1c                    s   ddl m} dd   fdd}||}td}| }||}tj||d d	  t }|j|d
 |	 }|
  | d| |jjd }	|jjd }
| dj|	d| | dj|
d| dS )zP
        Verify that annotation works as expected with two lifted loops
        r   ry   c                   S   r{   r|   r   r   r   r   r   r}   %  r~   z4TestLoopLiftingAnnotate.test_annotate_2.<locals>.barc                    sJ      t | jD ]
}| |  d7  < qt | jD ]
}| |  d9  < q| S )Nr"   r3   r   )r   r   r$   r   r   r   r   (  s   z4TestLoopLiftingAnnotate.test_annotate_2.<locals>.foor9   r"   r3   r   r   r      r   r   Nr   )rH   rz   r   r   r   r   r   r   r   line1line2r   r   r   test_annotate_2  s"   

z'TestLoopLiftingAnnotate.test_annotate_2N)ru   rv   rw   r   r   r   r   r   r   rx      s    "rx   c                   @   s|   e Zd Zdd Zdd Zdd Zdd Zd	d
 Zdd Zdd Z	dd Z
dd Zdd Zdd Zdd Zdd Zdd ZdS )TestLoopLiftingInActionc                 C   s&   |j |jd  j}| t|| d S rK   )rL   
signaturesrG   rE   rF   )rH   jitted	loopcountrG   r   r   r   assert_has_liftedF  s   z)TestLoopLiftingInAction.assert_has_liftedc           	      C   s   ddl m}m}m}m} ||||d d  dddd }dD ]!}tjdd	d
}tjdd	d
}||| ||| | || qd S )Nr   )rz   voidr@   doubleTforceobjc                 S   sX   | dkrt |jd D ]
}|| d ||< qd S t |jd D ]
}|| d ||< qd S )Nr   g       @      ?)r   r#   )ur   r   r   r   r   forloop_with_ifM  s   z?TestLoopLiftingInAction.test_issue_734.<locals>.forloop_with_if)r   r"   r9   r@   r(   )	r   rz   r   r@   r   r   r,   py_funcrU   )	rH   rz   r   r@   r   r   r   nb_anp_ar   r   r   test_issue_734J  s   

z&TestLoopLiftingInAction.test_issue_734c                 C   sJ   ddl m} |ddddd }tg d}tj|||| d S )	Nr   ry   zf8[:](f8[:])Tr   c                 S   sl   t t| }d}tt| D ]}|d7 }| | ||< | | dkr# nqt|d t| D ]}d||< q-|S )Nr   r"   r9   )r   zerosrF   r   )r   r>   indiir   r   r   test`  s   
z4TestLoopLiftingInAction.test_issue_812.<locals>.test)
r   r!   r3   r'   r3   r9   r'   r3   r   )r   rz   r   arrayr   r   r   )rH   rz   r   r   r   r   r   test_issue_812]  s
   

z&TestLoopLiftingInAction.test_issue_812c           
      C   s   ddl m} dd }td}t }||}|||}|||}| |d |d  | |d |d  |j|jd  jd }|j	 \}	| 
|	jj d S )Nr   ry   c                 S   s&   d}| D ]}||7 }q|  }||fS rK   )__hash__)r   bsehr   r   r   lift_issue2368v  s
   
z?TestLoopLiftingInAction.test_issue_2368.<locals>.lift_issue2368r9   r"   )r   rz   r   onesr+   rE   rL   r   rG   rM   rN   rO   rP   )
rH   rz   r   r   r   r   rX   rY   rQ   rR   r   r   r   test_issue_2368s  s   


z'TestLoopLiftingInAction.test_issue_2368c                 C   j   ddl m} |dddd }| |d|d | j|dd	 | |d|d | j|dd	 d S )
Nr   ry   Tr   c                 S   s   d}t | D ]}|}q|S rK   r   nr>   r   r   r   r   r     s   z?TestLoopLiftingInAction.test_no_iteration_w_redef.<locals>.testr"   r   r   rz   rE   r   r   rH   rz   r   r   r   r   test_no_iteration_w_redef  s   
z1TestLoopLiftingInAction.test_no_iteration_w_redefc                 C   r   )
Nr   ry   Tr   c                 S   s   d}t | D ]}||7 }q|S rK   r   r   r   r   r   r     s   
z7TestLoopLiftingInAction.test_no_iteration.<locals>.testr   r"   r   r   r   r   r   r   test_no_iteration  s   
z)TestLoopLiftingInAction.test_no_iterationc                 C   sF   ddl m} |dddd }| |d|d | j|dd d S )	Nr   ry   Tr   c                 S   s   t | D ]}|}q|S r|   r   )r   r   r>   r   r   r   r     s   z>TestLoopLiftingInAction.test_define_in_loop_body.<locals>.testr"   r   r   r   r   r   r   test_define_in_loop_body  s
   
z0TestLoopLiftingInAction.test_define_in_loop_bodyc                 C   sB   ddl m} |dddd }td}| |||| dS )	zTest a problem caused by invalid discovery of loop argument
        when a variable is used afterwards but not before.

        Before the fix, this will result in::

        numba.ir.NotDefinedError: 'i' is not defined
        r   ry   Tr   c                 S   sL   t | tjkr| jdkrd}d}t| jd D ]}qd S td}d\}}|S )Nr"           r   )r   r   )typer   ndarrayndimr   r#   	Exception)argresultr$   r   r   r   r   r     s   
z;TestLoopLiftingInAction.test_invalid_argument.<locals>.testr9   N)r   rz   r   r,   rE   r   )rH   rz   r   r   r   r   r   test_invalid_argument  s
   

z-TestLoopLiftingInAction.test_invalid_argumentc                 C   sB   ddl m} |dddd }| | |  | j|dd d S )	Nr   ry   Tr   c                  S   s2   d} d}t dD ]}|dkrd} || 7 }q|| fS )Nr'   r   r3   r   r   )r   yr   r   r   r   r     s   
zHTestLoopLiftingInAction.test_conditionally_defined_in_loop.<locals>.testr"   r   r   r   r   r   r   "test_conditionally_defined_in_loop  s
   
	z:TestLoopLiftingInAction.test_conditionally_defined_in_loopc                 C   sv   ddl m} dd l}dd }|  |d |dd|}| |d|d W d    d S 1 s4w   Y  d S )Nr   ry   c                 S   s   | r	t dD ]}qd S d S )Nr9   r   )r   r   r   r   r   r     s
   zRTestLoopLiftingInAction.test_stack_offset_error_when_has_no_return.<locals>.pyfuncerrorTr   )r   rz   warningscatch_warningssimplefilterrE   )rH   rz   r   r   cfuncr   r   r   *test_stack_offset_error_when_has_no_return  s   

"zBTestLoopLiftingInAction.test_stack_offset_error_when_has_no_returnc                    s@   ddl m} dd   fdd}||}| |d|d dS )	z
        https://github.com/numba/numba/issues/2179

        Looplifting transformation is using the wrong version of variable `h`.
        r   ry   c                 S   s   | S r|   r   )r   r   r   r   r}      r~   z<TestLoopLiftingInAction.test_variable_scope_bug.<locals>.barc                    s*   d}t | D ]}|| }q| |  }|S )Nr   r   )r   r   kr   r   r   r     s
   
z<TestLoopLiftingInAction.test_variable_scope_bug.<locals>.foor9   N)r   rz   rE   )rH   rz   r   r   r   r   r   test_variable_scope_bug  s
   z/TestLoopLiftingInAction.test_variable_scope_bugc                 C   s   ddl m} dd }||}tddf}| || ||  | t|j|jd  jd |j|jd  jd }| t|jd tddf}| || ||  | t|jd d	S )
z<
        https://github.com/numba/numba/issues/2481
        r   ry   c                 S   sB   | d d | }d}t |jD ]}t  ||d d d |  }q|S )Nr"   r   )r   r   r+   )r   r   Ar/   r   r   r   r   r     s   z<TestLoopLiftingInAction.test_recompilation_loop.<locals>.foor9   r"   r   r3   N)	r   rz   r   r,   rE   rF   rL   r   rG   )rH   rz   r   r   rW   rG   r   r   r   test_recompilation_loop  s   
z/TestLoopLiftingInAction.test_recompilation_loopc                 C   sx   dd }ddl m} | |}|d | |j|jd  jd |dd|}|d | t|j|jd  jd d S )	Nc                 S   s   dd dD  dD ]}q	| S )Nc                 S   s   g | ]}|qS r   r   ).0r   r   r   r   
<listcomp>/  s    zRTestLoopLiftingInAction.test_lift_listcomp_block0.<locals>.foo.<locals>.<listcomp>)r"   r   )Xr   r   r   r   r   .  s   z>TestLoopLiftingInAction.test_lift_listcomp_block0.<locals>.foor   ry   r"   r   Tr   )r   rz   rE   rL   r   rG   rF   )rH   r   rz   fr   r   r   test_lift_listcomp_block0,  s   
"z1TestLoopLiftingInAction.test_lift_listcomp_block0c              	   C   s   ddl m} |dd }tdddddddd	}|di |}|jdi |}| |d |d  | |d
 |d
  |j|jd  j\}| t	|j
d
 d S )Nr   ry   c           
      S   s   t |t |}}|||d< |d< t |d D ]2}	t | ||	  |t | ||	    ||	d < t |||	  |t |||	    ||	d < qt  ||fS )Nr   r"   )r   r   r,   sincosr+   )
r   r   r/   r1   x0y0r   xsysr   r   r   r   r   H  s   02zDTestLoopLiftingInAction.test_lift_objectmode_issue_4223.<locals>.foog333333?g333333?g333333?   )r   r   r/   r1   r   r   r   r"   r   )r   rz   dictr   rU   rL   r   rG   rE   rF   nopython_signatures)rH   rz   r   r   rY   rX   rG   r   r   r   test_lift_objectmode_issue_4223E  s   
	z7TestLoopLiftingInAction.test_lift_objectmode_issue_4223N)ru   rv   rw   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   E  s    r   __main__)%ior   numpyr   
numba.corer   numba.core.compilerr   r   numba.tests.supportr   r   r   unittestrD   enable_pyobjectenable_loopliftr   rb   enable_pyobject_loopliftr   r    r%   r0   r2   r6   r8   r:   r<   r=   r?   rA   rB   rx   r   ru   mainr   r   r   r   <module>   s>    	
			
vJ  