1; RUN: llvm-as %s -o %t.bc
2; RUN: llvm-spirv %t.bc -spirv-text -o - | FileCheck %s
3; RUN: llvm-spirv %t.bc -o %t.spv
4; RUN: spirv-val %t.spv
5
6target datalayout = "e-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024"
7target triple = "spir64-unknown-unknown"
8
9; CHECK: ExtInstImport [[extinst_id:[0-9]+]] "OpenCL.std"
10
11; CHECK: Function
12; CHECK: 6 ExtInst {{[0-9]+}} {{[0-9]+}} [[extinst_id]] ctz
13; CHECK: FunctionEnd
14
15; Function Attrs: nounwind readnone
16define spir_func i32 @TestCtz(i32 %x) local_unnamed_addr #0 {
17entry:
18  %0 = tail call i32 @llvm.cttz.i32(i32 %x, i1 true)
19  ret i32 %0
20}
21
22; CHECK: Function
23; CHECK: 6 ExtInst {{[0-9]+}} {{[0-9]+}} [[extinst_id]] ctz
24; CHECK: FunctionEnd
25
26; Function Attrs: nounwind readnone
27define spir_func <4 x i32> @TestCtzVec(<4 x i32> %x) local_unnamed_addr #0 {
28entry:
29  %0 = tail call <4 x i32> @llvm.cttz.v4i32(<4 x i32> %x, i1 true)
30  ret <4 x i32> %0
31}
32
33; Function Attrs: nounwind readnone speculatable willreturn
34declare i32 @llvm.cttz.i32(i32, i1 immarg) #1
35
36; Function Attrs: nounwind readnone speculatable willreturn
37declare <4 x i32> @llvm.cttz.v4i32(<4 x i32>, i1 immarg) #1
38
39attributes #0 = { nounwind readnone "correctly-rounded-divide-sqrt-fp-math"="false" "denorms-are-zero"="false" "disable-tail-calls"="false" "frame-pointer"="all" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
40attributes #1 = { nounwind readnone speculatable willreturn }
41
42!llvm.module.flags = !{!0}
43!opencl.ocl.version = !{!1}
44!opencl.spir.version = !{!2}
45
46!0 = !{i32 1, !"wchar_size", i32 4}
47!1 = !{i32 1, i32 0}
48!2 = !{i32 1, i32 2}
49