Skip to content

Commit aa22f38

Browse files
pre-commit-ci[bot]J4MMlE
authored andcommitted
🎨 pre-commit fixes
1 parent edb0ed5 commit aa22f38

7 files changed

Lines changed: 36 additions & 40 deletions

File tree

mlir/include/mlir/Dialect/QC/IR/QCOps.td

Lines changed: 14 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1035,13 +1035,11 @@ def InvOp : QCOp<"inv",
10351035
}
10361036

10371037
def PowOp : QCOp<"pow",
1038-
traits = [
1039-
UnitaryOpInterface,
1040-
SingleBlockImplicitTerminator<"::mlir::qc::YieldOp">,
1041-
RecursiveMemoryEffects
1042-
]> {
1043-
let summary = "Apply a gate power modifier";
1044-
let description = [{
1038+
traits = [UnitaryOpInterface,
1039+
SingleBlockImplicitTerminator<"::mlir::qc::YieldOp">,
1040+
RecursiveMemoryEffects]> {
1041+
let summary = "Apply a gate power modifier";
1042+
let description = [{
10451043
A modifier operation that raises the unitary operation defined in its
10461044
body region to a given power (exponent can be integer or fractional).
10471045

@@ -1057,11 +1055,11 @@ def PowOp : QCOp<"pow",
10571055
```
10581056
}];
10591057

1060-
let arguments = (ins F64Attr:$exponent);
1061-
let regions = (region SizedRegion<1>:$region);
1062-
let assemblyFormat = "`(` $exponent `)` $region attr-dict";
1058+
let arguments = (ins F64Attr:$exponent);
1059+
let regions = (region SizedRegion<1>:$region);
1060+
let assemblyFormat = "`(` $exponent `)` $region attr-dict";
10631061

1064-
let extraClassDeclaration = [{
1062+
let extraClassDeclaration = [{
10651063
[[nodiscard]] UnitaryOpInterface getBodyUnitary();
10661064
size_t getNumQubits() { return getBodyUnitary().getNumQubits(); }
10671065
size_t getNumTargets() { return getNumQubits(); }
@@ -1078,12 +1076,11 @@ def PowOp : QCOp<"pow",
10781076
static StringRef getBaseSymbol() { return "pow"; }
10791077
}];
10801078

1081-
let builders = [
1082-
OpBuilder<(ins "double":$exponent, "const llvm::function_ref<void()>&":$bodyBuilder)>
1083-
];
1079+
let builders = [OpBuilder<(ins "double":$exponent,
1080+
"const llvm::function_ref<void()>&":$bodyBuilder)>];
10841081

1085-
let hasCanonicalizer = 1;
1086-
let hasVerifier = 1;
1087-
}
1082+
let hasCanonicalizer = 1;
1083+
let hasVerifier = 1;
1084+
}
10881085

10891086
#endif // MLIR_DIALECT_QC_IR_QCOPS_TD

mlir/include/mlir/Dialect/QCO/IR/QCOOps.td

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1228,10 +1228,9 @@ def PowOp
12281228
```
12291229
}];
12301230

1231-
let arguments =
1232-
(ins F64Attr:$exponent,
1233-
Arg<Variadic<QubitType>,
1234-
"the qubits involved in the operation", [MemRead]>:$qubits_in);
1231+
let arguments = (ins F64Attr:$exponent,
1232+
Arg<Variadic<QubitType>,
1233+
"the qubits involved in the operation", [MemRead]>:$qubits_in);
12351234
let results = (outs Variadic<QubitType>:$qubits_out);
12361235
let regions = (region SizedRegion<1>:$region);
12371236
let assemblyFormat = [{

mlir/lib/Conversion/QCOToQC/QCOToQC.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -921,8 +921,8 @@ struct QCOToQC final : impl::QCOToQCBase<QCOToQC> {
921921
ConvertQCOTwoTargetOneParameterToQC<qco::RZZOp, qc::RZZOp>,
922922
ConvertQCOTwoTargetTwoParameterToQC<qco::XXPlusYYOp, qc::XXPlusYYOp>,
923923
ConvertQCOTwoTargetTwoParameterToQC<qco::XXMinusYYOp, qc::XXMinusYYOp>,
924-
ConvertQCOBarrierOp, ConvertQCOCtrlOp, ConvertQCOInvOp,
925-
ConvertQCOPowOp, ConvertQCOYieldOp>(typeConverter, context);
924+
ConvertQCOBarrierOp, ConvertQCOCtrlOp, ConvertQCOInvOp, ConvertQCOPowOp,
925+
ConvertQCOYieldOp>(typeConverter, context);
926926

927927
// Register operation conversion patterns that need state tracking
928928
patterns.add<ConvertQCOAllocOp, ConvertQCOStaticOp, ConvertQCOSinkOp>(

mlir/lib/Dialect/QC/Builder/QCProgramBuilder.cpp

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -443,8 +443,7 @@ QCProgramBuilder::inv(const llvm::function_ref<void()>& body) {
443443
}
444444

445445
QCProgramBuilder&
446-
QCProgramBuilder::pow(double exponent,
447-
const llvm::function_ref<void()>& body) {
446+
QCProgramBuilder::pow(double exponent, const llvm::function_ref<void()>& body) {
448447
checkFinalized();
449448
PowOp::create(*this, exponent, body);
450449
return *this;

mlir/unittests/Dialect/QC/IR/test_qc_ir.cpp

Lines changed: 12 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -116,19 +116,18 @@ INSTANTIATE_TEST_SUITE_P(
116116
/// @{
117117
INSTANTIATE_TEST_SUITE_P(
118118
QCPowOpTest, QCTest,
119-
testing::Values(
120-
QCTestCase{"Pow1Inline", MQT_NAMED_BUILDER(pow1Inline),
121-
MQT_NAMED_BUILDER(s)},
122-
QCTestCase{"Pow0Erase", MQT_NAMED_BUILDER(pow0Erase),
123-
MQT_NAMED_BUILDER(emptyQC)},
124-
QCTestCase{"NestedPow", MQT_NAMED_BUILDER(nestedPow),
125-
MQT_NAMED_BUILDER(powSingleExponent)},
126-
QCTestCase{"PowRxx", MQT_NAMED_BUILDER(powRxx),
127-
MQT_NAMED_BUILDER(powRxx)},
128-
QCTestCase{"NegPowS", MQT_NAMED_BUILDER(negPowS),
129-
MQT_NAMED_BUILDER(powSdg)},
130-
QCTestCase{"InvPowS", MQT_NAMED_BUILDER(invPowS),
131-
MQT_NAMED_BUILDER(powSdg)}));
119+
testing::Values(QCTestCase{"Pow1Inline", MQT_NAMED_BUILDER(pow1Inline),
120+
MQT_NAMED_BUILDER(s)},
121+
QCTestCase{"Pow0Erase", MQT_NAMED_BUILDER(pow0Erase),
122+
MQT_NAMED_BUILDER(emptyQC)},
123+
QCTestCase{"NestedPow", MQT_NAMED_BUILDER(nestedPow),
124+
MQT_NAMED_BUILDER(powSingleExponent)},
125+
QCTestCase{"PowRxx", MQT_NAMED_BUILDER(powRxx),
126+
MQT_NAMED_BUILDER(powRxx)},
127+
QCTestCase{"NegPowS", MQT_NAMED_BUILDER(negPowS),
128+
MQT_NAMED_BUILDER(powSdg)},
129+
QCTestCase{"InvPowS", MQT_NAMED_BUILDER(invPowS),
130+
MQT_NAMED_BUILDER(powSdg)}));
132131
/// @}
133132

134133
/// \name QC/Modifiers/InvOp.cpp

mlir/unittests/programs/qc_programs.h

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -830,7 +830,8 @@ void powRxx(QCProgramBuilder& b);
830830
/// Creates a circuit with pow(-2.0) wrapping an S gate (negative exponent).
831831
void negPowS(QCProgramBuilder& b);
832832

833-
/// Creates a circuit with inv wrapping pow (should reorder to pow wrapping inv).
833+
/// Creates a circuit with inv wrapping pow (should reorder to pow wrapping
834+
/// inv).
834835
void invPowS(QCProgramBuilder& b);
835836

836837
/// Creates a circuit with pow(2.0) wrapping sdg (reference for invPowS).

mlir/unittests/programs/qco_programs.h

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -983,7 +983,8 @@ void powRxx(QCOProgramBuilder& b);
983983
/// Creates a circuit with pow(-2.0) wrapping an S gate (negative exponent).
984984
void negPowS(QCOProgramBuilder& b);
985985

986-
/// Creates a circuit with inv wrapping pow (should reorder to pow wrapping inv).
986+
/// Creates a circuit with inv wrapping pow (should reorder to pow wrapping
987+
/// inv).
987988
void invPowS(QCOProgramBuilder& b);
988989

989990
/// Creates a circuit with pow(2.0) wrapping sdg (reference for invPowS).

0 commit comments

Comments
 (0)