test: Add pointer cast conversion tests.

Author: xlauko

test/vast/Conversion/Common/IRsToLLVM/cast-i.c

@@ -0,0 +1,26 @@
+// RUN: %vast-cc1 -triple x86_64-unknown-linux-gnu -vast-emit-mlir=hl %s -o %t.mlir
+// RUN: %file-check --input-file=%t.mlir %s -check-prefix=HL
+// RUN: %vast-cc1 -triple x86_64-unknown-linux-gnu -vast-emit-mlir=llvm %s -o %t.mlir
+// RUN: %file-check --input-file=%t.mlir %s -check-prefix=MLIR
+// RUN: %vast-cc1 -triple x86_64-unknown-linux-gnu -vast-emit-llvm %s -o %t.ll
+// RUN: %file-check --input-file=%t.ll %s -check-prefix=LLVM
+
+void ptr_to_bool() {
+    void *p;
+    _Bool b = p;
+}
+
+// HL: hl.func @ptr_to_bool ()
+// HL:    hl.implicit_cast {{.*}} PointerToBoolean : !hl.ptr<!hl.void> -> !hl.bool
+// HL: }
+
+// MLIR: llvm.func @ptr_to_bool()
+// MLIR:    llvm.mlir.null
+// MLIR:    llvm.icmp "ne"
+// MLIR:    llvm.zext {{.*}} : i1 to i8
+// MLIR: }
+
+// LLVM: define void @ptr_to_bool()
+// LLVM:    icmp ne ptr {{.*}}, null
+// LLVM:    zext i1 {{.*}} to i8
+// LLVM: }

test/vast/Conversion/Common/IRsToLLVM/cast-j.c

@@ -0,0 +1,22 @@
+// RUN: %vast-cc1 -triple x86_64-unknown-linux-gnu -vast-emit-mlir=hl %s -o %t.mlir
+// RUN: %file-check --input-file=%t.mlir %s -check-prefix=HL
+// RUN: %vast-cc1 -triple x86_64-unknown-linux-gnu -vast-emit-mlir=llvm %s -o %t.mlir
+// RUN: %file-check --input-file=%t.mlir %s -check-prefix=MLIR
+// RUN: %vast-cc1 -triple x86_64-unknown-linux-gnu -vast-emit-llvm %s -o %t.ll
+// RUN: %file-check --input-file=%t.ll %s -check-prefix=LLVM
+
+void null_to_ptr() {
+    void *p = 0;
+}
+
+// HL: hl.func @null_to_ptr ()
+// HL:    hl.implicit_cast {{.*}} NullToPointer : !hl.int -> !hl.ptr<!hl.void>
+// HL: }
+
+// MLIR: llvm.func @null_to_ptr()
+// MLIR:    llvm.mlir.null
+// MLIR: }
+
+// LLVM: define void @null_to_ptr()
+// LLVM:    store ptr null, ptr
+// LLVM: }