Added NullaryOp AlignOf evaluation

Author: dkcumming

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

@@ -1357,6 +1357,40 @@ One important use case of `UbChecks` is to determine overflows in unchecked arit
 `nullOpAlignOf`
 `nullOpOffsetOf(VariantAndFieldIndices)`
 
+```k
+
+// FIXME: Alignment is platform specific
+syntax Int ::= #alignOf( TypeInfo ) [function]
+
+rule #alignOf( typeInfoPrimitiveType(primTypeBool) )        => 1
+rule #alignOf( typeInfoPrimitiveType(primTypeChar) )        => 4
+
+rule #alignOf( typeInfoPrimitiveType(primTypeInt(intTyIsize)) )  => 8 // FIXME: Hard coded since usize not implemented
+rule #alignOf( typeInfoPrimitiveType(primTypeInt(intTyI8)) )     => 1
+rule #alignOf( typeInfoPrimitiveType(primTypeInt(intTyI16)) )    => 2
+rule #alignOf( typeInfoPrimitiveType(primTypeInt(intTyI32)) )    => 4
+rule #alignOf( typeInfoPrimitiveType(primTypeInt(intTyI64)) )    => 8
+rule #alignOf( typeInfoPrimitiveType(primTypeInt(intTyI128)) )   => 16
+
+rule #alignOf( typeInfoPrimitiveType(primTypeUint(uintTyUsize)) ) => 8 // FIXME: Hard coded since usize not implemented
+rule #alignOf( typeInfoPrimitiveType(primTypeUint(uintTyU8)) )    => 1
+rule #alignOf( typeInfoPrimitiveType(primTypeUint(uintTyU16)) )   => 2
+rule #alignOf( typeInfoPrimitiveType(primTypeUint(uintTyU32)) )   => 4
+rule #alignOf( typeInfoPrimitiveType(primTypeUint(uintTyU64)) )   => 8
+rule #alignOf( typeInfoPrimitiveType(primTypeUint(uintTyU128)) )  => 16
+
+rule #alignOf( typeInfoPrimitiveType(primTypeFloat(floatTyF16)) )  => 2
+rule #alignOf( typeInfoPrimitiveType(primTypeFloat(floatTyF32)) )  => 4
+rule #alignOf( typeInfoPrimitiveType(primTypeFloat(floatTyF64)) )  => 8
+rule #alignOf( typeInfoPrimitiveType(primTypeFloat(floatTyF128)) ) => 16
+
+rule <k> rvalueNullaryOp(nullOpAlignOf, TY) => typedValue( Integer(#alignOf({TYPEMAP[TY]}:>TypeInfo), 64, false), TyUnknown, mutabilityNot ) ... </k> // FIXME: 64 is hardcoded since usize not supported
+     <types> TYPEMAP </types>
+    requires TY in_keys(TYPEMAP)
+     andBool isTypeInfo(TYPEMAP[TY])
+
+```
+
 #### Other operations
 
 `binOpOffset`