1 ; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
3 ; CHECK-DAG: %[[#ExtInstSetId:]] = OpExtInstImport "OpenCL.std"
4 ; CHECK-DAG: %[[#Float:]] = OpTypeFloat 32
5 ; CHECK-DAG: %[[#Double:]] = OpTypeFloat 64
6 ; CHECK-DAG: %[[#Double4:]] = OpTypeVector %[[#Double]] 4
7 ; CHECK-DAG: %[[#FloatArg:]] = OpConstant %[[#Float]]
8 ; CHECK-DAG: %[[#DoubleArg:]] = OpConstant %[[#Double]]
9 ; CHECK-DAG: %[[#Double4Arg:]] = OpConstantComposite %[[#Double4]]
11 ;; We need to store sqrt results, otherwise isel does not emit sqrts as dead insts.
12 define spir_func void @test_sqrt(float* %x, double* %y, <4 x double>* %z) {
14 %0 = call float @llvm.sqrt.f32(float 0x40091EB860000000)
15 store float %0, float* %x
16 %1 = call double @llvm.sqrt.f64(double 2.710000e+00)
17 store double %1, double* %y
18 %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>)
19 store <4 x double> %2, <4 x double>* %z
20 ; CHECK: %[[#]] = OpExtInst %[[#Float]] %[[#ExtInstSetId]] sqrt %[[#FloatArg]]
21 ; CHECK: %[[#]] = OpExtInst %[[#Double]] %[[#ExtInstSetId]] sqrt %[[#DoubleArg]]
22 ; CHECK: %[[#]] = OpExtInst %[[#Double4]] %[[#ExtInstSetId]] sqrt %[[#Double4Arg]]
26 declare float @llvm.sqrt.f32(float)
28 declare double @llvm.sqrt.f64(double)
30 declare <4 x double> @llvm.sqrt.v4f64(<4 x double>)