diff options
| author | Chris Lattner <sabre@nondot.org> | 2008-04-22 21:40:39 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2008-04-22 21:40:39 +0000 |
| commit | 37e9c187b087cedc614cd1120c4bfafe56b39877 (patch) | |
| tree | 0875299a5cdeb3505bd15a53144bd22a8b3ddb76 /clang/lib/Analysis/GRExprEngine.cpp | |
| parent | c79c0591d6c63eb7e06e68faadcff14abb056b52 (diff) | |
| download | bcm5719-llvm-37e9c187b087cedc614cd1120c4bfafe56b39877.tar.gz bcm5719-llvm-37e9c187b087cedc614cd1120c4bfafe56b39877.zip | |
Start doing the significantly useful part of jump threading: handle cases
where a comparison has a phi input and that phi is a constant. For example,
stuff like:
Threading edge through bool from 'bb2149' to 'bb2231' with cost: 1, across block:
bb2237: ; preds = %bb2231, %bb2149
%tmp2328.rle = phi i32 [ %tmp2232, %bb2231 ], [ %tmp2232439, %bb2149 ] ; <i32> [#uses=2]
%done.0 = phi i32 [ %done.2, %bb2231 ], [ 0, %bb2149 ] ; <i32> [#uses=1]
%tmp2239 = icmp eq i32 %done.0, 0 ; <i1> [#uses=1]
br i1 %tmp2239, label %bb2231, label %bb2327
or
bb38.i298: ; preds = %bb33.i295, %bb1693
%tmp39.i296.rle = phi %struct.ibox* [ null, %bb1693 ], [ %tmp39.i296.rle1109, %bb33.i295 ] ; <%struct.ibox*> [#uses=2]
%minspan.1.i291.reg2mem.1 = phi i32 [ 32000, %bb1693 ], [ %minspan.0.i288, %bb33.i295 ] ; <i32> [#uses=1]
%tmp40.i297 = icmp eq %struct.ibox* %tmp39.i296.rle, null ; <i1> [#uses=1]
br i1 %tmp40.i297, label %implfeeds.exit311, label %bb43.i301
This triggers thousands of times in spec.
llvm-svn: 50110
Diffstat (limited to 'clang/lib/Analysis/GRExprEngine.cpp')
0 files changed, 0 insertions, 0 deletions
