gdZddlmZddlZddlZddlZddlZddlZddlZddl Z ddl Z ddl m Z m Z mZmZddlmZddlmZmZmZmZmZmZmZmZmZmZmZmZmZddl m!Z!ddl"m#Z#m$Z$dd l%m&Z&m'Z'm(Z(m)Z)m*Z*m+Z+m,Z,m-Z-dd l.m/Z/dd l0m1Z1d d l2m3Z3d dl4m5Z5d dl6m7Z7d dl8m9Z9e:hdZ;e j<de j=Z>e j<de j=Z?e j<de j=Z@GddZAededededfZBdejCDZDdejCDZEdideDejFd eDejGd!eDejHd"eDejId#eDejJd$eDejKd%eDejLd&eDejMd'eDejNd(eDejOd)eDejPd*eDejQd+eDejRd,eEejSd d-eEejTd d.eEejUd d/eEejVd eEejWd eEejXd eEejYd eEejZd eDej[eEej\d0eEej]d eEej^d eEejSd eDejFeEejVd eDej_eDej`eDejaeDejbd1iZcd2eDejdiZeejfGd3d4ZgGd5d6ZhdNd:ZiejfGd;d<ZjGd=d>ZkdOdFZldGZmdPdKZnGdLdMe#joe3jpZqdS)QzQASM3 Exporter) annotationsN)IterableListSequenceUnion) StandardGate) libraryBarrierCircuitInstructionClbitGateMeasure ParameterParameterExpressionQuantumCircuitQubitResetDelayStore)Bit)exprtypes)IfElseOp ForLoopOp WhileLoopOp SwitchCaseOp ControlFlowOp BreakLoopOpContinueLoopOp CASE_DEFAULT)Register)pi_check)ast)ExperimentalFeatures)QASM3ExporterError) BasicPrinter>/ifinbitboxcaldefendforintinvletpowboolcregctrlelsegateqreguintanglearraybreakconstdelayfloatinputqubitresetwhiledefcalexterngphaseoutputreturnsizeofbarriercomplexincludemeasuremutablenegctrlstretchOPENQASMcontinueduration durationof defcalgrammarz ([\w][\w\d]*))flagsz\$[\d]+z[^\w\d]c HeZdZdZddddddedfddZdZdZdS)ExporterzQASM3 exporter main class.) stdgates.inc)UFNz rincludes Sequence[str] basis_gatesdisable_constantsr4alias_classical_registersallow_aliasingindentstr experimentalr%c||_||_||n|pd|_t||_||_||_dS)a Args: includes: the filenames that should be emitted as includes. .. note:: At present, only the standard-library file ``stdgates.inc`` is properly understood by the exporter, in the sense that it knows the gates it defines. You can specify other includes, but you will need to pass the names of the gates they define in the ``basis_gates`` argument to avoid the exporter outputting a separate ``gate`` definition. basis_gates: the basic defined gate set of the backend. disable_constants: if ``True``, always emit floating-point constants for numeric parameter values. If ``False`` (the default), then values close to multiples of OpenQASM 3 constants (``pi``, ``euler``, and ``tau``) will be emitted in terms of those constants instead, potentially improving accuracy in the output. alias_classical_registers: If ``True``, then bits may be contained in more than one register. If so, the registers will be emitted using "alias" definitions, which might not be well supported by consumers of OpenQASM 3. .. seealso:: Parameter ``allow_aliasing`` A value for ``allow_aliasing`` overrides any value given here, and supersedes this parameter. allow_aliasing: If ``True``, then bits may be contained in more than one register. If so, the registers will be emitted using "alias" definitions, which might not be well supported by consumers of OpenQASM 3. Defaults to ``False`` or the value of ``alias_classical_registers``. .. versionadded:: 0.25.0 indent: the indentation string to use for each level within an indented block. Can be set to the empty string to disable indentation. experimental: any experimental features to enable during the export. See :class:`ExperimentalFeatures` for more details. NF)r^r_ralistr\rbrd)selfr\r^r_r`rarbrds K/granary/edev/quantum/lib/python3.11/site-packages/qiskit/qasm3/exporter.py__init__zExporter.__init__sT\'!2,8NN?X?a\a X  (ctj5}||||cdddS#1swxYwYdS)zDConvert the circuit to OpenQASM 3, returning the result as a string.N)ioStringIOdumpgetvalue)rgcircuitstreams rhdumpszExporter.dumpss []] %f IIgv & & &??$$ % % % % % % % % % % % % % % % % % %s*A  AAct||j|j|j|j|j}t ||j|j| dS)zOConvert the circuit to OpenQASM 3, dumping the result to a file or text stream.) includeslistr^r_rard)rbrdN) QASM3Builderr\r^r_rardr'rbvisit build_program)rgrprqbuilders rhrnz Exporter.dumps} ("4.*     VDKd>OPPPVV  ! ! # #     rj)r\r]r^r]r_r4r`r4rar4rbrcrdr%)__name__ __module__ __qualname____doc__r%rirrrnrjrhrYrYst$$#4%+"'*.#-A-A!-D-D5)5)5)5)5)n%%%      rjrYp0p1p2p3cVi|]&}|j ||jtd|j'SN)is_controlled_gate gate_class_FIXED_PARAMETERS num_params.0standards rh rsM  & !h!#45Jx7J5J#KLrjcfi|]-j fdtdjzD.S)cNg|]!}jtdjd|i"S)N ctrl_state)rrr)rrrs rh z.sK  ./D1D/DE]R\]]rjr#)rrangenum_ctrl_qubitsrs @rhrrsj((( " ( X%= =>>(((rjrZpxyzhssdgttdgsxrxryrzcxcyczcp)crxcrycrzchswapccxcswapcuCXphasecphaseidu1u2u3r[c*eZdZUdZded< ded<dS)GateInfoz#Symbol-table information on a gate. Gate | None canonicalz ast.QuantumGateDefinition | NonenodeNryrzr{r|__annotations__r}rjrhrr s=--+***FFrjrceZdZdZdZdZdZd)dZd*d Zd*d Z d d d+dZ d d dd,dZ d-dZ d.dZ d/dZd0d%Zd1d'Zd(S)2 SymbolTablezCTrack Qiskit objects and the OQ3 identifiers used to refer to them.ci|_ i|_ i|_ ig|_ ig|_ t j|_dSr)gatesstandard_gate_identsuser_gate_idents variablesobjects itertoolscount_counterrgs rhrizSymbolTable.__init__ s^DF  UIK!a;=M35$ e=?4  e ")) rjcn|ji|jidS)zEnter a new variable scope.N)rappendrrs rh push_scopezSymbolTable.push_scope;s4 b!!! Brjcj|j|jdS)z6Exit the current scope, returning to a previous scope.N)rpoprrs rh pop_scopezSymbolTable.pop_scope@s0  rjrIcjt}|j|_|j|_|j|_|S)zCreate a new context, such as for a gate definition. Contexts share the same set of globally defined gates, but have no access to other variables defined in any scope.)rrrr)rgouts rh new_contextzSymbolTable.new_contextEs1 mmJ #'#< #4 rjnamercr4c|tvp;||jvp2|tjt |jvS)z6Whether this identifier has a defined meaning already.)_RESERVED_KEYWORDSrrchain from_iterablereversedrrgrs rhsymbol_definedzSymbolTable.symbol_definedPsJ & & Otz! Oy44Xdn5M5MNNN rjcD||jdvo||jvo|tvS)zbWhether a new definition of this symbol can be made within the OpenQASM 3 shadowing rules.)rrrrs rhcan_shadow_symbolzSymbolTable.can_shadow_symbolXs5 r* * /DJ& /.. rjF)unique allow_renamerc|rfdnj}t}|rf||sdtd|z}|}||s$|dt j}||$|S||std|d|tvrtd|d||sj |td|d tj D]}| |x}ntd |d td|d |d |S) zGet an identifier based on ``name`` that can be safely shadowed within this scope. If ``unique`` is ``True``, then the name is required to be unique across all live scopes, not just able to be redefined.c0| Sr)r)rrgs rhz5SymbolTable.escaped_declarable_name..gsd11$777rj_z cannot use 'z)' as a name; it is not a valid identifierzcannot use the keyword 'z' as a variable nameNzcannot shadow variable 'z%', as it is already defined as a gatez/internal error: could not locate unshadowable ''z ', as it is already defined as ')r_VALID_DECLARABLE_IDENTIFIER fullmatch_BAD_IDENTIFIER_CHARACTERSsubnextrr&rrgetrr RuntimeError) rgrrr name_allowedvalid_identifierbasescopeothers ` rhescaped_declarable_namez#SymbolTable.escaped_declarable_nameas =C ^ 7 7 7 7 7H^ 8  #--d33 G7;;CFFFD"l4(( 766dm!4!466#l4(( 7K))$// e$%cD%c%c%cdd d % % %$%Z%Z%Z%Z[[ [|D!! z~~d##/(ZtZZZ"$.11 ^ ^"YYt__,E9E:##\UY#\#\#\]]]$Y4YYQVYYY  rj) force_globalallow_hardware_qubitvariableobjectrrast.Identifierc6|rdnd}|rBt|r(||rtd|n||||}t j|}||j||<|||j||<|S)a%Register a variable in the symbol table for the given scope, returning the name that should be used to refer to the variable. The same name will be returned by subsequent calls to :meth:`get_variable` within the same scope. Args: name: the name to base the identifier on. variable: the Qiskit object this refers to. This can be ``None`` in the case of reserving a dummy variable name that does not actually have a Qiskit object backing it. allow_rename: whether to allow the name to be mutated to escape it and/or make it safe to define (avoiding keywords, subject to shadowing rules, etc). force_global: force this declaration to be in the global scope. allow_hardware_qubit: whether to allow hardware qubits to pass through as identifiers. Hardware qubits are a dollar sign followed by a non-negative integer, and cannot be declared, so are not suitable identifiers for most objects. rrz0internal error: cannot redeclare hardware qubit rr) _VALID_HARDWARE_QUBITrrr&rr$ Identifierrr)rgrrrrr scope_index identifiers rhregister_variablezSymbolTable.register_variables2(/aaR  $9$C$CD$I$I ""4(( d()b\`)b)bccc d//< 0D^D)) ,4{#D)  2||dd}tj|}|tdd|j|<nUt |}t|d|j|<|j||j|j<n||jt|<|S)aRegister a gate that does not require an OQ3 definition. If the ``gate`` is given, it will be used to validate that a call to it is compatible (such as a known gate from an included file). If it is not given, it is treated as a user-defined "basis gate" that assumes that all calling signatures are valid and that all gates of this name are exactly compatible, which is somewhat dangerous.FrN) rr$rrr_gate_canonical_form_standard_gaterrr)rgrr8rrs rh register_gate_without_definitionz,SymbolTable.register_gate_without_definitions++DuU+SSt$$ <'d33DJt  ,T22I' 488DJt '3FK))*BCC7<%bmm4 rjsourcer paramsIterable[ast.Identifier]qubitsbodyast.QuantumBlockc H||dd}tj|}t|tj|t |t |||j|<|j||j|j<n||j t|<|S)ztRegister the given gate in the symbol table, using the given components to build up the full AST definition.TFr) rr$rrQuantumGateDefinitiontuplerrrrr)rgrrrrrrs rh register_gatezSymbolTable.register_gates++DtE+RRt$$# C-eU6]]E&MMSWXX   4  ,?DD %f&; < <05D !"V** - rjast.Identifier | Nonect|}|j|jx}4|j|us|j |j|krt j|jS|jB|j|jx}dS|j|j j|kr|ndS|j t|S)z7Lookup the identifier for a given `Gate`, if it exists.N) rrrrrr$rrrstringrr)rgr8rour_defn our_idents rhget_gatezSymbolTable.get_gates(..  ty11 1H >  ) + +!)!Y..>$),, ,  # /!6::9;STTT ]t $ 9+; < F) S S99Y] ]$((I777rjN)rIr)rrcrIr4)rrcrr4rr4) rrcrrrr4rr4rr4rIr)rrrr)rrrIr)rrcr8rrIr) rrcrr rrrrrr rIr)r8r rIr)ryrzr{r|rirrrrrrrrrrr rr}rjrhrrs8MM***6               X]!!!!!!R#%*))))))V++++NNNN*0888888rjrr8r rIcp|j}||S|jrt||jn t|S)aGet the canonical form of a gate. This is the gate object that should be used to provide the OpenQASM 3 definition of a gate (but not the call site; that's the input object). This lets us return a re-parametrised gate in terms of general parameters, in cases where we can be sure that that is valid. This is currently only Qiskit standard gates. This lets multiple call-site gates match the same symbol, in the case of parametric gates. The definition source provides the number of qubits, the parameter signature and the body of the `gate` statement. It does not provide the name of the symbol being defined.)rr$_CANONICAL_CONTROLLED_STANDARD_GATESr_CANONICAL_STANDARD_GATES)r8rs rhrrsC"H   & 1,X6tGG &x 0rjc*eZdZUdZded< ded<dS) BuildScopezThe structure used in the builder to store the contexts and re-mappings of bits from the top-level scope where the bits were actually defined.rrpzdict[Bit, Bit]bit_mapNrr}rjrhrrs===F88rjrc*eZdZdZeeeeee e fZ dZ dZ dZdZedfdZejd:dZejd;dZdd!Zd?d#Z d@d'Z!dAd)Z"dBd+Z#dCd-Z$d.Z%dDd2Z&dEd4Z'dFd6Z(d7Z)dGd8Z*d9S)Hruz6QASM3 builder constructs an AST from a QuantumCircuit._bit_qubit_gate_p_gate_qrct|dtj|j|jD|_t |_g|_g|_ ||_ ||_ ||_ ||_ ||_dS)Nci|]}||Sr}r})rrs rhrz)QASM3Builder.__init__..9s Y Y YaQ Y Y Yrj)rrrrclbitsrrsymbols_global_io_declarations&_global_classical_forward_declarationsr_rar\r^rd)rgquantumcircuitrtr^r_rards rhrizQASM3Builder.__init__.s  Y Y9?>+@.BWXX Y Y Y   #}} (*$683!2,$ &(rjrprrIterable[Qubit]r!Iterable[Clbit]c #K|jjtfd|D}tfd|D}|jt |kr(t d|jdt |d|jt |kr(t d|jdt |dttj t|j |t|j |}|j |jt||c}|_|jV||_|j dS) zwContext manager that pushes a new scope (like a ``for`` or ``while`` loop body) onto the current context stack.c3(K|] }|V dSrr})rrB current_maps rh z)QASM3Builder.new_scope..O(>>e{5)>>>>>>rjc3(K|] }|V dSrr})rclbitr*s rhr+z)QASM3Builder.new_scope..Pr,rjz*Tried to push a scope whose circuit needs z qubits, but only provided z qubits to create the mapping.z clbits, but only provided z clbits to create the mapping.N)rrr  num_qubitslenr& num_clbitsdictrrziprr!r"rrr)rgrprr!mapping old_scoper*s @rh new_scopezQASM3Builder.new_scopeJsj( >>>>v>>>>>>>>>v>>>>>  V , ,$IW=OII [[III   V , ,$IW=OII [[III ys7>6'B'BCX^D_D_``aa !!! $ Jw,H,H 4:j       rjrc#Kdtj|j|jD}|j|jc}|_|jt||c}|_|jV||_||_dS)zHPush a new context (like for a ``gate`` or ``def`` body) onto the stack.ci|]}||Sr}r})rr*s rhrz,QASM3Builder.new_context..esQQQ3QQQrjN)rrrr!r"rrr)rgrr4 old_symbolsr5s rhrzQASM3Builder.new_contextbsRQyt{DK'P'PQQQ$(L$,2J2J2L2L! T\ $ JtW,E,E 4:j " rjrIrcV|j|jj|S)zLookup a Qiskit bit within the current context, and return the name that should be used to represent it in OpenQASM 3 programmes.)r"rrr)rgr*s rh _lookup_bitzQASM3Builder._lookup_bitms$|(();C)@AAArjcf|jj}|jrtdtD] \}}|j||!|jD]N}|tvr |j|d)#t$r}td|d|d}~wwxYwtj tj dt| }||||}|}d|jd|jjD|j||fD}tj||S)zBuilds a ProgramzKcannot export an inner scope with captured variables as a top-level programNz Cannot use 'z' as a basis gate for the reason in the prior exception. Consider renaming the gate if needed, or omitting this basis gate if not.z3.0cg|] }|D]}| Sr}r})rr statements rhrz.QASM3Builder.build_program..sA    $         rjc32K|]}|j |jVdSr)r)rr8s rhr+z-QASM3Builder.build_program..s+\\tdiF[F[F[F[F[\\rj)rrpnum_captured_varsr&_BUILTIN_GATESitemsr"rr^r$HeaderVersionrfbuild_includes#hoist_global_parameter_declarations%hoist_classical_register_declarations#hoist_classical_io_var_declarationsbuild_quantum_declarationsbuild_current_scoper#rvaluesr$Program) rgrpbuiltinr8excheaderquantum_declarationsmain_statements statementss rhrwzQASM3Builder.build_programrs*$  $ $] &,1133 I IMGT L 9 9'4 H H H H'  G.((  ==gtLLLL%   (a7aaa  CK..T5H5H5J5J0K0KLL 00222 22444 00222 $>>@@ 2244   ,\\t|'9'@'@'B'B\\\;$    {6:...s1B  B0B++B0c#K|jD]f}t|iD] \}}|j||!t j|VgdS)z Builds a list of included files.N)r\_KNOWN_INCLUDESrrBr"rr$Include)rgfilenamerr8s rhrEzQASM3Builder.build_includess  ( (H.11(B??EEGG J J d ==dDIIII+h'' ' ' ' '  ( (rjr8r c Nt|jtjr|jdkrt jdt jd}}t jt jj tj tj dtj ||gt jjt jdt jjgt jt jjgg}j |j|d||f|S|jt/d|jd t1|}|j5jj}|jdkr]|jt;|jkr,t/d t;|jd |jfd |jD}n-fd tAt;|jD}fdtC|j"D}t j#}dddn #1swxYwYj |j||||S)zDefine a gate in the symbol table, including building the gate-definition statement for it. This recurses through gate-definition statements.r#crr) parameters modifiersr}Nzfailed to export gate 'z' that has no definitionz7parameter mismatch in definition of '{gate}': call has z, definition has cTg|]$}j|j|d%STr)r"rrrparamrgs rhrz,QASM3Builder.define_gate..sCL225:uSW2XXrjc^g|])}jjd|dd*S)rNTr])r"rgate_parameter_prefix)rirgs rhrz,QASM3Builder.define_gate..s[L225;;;;TPT3rjcdg|],\}}jjd||d-S)rTr])r"rgate_qubit_prefixrrbrBrgs rhrz,QASM3Builder.define_gate..s^Au ..-3333U/rj)$ issubclass base_classr CXGaterr$r QuantumBlockQuantumGateCallr"rUGatemathpiConstantPIIntegerLiteralQuantumGateModifierQuantumGateModifierNameCTRLr r definitionr&rrrrpnum_parametersr0rrYr enumeraterrJ) rgr8controltargetrrdefnrrs ` rh define_gatezQASM3Builder.define_gates dow~ 6 6 \4?a;O;O "nS113>#3F3FVG#' --gmDGQ.P.PQQ &)$'LOS5G5J5JCLO#\#&#:3;V;[#\#\"]   D<--dirGVCTVZ[[ [ ? "$%bty%b%b%bcc c(..   i2 3 3$ @$ @:%D"Q&&&#dk*:*:::,^%(%5%5^^HLH[^^!%#3t{#3#344  !*$+ 6 6 F #D$<$<$>$>??DI$ @$ @$ @$ @$ @$ @$ @$ @$ @$ @$ @$ @$ @$ @$ @P|))).)VVUYZZZsC(I99I=I=c^t|jjdkrtddS)zIRaise an error if we are not in the global scope, as a defensive measure.r#z!not currently in the global scopeN)r0r"rrrs rhassert_global_scopez QASM3Builder.assert_global_scope s1 t|% & & * *BCC C + *rjcd||jj}|jD]}|j|j|d}t|||}|8t|tj r|j |m|j |dS)zExtend ``self._global_io_declarations`` and ``self._global_classical_declarations`` with any implicit declarations used to support the early IBM efforts to use :class:`.Parameter` as an input variable.Tr]N)r|rrprYr"rr_infer_variable_declaration isinstancer$ IODeclarationr#rr$)rgrp parameterparameter_name declarations rhrFz0QASM3Builder.hoist_global_parameter_declarationss   """*$ + P PI!\;; <N6gy.YYK"+s'899 P,33K@@@@;BB;OOOO P Prjc jjtfdjDrjst dfdtjD}j |j j dSj fdtjDj D]}j |j|d}t|D]J\}}j t!j|jt!j||Kjt!jt!jt/||dS)a8Extend the global classical declarations with AST nodes declaring all the global-scope circuit :class:`.Clbit` and :class:`.ClassicalRegister` instances. Qiskit's data model doesn't involve the declaration of *new* bits or registers in inner scopes; only the :class:`.expr.Var` mechanism allows that. The behavior of this function depends on the setting ``allow_aliasing``. If this is ``True``, then the output will be in the same form as the output of :meth:`.build_classical_declarations`, with the registers being aliases. If ``False``, it will instead return a :obj:`.ast.ClassicalDeclaration` for each classical register, and one for the loose :obj:`.Clbit` instances, and will raise :obj:`QASM3ExporterError` if any registers overlap. c3nK|]/}t|jdkV0dSr#Nr0find_bit registersrqrps rhr+zEQASM3Builder.hoist_classical_register_declarations../ANN!s7##A&&011A5NNNNNNrjzlSome classical registers in this circuit overlap and need aliases to express, but 'allow_aliasing' is false.c 3K|]Q\}}tjtjjj||dVRdSTr]N)r$ClassicalDeclarationBitTyper"rloose_bit_prefix)rrbr.rgs rhr+zEQASM3Builder.hoist_classical_register_declarations..6sAu (KMML2205!55u43rjNc 3K|]k\}}|jtjtjjj||dVldSr)rrr$rrr"rr)rrbr.rprgs rhr+zEQASM3Builder.hoist_classical_register_declarations..Ds ; ; 5##E**4 ;  $  ..,1a115t/   ; ; ; ; ; ; rjTr])r|rrpanyr!rar&rvr$extend build_aliasescregsr"rrrr$SubscriptedIdentifierrrprr BitArrayTyper0)rgr!registerrrbr*rps` @rhrGz2QASM3Builder.hoist_classical_register_declarations s   """*$ NNNNw~NNN N N & (6!*'. 9 9F  7 > >v F F F  7 > >t?Q?QRYR_?`?` a a a F 3:: ; ; ; ; ; &gn55 ; ; ;    H<11(-X\1]]D#H--  3 ---dk3;Ma;P;PQQSV  7 > >()9#h--)H)H$OO       rjc R||jj}|D]q}|jt jt jj t|j |j |j|drdS)aEHoist the declarations of classical IO :class:`.expr.Var` nodes into the global state. Local :class:`.expr.Var` declarations are handled by the regular local-block scope builder, and the :class:`.QuantumCircuit` data model ensures that the only time an IO variable can occur is in an outermost block.Tr]N)r|rrpiter_input_varsr#rr$r IOModifierINPUT_build_ast_typetyper"rr)rgrpvars rhrHz0QASM3Builder.hoist_classical_io_var_declarationsXs   """*$**,,  C  ( / /!N(#CH--L2238St2TT      rjc jjj=t jD]&\}}jd||dd'gStfdjDrSj stdfdt jD}| j zSfd t jD}g}j D]}j|j |d }t |D]J\}}jtj|jtj||K|tj|tjtjt-|||zS) zReturn a list of AST nodes declaring all the qubits in the current scope, and all the alias declarations for these qubits.N$FT)rrc3nK|]/}t|jdkV0dSrrrs rhr+z:QASM3Builder.build_quantum_declarations..vrrjzjSome quantum registers in this circuit overlap and need aliases to express, but 'allow_aliasing' is false.c g|]=\}}tjjj||d>Sr\)r$QuantumDeclarationr"rloose_qubit_prefixres rhrz;QASM3Builder.build_quantum_declarations..}sk Au &L2227A77T3rjc g|]W\}}|jtjjj||dXSr\)rrr$rr"rr)rrbrBrprgs rhrz;QASM3Builder.build_quantum_declarations..s   5##E**4  " ...333U/     rjr])r|rrplayoutrvrr"rrrar&rqregsrrr$rrrprr Designatorr0) rgrbr*r loose_qubitsrrrrps ` @rhrIz'QASM3Builder.build_quantum_declarationsis?   """*$ > %$GN33  3 ..GGSu4/I NNNNw~NNN N N >& (6 !*'. 9 9 FD..w}=== =     &gn55        H<11(-X\1]]D#H--  3 ---dk3;Ma;P;PQQSV   &tS^C.s'BBB#((--BBBrj) r"rrrvrr$rrrprAliasStatementIndexSet)rgrrrrelementsrbr*s` rhrzQASM3Builder.build_aliasess! I IH<11(-X\1]]DBBBBBBBH#H--  3 ---dk3;Ma;P;PQQSV JJs)$ X0F0FGG H H H H rjList[ast.Statement]c vfdjjD}jjjD]}t |jt r%t |jtr)| |nt |jtr)| |nt |jtr)| |nZt |jtr)||nt#d|jCt |jt$r|g}nt |jt(r*fd|jD}t-j|g}nt |jt0r]t-jfd|jD}|jd}t-j||g}nAt |jt:rfd|jD}nt |jt<r|g}nt |jt@rQt-j!"|jj#"|jj$g}nvt |jtJrt-j&g}nGt |jtNrt-j(g}ntSd|jd|jj*||t-j+|}|t-j,"t[|jj*||S) zBuild the instructions that occur in the current scope. In addition to everything literally in the circuit's ``data`` field, this also includes declarations for any local :class:`.expr.Var` nodes. c g|]I}tjt|jj|j|dJSr\)r$rrrr"rr)rrrgs rhrz4QASM3Builder.build_current_scope..sa     $)) ..sx4.PP     rjz"unhandled control-flow construct: c:g|]}|Sr}rroperandrgs rhrz4QASM3Builder.build_current_scope..s'XXX'D,,W55XXXrjc:g|]}|Sr}rrs rhrz4QASM3Builder.build_current_scope..s'QQQ7T%%g..QQQrjrc^g|])}tj|*Sr})r$ QuantumResetr;rs rhrz4QASM3Builder.build_current_scope..s?DKC$T%5%5g%>%>??rjzBnon-unitary subroutine calls are not yet supported, but received 'r).rrpiter_declared_varsdatar operationrrrbuild_for_looprbuild_while_looprbuild_if_statementrrbuild_switch_statementrr build_gate_callr rr$QuantumBarrierrQuantumMeasurementr;r!QuantumMeasurementAssignmentrr build_delayrAssignmentStatementbuild_expressionlvaluervaluerBreakStatementrContinueStatementr& _condition ProgramBlockBranchingStatement_lift_condition)rgrR instructionnodesoperands measurementrBrs` rhrJz QASM3Builder.build_current_scopes4    z)<<>>     :-29 9 K+/?? k3Y?? e%%d&9&9+&F&FGGGG 5{CCe%%d&;&;K&H&HIIII 5x@@e%%d&=&=k&J&JKKKK 5|DDe%%d&A&A+&N&NOOOO&'cKLa'c'cddd+/66 --k::;K17;; XXXX[EWXXX+H556K17;; !4QQQQk>PQQQ (();A)>??9%MMNK1599 OZOaK1599 ))+667K1599 +--k.C.JKK--k.C.JKK K1;?? +--.K1>BB .001(?&1&;??? $/7!!%(((('..!!*--ok>S>^._._`` rjrr ast.BranchingStatementc|t|jj}|jjd}|||j|j5tj | }dddn #1swxYwYt|jjdkrtj ||dS|jjd}|||j|j5tj | }dddn #1swxYwYtj |||S)z@Build an :obj:`.IfElseOp` into a :obj:`.ast.BranchingStatement`.rNr#) rrr conditionblocksr6rr!r$rrJr0r)rgrr true_circuit true_body false_circuit false_bodys rhrzQASM3Builder.build_if_statements))/+:O:Y*Z*Z[[ ",3A6 ^^L+*P Q Q E E()A)A)C)CDDI E E E E E E E E E E E E E E E {$+ , , 1 1))YEE E#-4Q7 ^^M;+={?Q R R F F)$*B*B*D*DEEJ F F F F F F F F F F F F F F F%iJGGGs$ 'BBB'D77D;>D;Iterable[ast.Statement]c tjjj}jdddd}jtj tj |dtj jvrSfd tj||tj| fdjDgSg}d}jD]\}}|jj5tj}dddn #1swxYwYt.|vr|}p|fd|D|ftj||tj|||gS) zBBuild a :obj:`.SwitchCaseOp` into a :class:`.ast.SwitchStatement`. switch_dummyNT)rrcfd|D}|jj5tj}dddn #1swxYwY||fS)Ncrg|]3}|turtjn|4Sr})r r$ DefaultCase build_integer)rvrgs rhrzEQASM3Builder.build_switch_statement..case..sO*+l):):CO%%%@R@RST@U@Urj)r6rr!r$rrJ)rK case_block case_bodyrrgs rhcasez1QASM3Builder.build_switch_statement..cases#^^J 0BKDVWWMM # 01I1I1K1K L LIMMMMMMMMMMMMMMMy((s'A$$A(+A(c36K|]\}}||VdSrr})rrKblockrs rhr+z6QASM3Builder.build_switch_statement..&sG)FEVU++rjc:g|]}|Sr}rrvaluergs rhrz7QASM3Builder.build_switch_statement..9s'III4--e44IIIrj)default)rrliftrrxr"rr$rr$rIntTyper%SWITCH_CASE_V1rdrSwitchStatementPreviewcases_specifierr6rr!rrJr SwitchStatement) rgr real_targetrxcasesrrKrrrs `` @rhrz#QASM3Builder.build_switch_statement sZ++DIk6K6R,S,STT // Dt$0   3::  $S[]]FD A A    .$2C C C ) ) ) ) ) )' <<*-8-B-R-R-T-T  (2BBDD W WMFE{'9;;MNN I I,T-E-E-G-GHH  I I I I I I I I I I I I I I Iv%%$ LLIIII&III9U V V V V  #FK 8 8  w ? ? ?  s;'E..E2 5E2 ast.WhileLoopStatementcf|t|jj}|jjd}|||j|j5tj | }dddn #1swxYwYtj ||S)zBBuild a :obj:`.WhileLoopOp` into a :obj:`.ast.WhileLoopStatement`.rN) rrrrrr6rr!r$rrJWhileLoopStatement)rgrr loop_circuit loop_bodys rhrzQASM3Builder.build_while_loop@s))/+:O:Y*Z*Z[[ ",3A6 ^^L+*P Q Q E E()A)A)C)CDDI E E E E E E E E E E E E E E E%i;;;s 'BBBast.ForLoopStatementc|jj\}}}||j|j5|dn|j}j||d}t|trptj |j  |jdz |jdkr |jnd}nD tjfd|D}n"#t"$rt#d|d dwxYwtj}dddn #1swxYwYtj|||S) z>Build a :obj:`.ForLoopOp` into a :obj:`.ast.ForLoopStatement`.NrTr]r#)startr.stepc:g|]}|Sr}rrs rhrz/QASM3Builder.build_for_loop..Ys'0a0a0au1C1CE1J1J0a0a0arjzIThe values in OpenQASM 3 'for' loops must all be integers, but received 'z'.)rrr6rr!rr"rrrr$Rangerrstoprrr&rrJForLoopStatement) rgrindexsetloop_parameterrrloop_parameter_ast indexset_astbody_asts ` rhrzQASM3Builder.build_for_loopHs1<1F1M.., ^^L+*P Q Q D D(033n6ID!%!?!?n4"@"" (E** "y,,X^<<**8=1+<==>Fmq>P>P++HM:::VZ     #&<0a0a0a0aX`0a0a0a#b#bLL)   ,*%***   '(@(@(B(BCCH) D D D D D D D D D D D D D D D*#L2DhOOOs*B.E" DED"")EEEct|tr||S|j|Sr)rrr;r"r)rgrs rh_lookup_variable_for_expressionz,QASM3Builder._lookup_variable_for_expressionbs> c3   )##C(( (|((---rjr expr.Exprast.ExpressioncP|t|jS)zBuild an expression.)accept _ExprBuilderr rgrs rhrzQASM3Builder.build_expressiongs{{<(LMMNNNrjast.QuantumDelayc|jrtd||jj|jj}}|dkr(t jd|zt jj}nnt jjt jj t jj t jj t jj d}t j|||}t j |fd|jDS)z!Build a built-in delay statement.z4Found a delay instruction acting on classical bits: psi)nsusmsrdtc:g|]}|Sr}rrrBrgs rhrz,QASM3Builder.build_delay..}s'*c*c*cu4+;+;E+B+B*c*c*crj)r!r&rrTunitr$DurationLiteral DurationUnit NANOSECOND MICROSECOND MILLISECONDSECONDSAMPLE QuantumDelayr)rgrduration_valuerrTunit_maps` rhrzQASM3Builder.build_delayks   $T{TT  +4={?T?Y 4<<*4.+@#BRB]^^HH&1&2&2%,&- H*>8D>JJH*c*c*c*cP[Pb*c*c*cdddrjast.IntegerLiteralct|tjstd|dt jt |S)zwBuild an integer literal, raising a :obj:`.QASM3ExporterError` if the input is not actually an integer.rz' is not an integer)rnumbersIntegralr&r$rpr0)rgrs rhrzQASM3Builder.build_integersM%!122 E%%C%C%C%CDD D!#e**---rjct|ts|St|trj|jS|fd|jDS)zIf the input is a :class:`.ParameterExpression`, rebind any internal :class:`.Parameter`\ s so that their names match their names in the scope. Other inputs are returned unchanged.cxi|]6}|tj|j|j7S))uuid)rr"rrr-r^s rhrz:QASM3Builder._rebind_scoped_parameters..sM   y!:!:5!A!A!HuzZZZ   rj)rrrr"rrsubsrY)rg expressions` rh_rebind_scoped_parametersz&QASM3Builder._rebind_scoped_parameterss *&9::   j) , , @<,,Z88? ?    '2      rjc|j}t|dr|}j|}||}fd|jD}fd|jD}js |D]}t|j d|_ tj |||S)zBuilds a gate-call AST node. This will also push the gate into the symbol table (if required), including recursively defining the gate blocks._qasm_decompositionNc:g|]}|Sr}rrs rhrz0QASM3Builder.build_gate_call..s'JJJe$""5))JJJrjc^g|])}tj|*Sr})r$StringifyAndPrayr0r^s rhrz0QASM3Builder.build_gate_call..sB     !?!?!F!F G G   rjqasm)rH)rY) rhasattrr2r"rrzrrr_r"objr$rj)rgrrrrrYrs` rhrzQASM3Builder.build_gate_calls  ) 93 4 4 8!5577I %%i00 =$$Y//EJJJJ{7IJJJ    ")   % G' G G (v F F F "5&ZHHHHrjN)rprrr&r!r')rr)rIr)r8r rIr)rrrIr)rIr)rr rIr)rr rIr)rr rIr)rr rIr)rr rIr)rr rIr)rIr')rr )+ryrzr{r|r rrrrrrbuiltinsrrrardr%ri contextlibcontextmanagerr6rr;rwrErzr|rFrGrHrIrrJrrrrr rrrr0rr}rjrhruru%s^@@% ^USH!%!*)!,,))))8!!!!.####BBBB I/I/I/V(((A[A[A[A[FDDD PPP$666p"2(2(2(h    OOOOb H H H H2 2 2 2 h<<<<PPPP4... OOOOeeee(....   "IIIIIIrjrurprrrrr%Union[ast.ClassicalDeclaration, None]cfd||rdStjtjjtjj|S)amAttempt to infer what type a parameter should be declared as to work with a circuit. This is very simplistic; it assumes all parameters are real numbers that need to be input to the program, unless one is used as a loop variable, in which case it shouldn't be declared at all, because the ``for`` loop declares it implicitly (per the Qiskit/qe-compiler reading of the OpenQASM spec at openqasm/openqasm@8ee55ec). .. note:: This is a hack around not having a proper type system implemented in Terra, and really this whole function should be removed in favour of proper symbol-table building and lookups. This function is purely to try and hack the parameters for ``for`` loops into the exporter for now. Args: circuit: The global-scope circuit, which is the base of the exported program. parameter: The parameter to infer the type of. parameter_name: The name of the parameter to use in the declaration. Returns: A suitable :obj:`.ast.ClassicalDeclaration` node, or, if the parameter should *not* be declared, then ``None``. c |j|D]g\}}||j|j}t |t r |dkrdSt |t r|j||rdShdS)zRecurse into the instructions a parameter is used in, checking at every level if it is used as the loop variable of a ``for`` loop.Nr#TF)_data_raw_parameter_table_entryrrrrrr)rpr instr_indexindexris_loop_variables rhrCz5_infer_variable_declaration..is_loop_variables#*-"J"J9"U"U K"!,{3=K+y11 A::44+}55 ##K$6u$=yII 44urjN)r$rrr FloatTypeDOUBLE)rprrrCs @rhr~r~sY6(++t  S^13=3G X XXrjcbt|tjr|Stj|Sr)rrExprlift_legacy_condition)rs rhrrs-)TY''  %i 0 00rjtype_ types.Typeast.ClassicalTypec|jtjurtjS|jtjurtj|jStd|d)Nzunhandled expr type 'r) kindrBoolr$BoolTypeUintUintTypewidthr)rIs rhrrsX zUZ|~~ zUZ|EK((( 7u777 8 88rjc<eZdZdZdZdZdZdZdZdZ dZ d S) rlookupc||_dSrrT)rgrUs rhriz_ExprBuilder.__init__s  rjcn|jr||n||jSr) standalonerUrrs rh visit_varz_ExprBuilder.visit_vars.$(ONt{{4   TX9N9NNrjc|jjtjurt j|jS|jjtjurt j|jStd|d)Nzunhandled Value type 'r) rrMrrNr$BooleanLiteralrrPrprrs rh visit_valuez_ExprBuilder.visit_valuesd 9>UZ ' '%dj11 1 9>UZ ' '%dj11 1;D;;;<<rse""""""   222222222222333333#"""""00000000                    -,,,,,))))))......******!!!!!! Y00022n *rz*:"$GGG" :RT:::'RZ "$???L L L L L L L L dYt__iiooyy RVX*L*,, (( +L*,, ((($! &|'= >! &|'9 :! &|'9 :! &|'9 : ! &|'9 : ! &|'9 : ! ()=>! &|'9 :! ()=>! ' (;<! ' (;<! ' (;<! ' (;<! 2<3FGJ! 2<3FGJ! 2<3FGJ!!" 2<3JKAN#!$4L4HI!L3L4HI!L3L4HI!L2<3FGJ),*?@3L4HI!L5l6LMaP2<3FGJ2<3FGJ*<+AB6|7NOPQR' (:;' (;<' (;<' (;