Fix handling of complex floats (#299)

* Init expr

* Support struct-abi=0 for complex nums

Author: ivanradanov

.gitignore

@@ -18,6 +18,8 @@
 # vim swap files
 .*.sw?
 .sw?
+# emacs swap files
+\#*\#
 #OS X specific files.
 .DS_store
 # Tests
@@ -27,6 +29,8 @@
 *.inc
 *.cmake
 *.a
+# gdb local history files
+.gdb_history
 ##
 
 # Ignore the user specified CMake presets in subproject directories.

tools/cgeist/Lib/CGCall.cc

@@ -252,8 +252,18 @@ ValueCategory MLIRScanner::CallHelper(
     auto l0 = Visit(CU->getConfig()->getArg(0));
     assert(l0.isReference);
     mlir::Value blocks[3];
+    mlir::Value val = l0.val;
+    if (auto MT = val.getType().dyn_cast<MemRefType>()) {
+      if (MT.getElementType().isa<LLVM::LLVMStructType>() &&
+          MT.getShape().size() == 1) {
+        val = builder.create<polygeist::Memref2PointerOp>(
+            loc,
+            LLVM::LLVMPointerType::get(MT.getElementType(),
+                                       MT.getMemorySpaceAsInt()),
+            val);
+      }
+    }
     for (int i = 0; i < 3; i++) {
-      mlir::Value val = l0.val;
       if (auto MT = val.getType().dyn_cast<MemRefType>()) {
         mlir::Value idx[] = {getConstantIndex(0), getConstantIndex(i)};
         assert(MT.getShape().size() == 2);
@@ -278,8 +288,18 @@ ValueCategory MLIRScanner::CallHelper(
     auto t0 = Visit(CU->getConfig()->getArg(1));
     assert(t0.isReference);
     mlir::Value threads[3];
+    val = t0.val;
+    if (auto MT = val.getType().dyn_cast<MemRefType>()) {
+      if (MT.getElementType().isa<LLVM::LLVMStructType>() &&
+          MT.getShape().size() == 1) {
+        val = builder.create<polygeist::Memref2PointerOp>(
+            loc,
+            LLVM::LLVMPointerType::get(MT.getElementType(),
+                                       MT.getMemorySpaceAsInt()),
+            val);
+      }
+    }
     for (int i = 0; i < 3; i++) {
-      mlir::Value val = t0.val;
       if (auto MT = val.getType().dyn_cast<MemRefType>()) {
         mlir::Value idx[] = {getConstantIndex(0), getConstantIndex(i)};
         assert(MT.getShape().size() == 2);