Home | History | Annotate | Download | only in ADCE
      1 ; This testcase was extracted from the gzip SPEC benchmark
      2 ;
      3 ; RUN: opt < %s -adce
      4 
      5 @bk = external global i32               ; <i32*> [#uses=2]
      6 @hufts = external global i32            ; <i32*> [#uses=1]
      7 
      8 define i32 @inflate() {
      9 bb0:
     10         br label %bb2
     11 
     12 bb2:            ; preds = %bb6, %bb0
     13         %reg128 = phi i32 [ %reg130, %bb6 ], [ 0, %bb0 ]                ; <i32> [#uses=2]
     14         br i1 true, label %bb4, label %bb3
     15 
     16 bb3:            ; preds = %bb2
     17         br label %UnifiedExitNode
     18 
     19 bb4:            ; preds = %bb2
     20         %reg117 = load i32* @hufts              ; <i32> [#uses=2]
     21         %cond241 = icmp ule i32 %reg117, %reg128                ; <i1> [#uses=1]
     22         br i1 %cond241, label %bb6, label %bb5
     23 
     24 bb5:            ; preds = %bb4
     25         br label %bb6
     26 
     27 bb6:            ; preds = %bb5, %bb4
     28         %reg130 = phi i32 [ %reg117, %bb5 ], [ %reg128, %bb4 ]          ; <i32> [#uses=1]
     29         br i1 false, label %bb2, label %bb7
     30 
     31 bb7:            ; preds = %bb6
     32         %reg126 = load i32* @bk         ; <i32> [#uses=1]
     33         %cond247 = icmp ule i32 %reg126, 7              ; <i1> [#uses=1]
     34         br i1 %cond247, label %bb9, label %bb8
     35 
     36 bb8:            ; preds = %bb8, %bb7
     37         %reg119 = load i32* @bk         ; <i32> [#uses=1]
     38         %cond256 = icmp ugt i32 %reg119, 7              ; <i1> [#uses=1]
     39         br i1 %cond256, label %bb8, label %bb9
     40 
     41 bb9:            ; preds = %bb8, %bb7
     42         br label %UnifiedExitNode
     43 
     44 UnifiedExitNode:                ; preds = %bb9, %bb3
     45         %UnifiedRetVal = phi i32 [ 7, %bb3 ], [ 0, %bb9 ]               ; <i32> [#uses=1]
     46         ret i32 %UnifiedRetVal
     47 }
     48 
     49