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

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