Skip to content
  1. Apr 24, 2008
  2. Apr 23, 2008
  3. Apr 22, 2008
    • Chris Lattner's avatar
      Start doing the significantly useful part of jump threading: handle cases · 37e9c187
      Chris Lattner authored
      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
      37e9c187
    • Chris Lattner's avatar
      Dig through multiple levels of AND to thread jumps if needed. · d5425e8f
      Chris Lattner authored
      llvm-svn: 50106
      d5425e8f
Loading