summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngine.cpp
diff options
context:
space:
mode:
authorDuncan Sands <baldrick@free.fr>2009-11-03 09:40:08 +0000
committerDuncan Sands <baldrick@free.fr>2009-11-03 09:40:08 +0000
commit2e59fc5c5a522d903180aa87301b3f7c0dd20f84 (patch)
tree22ff755bdda93fb732b410237648005c4a1b84e4 /clang/lib/Analysis/GRExprEngine.cpp
parent865418a46264a730eca929b624af62ad89401e30 (diff)
downloadbcm5719-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
OpenPOWER on IntegriCloud