From: Mark Freeman Date: Wed, 7 May 2025 20:46:47 +0000 (-0400) Subject: cmd/compile/internal/noder: begin a formal UIR grammar. X-Git-Tag: go1.25rc1~326 X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=cad1fc52076f1368d79aa833c1810ae050df57e6;p=gostls13.git cmd/compile/internal/noder: begin a formal UIR grammar. The UIR export data format can be reasonably expressed using EBNF. The noder owns the definition of the export data format, so this seems like a reasonable place to put this. Change-Id: I0205ab29a3c5e57d670d7fd3164a8bd604ab8e59 Reviewed-on: https://go-review.googlesource.com/c/go/+/670616 Reviewed-by: Robert Griesemer TryBot-Bypass: Mark Freeman Auto-Submit: Mark Freeman --- diff --git a/src/cmd/compile/internal/noder/doc.go b/src/cmd/compile/internal/noder/doc.go new file mode 100644 index 0000000000..3c34c41680 --- /dev/null +++ b/src/cmd/compile/internal/noder/doc.go @@ -0,0 +1,37 @@ +// Copyright 2025 The Go Authors. All rights reserved. +// Use of this source code is governed by a BSD-style +// license that can be found in the LICENSE file. + +/* +The Unified IR (UIR) format is implicitly defined by the package noder. + +At the highest level, a package encoded in UIR follows the grammar below. + +File = Header Payload fingerprint . +Header = version [ flags ] sectionEnds elementEnds . + +version = uint32 . // used for backward compatibility +flags = uint32 . // feature flags used across versions +sectionEnds = [10]uint32 . // defines section boundaries +elementEnds = []uint32 . // defines element boundaries +fingerprint = [8]byte . // sha256 fingerprint + +The payload has a structure as well. It is a series of sections, which +contain elements of the same type. Go constructs are mapped onto +(potentially multiple) elements. It is represented as below. + +TODO(markfreeman): Update when we rename RelocFoo to SectionFoo. +Payload = RelocString + RelocMeta + RelocPosBase + RelocPkg + RelocName + RelocType + RelocObj + RelocObjExt + RelocObjDict + RelocBody + . +*/ + +package noder