g9q ndZddlZddlZddlmZddlmZddlm Z ddl m Z ddl m Z ddlmZdd lmZdd lmZdd lmZdd lmZdd lmZddlmZddlmZddlmZddlmZddlmZddlmZddlmZddlmZddlmZddlmZddlmZddlm Z ddlm!Z!ddlm"Z"ddlm#Z#ddlm$Z$ddlm%Z%ddlm&Z&dd lm'Z'dd!lm(Z(dd"lm)Z)dd#l*m+Z+dd$l,m-Z-dd%l.m/Z/dd&l0m1Z1dd'l2m3Z3dd(l4m5Z5ej6d)d*Z7e7hd+e8*e7hd,d-d.h*e7d/d0he8*e7e8e8*e7e8d1d2h*d3Z9d4Z:d5Z;Gd6d7Z< dWd9Z=d:Z>d;Z? dXd>Z@d?ZAd@ZBdAZCe5dBdCdDdEdFG dYdIZDdZdJZEe5dBdCdDdEdFG d[dKZFe3dLdMN d\dOZGej6dPdQZH d]dReIdSeeJdTee1dUeHfdVZKdS)^z%Common preset passmanager generators.N)Optional)SessionEquivalenceLibrary)CONTROL_FLOW_OP_NAMES)ConditionalController) PassManager)Error)BasisTranslator)Unroll3qOrMore)ConsolidateBlocks) Collect1qRuns)Collect2qBlocks)UnitarySynthesis)HighLevelSynthesis)CheckMap) GateDirection)BarrierBeforeFinalMeasurements)CheckGateDirection)TimeUnitConversion)ALAPScheduleAnalysis)ASAPScheduleAnalysis)FullAncillaAllocation)EnlargeWithAncilla) ApplyLayout)RemoveResetInZeroState) FilterOpNodes)ValidatePulseGates)PadDelay)InstructionDurationCheck)ConstrainedReschedule) PulseGates)ContainsInstruction) VF2PostLayout)VF2LayoutStopReason)VF2PostLayoutStopReason)TranspilerError)Layout)deprecate_pulse_arg) deprecate_arg_ControlFlowState)working not_working>densesabretrivial>noner- stochastic lookaheadbasic translator synthesisalapasap) layout_methodrouting_methodtranslation_methodoptimization_methodscheduling_methodcDtfdtDS)Nc3.K|]}d|VdS contains_N.0x property_sets b/granary/edev/quantum/lib/python3.11/site-packages/qiskit/transpiler/preset_passmanagers/common.py z$_has_control_flow..Ns.LL|OOO,LLLLLLanyrrDs`rE_has_control_flowrKMs' LLLL6KLLL L LLrGcFtfdtD S)Nc3.K|]}d|VdSr>r@rAs rErFz(_without_control_flow..Rs.PPQ<A0PPPPPPrGrHrJs`rE_without_control_flowrNQs*PPPP:OPPPPP PPrGc"eZdZddZdZdZdS)_InvalidControlFlowForBackendr@NcfdtD|_dS)tfdtD|_dSg|_dS)Ncg|]}|v| Sr@r@)rBoptargets rE z:_InvalidControlFlowForBackend.__init__..Zs$WWWrbPVFVFVFVFVFVrGcg|]}|v| Sr@r@)rBrS basis_gatess rErUz:_InvalidControlFlowForBackend.__init__..]s$\\\rbP[F[F[F[F[F[rG)r unsupportedset)selfrWrTs ``rE__init__z&_InvalidControlFlowForBackend.__init__Xss  WWWW-BWWWD     $k**K\\\\-B\\\D    "D   rGcfd|jD}t|dkr d|ddSddd|Dd S) z3Create an error message for the given property set.c*g|]}d| |S)r?r@rAs rErUz9_InvalidControlFlowForBackend.message..ds)NNNq ___0MNNNNrGzThe control-flow construct 'rz"' is not supported by the backend.zThe control-flow constructs [z, c34K|]}t|VdSN)repr)rBrSs rErFz8_InvalidControlFlowForBackend.message..hs(5O5O2d2hh5O5O5O5O5O5OrGz#] are not supported by the backend.)rXlenjoin)rZrDfailss ` rEmessagez%_InvalidControlFlowForBackend.messagebsyNNNND,NNN u::??^%(^^^ ^ 1DII5O5O5O5O5O,O,O 1 1 1 rGcDtfd|jDS)z/Checkable condition for the given property set.c3.K|]}d|VdSr>r@rAs rErFz:_InvalidControlFlowForBackend.condition..ns.KKQ<A0KKKKKKrG)rIrX)rZrDs `rE conditionz'_InvalidControlFlowForBackend.conditionls)KKKK$:JKKKKKKrG)r@N)__name__ __module__ __qualname__r[rerhr@rGrErPrPUsK""""   LLLLLrGrPr@c g}d}d|fd|fd|fd|fd|ffD]o\} } | dz} t| } | V| | jvrM| jr"|d | d | d t| jd z }n|d | d | d | dz }|| pt } | t td|r6| tt|tt||}| tt|j |j | S)aGenerate a pass manager that, when run on a DAG that contains control flow, fails with an error message explaining the invalid options, and what could be used instead. Returns: PassManager: a pass manager that populates the ``contains_x`` properties for each of the control-flow operations, and raises an error if any of the given options do not support control flow, but a circuit with control flow is given. z.Some options cannot be used with control flow.layoutrouting translation optimization scheduling_methodNz Got z='z', but valid values are .z', but the entire z stage is not supported.Frecurserh)_CONTROL_FLOW_STATESr+r*listappendrr!rrrrKrPrerh)r7r8r9r:r;rWrT bad_optionsrestagegivenoption method_statesoutbackend_controls rE#generate_control_flow_options_checkrqs"K>G =! N# *+ ,- () '' u",V4  -*C!C!C$ cFcceccT-J_E`E`ccc^F^^e^^u^^^   v & & & --CJJ"#8%HHHIIIW (wCTUUUVVV3KHHOJJeO$;<<Habbb JrGct}|ttd|t t |t |S)zaGet a pass manager that always raises an error if control flow is present in a given circuit.Frtrv)rryr!rrrrK)rers rEgenerate_error_on_control_flowrsZ --CJJ"#8%HHHIIIJJ$U7^^?PQQQRRR JrGct|tr|}t|tr|}t}|t t d|t |t|t |t|S)zGenerate a pass manager that will run the passes in ``if_present`` if the given circuit has control-flow operations in it, and those in ``if_absent`` if it doesn't.Frtrv) isinstancerto_flow_controllerryr!rrrKrN) if_present if_absentrs rEif_has_control_flow_elsers*k**52244 )[))30022 --CJJ"#8%HHHIIIJJ$Z;LMMMNNNJJ$Y:OPPPQQQ JrGdefaultTc vt}|t|||d|||t|d|dt|d||&|$|t ||n+|t t||d|S)aGenerate an unroll >3q :class:`~qiskit.transpiler.PassManager` Args: target (Target): the :class:`~.Target` object representing the backend basis_gates (list): A list of str gate names that represent the basis gates on the backend target approximation_degree (Optional[float]): The heuristic approximation degree to use. Can be between 0 and 1. unitary_synthesis_method (str): The unitary synthesis method to use. You can see a list of installed plugins with :func:`.unitary_synthesis_plugin_names`. unitary_synthesis_plugin_config (dict): The optional dictionary plugin configuration, this is plugin specific refer to the specified plugin's documentation for how to use. hls_config (HLSConfig): An optional configuration class to use for :class:`~qiskit.transpiler.passes.HighLevelSynthesis` pass. Specifies how to synthesize various high-level objects. qubits_initially_zero (bool): Indicates whether the input circuit is zero-initialized. Returns: PassManager: The unroll 3q or more pass manager )approximation_degreemethod min_qubits plugin_configrTNF) hls_config coupling_maprTuse_qubit_indicesequivalence_libraryrWrqubits_initially_zero)rTr)rryrrselr r )rTrWrunitary_synthesis_methodunitary_synthesis_plugin_configrr unroll_3qs rEgenerate_unroll_3qrs> I  !5+9       !# ##"7    v~ <<====k&UVWWWXXX rGcptt|ttgS)aGenerate a layout embedding :class:`~qiskit.transpiler.PassManager` This is used to generate a :class:`~qiskit.transpiler.PassManager` object that can be used to expand and apply an initial layout to a circuit Args: coupling_map (Union[CouplingMap, Target): The coupling map for the backend to embed the circuit to. Returns: PassManager: The embedding passmanager that assumes the layout property set has been set in earlier stages )rrrr)rs rEgenerate_embed_passmanagerrs0 -l;;=O=Q=QS^S`S`a b bbrGc(|dduo|d S)zReturn ``True`` if the first attempt at layout has been checked and found to be imperfect. In this case, perfection means "does not require any swap routing".is_swap_mappedNr@rJs rE_layout_not_perfectrs# ( ) 5 \lK[>\:\\rGc>|dduo|dtjuS)NVF2PostLayout_stop_reason)r$SOLUTION_FOUNDrJs rE_apply_post_layout_conditionrs/ 01= ` 4 59P9_ _rGbackend_propertiesz1.4Qiskitz in Qiskit 2.0a(The BackendProperties data structure has been deprecated and will be removed in Qiskit 2.0. The required `target` input argument should be used instead. You can use Target.from_configuration() to build the target from the properties object, but in 2.0 you will need to generate a target directly.)namesince package_nameremoval_timelineadditional_msgFc fd} t} |%| t|dn$| t|dd} |r5| tt d|g| n$| t|| |o|} ||| rt j5t jd td d t jd td d | tt||||||d| dddn #1swxYwY| tttd} | t| g| S)aGenerate a routing :class:`~qiskit.transpiler.PassManager` Args: routing_pass (TransformationPass): The pass which will perform the routing target (Target): the :class:`~.Target` object representing the backend coupling_map (CouplingMap): The coupling map of the backend to route for vf2_call_limit (int): The internal call limit for the vf2 post layout pass. If this is ``None`` or ``0`` the vf2 post layout will not be run. backend_properties (BackendProperties): Properties of a backend to synthesize for (e.g. gate fidelities). seed_transpiler (int): Sets random seed for the stochastic parts of the transpiler. check_trivial (bool): If set to true this will condition running the :class:`~.VF2PostLayout` pass after routing on whether a trivial layout was tried and was found to not be perfect. This is only needed if the constructed pass manager runs :class:`~.TrivialLayout` as a first layout attempt and uses it if it's a perfect layout (as is the case with preset pass manager level 1). use_barrier_before_measurement (bool): If true (the default) the :class:`~.BarrierBeforeFinalMeasurements` transpiler pass will be run prior to the specified pass in the ``routing_pass`` argument. vf2_max_trials (int): The maximum number of trials to run VF2 when evaluating the vf2 post layout pass. If this is ``None`` or ``0`` the vf2 post layout will not be run. Returns: PassManager: The routing pass manager cbrt|r|d}||tjkrdSdS)NVF2Layout_stop_reasonTF)rr#r)rDvf2_stop_reason check_trivials rE_run_post_layout_conditionz@generate_routing_passmanager.._run_post_layout_conditionKsF  3L A A *+BCO&/=P=_*_*_turGNrouting_not_needed)property_set_fieldc|d S)Nrr@rJs rE_swap_conditionz5generate_routing_passmanager.._swap_conditionZs 4555rG5qiskit.transpiler.internal.routing.protection.barrierlabelrvignorez8.*argument ``properties`` is deprecated as of Qiskit 1.4qiskitcategoryremodulez:.*argument ``coupling_map`` is deprecated as of Qiskit 1.4F) call_limit max_trialsstrict_directionc|jdkS)Nrr)nodes rE filter_fnz/generate_routing_passmanager..filter_fnszTTTrG) rryrrrwarningscatch_warningsfilterwarningsDeprecationWarningr"rrr) routing_passrTrvf2_call_limitrseed_transpilerruse_barrier_before_measurementvf2_max_trialsrrnris_vf2_fully_boundedrs ` rEgenerate_routing_passmanagerrshmmG x;OPPPQQQQx AUVVVWWW666& W !2U!  *     ,\_UUUVVV)._direction_conditions#$9:: :rGrv)rryrrrr)rTrremove_reset_in_zeropre_optrs rEgenerate_pre_op_passmanagerrsmmG  ),vFFFGGG ; ; ;  !|F;;;<.      1-//000 NrGc 0|dkrtj5tjdtddt |||||||t |||dt || tt ||g} d d d n #1swxYwYn|d krtj5tjdtddt ||||||d | t |||d|d | t||ttt|||t |||||||t |||d|| g} d d d n #1swxYwYntd|dt| S)aGenerate a basis translation :class:`~qiskit.transpiler.PassManager` Args: target (Target): the :class:`~.Target` object representing the backend basis_gates (list): A list of str gate names that represent the basis gates on the backend target method (str): The basis translation method to use approximation_degree (Optional[float]): The heuristic approximation degree to use. Can be between 0 and 1. coupling_map (CouplingMap): the coupling map of the backend in case synthesis is done on a physical circuit. The directionality of the coupling_map will be taken into account if pulse_optimize is True/None and natural_direction is True/None. unitary_synthesis_plugin_config (dict): The optional dictionary plugin configuration, this is plugin specific refer to the specified plugin's documentation for how to use. backend_props (BackendProperties): Properties of a backend to synthesize for (e.g. gate fidelities). unitary_synthesis_method (str): The unitary synthesis method to use. You can see a list of installed plugins with :func:`.unitary_synthesis_plugin_names`. hls_config (HLSConfig): An optional configuration class to use for :class:`~qiskit.transpiler.passes.HighLevelSynthesis` pass. Specifies how to synthesize various high-level objects. qubits_initially_zero (bool): Indicates whether the input circuit is zero-initialized. Returns: PassManager: The basis translation pass manager Raises: TranspilerError: If the ``method`` kwarg is not a valid value r3rz;.*argument ``backend_props`` is deprecated as of Qiskit 1.4rr)rr backend_propsrrrTT)rrrTrrrWrNr4r)rrrrrrrT)rrrTrrWrr)rTrW)rWrTr)rWrrrrrrT)rrrTrrWrzInvalid translation method rs)rrrrrrrr r r r r r%r) rTrWrrrrrrrrunrolls rE generate_translation_passmanagerrsn  $ & &    #+U     !)=!-"/"A3!#)!-!&*(+ +*? [&99+F               < ;    $ & &6 6   #+U     !)=!-"/"A3 !   #)!-!&* + *?f+FFF!!! +!)= ! +)=!-"/"A3!#)!-!&* +*? O/F6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 pEFEEEFFF v  s%A$B  BB/B/E**E.1E.inst_mapc |duSr`r@)rs rErGs HD._contains_delayns 01 1rGdelayrvr^c|dS)Nreschedule_requiredr@rJs rE_require_alignmentz/generate_scheduling.._require_alignments 56 6rG)acquire_alignmentpulse_alignmentrT) granularity min_lengthrT)rhas_custom_gateryr rrrKeyErrorr%r!rrrrrrrrr) instruction_durationsr;timing_constraintsrrTrq schedulerexrrs rEgenerate_schedulingrGs*JHH,,..H*hvFFFGGG )#7(#7   ,-B6RRRSSS ]   :i(9:;PY_``` a a a a ] ] ]!"S?P"S"S"STTZ\ \ ]    2 2 2 -g66777 !"#8HHHTc      &!++  (A - -  /1 4 4  - 2 2 7 7 7  $"4"F 2 B        !%&8&J$6$F! -       .:-8      3(&111222 s &B22 C<CC VF2Limits)rroptimization_levelr7initial_layoutreturnctdd}|G|E|dvrttdd}n#|dkrttdd}|S)zGet the VF2 limits for VF2-based layout passes. Returns: VF2Limits: An namedtuple with optional elements ``call_limit`` and ``max_trials``. N>r^gj@i rg8|Ai)rint)rr7rlimitss rEget_vf2_limitsrsutT " "F!7  ' 'CFF 1 $ $CF MrG)NNNNNr@N)NNrNNT)NNNNFTN)NNF) Nr3NNNrNNTr`)NN)L__doc__ collectionsrtypingr"qiskit.circuit.equivalence_libraryrrqiskit.circuit.controlflowr#qiskit.passmanager.flow_controllersrqiskit.transpiler.passmanagerrqiskit.transpiler.passesrr r r r r rrrrrrrrrrrrrrrrrrr r!r"*qiskit.transpiler.passes.layout.vf2_layoutr#/qiskit.transpiler.passes.layout.vf2_post_layoutr$qiskit.transpiler.exceptionsr%qiskit.transpiler.layoutr&qiskit.utils.deprecate_pulser'qiskit.utils.deprecationr( namedtupler)rYrwrKrNrPrrrrrrrrrrrrrstrrr@rGrEr s*,+OOOOOO<<<<<<EEEEEE555555******444444333333666666222222444444555555777777------222222CCCCCC777777777777999999999999::::::777777000000;;;;;;222222777777------======:::::://////888888222222JJJJJJSSSSSS888888++++++<<<<<<222222*K*+>@Z[[ '&/L/L/LZ]Z]Z_Z_```''///k7=S,+{+CEE-,SSUUNNN**3355vvFVWWW  MMMQQQLLLLLLLL: ....b    &$(<<<<~ c c c ]]]   $F   #'ooo  odB  $F    &$(FFF  FRZ+P+PQQQSWVVVRQVr #K ";0L M M $('+C=V$ rG