Add check prefixes.

Author: maleadt

test/helpers/test.jl

@@ -41,6 +41,7 @@ end
 module FileCheck
     import LLVM_jll
     import IOCapture
+    using InteractiveUtils
 
     export filecheck
 
@@ -63,26 +64,46 @@ module FileCheck
         return Cmd(Cmd([filecheck_path]); env)
     end
 
+    const julia_typed_pointers = let
+        ir = sprint(io->code_llvm(io, unsafe_load, Tuple{Ptr{Int}}))
+        if occursin(r"load i64, i64\* .+, align 1", ir)
+            true
+        elseif occursin(r"load i64, ptr .+, align 1", ir)
+            false
+        else
+            error("could not determine whether Julia uses typed pointers")
+        end
+    end
+
     function filecheck(f, input)
         # FileCheck assumes that the input is available as a file
-        path, io = mktemp()
-        write(io, input)
-        close(io)
+        mktemp() do path, io
+            write(io, input)
+            close(io)
 
-        # Now execute `f` with IOCapture
-        # XXX: See if Suppressor is a better fit
-        value, output, error, backtrace = IOCapture.capture(()->f(input); rethrow=Union{})
+            # Now execute `f` with IOCapture
+            # XXX: See if Suppressor is a better fit
+            value, output, error, backtrace = IOCapture.capture(()->f(input); rethrow=Union{})
 
-        io = IOBuffer()
-        write(io, output)
-        println(io)
+            io = IOBuffer()
+            write(io, output)
+            println(io)
 
-        if error
-            showerror(io, value, backtrace)
-        end
+            if error
+                showerror(io, value, backtrace)
+            end
 
-        seekstart(io)
-        cmd = `$(filecheck_exe()) $path`
-        value, success(pipeline(cmd; stdin=io, stdout, stderr))
+            # Determine some useful prefixes for FileCheck
+            prefixes = ["CHECK"]
+            if julia_typed_pointers
+                push!(prefixes, "OPAQUE")
+            else
+                push!(prefixes, "TYPED")
+            end
+
+            seekstart(io)
+            cmd = `$(filecheck_exe()) --allow-unused-prefixes --check-prefixes $(join(prefixes, ',')) $path`
+            value, success(pipeline(cmd; stdin=io, stdout, stderr))
+        end
     end
-end
+end