Cleanups to `ParameterBlock<T>` behavior. (#304)

* Cleanups to `ParameterBlock<T>` behavior.

These add some more realistic tests using the `ParameterBlock<T>` support, and show that it can work with the "rewriter" mode.

Unfortunately, this code does *not* currently work with the rewriter + the IR at once. That will need to be fixed in a follow-on change, because I now see that the root problem is pretty ugly.

* cleanup

1 files changed, 10 insertions, 4 deletions

diff --git a/source/slang/ir.cpp b/source/slang/ir.cpp
index d35ffe2d1..d4d2f0f51 100644
--- a/source/slang/ir.cpp
+++ b/source/slang/ir.cpp
@@ -956,16 +956,22 @@ namespace Slang
     IRInst* IRBuilder::emitLoad(
         IRValue*    ptr)
     {
-        auto ptrType = ptr->getType()->As<PtrTypeBase>();
-        if( !ptrType )
+        RefPtr<Type> valueType;
+        if(auto ptrType = ptr->getType()->As<PtrTypeBase>())
+        {
+            valueType = ptrType->getValueType();
+        }
+        else if(auto ptrLikeType = ptr->getType()->As<PointerLikeType>())
+        {
+            valueType = ptrLikeType->getElementType();
+        }
+        else
         {
             // Bad!
             SLANG_ASSERT(ptrType);
             return nullptr;
         }
 
-        auto valueType = ptrType->getValueType();
-
         auto inst = createInst<IRLoad>(
             this,
             kIROp_Load,