QASMToQuake.hpp

Go to the documentation of this file.

/* This code and any associated documentation is provided "as is"
 
Copyright 2024 Munich Quantum Software Stack Project
 
Licensed under the Apache License, Version 2.0 with LLVM Exceptions (the
"License"); you may not use this file except in compliance with the License.
You may obtain a copy of the License at
 
https://github.com/Munich-Quantum-Software-Stack/passes/blob/develop/LICENSE
 
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
License for the specific language governing permissions and limitations under
the License.
 
SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
******************************************************************************
  author Martin Letras
  date   May 2025
  version 1.0
******************************************************************************/
#pragma once
 
#include "Constants.hpp"
#include "ir/parsers/qasm3_parser/Parser.hpp"
#include "ir/parsers/qasm3_parser/Statement.hpp"
#include "ir/parsers/qasm3_parser/Types.hpp"
#include "mlir/Pass/Pass.h"
#include "mlir/Pass/PassManager.h"
#include "mlir/Pass/PassRegistry.h"
 
using namespace mlir;
using QASMVectorToQuakeVector = std::unordered_map<std::string, mlir::Value>;
 
using QuantumVectorsOrder = std::vector<std::pair<std::string, int>>;
 
namespace mqss::interfaces {
 
void insertQASMGateIntoQuakeModule(std::string gateId, OpBuilder &builder,
                                   Location loc,
                                   std::vector<mlir::Value> vecParams,
                                   std::vector<mlir::Value> vecControls,
                                   std::vector<mlir::Value> vecTargets,
                                   bool adj);
 
bool isMultiQubitGate(const std::string &gateType);
 
size_t getNumControls(const std::string &gateType);
 
double evaluateExpression(const std::shared_ptr<qasm3::Expression> &expr);
 
void insertGate(const std::shared_ptr<qasm3::GateCallStatement> &gateCall,
                OpBuilder &builder, Location loc, mlir::Operation *inOp,
                QASMVectorToQuakeVector QASMToVectors);
 
void parseAndInsertMeasurements(
    const std::vector<std::shared_ptr<qasm3::Statement>> &statements,
    OpBuilder &builder, Location loc, mlir::Operation *inOp,
    QASMVectorToQuakeVector QASMToVectors);
 
std::tuple<QASMVectorToQuakeVector, QuantumVectorsOrder> insertAllocatedQubits(
    const std::vector<std::shared_ptr<qasm3::Statement>> &program,
    OpBuilder &builder, Location loc, mlir::Operation *inOp);
} // namespace mqss::interfaces