Lib.Krakatau.ssa.ssa_ops.array.pyc Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of krakatau-lib Show documentation
Show all versions of krakatau-lib Show documentation
Assembler, disassebmler, decompiler and compiler tools library for Java.
?
?HRc @ s? d d l m Z d d l m Z d d l m Z d d l m Z m Z m Z m
Z
d e f d ? ? YZ d e f d ? ? YZ d
e f d ? ? YZ
d S(
i ( t BaseOpi ( t SSA_INT( t excepttypes( t
IntConstraintt FloatConstraintt ObjectConstraintt DUMMYt ArrLoadc B s e Z d ? Z d ? Z RS( c C sW t t | ? j | | g | d t ?| j | _ | j | d | ?| _ | | _ d S( Nt
makeExceptiont origin( t superR t __init__t Truet envt makeVariablet rvalt ssatype( t selft parentt argsR t monad( ( sA /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/array.pyR s & c C s
d } | j rS | t j f 7} | j ? rS d t j | j g | d t ?d f Sn | j d k s? | j
| j j k s? | j d k r? | t j f 7} t j | j g | d t ?} d | d f S| j | j j
k s? | j
d k r? | t j f 7} n | j
d d k r$t j | j
d ? } n? | j
d d k rPt j | j
d ? } n? | j
d d k r?g | j j D] \ } } | | d f ^ qp} g | j j D] \ } } | | d f ^ q?}
t j | j j | |
? } n t j | j g | d t ?} | | d f S( Nt nonnulli t inti t floatt obj( ( t nullR t NullPtrt isConstNullt NoneR t fromTopsR
R t arrlent mint maxt ArrayOOBR R t botR t typest superst exact( R t mt at it etypest eoutt routt baset dimR$ R% ( ( sA /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/array.pyt propagateConstraints s* (3
$// ( t __name__t
__module__R R. ( ( ( sA /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/array.pyR s t ArrStorec B s e Z d ? Z d ? Z RS( c C s< t t | ? j | | g | d t d t ?| j | _ d S( NR t makeMonad( R
R1 R R R
( R R R R ( ( sA /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/array.pyR ) s ,c C s? d } | j rS | t j f 7} | j ? rS d t j | j g | d t ?| f Sn | j d k s? | j
| j j k s? | j d k r? | t j f 7} t j | j g | d t ?} d | | f S| j | j j
k s? | j
d k r? | t j f 7} n t
| t ? r|g | j j D] \ } } | | d f ^ q} t j | j j | g ? }
|
j | ? |
k r|| t j f 7} q|n t j | j g | d t ?} d | t f S( NR i i ( ( R R R R R R R R
R R R R R! t
isinstanceR# R% t meett
ArrayStoreR ( R R& R' R( t xR) R* R, R- R% t allowed( ( sA /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/array.pyR. - s$ (3
$/ ( R/ R0 R R. ( ( ( sA /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/array.pyR1 ( s t ArrLengthc B s e Z d ? Z d ? Z RS( c C sn t t | ? j | | d t ?| j | _ | j t d | ?| _ t j | j g t
j f d t ?| _ d S( NR R R (
R
R8 R R R
R R R R R R R t outExceptionCons( R R R ( ( sA /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/array.pyR E s c C s? d } | j rS | t j f 7} | j ? rS d t j | j g | d t ?d f Sn t j | j g | d t ?} } | j | d f S( NR ( (
R R R R R R R R
R R ( R R6 R) t exconsR* ( ( sA /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/array.pyR. K s ("( R/ R0 R R. ( ( ( sA /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/array.pyR8 D s N( R, R t ssa_typesR t R t constraintsR R R R R R1 R8 ( ( ( sA /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/array.pyt s "! © 2015 - 2025 Weber Informatics LLC | Privacy Policy