diff options
| author | Duncan Sands <baldrick@free.fr> | 2009-11-03 09:40:08 +0000 |
|---|---|---|
| committer | Duncan Sands <baldrick@free.fr> | 2009-11-03 09:40:08 +0000 |
| commit | 2e59fc5c5a522d903180aa87301b3f7c0dd20f84 (patch) | |
| tree | 22ff755bdda93fb732b410237648005c4a1b84e4 /clang/lib/Analysis/GRExprEngine.cpp | |
| parent | 865418a46264a730eca929b624af62ad89401e30 (diff) | |
| download | bcm5719-llvm-2e59fc5c5a522d903180aa87301b3f7c0dd20f84.tar.gz bcm5719-llvm-2e59fc5c5a522d903180aa87301b3f7c0dd20f84.zip | |
Run the functionattrs pass after the inliner, and not before.
This makes both logical sense (see below) and increases the
number of functions marked readnone/readonly by about 1-2%
in practice. The number of functions marked nocapture goes
up by about 5-10%. The reason it makes sense is shown by
the following example: if you run -functionattrs -inline on
it, then no attributes are assigned. But if you instead run
-inline -functionattrs then @f is marked readnone because the
simplifications produced by the inliner eliminate the store.
@x = external global i32
define void @w(i1 %b) {
br i1 %b, label %write, label %return
write:
store i32 1, i32 *@x
br label %return
return:
ret void
}
define void @f() {
call void @w(i1 0)
ret void
}
llvm-svn: 85893
Diffstat (limited to 'clang/lib/Analysis/GRExprEngine.cpp')
0 files changed, 0 insertions, 0 deletions

