| /dports/devel/splint/splint-3.1.2/src/Headers/ |
| H A D | constraintExpr.h | 37 constraintExpr constraintExpr_copy (constraintExpr p_expr) /*@*/;
43 bool constraintExpr_similar (constraintExpr p_expr1, constraintExpr p_expr2) /*@*/;
44 bool constraintExpr_same (constraintExpr p_expr1, constraintExpr p_expr2) /*@*/;
45 …constraintExpr constraintExpr_searchandreplace (/*@only@*/ /*@unique@*/ constraintExpr p_c, /*@tem…
50 int constraintExpr_compare (constraintExpr p_expr1, constraintExpr p_expr2) /*@*/;
66 /*@only@*/ constraintExpr constraintExpr_simplify (/*@only@*/ constraintExpr p_c);
68 /*@only@*/ constraintExpr constraintExpr_solveBinaryExpr (constraintExpr p_lexpr, /*@only@*/ constr…
89 /*@only@*/ constraintExpr constraintExpr_makeAddExpr (/*@only@*/ constraintExpr p_expr, /*@only@*/ …
91 /*@only@*/ constraintExpr constraintExpr_makeSubtractExpr (/*@only@*/ constraintExpr p_expr, /*@on…
95 constraintExpr constraintExpr_parseMakeBinaryOp (/*@only@*/ constraintExpr p_expr1, lltok p_op, /*@…
[all …]
|
| H A D | constraintExprData.h | 21 constraintExpr expr1;
23 constraintExpr expr2;
28 constraintExpr expr;
54 extern /*@observer@*/ constraintExpr
60 …etExpr (/*@partial@*/ /*@returned@*/ constraintExprData p_data, /*@only@*/ constraintExpr p_expr);
64 extern /*@observer@*/ constraintExpr constraintExprData_binaryExprGetExpr1 (/*@observer@*/ /*@reld…
66 extern /*@observer@*/ constraintExpr constraintExprData_binaryExprGetExpr2 (/*@observer@*/ /*@reld…
68 …tExpr1 (/*@partial@*/ /*@returned@*/ constraintExprData p_data, /*@only@*/ constraintExpr p_expr) ;
70 …Expr2 (/*@partial@*/ /*@returned@*/ constraintExprData p_data, /*@only@*/ constraintExpr p_expr);
|
| H A D | constraint.h | 16 constraintExpr lexpr;
17 constraintExpr expr;
105 extern bool constraint_search (constraint p_c, constraintExpr p_old);
107 extern /*@only@*/ constraint makeConstraintParse3 (constraintExpr p_l, lltok p_relOp, constraintExp…
|
| H A D | forwardTypes.h | 85 abst_typedef /*@null@*/ struct s_constraintExpr *constraintExpr; variable
|
| H A D | cgrammar_tokens.h | 544 constraintExpr conE;
|
| /dports/devel/splint/splint-3.1.2/src/ |
| H A D | constraintExpr.c | 114 constraintExpr e2; in isZeroBinaryOp()
154 constraintExpr temp; in removeZero()
362 constraintExpr ret; in constraintExpr_alloc()
393 constraintExpr constraintExpr_copy (constraintExpr expr) in constraintExpr_copy()
395 constraintExpr ret; in constraintExpr_copy()
419 constraintExpr ret; in oldconstraintExpr_makeTermExprNode()
583 constraintExpr ret; in constraintExpr_makeTerm()
678 constraintExpr t; in constraintExpr_makeSRefUnaryOp()
1010 bool constraintExpr_same (constraintExpr expr1, constraintExpr expr2) in constraintExpr_same()
1331 /*@only@*/ constraintExpr constraintExpr_solveBinaryExpr (constraintExpr lexpr, /*@only@*/ constrai… in constraintExpr_solveBinaryExpr()
[all …]
|
| H A D | loopHeuristics.c | 51 static bool isInc (/*@observer@*/ constraintExpr p_c) /*@*/;
56 /*@observer@*/ constraintExpr var) in increments()
189 constraintExpr ret; in getForTimes()
277 …nly@*/ constraintExpr constraintExpr_searchAndAdd (/*@only@*/ constraintExpr c, /*@observer@*/ con… in constraintExpr_searchAndAdd()
280 constraintExpr temp; in constraintExpr_searchAndAdd()
291 constraintExpr newExpr; in constraintExpr_searchAndAdd()
336 …ndAdd (/*@returned@*/ constraint c, /*@observer@*/ constraintExpr find, /*@observer@*/ constraintE… in constraint_searchAndAdd()
357 /*@observer@*/ constraintExpr find, /*@observer@*/ constraintExpr add) in constraintList_searchAndAdd()
409 constraintExpr iterations; in forLoopHeuristicsImpl()
445 constraintExpr t1, t2; in isInc()
[all …]
|
| H A D | constraintExprData.c | 168 constraintExpr
186 /*@only@*/ constraintExpr expr) in constraintExprData_unaryExprSetExpr()
209 constraintExpr constraintExprData_binaryExprGetExpr1 (constraintExprData data) in constraintExprData_binaryExprGetExpr1()
215 constraintExpr constraintExprData_binaryExprGetExpr2 (constraintExprData data) in constraintExprData_binaryExprGetExpr2()
223 /*@only@*/ constraintExpr expr) in constraintExprData_binaryExprSetExpr1()
235 constraintExprData_binaryExprSetExpr2 (constraintExprData data, constraintExpr expr) in constraintExprData_binaryExprSetExpr2()
|
| H A D | constraintResolve.c | 49 …nstraint_searchandreplace (/*@returned@*/ constraint p_c, constraintExpr p_old, constraintExpr p_n…
829 static bool sizeofBufComp(constraintExpr buf1, constraintExpr expr2) in sizeofBufComp()
883 constraintExpr l, r, buf1, buf2, con; in sizeOfMaxSet()
966 constraintExpr l, r; in constraint_isAlwaysTrue()
1086 constraintExpr e1, e2; in rangeCheck()
1136 constraintExpr e1, e2; in rangeCheck()
1227 constraintExpr temp; in constraint_adjust()
1265 constraintExpr temp2; in inequalitySubstitute()
1323 constraintExpr temp2; in inequalitySubstituteStrong()
1377 constraintExpr temp2; in inequalitySubstituteUnsound()
[all …]
|
| H A D | constraint.c | 74 constraint makeConstraintParse3 (constraintExpr l, lltok relOp, constraintExpr r) in makeConstraintParse3()
396 constraint_makeEnsuresOpConstraintExpr (/*@only@*/ constraintExpr c1, /*@only@*/ constraintExpr c2, in constraint_makeEnsuresOpConstraintExpr()
419 constraintExpr c1, c2; in constraint_makeEnsuresOp()
443 constraintExpr t1, t2; in constraint_makeEnsureLessThan()
464 constraintExpr t1, t2; in constraint_makeEnsureGreaterThan()
489 constraintExpr x1, x2, y; in constraint_makeAddAssign()
512 constraintExpr x1, x2, y; in constraint_makeSubtractAssign()
1067 constraintExpr lexpr, expr; in constraint_undump()
1127 constraintExpr lexpr; in constraint_dump()
1128 constraintExpr expr; in constraint_dump()
|
| H A D | Makefile.in | 147 constraintExprData.c constraintExpr.c constraint.c \
213 Headers/constraintExpr.h Headers/mtDefaultsNode.h \
479 constraintExprData.$(OBJEXT) constraintExpr.$(OBJEXT) \
504 @AMDEP_TRUE@ ./$(DEPDIR)/constraintExpr.Po \
692 @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/constraintExpr.Po@am__quote@
|
| /dports/databases/pgadmin3/pgadmin3-1.22.2/pgadmin/ogl/ |
| H A D | composit.cpp | 588 wxExpr *constraintExpr = new wxExpr(wxExprList); in WriteAttributes() local
604 constraintExpr->Append(objectList); in WriteAttributes()
659 wxExpr *constraintExpr = NULL; in ReadConstraints() local
661 if (!constraintExpr) in ReadConstraints()
673 wxExpr *typeExpr = constraintExpr->Nth(0); in ReadConstraints()
674 wxExpr *nameExpr = constraintExpr->Nth(1); in ReadConstraints()
675 wxExpr *idExpr = constraintExpr->Nth(2); in ReadConstraints()
676 wxExpr *xExpr = constraintExpr->Nth(3); in ReadConstraints()
677 wxExpr *yExpr = constraintExpr->Nth(4); in ReadConstraints()
678 wxExpr *constrainingExpr = constraintExpr->Nth(5); in ReadConstraints()
[all …]
|
| /dports/x11-toolkits/wxgtk28-common/wxGTK-2.8.12/contrib/src/ogl/ |
| H A D | composit.cpp | 614 wxExpr *constraintExpr = new wxExpr(wxExprList); in WriteAttributes() local
630 constraintExpr->Append(objectList); in WriteAttributes()
685 wxExpr *constraintExpr = NULL; in ReadConstraints() local
687 if (!constraintExpr) in ReadConstraints()
699 wxExpr *typeExpr = constraintExpr->Nth(0); in ReadConstraints()
700 wxExpr *nameExpr = constraintExpr->Nth(1); in ReadConstraints()
701 wxExpr *idExpr = constraintExpr->Nth(2); in ReadConstraints()
702 wxExpr *xExpr = constraintExpr->Nth(3); in ReadConstraints()
703 wxExpr *yExpr = constraintExpr->Nth(4); in ReadConstraints()
704 wxExpr *constrainingExpr = constraintExpr->Nth(5); in ReadConstraints()
[all …]
|
| /dports/x11-toolkits/wxgtk28-contrib-common/wxGTK-2.8.12/contrib/src/ogl/ |
| H A D | composit.cpp | 614 wxExpr *constraintExpr = new wxExpr(wxExprList); in WriteAttributes() local
630 constraintExpr->Append(objectList); in WriteAttributes()
685 wxExpr *constraintExpr = NULL; in ReadConstraints() local
687 if (!constraintExpr) in ReadConstraints()
699 wxExpr *typeExpr = constraintExpr->Nth(0); in ReadConstraints()
700 wxExpr *nameExpr = constraintExpr->Nth(1); in ReadConstraints()
701 wxExpr *idExpr = constraintExpr->Nth(2); in ReadConstraints()
702 wxExpr *xExpr = constraintExpr->Nth(3); in ReadConstraints()
703 wxExpr *yExpr = constraintExpr->Nth(4); in ReadConstraints()
704 wxExpr *constrainingExpr = constraintExpr->Nth(5); in ReadConstraints()
[all …]
|
| /dports/x11-toolkits/wxgtk28/wxGTK-2.8.12/contrib/src/ogl/ |
| H A D | composit.cpp | 614 wxExpr *constraintExpr = new wxExpr(wxExprList); in WriteAttributes() local
630 constraintExpr->Append(objectList); in WriteAttributes()
685 wxExpr *constraintExpr = NULL; in ReadConstraints() local
687 if (!constraintExpr) in ReadConstraints()
699 wxExpr *typeExpr = constraintExpr->Nth(0); in ReadConstraints()
700 wxExpr *nameExpr = constraintExpr->Nth(1); in ReadConstraints()
701 wxExpr *idExpr = constraintExpr->Nth(2); in ReadConstraints()
702 wxExpr *xExpr = constraintExpr->Nth(3); in ReadConstraints()
703 wxExpr *yExpr = constraintExpr->Nth(4); in ReadConstraints()
704 wxExpr *constrainingExpr = constraintExpr->Nth(5); in ReadConstraints()
[all …]
|
| /dports/x11-toolkits/wxgtk28-contrib/wxGTK-2.8.12/contrib/src/ogl/ |
| H A D | composit.cpp | 614 wxExpr *constraintExpr = new wxExpr(wxExprList); in WriteAttributes() local
630 constraintExpr->Append(objectList); in WriteAttributes()
685 wxExpr *constraintExpr = NULL; in ReadConstraints() local
687 if (!constraintExpr) in ReadConstraints()
699 wxExpr *typeExpr = constraintExpr->Nth(0); in ReadConstraints()
700 wxExpr *nameExpr = constraintExpr->Nth(1); in ReadConstraints()
701 wxExpr *idExpr = constraintExpr->Nth(2); in ReadConstraints()
702 wxExpr *xExpr = constraintExpr->Nth(3); in ReadConstraints()
703 wxExpr *yExpr = constraintExpr->Nth(4); in ReadConstraints()
704 wxExpr *constrainingExpr = constraintExpr->Nth(5); in ReadConstraints()
[all …]
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/mlir/lib/Conversion/AffineToStandard/ |
| H A D | AffineToStandard.cpp | 335 AffineExpr constraintExpr = integerSet.getConstraint(i); in matchAndRewrite() local
340 Value affResult = expandAffineExpr(rewriter, loc, constraintExpr, in matchAndRewrite()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/mlir/lib/Conversion/AffineToStandard/ |
| H A D | AffineToStandard.cpp | 377 AffineExpr constraintExpr = integerSet.getConstraint(i); in matchAndRewrite() local
382 Value affResult = expandAffineExpr(rewriter, loc, constraintExpr, in matchAndRewrite()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/mlir/lib/Conversion/AffineToStandard/ |
| H A D | AffineToStandard.cpp | 414 AffineExpr constraintExpr = integerSet.getConstraint(i); in matchAndRewrite() local
419 Value affResult = expandAffineExpr(rewriter, loc, constraintExpr, in matchAndRewrite()
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/mlir/lib/Conversion/AffineToStandard/ |
| H A D | AffineToStandard.cpp | 485 AffineExpr constraintExpr = integerSet.getConstraint(i); in matchAndRewrite() local
490 Value affResult = expandAffineExpr(rewriter, loc, constraintExpr, in matchAndRewrite()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/mlir/lib/Conversion/AffineToStandard/ |
| H A D | AffineToStandard.cpp | 511 AffineExpr constraintExpr = integerSet.getConstraint(i); in matchAndRewrite() local
516 Value affResult = expandAffineExpr(rewriter, loc, constraintExpr, in matchAndRewrite()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/mlir/lib/Conversion/AffineToStandard/ |
| H A D | AffineToStandard.cpp | 511 AffineExpr constraintExpr = integerSet.getConstraint(i); in matchAndRewrite() local
516 Value affResult = expandAffineExpr(rewriter, loc, constraintExpr, in matchAndRewrite()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/mlir/lib/Conversion/AffineToStandard/ |
| H A D | AffineToStandard.cpp | 485 AffineExpr constraintExpr = integerSet.getConstraint(i); in matchAndRewrite() local
490 Value affResult = expandAffineExpr(rewriter, loc, constraintExpr, in matchAndRewrite()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/mlir/lib/Conversion/AffineToStandard/ |
| H A D | AffineToStandard.cpp | 485 AffineExpr constraintExpr = integerSet.getConstraint(i); in matchAndRewrite() local
490 Value affResult = expandAffineExpr(rewriter, loc, constraintExpr, in matchAndRewrite()
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/mlir/lib/Conversion/AffineToStandard/ |
| H A D | AffineToStandard.cpp | 485 AffineExpr constraintExpr = integerSet.getConstraint(i); in matchAndRewrite() local
490 Value affResult = expandAffineExpr(rewriter, loc, constraintExpr, in matchAndRewrite()
|