; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}

; CHECK-DAG: %[[#ExtInstSetId:]] = OpExtInstImport "OpenCL.std"
; CHECK-DAG: %[[#Float:]] = OpTypeFloat 32
; CHECK-DAG: %[[#Double:]] = OpTypeFloat 64
; CHECK-DAG: %[[#Double4:]] = OpTypeVector %[[#Double]] 4
; CHECK-DAG: %[[#FloatArg:]] = OpConstant %[[#Float]]
; CHECK-DAG: %[[#DoubleArg:]] = OpConstant %[[#Double]] 2.71
; CHECK-DAG: %[[#Double4Arg:]] = OpConstantComposite %[[#Double4]]

;; We need to store sqrt results, otherwise isel does not emit sqrts as dead insts.
define spir_func void @test_sqrt(ptr %x, ptr %y, ptr %z) {
entry:
  %0 = call float @llvm.sqrt.f32(float 0x40091EB860000000)
  store float %0, ptr %x
  %1 = call double @llvm.sqrt.f64(double 2.710000e+00)
  store double %1, ptr %y
  %2 = call <4 x double> @llvm.sqrt.v4f64(<4 x double> <double 5.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01>)
  store <4 x double> %2, ptr %z
; CHECK: %[[#]] = OpExtInst %[[#Float]] %[[#ExtInstSetId]] sqrt %[[#FloatArg]]
; CHECK: %[[#]] = OpExtInst %[[#Double]] %[[#ExtInstSetId]] sqrt %[[#DoubleArg]]
; CHECK: %[[#]] = OpExtInst %[[#Double4]] %[[#ExtInstSetId]] sqrt %[[#Double4Arg]]
  ret void
}

declare float @llvm.sqrt.f32(float)

declare double @llvm.sqrt.f64(double)

declare <4 x double> @llvm.sqrt.v4f64(<4 x double>)