[llvm] [SPIR-V] Emit DebugTypePointer from NonSemantic DI (PR #109287)

Michal Paszkowski via llvm-commits llvm-commits at lists.llvm.org
Sun Oct 6 20:58:32 PDT 2024


================
@@ -0,0 +1,280 @@
+; RUN: llc --verify-machineinstrs --spv-emit-nonsemantic-debug-info --spirv-ext=+SPV_KHR_non_semantic_info --print-after=spirv-nonsemantic-debug-info -O0 -mtriple=spirv64-unknown-unknown %s -o - 2>&1 | FileCheck %s --check-prefix=CHECK-MIR
+; RUN: llc --verify-machineinstrs --spv-emit-nonsemantic-debug-info --spirv-ext=+SPV_KHR_non_semantic_info -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
+; RUN: llc --verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown --spirv-ext=+SPV_KHR_non_semantic_info %s -o - | FileCheck %s --check-prefix=CHECK-OPTION
+; When type is void * the spirv-val incorrectly raises an error when DebugInfoNone is set as <id> Base Type argument of DebugTypePointer.   
----------------
michalpaszkowski wrote:

It seems like the spec is ambiguous here. Personally, I think using DebugInfoNone makes most sense, but I understand Baldur's point and it would be poor idea for consumers to guess. Let's maybe just add `TODO(#109287):` to this line to revisit the problem in the future. What do you think?

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


More information about the llvm-commits mailing list