Adding machine info (#575)

The `MachineInfo` semantics productions are now connected to the JSON
which now includes it with an update. This is ignored in the `Pgm`
currently, but could be used to make `isize` and `usize` dynamic on
`pointer-width` - although, I am not sure how to do that atm.

This is currently pointing to a different branch of stable mir json

---------

Co-authored-by: devops <[email protected]>

Author: dkcumming

kmir/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kmir"
-version = "0.3.153"
+version = "0.3.154"
 description = ""
 requires-python = "~=3.10"
 dependencies = [

kmir/src/kmir/__init__.py

@@ -1,3 +1,3 @@
 from typing import Final
 
-VERSION: Final = '0.3.153'
+VERSION: Final = '0.3.154'

kmir/src/kmir/kdist/mir-semantics/kmir-ast.md

@@ -17,8 +17,8 @@ module KMIR-AST
   imports TYPES
 
 
-  syntax Pgm ::= Symbol GlobalAllocs FunctionNames MonoItems TypeMappings
-                 [symbol(pgm), group(mir---name--allocs--functions--items--types)]
+  syntax Pgm ::= Symbol GlobalAllocs FunctionNames MonoItems TypeMappings MachineInfo
+                 [symbol(pgm), group(mir---name--allocs--functions--items--types--machine)]
 
   syntax FunctionKind ::= functionNormalSym(Symbol) [symbol(FunctionKind::NormalSym), group(mir-enum)]
                         | functionIntrinsic(Symbol) [symbol(FunctionKind::IntrinsicSym), group(mir-enum)]

kmir/src/kmir/kdist/mir-semantics/kmir.md

@@ -45,7 +45,7 @@ function map and the initial memory have to be set up.
 
 ```k
   // #init step, assuming a singleton in the K cell
-  rule <k> #init(_NAME:Symbol _ALLOCS:GlobalAllocs FUNCTIONS:FunctionNames ITEMS:MonoItems TYPES:TypeMappings)
+  rule <k> #init(_NAME:Symbol _ALLOCS:GlobalAllocs FUNCTIONS:FunctionNames ITEMS:MonoItems TYPES:TypeMappings _MACHINE:MachineInfo)
          =>
            #execFunction(#findItem(ITEMS, FUNCNAME), FUNCTIONS)
        </k>

kmir/src/kmir/kdist/mir-semantics/target.md

@@ -1,4 +1,6 @@
 ```k
+requires "ty.md"
+
 module TARGET-SORTS
 
 syntax MachineSize
@@ -8,10 +10,12 @@ endmodule
 module TARGET
   imports TARGET-SORTS
   imports INT
+  imports TYPES
 
-syntax MachineInfo ::= machineInfo(endian: Endian, pointerWidth: MachineSize)
-syntax Endian ::= "endianLittle" |  "endianBig"
-syntax MachineSize ::= machineSize(numBits: Int)
+syntax MachineInfo ::= machineInfo(endian: Endian, pointerWidth: MachineSize) [group(mir---endian--pointer-width)]
+syntax Endian ::= "endianLittle" [group(mir-enum), symbol(Endian::Little)]
+                | "endianBig" [group(mir-enum), symbol(Endian::Big)]
+syntax MachineSize ::= machineSize(numBits: MIRInt) [group(mir---num-bits), symbol(MachineSize::num_bits)]
 
 endmodule
 ```