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.2 KiB
LLVM
44 lines
1.2 KiB
LLVM
; RUN: opt < %s -passes=instcombine -data-layout="p:32:32" -S | FileCheck %s --check-prefixes=CHECK,CHECK32
|
|
; RUN: opt < %s -passes=instcombine -data-layout="p:64:64" -S | FileCheck %s --check-prefixes=CHECK,CHECK64
|
|
|
|
define signext i32 @b(ptr inreg %x) {
|
|
ret i32 0
|
|
}
|
|
|
|
define void @c(...) {
|
|
ret void
|
|
}
|
|
|
|
declare void @useit(i32)
|
|
|
|
define void @d(i32 %x, ...) {
|
|
call void @useit(i32 %x)
|
|
ret void
|
|
}
|
|
|
|
define void @naked_func() naked {
|
|
tail call void asm sideeffect "mov r1, r0", ""()
|
|
unreachable
|
|
}
|
|
|
|
define void @g(ptr %y) {
|
|
call i32 @b(i32 zeroext 0)
|
|
call void @c(ptr %y)
|
|
call void @c(ptr sret(i32) %y)
|
|
call void @d(i32 0, ptr sret(i32) %y)
|
|
call void @d(i32 0, ptr captures(none) %y)
|
|
call void @d(ptr noundef captures(none) %y)
|
|
call void @naked_func(i32 1)
|
|
ret void
|
|
}
|
|
; CHECK-LABEL: define void @g(ptr %y)
|
|
; CHECK: call i32 @b(i32 zeroext 0)
|
|
; CHECK: call void (...) @c(ptr %y)
|
|
; CHECK: call void @c(ptr sret(i32) %y)
|
|
; CHECK: call void @d(i32 0, ptr sret(i32) %y)
|
|
; CHECK: call void (i32, ...) @d(i32 0, ptr captures(none) %y)
|
|
; CHECK32: %2 = ptrtoint ptr %y to i32
|
|
; CHECK32: call void (i32, ...) @d(i32 noundef %2)
|
|
; CHECK64: call void @d(ptr noundef captures(none) %y)
|
|
; CHECK: call void @naked_func(i32 1)
|