test/Transforms/PredicateSimplifier/predsimplify.reg4.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | opt -predsimplify -disable-output
   2
   3 ; ModuleID = '<stdin>'
   4 target endian = little
   5 target pointersize = 32
   6 target triple = "i686-pc-linux-gnu"
   7
   8 implementation   ; Functions:
   9
  10 void %f(int %x, int %y) {
  11 entry:
  12         %tmp = seteq int %x, 10         ; <bool> [#uses=1]
  13         %tmp.not = xor bool %tmp, true          ; <bool> [#uses=1]
  14         %tmp3 = seteq int %x, %y                ; <bool> [#uses=1]
  15         %bothcond = and bool %tmp.not, %tmp3            ; <bool> [#uses=1]
  16         br bool %bothcond, label %cond_true4, label %return
  17
  18 cond_true4:             ; preds = %entry
  19         switch int %y, label %return [
  20                  int 9, label %bb
  21                  int 10, label %bb6
  22         ]
  23
  24 bb:             ; preds = %cond_true4
  25         call void %g( int 9 )
  26         ret void
  27
  28 bb6:            ; preds = %cond_true4
  29         call void %g( int 10 )
  30         ret void
  31
  32 return:         ; preds = %cond_true4, %entry
  33         ret void
  34 }
  35
  36 declare void %g(int)