From 2155dc51d700c9fb5f29d79eaacf5e1470e4d8ca Mon Sep 17 00:00:00 2001 From: Arthur Eubanks Date: Sat, 1 May 2021 19:04:42 -0700 Subject: [IR] Introduce the opaque pointer type The opaque pointer type is essentially just a normal pointer type with a null pointee type. This also adds support for the opaque pointer type to the bitcode reader/writer, as well as to textual IR. To avoid confusion with existing pointer types, we disallow creating a pointer to an opaque pointer. Opaque pointer types should not be widely used at this point since many parts of LLVM still do not support them. The next steps are to add some very simple use cases of opaque pointers to make sure they work, then start pretending that all pointers are opaque pointers and see what breaks. https://lists.llvm.org/pipermail/llvm-dev/2021-May/150359.html Reviewed By: dblaikie, dexonsmith, pcc Differential Revision: https://reviews.llvm.org/D101704 --- llvm/lib/Bitcode/Reader/BitcodeReader.cpp | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp') diff --git a/llvm/lib/Bitcode/Reader/BitcodeReader.cpp b/llvm/lib/Bitcode/Reader/BitcodeReader.cpp index 91a65c7ea06e..3a56a67c4a88 100644 --- a/llvm/lib/Bitcode/Reader/BitcodeReader.cpp +++ b/llvm/lib/Bitcode/Reader/BitcodeReader.cpp @@ -1807,6 +1807,13 @@ Error BitcodeReader::parseTypeTableBody() { ResultTy = PointerType::get(ResultTy, AddressSpace); break; } + case bitc::TYPE_CODE_OPAQUE_POINTER: { // OPAQUE_POINTER: [addrspace] + if (Record.size() != 1) + return error("Invalid record"); + unsigned AddressSpace = Record[0]; + ResultTy = PointerType::get(Context, AddressSpace); + break; + } case bitc::TYPE_CODE_FUNCTION_OLD: { // Deprecated, but still needed to read old bitcode files. // FUNCTION: [vararg, attrid, retty, paramty x N] -- cgit v1.2.3