X-PhdZddlmZddlmZmZmZmZmZm Z m Z m Z m Z m Z mZmZddlmZddlmZmZddlmZddlmZddZddZddZdS)zIRBuilder AST transform helpers shared between expressions and statements. Shared code that is tightly coupled to mypy ASTs can be put here instead of making mypyc.irbuild.builder larger. ) annotations) LDEF BytesExprComparisonExpr Expression FloatExprIntExpr MemberExprNameExprOpExprStrExpr UnaryExprVar) BasicBlock)is_fixed_width_rtype is_tagged) IRBuilder)constant_fold_exprselfrertruerfalsereturnNonect|tr|jdvr|jdkrSt}t ||j||||t ||j||dSt}t ||j||||t ||j||dSt|tr$|jdkrt ||j ||dSt||||}|rdS| |}| |||dS)N)andorrnot) isinstancer oprprocess_conditionalleftactivate_blockrightrexpr$maybe_process_conditional_comparisonacceptadd_bool_branch)rrrrnewresregs Y/var/www/html/test/jupyter/venv/lib/python3.11/site-packages/mypyc/irbuild/ast_helpers.pyr!r!sR!V/!6!6 45==,,C afc5 9 9 9    $ $ $ agtU ; ; ; ; ;,,C afdC 8 8 8    $ $ $ agtU ; ; ; ; ; Ay ! !/ademmD!&%6666624D%HH   Fkk!nn S$.....boolcVt|trt|jdkrdS||jd}||jd}t |st |rt |st |sdS|jd}|dvrdS|jd}|jd}t||} | || } | |d} t |st |rt |s| | ||j } n+t |s| | ||j } | | | ||j } |j || ||nM|j | | ||j } ||| ||dS)akTransform simple tagged integer comparisons in a conditional context. Return True if the operation is supported (and was transformed). Otherwise, do nothing and return False. Args: self: IR form Builder e: Arbitrary expression true: Branch target if comparison is true false: Branch target if comparison is false Fr)z==z!=z>=) can_borrowT)rrlenoperands node_typerr operatorsis_borrow_friendly_exprr'coerceline binary_opbuilderflush_keep_alivesr() rrrrltypertyper left_expr right_expr borrow_leftr"r$r+s r,r&r&8s a ( (C OOq,@,@u NN1:a= ) )E NN1:a= ) )E 5  1%88 u  !5e!rPsF #"""""                            $#####;;;;;;;;++++++::::::////6,,,,^r-