1//===- IntrinsicsSPIRV.td - Defines SPIRV intrinsics -------*- tablegen -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file defines all of the SPIRV-specific intrinsics.
10//
11//===----------------------------------------------------------------------===//
12
13let TargetPrefix = "spv" in {
14  def int_spv_assign_type : Intrinsic<[], [llvm_any_ty, llvm_metadata_ty]>;
15  def int_spv_assign_ptr_type : Intrinsic<[], [llvm_any_ty, llvm_metadata_ty, llvm_i32_ty], [ImmArg<ArgIndex<2>>]>;
16  def int_spv_assign_name : Intrinsic<[], [llvm_any_ty, llvm_vararg_ty]>;
17
18  def int_spv_track_constant : Intrinsic<[llvm_any_ty], [llvm_any_ty, llvm_metadata_ty]>;
19  def int_spv_init_global : Intrinsic<[], [llvm_any_ty, llvm_any_ty]>;
20  def int_spv_unref_global : Intrinsic<[], [llvm_any_ty]>;
21
22  def int_spv_gep : Intrinsic<[llvm_anyptr_ty], [llvm_i1_ty, llvm_any_ty, llvm_vararg_ty], [ImmArg<ArgIndex<0>>]>;
23  def int_spv_load : Intrinsic<[llvm_i32_ty], [llvm_anyptr_ty, llvm_i16_ty, llvm_i8_ty], [ImmArg<ArgIndex<1>>, ImmArg<ArgIndex<2>>]>;
24  def int_spv_store : Intrinsic<[], [llvm_any_ty, llvm_anyptr_ty, llvm_i16_ty, llvm_i8_ty], [ImmArg<ArgIndex<2>>, ImmArg<ArgIndex<3>>]>;
25  def int_spv_extractv : Intrinsic<[llvm_any_ty], [llvm_i32_ty, llvm_vararg_ty]>;
26  def int_spv_insertv : Intrinsic<[llvm_i32_ty], [llvm_i32_ty, llvm_any_ty, llvm_vararg_ty]>;
27  def int_spv_extractelt : Intrinsic<[llvm_any_ty], [llvm_any_ty, llvm_anyint_ty]>;
28  def int_spv_insertelt : Intrinsic<[llvm_any_ty], [llvm_any_ty, llvm_any_ty, llvm_anyint_ty]>;
29  def int_spv_const_composite : Intrinsic<[llvm_i32_ty], [llvm_vararg_ty]>;
30  def int_spv_bitcast : Intrinsic<[llvm_any_ty], [llvm_any_ty]>;
31  def int_spv_ptrcast : Intrinsic<[llvm_any_ty], [llvm_any_ty, llvm_metadata_ty, llvm_i32_ty], [ImmArg<ArgIndex<2>>]>;
32  def int_spv_switch : Intrinsic<[], [llvm_any_ty, llvm_vararg_ty]>;
33  def int_spv_cmpxchg : Intrinsic<[llvm_i32_ty], [llvm_any_ty, llvm_vararg_ty]>;
34  def int_spv_unreachable : Intrinsic<[], []>;
35  def int_spv_alloca : Intrinsic<[llvm_any_ty], []>;
36  def int_spv_alloca_array : Intrinsic<[llvm_any_ty], [llvm_anyint_ty]>;
37  def int_spv_undef : Intrinsic<[llvm_i32_ty], []>;
38
39  // Expect, Assume Intrinsics
40  def int_spv_assume : Intrinsic<[], [llvm_i1_ty]>;
41  def int_spv_expect : Intrinsic<[llvm_anyint_ty], [LLVMMatchType<0>, LLVMMatchType<0>]>;
42
43  // Memory Use Markers
44  def int_spv_lifetime_start : Intrinsic<[],
45                                [llvm_i64_ty, llvm_anyptr_ty],
46                                [IntrArgMemOnly, IntrWillReturn,
47                                NoCapture<ArgIndex<1>>,
48                                ImmArg<ArgIndex<0>>]>;
49  def int_spv_lifetime_end   : Intrinsic<[],
50                                [llvm_i64_ty, llvm_anyptr_ty],
51                                [IntrArgMemOnly, IntrWillReturn,
52                                NoCapture<ArgIndex<1>>,
53                                ImmArg<ArgIndex<0>>]>;
54
55  // The following intrinsic(s) are mirrored from IntrinsicsDirectX.td for HLSL support.
56  def int_spv_thread_id : Intrinsic<[llvm_i32_ty], [llvm_i32_ty], [IntrNoMem, IntrWillReturn]>;
57  def int_spv_create_handle : ClangBuiltin<"__builtin_hlsl_create_handle">,
58      Intrinsic<[ llvm_ptr_ty ], [llvm_i8_ty], [IntrWillReturn]>;
59  def int_spv_all : DefaultAttrsIntrinsic<[llvm_i1_ty], [llvm_any_ty]>;
60  def int_spv_any : DefaultAttrsIntrinsic<[llvm_i1_ty], [llvm_any_ty]>;
61  def int_spv_lerp : Intrinsic<[LLVMMatchType<0>], [llvm_anyfloat_ty, LLVMMatchType<0>,LLVMMatchType<0>],
62    [IntrNoMem, IntrWillReturn] >;
63}
64