[libclc] 72b39c8 - Wyles/update libclctests (#228681)
via cfe-commits
cfe-commits at lists.llvm.org
Sat Oct 3 20:37:15 PDT 2026
Author: Jared Wyles
Date: 2026-10-04T03:37:04Z
New Revision: 72b39c854fd7f9fd008bf14df4ce2c98b0ea364d
URL: https://github.com/llvm/llvm-project/commit/72b39c854fd7f9fd008bf14df4ce2c98b0ea364d
DIFF: https://github.com/llvm/llvm-project/commit/72b39c854fd7f9fd008bf14df4ce2c98b0ea364d.diff
LOG: Wyles/update libclctests (#228681)
Using libclc with different versions of clang emit different output.
computeConstantRange now pushes ranges through zext and sext so we now
can prove noundef. This test returns AMDGPU workgroup ID which is zero
extended, so we can now prove it needs noundef.
At some point we may need to update the CI targets to look at libclc?
Added:
Modified:
libclc/test/work-item/get_group_id.cl
Removed:
################################################################################
diff --git a/libclc/test/work-item/get_group_id.cl b/libclc/test/work-item/get_group_id.cl
index 90ea18124d43e..1497768744d47 100644
--- a/libclc/test/work-item/get_group_id.cl
+++ b/libclc/test/work-item/get_group_id.cl
@@ -3,7 +3,7 @@
// RUN: %clang --target=%target -mcpu=%cpu %libclc_lib -cl-std=CL3.0 -O2 -fno-discard-value-names -emit-llvm -S -o - %s | FileCheck %s --check-prefix=%check_prefix
-// AMDGCN-LABEL: define hidden range(i64 0, 4294967296) i64 @test(
+// AMDGCN-LABEL: define hidden noundef range(i64 0, 4294967296) i64 @test(
// AMDGCN-SAME: ) local_unnamed_addr #[[ATTR0:[0-9]+]] {
// AMDGCN-NEXT: [[ENTRY:.*:]]
// AMDGCN-NEXT: [[TMP0:%.*]] = tail call i32 @llvm.amdgcn.workgroup.id.x()
More information about the cfe-commits
mailing list