define void @f64_kernel_arg_testcase(double addrspace(1)* %out, double  %in1, double %in2) {
entry:
  %r1 = fadd double %in1, %in2
  store double %r1, double addrspace(1)* %out
  ret void
}