[clang] [clang][SYCL] Add additional Sema rules for SYCL kernel parameters (PR #208571)

via cfe-commits cfe-commits at lists.llvm.org
Fri Jul 17 10:06:07 PDT 2026


github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results

* 97659 tests passed
* 3008 tests skipped
* 2 tests failed

## Failed Tests
(click on a test name to see its output)

### Profile-x86_64
<details>
<summary>Profile-x86_64.Linux/counter_promo_for.c (Likely Already Failing)</summary>
This test is already failing at the base commit.

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
rm -fr /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_for.c.tmp.promo.prof
# executed command: rm -fr /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_for.c.tmp.promo.prof
# note: command had no output on stdout or stderr
# RUN: at line 2
rm -fr /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_for.c.tmp.nopromo.prof
# executed command: rm -fr /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_for.c.tmp.nopromo.prof
# note: command had no output on stdout or stderr
# RUN: at line 3
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/./bin/clang   -m64  -ldl  -fprofile-generate=/home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_for.c.tmp.promo.prof/ -o /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_for.c.tmp.promo.gen -O2 /home/gha/actions-runner/_work/llvm-project/llvm-project/compiler-rt/test/profile/Linux/counter_promo_for.c -fno-slp-vectorize
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/./bin/clang -m64 -ldl -fprofile-generate=/home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_for.c.tmp.promo.prof/ -o /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_for.c.tmp.promo.gen -O2 /home/gha/actions-runner/_work/llvm-project/llvm-project/compiler-rt/test/profile/Linux/counter_promo_for.c -fno-slp-vectorize
# note: command had no output on stdout or stderr
# RUN: at line 4
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/./bin/clang   -m64  -ldl  -fprofile-generate=/home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_for.c.tmp.promo.prof/ -o /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_for.c.tmp.promo.gen.ll -emit-llvm -S -O2 /home/gha/actions-runner/_work/llvm-project/llvm-project/compiler-rt/test/profile/Linux/counter_promo_for.c -fno-slp-vectorize
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/./bin/clang -m64 -ldl -fprofile-generate=/home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_for.c.tmp.promo.prof/ -o /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_for.c.tmp.promo.gen.ll -emit-llvm -S -O2 /home/gha/actions-runner/_work/llvm-project/llvm-project/compiler-rt/test/profile/Linux/counter_promo_for.c -fno-slp-vectorize
# .---command stderr------------
# | clang: warning: -ldl: 'linker' input unused [-Wunused-command-line-argument]
# `-----------------------------
# RUN: at line 5
cat /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_for.c.tmp.promo.gen.ll | FileCheck --check-prefix=PROMO /home/gha/actions-runner/_work/llvm-project/llvm-project/compiler-rt/test/profile/Linux/counter_promo_for.c
# executed command: cat /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_for.c.tmp.promo.gen.ll
# note: command had no output on stdout or stderr
# executed command: FileCheck --check-prefix=PROMO /home/gha/actions-runner/_work/llvm-project/llvm-project/compiler-rt/test/profile/Linux/counter_promo_for.c
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/compiler-rt/test/profile/Linux/counter_promo_for.c:30:16: error: PROMO-NEXT: expected string not found in input
# | // PROMO-NEXT: load{{.*}}@__profc_foo{{.*}} 8){{.*}}
# |                ^
# | <stdin>:69:39: note: scanning from here
# |  store i64 %3, ptr @__profc_foo, align 8
# |                                       ^
# | <stdin>:70:68: note: possible intended match here
# |  %pgocount.promoted22 = load i64, ptr getelementptr inbounds nuw (i8, ptr @__profc_foo, i64 16), align 8
# |                                                                    ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/compiler-rt/test/profile/Linux/counter_promo_for.c
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |            .
# |            .
# |            .
# |           64:  br i1 %exitcond.not, label %for.cond.for.end_crit_edge, label %for.body, !llvm.loop !10 
# |           65:  
# |           66: for.cond.for.end_crit_edge: ; preds = %for.body 
# |           67:  %pgocount.promoted = load i64, ptr @__profc_foo, align 8 
# |           68:  %3 = add i64 %pgocount.promoted, %pgocount1215 
# |           69:  store i64 %3, ptr @__profc_foo, align 8 
# | next:30'0                                          {     search range start (exclusive)
# | next:30'1                                                error: no match found in search range
# |           70:  %pgocount.promoted22 = load i64, ptr getelementptr inbounds nuw (i8, ptr @__profc_foo, i64 16), align 8 
# | next:30'2                                                                        ?                                       possible intended match
# |           71:  %4 = add i64 %pgocount.promoted22, %pgocount1420 
# |           72:  store i64 %4, ptr getelementptr inbounds nuw (i8, ptr @__profc_foo, i64 16), align 8 
# |           73:  br label %for.end 
# |           74:  
# |           75: for.end: ; preds = %for.cond.for.end_crit_edge, %entry 
# |            .
# |            .
# |            .
# |          103: !6 = !{!"int", !7, i64 0} 
# |          104: !7 = !{!"omnipotent char", !8, i64 0} 
# |          105: !8 = !{!"Simple C/C++ TBAA"} 
# |          106: !9 = !{!6, !6, i64 0} 
# |          107: !10 = distinct !{!10, !11} 
# |          108: !11 = !{!"llvm.loop.mustprogress"} 
# | next:30'3                                        } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>
<details>
<summary>Profile-x86_64.Linux/counter_promo_while.c (Likely Already Failing)</summary>
This test is already failing at the base commit.

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
rm -fr /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_while.c.tmp.promo.prof
# executed command: rm -fr /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_while.c.tmp.promo.prof
# note: command had no output on stdout or stderr
# RUN: at line 2
rm -fr /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_while.c.tmp.nopromo.prof
# executed command: rm -fr /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_while.c.tmp.nopromo.prof
# note: command had no output on stdout or stderr
# RUN: at line 3
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/./bin/clang   -m64  -ldl  -fprofile-generate=/home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_while.c.tmp.promo.prof/ -o /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_while.c.tmp.promo.gen -O2 /home/gha/actions-runner/_work/llvm-project/llvm-project/compiler-rt/test/profile/Linux/counter_promo_while.c -fno-slp-vectorize
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/./bin/clang -m64 -ldl -fprofile-generate=/home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_while.c.tmp.promo.prof/ -o /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_while.c.tmp.promo.gen -O2 /home/gha/actions-runner/_work/llvm-project/llvm-project/compiler-rt/test/profile/Linux/counter_promo_while.c -fno-slp-vectorize
# note: command had no output on stdout or stderr
# RUN: at line 4
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/./bin/clang   -m64  -ldl  -fprofile-generate=/home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_while.c.tmp.promo.prof/ -o /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_while.c.tmp.promo.gen.ll -emit-llvm -S -O2 /home/gha/actions-runner/_work/llvm-project/llvm-project/compiler-rt/test/profile/Linux/counter_promo_while.c -fno-slp-vectorize
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/./bin/clang -m64 -ldl -fprofile-generate=/home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_while.c.tmp.promo.prof/ -o /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_while.c.tmp.promo.gen.ll -emit-llvm -S -O2 /home/gha/actions-runner/_work/llvm-project/llvm-project/compiler-rt/test/profile/Linux/counter_promo_while.c -fno-slp-vectorize
# .---command stderr------------
# | clang: warning: -ldl: 'linker' input unused [-Wunused-command-line-argument]
# `-----------------------------
# RUN: at line 5
cat /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_while.c.tmp.promo.gen.ll | FileCheck --check-prefix=PROMO /home/gha/actions-runner/_work/llvm-project/llvm-project/compiler-rt/test/profile/Linux/counter_promo_while.c
# executed command: cat /home/gha/actions-runner/_work/llvm-project/llvm-project/build/runtimes/runtimes-bins/compiler-rt/test/profile/Profile-x86_64/Linux/Output/counter_promo_while.c.tmp.promo.gen.ll
# note: command had no output on stdout or stderr
# executed command: FileCheck --check-prefix=PROMO /home/gha/actions-runner/_work/llvm-project/llvm-project/compiler-rt/test/profile/Linux/counter_promo_while.c
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/compiler-rt/test/profile/Linux/counter_promo_while.c:25:16: error: PROMO-NEXT: expected string not found in input
# | // PROMO-NEXT: load{{.*}}@__profc_foo{{.*}} 8){{.*}}
# |                ^
# | <stdin>:69:39: note: scanning from here
# |  store i64 %3, ptr @__profc_foo, align 8
# |                                       ^
# | <stdin>:70:68: note: possible intended match here
# |  %pgocount.promoted22 = load i64, ptr getelementptr inbounds nuw (i8, ptr @__profc_foo, i64 16), align 8
# |                                                                    ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/compiler-rt/test/profile/Linux/counter_promo_while.c
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |            .
# |            .
# |            .
# |           64:  br i1 %exitcond.not, label %while.cond.while.end_crit_edge, label %while.body, !llvm.loop !10 
# |           65:  
# |           66: while.cond.while.end_crit_edge: ; preds = %while.body 
# |           67:  %pgocount.promoted = load i64, ptr @__profc_foo, align 8 
# |           68:  %3 = add i64 %pgocount.promoted, %pgocount1215 
# |           69:  store i64 %3, ptr @__profc_foo, align 8 
# | next:25'0                                          {     search range start (exclusive)
# | next:25'1                                                error: no match found in search range
# |           70:  %pgocount.promoted22 = load i64, ptr getelementptr inbounds nuw (i8, ptr @__profc_foo, i64 16), align 8 
# | next:25'2                                                                        ?                                       possible intended match
# |           71:  %4 = add i64 %pgocount.promoted22, %pgocount1420 
# |           72:  store i64 %4, ptr getelementptr inbounds nuw (i8, ptr @__profc_foo, i64 16), align 8 
# |           73:  br label %while.end 
# |           74:  
# |           75: while.end: ; preds = %while.cond.while.end_crit_edge, %entry 
# |            .
# |            .
# |            .
# |          103: !6 = !{!"int", !7, i64 0} 
# |          104: !7 = !{!"omnipotent char", !8, i64 0} 
# |          105: !8 = !{!"Simple C/C++ TBAA"} 
# |          106: !9 = !{!6, !6, i64 0} 
# |          107: !10 = distinct !{!10, !11} 
# |          108: !11 = !{!"llvm.loop.mustprogress"} 
# | next:25'3                                        } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

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


More information about the cfe-commits mailing list