test/Transforms/ADCE/2002-07-17-PHIAssertion.ll

   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