Skip to content

Commit 3f37237

Browse files
maksleventalmakslevental
committed
header guard
1 parent 784540c commit 3f37237

File tree

13 files changed

+38
-38
lines changed

13 files changed

+38
-38
lines changed

‎mlir/include/mlir/Dialect/SMT/IR/SMT.td‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@
66
//
77
//===----------------------------------------------------------------------===//
88

9-
#ifndef MLIR_DIALECT_SMT_SMT_TD
10-
#define MLIR_DIALECT_SMT_SMT_TD
9+
#ifndef MLIR_DIALECT_SMT_IR_SMT_TD
10+
#define MLIR_DIALECT_SMT_IR_SMT_TD
1111

1212
include "mlir/IR/OpBase.td"
1313

@@ -19,4 +19,4 @@ include "mlir/Dialect/SMT/IR/SMTArrayOps.td"
1919
include "mlir/Dialect/SMT/IR/SMTBitVectorOps.td"
2020
include "mlir/Dialect/SMT/IR/SMTIntOps.td"
2121

22-
#endif // MLIR_DIALECT_SMT_SMT_TD
22+
#endif // MLIR_DIALECT_SMT_IR_SMT_TD

‎mlir/include/mlir/Dialect/SMT/IR/SMTArrayOps.td‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@
66
//
77
//===----------------------------------------------------------------------===//
88

9-
#ifndef MLIR_DIALECT_SMT_SMTARRAYOPS_TD
10-
#define MLIR_DIALECT_SMT_SMTARRAYOPS_TD
9+
#ifndef MLIR_DIALECT_SMT_IR_SMTARRAYOPS_TD
10+
#define MLIR_DIALECT_SMT_IR_SMTARRAYOPS_TD
1111

1212
include "mlir/Dialect/SMT/IR/SMTDialect.td"
1313
include "mlir/Dialect/SMT/IR/SMTAttributes.td"
@@ -96,4 +96,4 @@ def ArrayBroadcastOp : SMTArrayOp<"broadcast", [
9696
let assemblyFormat = "$value attr-dict `:` qualified(type($result))";
9797
}
9898

99-
#endif // MLIR_DIALECT_SMT_SMTARRAYOPS_TD
99+
#endif // MLIR_DIALECT_SMT_IR_SMTARRAYOPS_TD

‎mlir/include/mlir/Dialect/SMT/IR/SMTAttributes.h‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@
66
//
77
//===----------------------------------------------------------------------===//
88

9-
#ifndef MLIR_DIALECT_SMT_SMTATTRIBUTES_H
10-
#define MLIR_DIALECT_SMT_SMTATTRIBUTES_H
9+
#ifndef MLIR_DIALECT_SMT_IR_SMTATTRIBUTES_H
10+
#define MLIR_DIALECT_SMT_IR_SMTATTRIBUTES_H
1111

1212
#include "mlir/IR/Attributes.h"
1313
#include "mlir/IR/BuiltinAttributeInterfaces.h"
@@ -26,4 +26,4 @@ struct BitVectorAttrStorage;
2626
#define GET_ATTRDEF_CLASSES
2727
#include "mlir/Dialect/SMT/IR/SMTAttributes.h.inc"
2828

29-
#endif // MLIR_DIALECT_SMT_SMTATTRIBUTES_H
29+
#endif // MLIR_DIALECT_SMT_IR_SMTATTRIBUTES_H

‎mlir/include/mlir/Dialect/SMT/IR/SMTAttributes.td‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -10,8 +10,8 @@
1010
//
1111
//===----------------------------------------------------------------------===//
1212

13-
#ifndef MLIR_DIALECT_SMT_SMTATTRIBUTES_TD
14-
#define MLIR_DIALECT_SMT_SMTATTRIBUTES_TD
13+
#ifndef MLIR_DIALECT_SMT_IR_SMTATTRIBUTES_TD
14+
#define MLIR_DIALECT_SMT_IR_SMTATTRIBUTES_TD
1515

1616
include "mlir/Dialect/SMT/IR/SMTDialect.td"
1717
include "mlir/IR/EnumAttr.td"
@@ -71,4 +71,4 @@ def BitVectorAttr : AttrDef<SMTDialect, "BitVector", [
7171
}];
7272
}
7373

74-
#endif // MLIR_DIALECT_SMT_SMTATTRIBUTES_TD
74+
#endif // MLIR_DIALECT_SMT_IR_SMTATTRIBUTES_TD

‎mlir/include/mlir/Dialect/SMT/IR/SMTBitVectorOps.td‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@
66
//
77
//===----------------------------------------------------------------------===//
88

9-
#ifndef MLIR_DIALECT_SMT_SMTBITVECTOROPS_TD
10-
#define MLIR_DIALECT_SMT_SMTBITVECTOROPS_TD
9+
#ifndef MLIR_DIALECT_SMT_IR_SMTBITVECTOROPS_TD
10+
#define MLIR_DIALECT_SMT_IR_SMTBITVECTOROPS_TD
1111

1212
include "mlir/Dialect/SMT/IR/SMTDialect.td"
1313
include "mlir/Dialect/SMT/IR/SMTAttributes.td"
@@ -252,4 +252,4 @@ def BV2IntOp : SMTOp<"bv2int", [Pure]> {
252252
qualified(type($input))}];
253253
}
254254

255-
#endif // MLIR_DIALECT_SMT_SMTBITVECTOROPS_TD
255+
#endif // MLIR_DIALECT_SMT_IR_SMTBITVECTOROPS_TD

‎mlir/include/mlir/Dialect/SMT/IR/SMTDialect.h‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@
66
//
77
//===----------------------------------------------------------------------===//
88

9-
#ifndef MLIR_DIALECT_SMT_SMTDIALECT_H
10-
#define MLIR_DIALECT_SMT_SMTDIALECT_H
9+
#ifndef MLIR_DIALECT_SMT_IR_SMTDIALECT_H
10+
#define MLIR_DIALECT_SMT_IR_SMTDIALECT_H
1111

1212
#include "mlir/IR/BuiltinOps.h"
1313
#include "mlir/IR/Dialect.h"
@@ -17,4 +17,4 @@
1717
#include "mlir/Dialect/SMT/IR/SMTDialect.h.inc"
1818
#include "mlir/Dialect/SMT/IR/SMTEnums.h.inc"
1919

20-
#endif // MLIR_DIALECT_SMT_SMTDIALECT_H
20+
#endif // MLIR_DIALECT_SMT_IR_SMTDIALECT_H

‎mlir/include/mlir/Dialect/SMT/IR/SMTDialect.td‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@
66
//
77
//===----------------------------------------------------------------------===//
88

9-
#ifndef MLIR_DIALECT_SMT_SMTDIALECT_TD
10-
#define MLIR_DIALECT_SMT_SMTDIALECT_TD
9+
#ifndef MLIR_DIALECT_SMT_IR_SMTDIALECT_TD
10+
#define MLIR_DIALECT_SMT_IR_SMTDIALECT_TD
1111

1212
include "mlir/IR/DialectBase.td"
1313

@@ -27,4 +27,4 @@ def SMTDialect : Dialect {
2727
}];
2828
}
2929

30-
#endif // MLIR_DIALECT_SMT_SMTDIALECT_TD
30+
#endif // MLIR_DIALECT_SMT_IR_SMTDIALECT_TD

‎mlir/include/mlir/Dialect/SMT/IR/SMTIntOps.td‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@
66
//
77
//===----------------------------------------------------------------------===//
88

9-
#ifndef MLIR_DIALECT_SMT_SMTINTOPS_TD
10-
#define MLIR_DIALECT_SMT_SMTINTOPS_TD
9+
#ifndef MLIR_DIALECT_SMT_IR_SMTINTOPS_TD
10+
#define MLIR_DIALECT_SMT_IR_SMTINTOPS_TD
1111

1212
include "mlir/Dialect/SMT/IR/SMTDialect.td"
1313
include "mlir/Dialect/SMT/IR/SMTAttributes.td"
@@ -134,4 +134,4 @@ def Int2BVOp : SMTOp<"int2bv", [Pure]> {
134134
let assemblyFormat = "$input attr-dict `:` qualified(type($result))";
135135
}
136136

137-
#endif // MLIR_DIALECT_SMT_SMTINTOPS_TD
137+
#endif // MLIR_DIALECT_SMT_IR_SMTINTOPS_TD

‎mlir/include/mlir/Dialect/SMT/IR/SMTOps.h‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77
//===----------------------------------------------------------------------===//
88

99
#ifndef MLIR_DIALECT_SMT_IR_SMTOPS_H
10-
#define MLIR_DIALECT_SMT_SMTOPS_H
10+
#define MLIR_DIALECT_SMT_IR_SMTOPS_H
1111

1212
#include "mlir/IR/OpImplementation.h"
1313
#include "mlir/IR/SymbolTable.h"
@@ -22,4 +22,4 @@
2222
#define GET_OP_CLASSES
2323
#include "mlir/Dialect/SMT/IR/SMT.h.inc"
2424

25-
#endif // MLIR_DIALECT_SMT_SMTOPS_H
25+
#endif // MLIR_DIALECT_SMT_IR_SMTOPS_H

‎mlir/include/mlir/Dialect/SMT/IR/SMTOps.td‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@
66
//
77
//===----------------------------------------------------------------------===//
88

9-
#ifndef MLIR_DIALECT_SMT_SMTOPS_TD
10-
#define MLIR_DIALECT_SMT_SMTOPS_TD
9+
#ifndef MLIR_DIALECT_SMT_IR_SMTOPS_TD
10+
#define MLIR_DIALECT_SMT_IR_SMTOPS_TD
1111

1212
include "mlir/Dialect/SMT/IR/SMTDialect.td"
1313
include "mlir/Dialect/SMT/IR/SMTAttributes.td"
@@ -472,4 +472,4 @@ class QuantifierOp<string mnemonic> : SMTOp<mnemonic, [
472472
def ForallOp : QuantifierOp<"forall"> { let summary = "forall quantifier"; }
473473
def ExistsOp : QuantifierOp<"exists"> { let summary = "exists quantifier"; }
474474

475-
#endif // MLIR_DIALECT_SMT_SMTOPS_TD
475+
#endif // MLIR_DIALECT_SMT_IR_SMTOPS_TD

0 commit comments

Comments
 (0)