skip ir_value check if allowdouble meta is present

src/validation.jl

@@ -322,10 +322,16 @@ function check_ir_values(mod::LLVM.Module, T_bad::LLVMType)
     errors = IRError[]
 
     for fun in functions(mod), bb in blocks(fun), inst in instructions(bb)
-        if value_type(inst) == T_bad || any(param->value_type(param) == T_bad, operands(inst))
-            bt = backtrace(inst)
-            push!(errors, ("use of $(string(T_bad)) value", bt, inst))
+        if value_type(inst) != T_bad || haskey(metadata(inst), "ir_check_ignore")
+            continue
         end
+
+        if all(op->value_type(op) != T_bad || (op isa Instruction && haskey("ir_check_ignore", metadata(op))), operands(inst))
+            continue
+        end
+
+        bt = backtrace(inst)
+        push!(errors, ("use of $(string(T_bad)) value", bt, inst))
     end
 
     return errors