[llvm] [SPIRV] Implement support for SPV_KHR_expect_assume (PR #66217)

Michal Paszkowski via llvm-commits llvm-commits at lists.llvm.org
Mon Sep 25 00:11:10 PDT 2023


================
@@ -33,4 +33,8 @@ let TargetPrefix = "spv" in {
   def int_spv_unreachable : Intrinsic<[], []>;
   def int_spv_alloca : Intrinsic<[llvm_any_ty], []>;
   def int_spv_undef : Intrinsic<[llvm_i32_ty], []>;
-}
+
+  // Expect, Assume Intrinsics
+  def int_spv_assume : Intrinsic<[], [llvm_i1_ty]>;
+  def int_spv_expect : Intrinsic<[llvm_anyint_ty], [LLVMMatchType<0>, LLVMMatchType<0>]>;
+}
----------------
michalpaszkowski wrote:

Please add a new line at the end of file.

https://github.com/llvm/llvm-project/pull/66217


More information about the llvm-commits mailing list