HalfOpenRange/ClosedRange classes

ir/CMakeLists.txt

@@ -14,6 +14,7 @@
 
 set (IR_SRCS
   base.cpp
+  bitrange.cpp
   dbprint.cpp
   dbprint-expression.cpp
   dbprint-stmt.cpp

ir/bitrange.cpp

@@ -0,0 +1,30 @@
+/*
+Copyright 2024 Intel Corp.
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
+#include "ir/json_generator.h"
+#include "ir/json_loader.h"
+
+namespace BitRange {
+
+void rangeToJSON(JSONGenerator &json, int lo, int hi) { json.toJSON(std::make_pair(lo, hi)); }
+
+std::pair<int, int> rangeFromJSON(JSONLoader &json) {
+    std::pair<int, int> endpoints;
+    json >> endpoints;
+    return endpoints;
+}
+
+}  // namespace BitRange

lib/CMakeLists.txt

@@ -15,6 +15,7 @@
 set (LIBP4CTOOLKIT_SRCS
     alloc_trace.cpp
     backtrace_exception.cpp
+    bitrange.cpp
     bitvec.cpp
     compile_context.cpp
     crash.cpp

lib/bitrange.cpp

@@ -0,0 +1,41 @@
+/*
+Copyright 2024 Intel Corp.
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
+#include "lib/bitrange.h"
+
+#include <iostream>
+#include <utility>
+
+std::ostream &toStream(std::ostream &out, RangeUnit unit, Endian order, int lo, int hi,
+                       bool closed) {
+    if (unit == RangeUnit::Bit)
+        out << "bit";
+    else if (unit == RangeUnit::Byte)
+        out << "byte";
+    else
+        BUG("unknown range unit");
+
+    out << (!closed && order == Endian::Little ? "(" : "[");
+
+    if (order == Endian::Little) std::swap(lo, hi);
+
+    out << std::dec << lo;
+    if (lo != hi) out << ".." << hi;
+
+    out << (!closed && order == Endian::Network ? ")" : "]");
+
+    return out;
+}