Yk assumes all pointers are the same size as a void *.

Assert as such.
ykjit · Feb 26, 2024 · 631dfa6 · 631dfa6
1 parent b5e7855
commit 631dfa6
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/llvm/lib/YkIR/YkIRWriter.cpp b/llvm/lib/YkIR/YkIRWriter.cpp
@@ -494,7 +494,9 @@ class YkIRWriter {
   void serialiseType(llvm::Type *Ty) {
     if (Ty->isVoidTy()) {
       OutStreamer.emitInt8(TypeKind::Void);
-    } else if (Ty->isPointerTy()) {
+    } else if (PointerType *PT = dyn_cast<PointerType>(Ty)) {
+      // FIXME: The Yk runtime assumes all pointers are void-ptr-sized.
+      assert(DL.getPointerSize(PT->getAddressSpace()) == sizeof(void *));
       OutStreamer.emitInt8(TypeKind::Ptr);
     } else if (IntegerType *ITy = dyn_cast<IntegerType>(Ty)) {
       OutStreamer.emitInt8(TypeKind::Integer);