https://bugs.llvm.org/show_bug.cgi?id=43107
Bug ID: 43107
Summary: missed opt: function argument attribute propagation
Product: libraries
Version: trunk
Hardware: PC
OS: All
Status: NEW
Severity: enhancement
Priority: P
Component: Scalar Optimizations
Assignee: unassignedb...@nondot.org
Reporter: gonzalob...@gmail.com
CC: llvm-bugs@lists.llvm.org
See (https://llvm.godbolt.org/z/QJIvwX). This LLVM-IR:
define void @bar(i32* %x) local_unnamed_addr #0 {
tail call void @foo(i32* %x)
ret void
}
declare void @foo(i32* noalias align 4 dereferenceable(4)) local_unnamed_addr
#0
attributes #0 = { nounwind nonlazybind }
is not optimized further by `opt`, but I'd expect the definition of `bar` to be
optimized to:
define void @bar(i32* noalias align 4 dereferenceable(4) %x) local_unnamed_addr
#0
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
