test/Transforms/PredicateSimplifier/predsimplify.reg2.ll

   1 ; RUN: llvm-as < %s | opt -predsimplify -verify
   2 target datalayout = "e-p:32:32"
   3 target triple = "i686-pc-linux-gnu"
   4 deplibs = [ "c", "crtend" ]
   5         %struct.anon = type { %struct.set_family*, %struct.set_family*, %struct.set_family*, i8*, i32, i32*, %struct.pair_struct*, i8**, %struct.symbolic_t*, %struct.symbolic_t* }
   6         %struct.pair_struct = type { i32, i32*, i32* }
   7         %struct.set_family = type { i32, i32, i32, i32, i32, i32*, %struct.set_family* }
   8         %struct.symbolic_label_t = type { i8*, %struct.symbolic_label_t* }
   9         %struct.symbolic_list_t = type { i32, i32, %struct.symbolic_list_t* }
  10         %struct.symbolic_t = type { %struct.symbolic_list_t*, i32, %struct.symbolic_label_t*, i32, %struct.symbolic_t* }
  11
  12 define void @find_pairing_cost(i32 %strategy) {
  13 entry:
  14         br i1 false, label %cond_true299, label %bb314
  15 bb94:           ; preds = %cond_true299
  16         switch i32 %strategy, label %bb246 [
  17                  i32 0, label %bb196
  18                  i32 1, label %bb159
  19         ]
  20 cond_next113:           ; preds = %cond_true299
  21         switch i32 %strategy, label %bb246 [
  22                  i32 0, label %bb196
  23                  i32 1, label %bb159
  24         ]
  25 bb159:          ; preds = %cond_next113, %bb94
  26         ret void
  27 bb196:          ; preds = %cond_next113, %bb94
  28         %Rsave.0.3 = phi %struct.set_family* [ null, %bb94 ], [ null, %cond_next113 ]           ; <%struct.set_family*> [#uses=0]
  29         ret void
  30 bb246:          ; preds = %cond_next113, %bb94
  31         br label %bb314
  32 cond_true299:           ; preds = %entry
  33         %tmp55 = icmp sgt i32 %strategy, 0              ; <i1> [#uses=1]
  34         br i1 %tmp55, label %bb94, label %cond_next113
  35 bb314:          ; preds = %bb246, %entry
  36         ret void
  37 }