[llvm] Revert "[AMDGPU] InstCombine: fold invalid calls to amdgcn intrinsics into poison values" (PR #192514)
Yoonseo Choi via llvm-commits
llvm-commits at lists.llvm.org
Thu Apr 16 11:51:59 PDT 2026
https://github.com/yoonseoch created https://github.com/llvm/llvm-project/pull/192514
Reverts llvm/llvm-project#191904
>From 94e424fe78bf0aa7973a19ef9116641c2b2a5603 Mon Sep 17 00:00:00 2001
From: Yoonseo Choi <Yoonseo.Choi at amd.com>
Date: Thu, 16 Apr 2026 11:51:30 -0700
Subject: [PATCH] =?UTF-8?q?Revert=20"[AMDGPU]=20InstCombine:=20fold=20inva?=
=?UTF-8?q?lid=20calls=20to=20amdgcn=20intrinsics=20into=20po=E2=80=A6"?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
This reverts commit 6c2bf97994c949da8d3252e7fcb18a6d7c70b098.
---
.../AMDGPU/AMDGPUInstCombineIntrinsic.cpp | 55 -------------
.../AMDGPU/llvm.amdgcn.cluster.id.ll | 80 -------------------
.../AMDGPU/llvm.amdgcn.dispatch.id.ll | 32 --------
.../AMDGPU/llvm.amdgcn.dispatch.ptr.ll | 48 -----------
.../AMDGPU/llvm.amdgcn.lds.kernel.id.ll | 32 --------
.../AMDGPU/llvm.amdgcn.queue.ptr.ll | 48 -----------
.../AMDGPU/llvm.amdgcn.workgroup.id.ll | 57 -------------
.../AMDGPU/llvm.amdgcn.workitem.id.ll | 57 -------------
8 files changed, 409 deletions(-)
delete mode 100644 llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.cluster.id.ll
delete mode 100644 llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.dispatch.id.ll
delete mode 100644 llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.dispatch.ptr.ll
delete mode 100644 llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.lds.kernel.id.ll
delete mode 100644 llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.queue.ptr.ll
delete mode 100644 llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.workgroup.id.ll
delete mode 100644 llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.workitem.id.ll
diff --git a/llvm/lib/Target/AMDGPU/AMDGPUInstCombineIntrinsic.cpp b/llvm/lib/Target/AMDGPU/AMDGPUInstCombineIntrinsic.cpp
index 152e773d5af07..463d63a88f690 100644
--- a/llvm/lib/Target/AMDGPU/AMDGPUInstCombineIntrinsic.cpp
+++ b/llvm/lib/Target/AMDGPU/AMDGPUInstCombineIntrinsic.cpp
@@ -749,61 +749,6 @@ GCNTTIImpl::instCombineIntrinsic(InstCombiner &IC, IntrinsicInst &II) const {
return std::nullopt;
}
- case Intrinsic::amdgcn_dispatch_ptr: {
- if (II.getFunction()->hasFnAttribute("amdgpu-no-dispatch-ptr"))
- return IC.replaceInstUsesWith(II, PoisonValue::get(II.getType()));
- return std::nullopt;
- }
- case Intrinsic::amdgcn_queue_ptr: {
- if (II.getFunction()->hasFnAttribute("amdgpu-no-queue-ptr"))
- return IC.replaceInstUsesWith(II, PoisonValue::get(II.getType()));
- return std::nullopt;
- }
- case Intrinsic::amdgcn_dispatch_id: {
- if (II.getFunction()->hasFnAttribute("amdgpu-no-dispatch-id"))
- return IC.replaceInstUsesWith(II, PoisonValue::get(II.getType()));
- return std::nullopt;
- }
- case Intrinsic::amdgcn_workgroup_id_x:
- case Intrinsic::amdgcn_workgroup_id_y:
- case Intrinsic::amdgcn_workgroup_id_z: {
- StringRef Attr =
- IID == Intrinsic::amdgcn_workgroup_id_x ? "amdgpu-no-workgroup-id-x"
- : IID == Intrinsic::amdgcn_workgroup_id_y ? "amdgpu-no-workgroup-id-y"
- : "amdgpu-no-workgroup-id-z";
- if (II.getFunction()->hasFnAttribute(Attr))
- return IC.replaceInstUsesWith(II, PoisonValue::get(II.getType()));
- return std::nullopt;
- }
- case Intrinsic::amdgcn_workitem_id_x:
- case Intrinsic::amdgcn_workitem_id_y:
- case Intrinsic::amdgcn_workitem_id_z: {
- StringRef Attr =
- IID == Intrinsic::amdgcn_workitem_id_x ? "amdgpu-no-workitem-id-x"
- : IID == Intrinsic::amdgcn_workitem_id_y ? "amdgpu-no-workitem-id-y"
- : "amdgpu-no-workitem-id-z";
- if (II.getFunction()->hasFnAttribute(Attr))
- return IC.replaceInstUsesWith(II, PoisonValue::get(II.getType()));
- return std::nullopt;
- }
- case Intrinsic::amdgcn_lds_kernel_id: {
- if (II.getFunction()->hasFnAttribute("amdgpu-no-lds-kernel-id"))
- return IC.replaceInstUsesWith(II, PoisonValue::get(II.getType()));
- return std::nullopt;
- }
- case Intrinsic::amdgcn_cluster_id_x:
- case Intrinsic::amdgcn_cluster_id_y:
- case Intrinsic::amdgcn_cluster_id_z: {
- if (!ST->hasClusters())
- return IC.replaceInstUsesWith(II, PoisonValue::get(II.getType()));
- StringRef Attr =
- IID == Intrinsic::amdgcn_cluster_id_x ? "amdgpu-no-cluster-id-x"
- : IID == Intrinsic::amdgcn_cluster_id_y ? "amdgpu-no-cluster-id-y"
- : "amdgpu-no-cluster-id-z";
- if (II.getFunction()->hasFnAttribute(Attr))
- return IC.replaceInstUsesWith(II, PoisonValue::get(II.getType()));
- return std::nullopt;
- }
case Intrinsic::amdgcn_rcp: {
Value *Src = II.getArgOperand(0);
if (isa<PoisonValue>(Src))
diff --git a/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.cluster.id.ll b/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.cluster.id.ll
deleted file mode 100644
index 87ec11bff35a4..0000000000000
--- a/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.cluster.id.ll
+++ /dev/null
@@ -1,80 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
-; RUN: opt -S -passes='instcombine' -mtriple=amdgcn-amd-amdhsa -mcpu=gfx1100 < %s | FileCheck %s --check-prefix=GFX1100
-; RUN: opt -S -passes='instcombine' -mtriple=amdgcn-amd-amdhsa -mcpu=gfx1250 < %s | FileCheck %s --check-prefix=GFX1250
-
-; When amdgpu-no-cluster-id-x is set, calling the intrinsic is UB and the
-; call should be folded to poison on any target.
-define i32 @no_cluster_id_x() #0 {
-; GFX1100-LABEL: define i32 @no_cluster_id_x(
-; GFX1100-SAME: ) #[[ATTR0:[0-9]+]] {
-; GFX1100-NEXT: [[ENTRY:.*:]]
-; GFX1100-NEXT: ret i32 poison
-;
-; GFX1250-LABEL: define i32 @no_cluster_id_x(
-; GFX1250-SAME: ) #[[ATTR0:[0-9]+]] {
-; GFX1250-NEXT: [[ENTRY:.*:]]
-; GFX1250-NEXT: ret i32 poison
-;
-entry:
- %tmp = call i32 @llvm.amdgcn.cluster.id.x()
- ret i32 %tmp
-}
-
-define i32 @no_cluster_id_y() #1 {
-; GFX1100-LABEL: define i32 @no_cluster_id_y(
-; GFX1100-SAME: ) #[[ATTR1:[0-9]+]] {
-; GFX1100-NEXT: [[ENTRY:.*:]]
-; GFX1100-NEXT: ret i32 poison
-;
-; GFX1250-LABEL: define i32 @no_cluster_id_y(
-; GFX1250-SAME: ) #[[ATTR1:[0-9]+]] {
-; GFX1250-NEXT: [[ENTRY:.*:]]
-; GFX1250-NEXT: ret i32 poison
-;
-entry:
- %tmp = call i32 @llvm.amdgcn.cluster.id.y()
- ret i32 %tmp
-}
-
-define i32 @no_cluster_id_z() #2 {
-; GFX1100-LABEL: define i32 @no_cluster_id_z(
-; GFX1100-SAME: ) #[[ATTR2:[0-9]+]] {
-; GFX1100-NEXT: [[ENTRY:.*:]]
-; GFX1100-NEXT: ret i32 poison
-;
-; GFX1250-LABEL: define i32 @no_cluster_id_z(
-; GFX1250-SAME: ) #[[ATTR2:[0-9]+]] {
-; GFX1250-NEXT: [[ENTRY:.*:]]
-; GFX1250-NEXT: ret i32 poison
-;
-entry:
- %tmp = call i32 @llvm.amdgcn.cluster.id.z()
- ret i32 %tmp
-}
-
-; Without the attribute, the call folds to poison on targets without the
-; cluster feature (gfx1100), but is kept on cluster-capable targets (gfx1250).
-define i32 @cluster_id_x_no_attr() {
-; GFX1100-LABEL: define i32 @cluster_id_x_no_attr(
-; GFX1100-SAME: ) #[[ATTR3:[0-9]+]] {
-; GFX1100-NEXT: [[ENTRY:.*:]]
-; GFX1100-NEXT: ret i32 poison
-;
-; GFX1250-LABEL: define i32 @cluster_id_x_no_attr(
-; GFX1250-SAME: ) #[[ATTR3:[0-9]+]] {
-; GFX1250-NEXT: [[ENTRY:.*:]]
-; GFX1250-NEXT: [[TMP:%.*]] = call i32 @llvm.amdgcn.cluster.id.x()
-; GFX1250-NEXT: ret i32 [[TMP]]
-;
-entry:
- %tmp = call i32 @llvm.amdgcn.cluster.id.x()
- ret i32 %tmp
-}
-
-declare i32 @llvm.amdgcn.cluster.id.x()
-declare i32 @llvm.amdgcn.cluster.id.y()
-declare i32 @llvm.amdgcn.cluster.id.z()
-
-attributes #0 = { "amdgpu-no-cluster-id-x" }
-attributes #1 = { "amdgpu-no-cluster-id-y" }
-attributes #2 = { "amdgpu-no-cluster-id-z" }
diff --git a/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.dispatch.id.ll b/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.dispatch.id.ll
deleted file mode 100644
index d55beb67ca822..0000000000000
--- a/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.dispatch.id.ll
+++ /dev/null
@@ -1,32 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
-; RUN: opt -S -passes='instcombine' -mtriple=amdgcn-amd-amdhsa < %s | FileCheck %s
-
-; When amdgpu-no-dispatch-id is set, calling the intrinsic is UB and the
-; call should be folded to poison.
-define i64 @no_dispatch_id() #0 {
-; CHECK-LABEL: define i64 @no_dispatch_id(
-; CHECK-SAME: ) #[[ATTR0:[0-9]+]] {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: ret i64 poison
-;
-entry:
- %tmp = call i64 @llvm.amdgcn.dispatch.id()
- ret i64 %tmp
-}
-
-; Without the attribute the call is kept.
-define i64 @dispatch_id_no_attr() {
-; CHECK-LABEL: define i64 @dispatch_id_no_attr() {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: [[TMP:%.*]] = call i64 @llvm.amdgcn.dispatch.id()
-; CHECK-NEXT: ret i64 [[TMP]]
-;
-entry:
- %tmp = call i64 @llvm.amdgcn.dispatch.id()
- ret i64 %tmp
-}
-
-; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
-declare i64 @llvm.amdgcn.dispatch.id()
-
-attributes #0 = { "amdgpu-no-dispatch-id" }
diff --git a/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.dispatch.ptr.ll b/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.dispatch.ptr.ll
deleted file mode 100644
index 74cd63be6c706..0000000000000
--- a/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.dispatch.ptr.ll
+++ /dev/null
@@ -1,48 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
-; RUN: opt -S -passes='instcombine' -mtriple=amdgcn-amd-amdhsa < %s | FileCheck %s
-
-; When amdgpu-no-dispatch-ptr is set, calling the intrinsic is UB and the
-; call should be folded to poison.
-define ptr addrspace(4) @no_dispatch_ptr() #0 {
-; CHECK-LABEL: define ptr addrspace(4) @no_dispatch_ptr(
-; CHECK-SAME: ) #[[ATTR0:[0-9]+]] {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: ret ptr addrspace(4) poison
-;
-entry:
- %tmp = call ptr addrspace(4) @llvm.amdgcn.dispatch.ptr()
- ret ptr addrspace(4) %tmp
-}
-
-; When amdgpu-no-dispatch-ptr is set, a load from the intrinsic's returned
-; pointer is also UB. The call folds to poison and loading from poison yields
-; poison via existing InstCombine rules.
-define i32 @no_dispatch_ptr_load() #0 {
-; CHECK-LABEL: define i32 @no_dispatch_ptr_load(
-; CHECK-SAME: ) #[[ATTR0]] {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: store i1 true, ptr poison, align 1
-; CHECK-NEXT: ret i32 poison
-;
-entry:
- %ptr = call ptr addrspace(4) @llvm.amdgcn.dispatch.ptr()
- %val = load i32, ptr addrspace(4) %ptr
- ret i32 %val
-}
-
-; Without the attribute the call is kept.
-define ptr addrspace(4) @dispatch_ptr_no_attr() {
-; CHECK-LABEL: define ptr addrspace(4) @dispatch_ptr_no_attr() {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: [[TMP:%.*]] = call ptr addrspace(4) @llvm.amdgcn.dispatch.ptr()
-; CHECK-NEXT: ret ptr addrspace(4) [[TMP]]
-;
-entry:
- %tmp = call ptr addrspace(4) @llvm.amdgcn.dispatch.ptr()
- ret ptr addrspace(4) %tmp
-}
-
-; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
-declare ptr addrspace(4) @llvm.amdgcn.dispatch.ptr()
-
-attributes #0 = { "amdgpu-no-dispatch-ptr" }
diff --git a/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.lds.kernel.id.ll b/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.lds.kernel.id.ll
deleted file mode 100644
index c699b21c802f4..0000000000000
--- a/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.lds.kernel.id.ll
+++ /dev/null
@@ -1,32 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
-; RUN: opt -S -passes='instcombine' -mtriple=amdgcn-amd-amdhsa < %s | FileCheck %s
-
-; When amdgpu-no-lds-kernel-id is set, calling the intrinsic is UB and the
-; call should be folded to poison.
-define i32 @no_lds_kernel_id() #0 {
-; CHECK-LABEL: define i32 @no_lds_kernel_id(
-; CHECK-SAME: ) #[[ATTR0:[0-9]+]] {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: ret i32 poison
-;
-entry:
- %tmp = call i32 @llvm.amdgcn.lds.kernel.id()
- ret i32 %tmp
-}
-
-; Without the attribute the call is kept.
-define i32 @lds_kernel_id_no_attr() {
-; CHECK-LABEL: define i32 @lds_kernel_id_no_attr() {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: [[TMP:%.*]] = call i32 @llvm.amdgcn.lds.kernel.id()
-; CHECK-NEXT: ret i32 [[TMP]]
-;
-entry:
- %tmp = call i32 @llvm.amdgcn.lds.kernel.id()
- ret i32 %tmp
-}
-
-; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
-declare i32 @llvm.amdgcn.lds.kernel.id()
-
-attributes #0 = { "amdgpu-no-lds-kernel-id" }
diff --git a/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.queue.ptr.ll b/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.queue.ptr.ll
deleted file mode 100644
index 013e70e0b38d8..0000000000000
--- a/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.queue.ptr.ll
+++ /dev/null
@@ -1,48 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
-; RUN: opt -S -passes='instcombine' -mtriple=amdgcn-amd-amdhsa < %s | FileCheck %s
-
-; When amdgpu-no-queue-ptr is set, calling the intrinsic is UB and the
-; call should be folded to poison.
-define ptr addrspace(4) @no_queue_ptr() #0 {
-; CHECK-LABEL: define ptr addrspace(4) @no_queue_ptr(
-; CHECK-SAME: ) #[[ATTR0:[0-9]+]] {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: ret ptr addrspace(4) poison
-;
-entry:
- %tmp = call ptr addrspace(4) @llvm.amdgcn.queue.ptr()
- ret ptr addrspace(4) %tmp
-}
-
-; When amdgpu-no-queue-ptr is set, a load from the intrinsic's returned
-; pointer is also UB. The call folds to poison and loading from poison yields
-; poison via existing InstCombine rules.
-define i32 @no_queue_ptr_load() #0 {
-; CHECK-LABEL: define i32 @no_queue_ptr_load(
-; CHECK-SAME: ) #[[ATTR0]] {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: store i1 true, ptr poison, align 1
-; CHECK-NEXT: ret i32 poison
-;
-entry:
- %ptr = call ptr addrspace(4) @llvm.amdgcn.queue.ptr()
- %val = load i32, ptr addrspace(4) %ptr
- ret i32 %val
-}
-
-; Without the attribute the call is kept.
-define ptr addrspace(4) @queue_ptr_no_attr() {
-; CHECK-LABEL: define ptr addrspace(4) @queue_ptr_no_attr() {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: [[TMP:%.*]] = call ptr addrspace(4) @llvm.amdgcn.queue.ptr()
-; CHECK-NEXT: ret ptr addrspace(4) [[TMP]]
-;
-entry:
- %tmp = call ptr addrspace(4) @llvm.amdgcn.queue.ptr()
- ret ptr addrspace(4) %tmp
-}
-
-; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
-declare ptr addrspace(4) @llvm.amdgcn.queue.ptr()
-
-attributes #0 = { "amdgpu-no-queue-ptr" }
diff --git a/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.workgroup.id.ll b/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.workgroup.id.ll
deleted file mode 100644
index 34efd980c3e30..0000000000000
--- a/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.workgroup.id.ll
+++ /dev/null
@@ -1,57 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
-; RUN: opt -S -passes='instcombine' -mtriple=amdgcn-amd-amdhsa < %s | FileCheck %s
-
-; When amdgpu-no-workgroup-id-x is set, calling the intrinsic is UB and the
-; call should be folded to poison.
-define i32 @no_workgroup_id_x() #0 {
-; CHECK-LABEL: define i32 @no_workgroup_id_x(
-; CHECK-SAME: ) #[[ATTR0:[0-9]+]] {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: ret i32 poison
-;
-entry:
- %tmp = call i32 @llvm.amdgcn.workgroup.id.x()
- ret i32 %tmp
-}
-
-define i32 @no_workgroup_id_y() #1 {
-; CHECK-LABEL: define i32 @no_workgroup_id_y(
-; CHECK-SAME: ) #[[ATTR1:[0-9]+]] {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: ret i32 poison
-;
-entry:
- %tmp = call i32 @llvm.amdgcn.workgroup.id.y()
- ret i32 %tmp
-}
-
-define i32 @no_workgroup_id_z() #2 {
-; CHECK-LABEL: define i32 @no_workgroup_id_z(
-; CHECK-SAME: ) #[[ATTR2:[0-9]+]] {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: ret i32 poison
-;
-entry:
- %tmp = call i32 @llvm.amdgcn.workgroup.id.z()
- ret i32 %tmp
-}
-
-; Without the attribute the calls are kept.
-define i32 @workgroup_id_x_no_attr() {
-; CHECK-LABEL: define i32 @workgroup_id_x_no_attr() {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: [[TMP:%.*]] = call i32 @llvm.amdgcn.workgroup.id.x()
-; CHECK-NEXT: ret i32 [[TMP]]
-;
-entry:
- %tmp = call i32 @llvm.amdgcn.workgroup.id.x()
- ret i32 %tmp
-}
-
-declare i32 @llvm.amdgcn.workgroup.id.x()
-declare i32 @llvm.amdgcn.workgroup.id.y()
-declare i32 @llvm.amdgcn.workgroup.id.z()
-
-attributes #0 = { "amdgpu-no-workgroup-id-x" }
-attributes #1 = { "amdgpu-no-workgroup-id-y" }
-attributes #2 = { "amdgpu-no-workgroup-id-z" }
diff --git a/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.workitem.id.ll b/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.workitem.id.ll
deleted file mode 100644
index 3972b9ae8d168..0000000000000
--- a/llvm/test/Transforms/InstCombine/AMDGPU/llvm.amdgcn.workitem.id.ll
+++ /dev/null
@@ -1,57 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
-; RUN: opt -S -passes='instcombine' -mtriple=amdgcn-amd-amdhsa < %s | FileCheck %s
-
-; When amdgpu-no-workitem-id-x is set, calling the intrinsic is UB and the
-; call should be folded to poison.
-define i32 @no_workitem_id_x() #0 {
-; CHECK-LABEL: define i32 @no_workitem_id_x(
-; CHECK-SAME: ) #[[ATTR0:[0-9]+]] {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: ret i32 poison
-;
-entry:
- %tmp = call i32 @llvm.amdgcn.workitem.id.x()
- ret i32 %tmp
-}
-
-define i32 @no_workitem_id_y() #1 {
-; CHECK-LABEL: define i32 @no_workitem_id_y(
-; CHECK-SAME: ) #[[ATTR1:[0-9]+]] {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: ret i32 poison
-;
-entry:
- %tmp = call i32 @llvm.amdgcn.workitem.id.y()
- ret i32 %tmp
-}
-
-define i32 @no_workitem_id_z() #2 {
-; CHECK-LABEL: define i32 @no_workitem_id_z(
-; CHECK-SAME: ) #[[ATTR2:[0-9]+]] {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: ret i32 poison
-;
-entry:
- %tmp = call i32 @llvm.amdgcn.workitem.id.z()
- ret i32 %tmp
-}
-
-; Without the attribute the calls are kept.
-define i32 @workitem_id_x_no_attr() {
-; CHECK-LABEL: define i32 @workitem_id_x_no_attr() {
-; CHECK-NEXT: [[ENTRY:.*:]]
-; CHECK-NEXT: [[TMP:%.*]] = call i32 @llvm.amdgcn.workitem.id.x()
-; CHECK-NEXT: ret i32 [[TMP]]
-;
-entry:
- %tmp = call i32 @llvm.amdgcn.workitem.id.x()
- ret i32 %tmp
-}
-
-declare i32 @llvm.amdgcn.workitem.id.x()
-declare i32 @llvm.amdgcn.workitem.id.y()
-declare i32 @llvm.amdgcn.workitem.id.z()
-
-attributes #0 = { "amdgpu-no-workitem-id-x" }
-attributes #1 = { "amdgpu-no-workitem-id-y" }
-attributes #2 = { "amdgpu-no-workitem-id-z" }
More information about the llvm-commits
mailing list