[all-commits] [llvm/llvm-project] 7d98b6: [SPIR-V] Add InferAddrSpaces pass to the backend (...

[Nathan Gauër via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7d98b66e3d18c0f60e76e20f9ea444c66833b9ba
      https://github.com/llvm/llvm-project/commit/7d98b66e3d18c0f60e76e20f9ea444c66833b9ba
  Author: Nathan Gauër <brioche at google.com>
  Date:   2025-05-07 (Wed, 07 May 2025)

  Changed paths:
    M llvm/lib/Target/SPIRV/SPIRVTargetMachine.cpp
    M llvm/lib/Target/SPIRV/SPIRVTargetTransformInfo.h
    A llvm/test/CodeGen/SPIRV/pointers/pointer-addrspacecast.ll
    A llvm/test/CodeGen/SPIRV/pointers/resource-addrspacecast-2.ll
    A llvm/test/CodeGen/SPIRV/pointers/resource-addrspacecast.ll

  Log Message:
  -----------
  [SPIR-V] Add InferAddrSpaces pass to the backend (#137766)

This commit enables a pass in the backend which propagates the addrspace
of the pointers down to the last use, making sure the addrspace remains
consistent, and thus stripping any addrspacecast. This is required to
lower LLVM-IR to logical SPIR-V, which does not support generic
pointers.

This is now required as HLSL emits several address spaces, and thus
addrspacecasts in some cases:

Example 1: resource access

```llvm
%handle = tail call target("spirv.VulkanBuffer", ...)
%rptr = @llvm.spv.resource.getpointer(%handle, ...);
%cptr = addrspacecast ptr addrspace(11) %rptr to ptr
%fptr = load i32, ptr %cptr
```

Example 2: object methods

```llvm
define void @objectMethod(ptr %this) {
}

define void @foo(ptr addrspace(11) %object) {
  call void @objectMethod(ptr addrspacecast(addrspace(11) %object to ptr));
}
```



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications