Add contracts representation and parsing. Much thanks to Peter for th…

.github/CODEOWNERS

@@ -64,8 +64,8 @@ clang/test/AST/Interp/ @tbaederr
 /mlir/Dialect/*/Transforms/Bufferize.cpp @matthias-springer
 
 # Linalg Dialect in MLIR.
-/mlir/include/mlir/Dialect/Linalg/* @dcaballe @nicolasvasilache @rengolin
-/mlir/lib/Dialect/Linalg/* @dcaballe @nicolasvasilache @rengolin
+/mlir/include/mlir/Dialect/Linalg @dcaballe @nicolasvasilache @rengolin
+/mlir/lib/Dialect/Linalg @dcaballe @nicolasvasilache @rengolin
 /mlir/lib/Dialect/Linalg/Transforms/DecomposeLinalgOps.cpp @MaheshRavishankar @nicolasvasilache
 /mlir/lib/Dialect/Linalg/Transforms/DropUnitDims.cpp @MaheshRavishankar @nicolasvasilache
 /mlir/lib/Dialect/Linalg/Transforms/ElementwiseOpFusion.cpp @MaheshRavishankar @nicolasvasilache
@@ -85,8 +85,8 @@ clang/test/AST/Interp/ @tbaederr
 /mlir/**/*VectorToSCF* @banach-space @dcaballe @matthias-springer @nicolasvasilache
 /mlir/**/*VectorToLLVM* @banach-space @dcaballe @nicolasvasilache
 /mlir/**/*X86Vector* @aartbik @dcaballe @nicolasvasilache
-/mlir/include/mlir/Dialect/Vector/* @dcaballe @nicolasvasilache
-/mlir/lib/Dialect/Vector/* @dcaballe @nicolasvasilache
+/mlir/include/mlir/Dialect/Vector @dcaballe @nicolasvasilache
+/mlir/lib/Dialect/Vector @dcaballe @nicolasvasilache
 /mlir/lib/Dialect/Vector/Transforms/* @hanhanW @nicolasvasilache
 /mlir/lib/Dialect/Vector/Transforms/VectorEmulateNarrowType.cpp @MaheshRavishankar @nicolasvasilache
 /mlir/**/*EmulateNarrowType* @dcaballe @hanhanW
@@ -120,6 +120,9 @@ clang/test/AST/Interp/ @tbaederr
 /mlir/**/LLVMIR/**/BasicPtxBuilderInterface* @grypp
 /mlir/**/NVVM* @grypp
 
+# MLIR Index Dialect
+/mlir/**/Index* @mogball
+
 # MLIR Python Bindings
 /mlir/test/python/ @ftynse @makslevental @stellaraccident
 /mlir/python/ @ftynse @makslevental @stellaraccident
@@ -141,3 +144,8 @@ clang/test/AST/Interp/ @tbaederr
 
 # ExtractAPI
 /clang/**/ExtractAPI @daniel-grumberg
+
+# DWARFLinker, dwarfutil, dsymutil
+/llvm/**/DWARFLinker/ @JDevlieghere
+/llvm/**/dsymutil/ @JDevlieghere
+/llvm/**/llvm-dwarfutil/ @JDevlieghere

.github/workflows/issue-write.yml

@@ -5,6 +5,7 @@ on:
     workflows:
       - "Check code formatting"
       - "Check for private emails used in PRs"
+      - "PR Request Release Note"
     types:
       - completed
 
@@ -17,7 +18,11 @@ jobs:
     permissions:
       pull-requests: write
     if: >
-      github.event.workflow_run.event == 'pull_request'
+      github.event.workflow_run.event == 'pull_request' &&
+      (
+        github.event.workflow_run.conclusion == 'success' ||
+        github.event.workflow_run.conclusion == 'failure'
+      )
     steps:
       - name: 'Download artifact'
         uses: actions/download-artifact@6b208ae046db98c579e8a3aa621ab581ff575935 # v4.1.1
@@ -92,7 +97,11 @@ jobs:
 
             var pr_number = 0;
             gql_result.repository.ref.associatedPullRequests.nodes.forEach((pr) => {
-              if (pr.baseRepository.owner.login = context.repo.owner && pr.state == 'OPEN') {
+
+              // The largest PR number is the one we care about.  The only way
+              // to have more than one associated pull requests is if all the
+              // old pull requests are in the closed state.
+              if (pr.baseRepository.owner.login = context.repo.owner && pr.number > pr_number) {
                 pr_number = pr.number;
               }
             });

.github/workflows/libcxx-build-and-test.yaml

@@ -63,8 +63,8 @@ jobs:
         cxx: [ 'clang++-19' ]
         include:
           - config: 'generic-gcc'
-            cc: 'gcc-13'
-            cxx: 'g++-13'
+            cc: 'gcc-14'
+            cxx: 'g++-14'
     steps:
       - uses: actions/checkout@v4
       - name: ${{ matrix.config }}.${{ matrix.cxx }}
@@ -101,8 +101,8 @@ jobs:
         cxx: [ 'clang++-19' ]
         include:
           - config: 'generic-gcc-cxx11'
-            cc: 'gcc-13'
-            cxx: 'g++-13'
+            cc: 'gcc-14'
+            cxx: 'g++-14'
           - config: 'generic-cxx23'
             cc: 'clang-17'
             cxx: 'clang++-17'

.github/workflows/pr-request-release-note.yml

@@ -2,7 +2,6 @@ name: PR Request Release Note
 
 permissions:
   contents: read
-  pull-requests: write
 
 on:
   pull_request:
@@ -41,3 +40,10 @@ jobs:
             --token "$GITHUB_TOKEN" \
             request-release-note \
             --pr-number ${{ github.event.pull_request.number}}
+
+      - uses: actions/upload-artifact@26f96dfa697d77e81fd5907df203aa23a56210a8 #v4.3.0
+        if: always()
+        with:
+          name: workflow-args
+          path: |
+            comments

CONTRACTS_TODO.txt

@@ -0,0 +1,15 @@
+* Parse result name in post contracts
+  * auto declared functions.
+  * templates.
+  * Late parsing in general
+* Diagnose
+* Test parsing failures
+* What happens when pre/post throws from a noexcept function? Can we even callee-emit contracts?
+* Start constification
+* Check 'this' access in pre/post
+* Codegen:
+  * Make it work
+
+* Required headers?
+  <contracts>
+  <source_location>

bolt/docs/CommandLineArgumentReference.md

@@ -56,6 +56,14 @@
 
   Allow processing of stripped binaries
 
+- `--alt-inst-feature-size=<uint>`
+
+  Size of feature field in .altinstructions
+
+- `--alt-inst-has-padlen`
+
+  Specify that .altinstructions has padlen field
+
 - `--asm-dump[=<dump folder>]`
 
   Dump function into assembly
@@ -78,6 +86,16 @@
   in the input is decoded and re-encoded. If the resulting bytes do not match
   the input, a warning message is printed.
 
+- `--comp-dir-override=<string>`
+
+  Overrides DW_AT_comp_dir, and provides an alterantive base location, which is
+  used with DW_AT_dwo_name to construct a path to *.dwo files.
+
+- `--create-debug-names-section`
+
+  Creates .debug_names section, if the input binary doesn't have it already, for
+  DWARF5 CU/TUs.
+
 - `--cu-processing-batch-size=<uint>`
 
   Specifies the size of batches for processing CUs. Higher number has better
@@ -93,7 +111,7 @@
 
 - `--debug-skeleton-cu`
 
-  Prints out offsetrs for abbrev and debu_info of Skeleton CUs that get patched.
+  Prints out offsets for abbrev and debug_info of Skeleton CUs that get patched.
 
 - `--deterministic-debuginfo`
 
@@ -104,6 +122,10 @@
 
   Add basic block instructions as tool tips on nodes
 
+- `--dump-alt-instructions`
+
+  Dump Linux alternative instructions info
+
 - `--dump-cg=<string>`
 
   Dump callgraph to the given file
@@ -117,10 +139,34 @@
   Dump function CFGs to graphviz format after each stage;enable '-print-loops'
   for color-coded blocks
 
+- `--dump-linux-exceptions`
+
+  Dump Linux kernel exception table
+
 - `--dump-orc`
 
   Dump raw ORC unwind information (sorted)
 
+- `--dump-para-sites`
+
+  Dump Linux kernel paravitual patch sites
+
+- `--dump-pci-fixups`
+
+  Dump Linux kernel PCI fixup table
+
+- `--dump-smp-locks`
+
+  Dump Linux kernel SMP locks
+
+- `--dump-static-calls`
+
+  Dump Linux kernel static calls
+
+- `--dump-static-keys`
+
+  Dump Linux kernel static keys jump table
+
 - `--dwarf-output-path=<string>`
 
   Path to where .dwo files or dwp file will be written out to.
@@ -205,6 +251,18 @@
 
   Skip processing of cold functions
 
+- `--log-file=<string>`
+
+  Redirect journaling to a file instead of stdout/stderr
+
+- `--long-jump-labels`
+
+  Always use long jumps/nops for Linux kernel static keys
+
+- `--match-profile-with-function-hash`
+
+  Match profile with function hash
+
 - `--max-data-relocations=<uint>`
 
   Maximum number of data relocations to process
@@ -274,6 +332,10 @@
 
   Number of tasks to be created per thread
 
+- `--terminal-trap`
+
+  Assume that execution stops at trap instruction
+
 - `--thread-count=<uint>`
 
   Number of threads
@@ -618,10 +680,6 @@
   threshold means fewer functions to process. E.g threshold of 90 means only top
   10 percent of functions with profile will be processed.
 
-- `--mcf-use-rarcs`
-
-  In MCF, consider the possibility of cancelling flow to balance edges
-
 - `--memcpy1-spec=<func1,func2:cs1:cs2,func3:cs1,...>`
 
   List of functions with call sites for which to specialize memcpy() for size 1
@@ -630,6 +688,10 @@
 
   Use a modified clustering algorithm geared towards minimizing branches
 
+- `--name-similarity-function-matching-threshold=<uint>`
+
+  Match functions using namespace and edit distance.
+
 - `--no-inline`
 
   Disable all inlining (overrides other inlining options)
@@ -710,7 +772,7 @@
   - `none`: do not reorder functions
   - `exec-count`: order by execution count
   - `hfsort`: use hfsort algorithm
-  - `hfsort+`: use hfsort+ algorithm
+  - `hfsort+`: use cache-directed sort
   - `cdsort`: use cache-directed sort
   - `pettis-hansen`: use Pettis-Hansen algorithm
   - `random`: reorder functions randomly
@@ -804,8 +866,8 @@
 
 - `--stale-matching-min-matched-block=<uint>`
 
-  Minimum percent of exact match block for a function to be considered for
-  profile inference.
+  Percentage threshold of matched basic blocks at which stale profile inference
+  is executed.
 
 - `--stale-threshold=<uint>`
 
@@ -853,6 +915,10 @@
 
   Only apply branch boundary alignment in hot code
 
+- `--x86-strip-redundant-address-size`
+
+  Remove redundant Address-Size override prefix
+
 ### BOLT options in relocation mode:
 
 - `--align-macro-fusion=<value>`
@@ -1039,6 +1105,10 @@
 
   Print clusters
 
+- `--print-estimate-edge-counts`
+
+  Print function after edge counts are set for no-LBR profile
+
 - `--print-finalized`
 
   Print function after CFG is finalized
@@ -1071,6 +1141,10 @@
 
   Print functions after inlining optimization
 
+- `--print-large-functions`
+
+  Print functions that could not be overwritten due to excessive size
+
 - `--print-longjmp`
 
   Print functions after longjmp pass
@@ -1166,4 +1240,4 @@
 
 - `--print-options`
 
-  Print non-default options after command line parsing
+  Print non-default options after command line parsing