test/Transforms/PredicateSimplifier/2006-09-20-ResolveCycle.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | opt -predsimplify -disable-output
   2
   3 void %gs_image_next() {
   4 entry:
   5         %tmp = load uint* null          ; <uint> [#uses=2]
   6         br bool false, label %cond_next21, label %UnifiedReturnBlock
   7
   8 cond_next21:            ; preds = %entry
   9         br bool false, label %cond_next42, label %UnifiedReturnBlock
  10
  11 cond_next42:            ; preds = %cond_next21
  12         br label %cond_true158
  13
  14 cond_next134:           ; preds = %cond_true158
  15         %tmp1571 = seteq uint 0, %min           ; <bool> [#uses=0]
  16         ret void
  17
  18 cond_true158:           ; preds = %cond_true158, %cond_next42
  19         %tmp47 = sub uint %tmp, 0               ; <uint> [#uses=2]
  20         %tmp49 = setle uint %tmp47, 0           ; <bool> [#uses=1]
  21         %min = select bool %tmp49, uint %tmp47, uint 0          ; <uint> [#uses=2]
  22         %tmp92 = add uint %min, 0               ; <uint> [#uses=1]
  23         %tmp101 = seteq uint %tmp92, %tmp               ; <bool> [#uses=1]
  24         br bool %tmp101, label %cond_next134, label %cond_true158
  25
  26 UnifiedReturnBlock:             ; preds = %cond_next21, %entry
  27         ret void
  28 }