29441e4f5f
This PR removes the old `nocapture` attribute, replacing it with the new `captures` attribute introduced in #116990. This change is intended to be essentially NFC, replacing existing uses of `nocapture` with `captures(none)` without adding any new analysis capabilities. Making use of non-`none` values is left for a followup. Some notes: * `nocapture` will be upgraded to `captures(none)` by the bitcode reader. * `nocapture` will also be upgraded by the textual IR reader. This is to make it easier to use old IR files and somewhat reduce the test churn in this PR. * Helper APIs like `doesNotCapture()` will check for `captures(none)`. * MLIR import will convert `captures(none)` into an `llvm.nocapture` attribute. The representation in the LLVM IR dialect should be updated separately.
44 lines
1.5 KiB
C
44 lines
1.5 KiB
C
// RUN: %clang_cc1 -triple thumbv8m.base-none-eabi -O1 -emit-llvm %s -o - 2>&1 | \
|
|
// RUN: FileCheck %s --check-prefix=CHECK-NOSE --check-prefix=CHECK
|
|
// RUN: %clang_cc1 -triple thumbebv8m.base-none-eabi -O1 -emit-llvm %s -o - 2>&1 | \
|
|
// RUN: FileCheck %s --check-prefix=CHECK-NOSE --check-prefix=CHECK
|
|
// RUN: %clang_cc1 -triple thumbv8m.base-none-eabi -mcmse -O1 -emit-llvm %s -o - 2>&1 | \
|
|
// RUN: FileCheck %s --check-prefix=CHECK-SE --check-prefix=CHECK
|
|
// RUN: %clang_cc1 -triple thumbebv8m.base-none-eabi -mcmse -O1 -emit-llvm %s -o - 2>&1 | \
|
|
// RUN: FileCheck %s --check-prefix=CHECK-SE --check-prefix=CHECK
|
|
|
|
typedef void (*callback_t)(void) __attribute__((cmse_nonsecure_call));
|
|
typedef void callback2_t(void) __attribute__((cmse_nonsecure_call));
|
|
|
|
void f1(callback_t fptr)
|
|
{
|
|
fptr();
|
|
}
|
|
|
|
void f2(callback2_t *fptr)
|
|
{
|
|
fptr();
|
|
}
|
|
|
|
void f3(void) __attribute__((cmse_nonsecure_entry));
|
|
void f3(void)
|
|
{
|
|
}
|
|
|
|
void f4(void) __attribute__((cmse_nonsecure_entry))
|
|
{
|
|
}
|
|
|
|
// CHECK: define{{.*}} void @f1(ptr noundef readonly captures(none) %fptr) {{[^#]*}}#0 {
|
|
// CHECK: call void %fptr() #2
|
|
// CHECK: define{{.*}} void @f2(ptr noundef readonly captures(none) %fptr) {{[^#]*}}#0 {
|
|
// CHECK: call void %fptr() #2
|
|
// CHECK: define{{.*}} void @f3() {{[^#]*}}#1 {
|
|
// CHECK: define{{.*}} void @f4() {{[^#]*}}#1 {
|
|
|
|
// CHECK-NOSE-NOT: cmse_nonsecure_entry
|
|
// CHECK-NOSE-NOT: cmse_nonsecure_call
|
|
// CHECK-SE: attributes #0 = { nounwind
|
|
// CHECK-SE: attributes #1 = { {{.*}} "cmse_nonsecure_entry"
|
|
// CHECK-SE: attributes #2 = { {{.*}} "cmse_nonsecure_call"
|