test/Transforms/PredicateSimplifier/2006-11-12-MergeNodes.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | opt -predsimplify -disable-output
   2
   3 ; ModuleID = 'b.bc'
   4 target datalayout = "e-p:32:32"
   5 target endian = little
   6 target pointersize = 32
   7 target triple = "i686-pc-linux-gnu"
   8 deplibs = [ "c", "crtend" ]
   9         %struct.VDIR_ST = type { int, int, int, %struct.acl*, %struct.pfile*, %struct.vlink*, %struct.vlink*, %struct.vlink*, %struct.VDIR_ST*, %struct.VDIR_ST* }
  10         %struct.acl = type { int, sbyte*, sbyte*, sbyte*, %struct.restrict*, %struct.acl*, %struct.acl* }
  11         %struct.avalue = type { sbyte* }
  12         %struct.pattrib = type { sbyte, sbyte*, sbyte*, %struct.avalue, %struct.pattrib*, %struct.pattrib* }
  13         %struct.pfile = type { int, int, int, int, int, %struct.vlink*, %struct.vlink*, %struct.pattrib*, %struct.pfile*, %struct.pfile* }
  14         %struct.restrict = type { %struct.acl*, %struct.acl* }
  15         %struct.vlink = type { int, sbyte*, sbyte, int, sbyte*, %struct.vlink*, %struct.vlink*, sbyte*, sbyte*, sbyte*, sbyte*, int, int, %struct.acl*, int, int, sbyte*, %struct.pattrib*, %struct.pfile*, %struct.vlink*, %struct.vlink* }
  16
  17 implementation   ; Functions:
  18
  19 void %vl_insert(%struct.vlink* %vl) {
  20 entry:
  21         %tmp91 = call int %vl_comp( )           ; <int> [#uses=2]
  22         %tmp93 = setgt int %tmp91, 0            ; <bool> [#uses=1]
  23         br bool %tmp93, label %cond_next84, label %bb94
  24
  25 cond_next84:            ; preds = %entry
  26         ret void
  27
  28 bb94:           ; preds = %entry
  29         %tmp96 = seteq int %tmp91, 0            ; <bool> [#uses=1]
  30         br bool %tmp96, label %cond_true97, label %cond_next203
  31
  32 cond_true97:            ; preds = %bb94
  33         br bool false, label %cond_next105, label %cond_true102
  34
  35 cond_true102:           ; preds = %cond_true97
  36         ret void
  37
  38 cond_next105:           ; preds = %cond_true97
  39         %tmp110 = getelementptr %struct.vlink* %vl, int 0, uint 12              ; <int*> [#uses=1]
  40         %tmp111 = load int* %tmp110             ; <int> [#uses=1]
  41         %tmp129 = seteq int %tmp111, 0          ; <bool> [#uses=1]
  42         br bool %tmp129, label %cond_true130, label %cond_next133
  43
  44 cond_true130:           ; preds = %cond_next105
  45         ret void
  46
  47 cond_next133:           ; preds = %cond_next105
  48         ret void
  49
  50 cond_next203:           ; preds = %bb94
  51         ret void
  52 }
  53
  54 declare int %vl_comp()