test/Transforms/PredicateSimplifier/predsimplify.reg2.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | opt -predsimplify -verify
   2
   3 ; ModuleID = 'bugpoint-reduced-simplified.bc'
   4 target endian = little
   5 target pointersize = 32
   6 target triple = "i686-pc-linux-gnu"
   7 deplibs = [ "c", "crtend" ]
   8         %struct.anon = type { %struct.set_family*, %struct.set_family*, %struct.set_family*, sbyte*, int, uint*, %struct.pair_struct*, sbyte**, %struct.symbolic_t*, %struct.symbolic_t* }
   9         %struct.pair_struct = type { int, int*, int* }
  10         %struct.set_family = type { int, int, int, int, int, uint*, %struct.set_family* }
  11         %struct.symbolic_label_t = type { sbyte*, %struct.symbolic_label_t* }
  12         %struct.symbolic_list_t = type { int, int, %struct.symbolic_list_t* }
  13         %struct.symbolic_t = type { %struct.symbolic_list_t*, int, %struct.symbolic_label_t*, int, %struct.symbolic_t* }
  14
  15 implementation   ; Functions:
  16
  17 void %find_pairing_cost(int %strategy) {
  18 entry:
  19         br bool false, label %cond_true299, label %bb314
  20
  21 bb94:           ; preds = %cond_true299
  22         switch int %strategy, label %bb246 [
  23                  int 0, label %bb196
  24                  int 1, label %bb159
  25         ]
  26
  27 cond_next113:           ; preds = %cond_true299
  28         switch int %strategy, label %bb246 [
  29                  int 0, label %bb196
  30                  int 1, label %bb159
  31         ]
  32
  33 bb159:          ; preds = %cond_next113, %bb94
  34         ret void
  35
  36 bb196:          ; preds = %cond_next113, %bb94
  37         %Rsave.0.3 = phi %struct.set_family* [ null, %bb94 ], [ null, %cond_next113 ]           ; <%struct.set_family*> [#uses=0]
  38         ret void
  39
  40 bb246:          ; preds = %cond_next113, %bb94
  41         br label %bb314
  42
  43 cond_true299:           ; preds = %entry
  44         %tmp55 = setgt int %strategy, 0         ; <bool> [#uses=1]
  45         br bool %tmp55, label %bb94, label %cond_next113
  46
  47 bb314:          ; preds = %bb246, %entry
  48         ret void
  49 }