Skip to content

Conversation

@mudit2812
Copy link
Contributor

@mudit2812 mudit2812 commented Nov 20, 2025

Issues:

  • The following pattern does not work. Need to figure out why
    def pattern3(w1, w2, w3):
        qml.CNOT([w1, w2])
        qml.PauliY(w2)
        qml.X(w3)
    
    def rewrite3(w1, w2, w3):
        qml.PauliX(w1)
        qml.S(w3)
        qml.T(w2)
  • Currently only qubit inputs to the patterns are supported
  • Variables created inside the search pattern cannot be used inside the rewrite pattern

[sc-104457]

@mudit2812 mudit2812 added the unified compiler Pull requests for the integration with xDSL label Nov 20, 2025
@mudit2812 mudit2812 changed the title Add function for pattern matching using Python functions as the patterns with the unified compiler [PROTOTYPE] Add function for pattern matching using Python functions as the patterns with the unified compiler Nov 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

unified compiler Pull requests for the integration with xDSL

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants