test/Transforms/CorrelatedExprs/branchtest.ll

   1 ; RUN: as < %s | opt -cee -simplifycfg | dis | not grep 'REMOVE'
   2
   3 implementation
   4
   5 declare void %foo(int)
   6
   7 void %test(int %A) {
   8 bb1:                                    ;[#uses=0]
   9         %cond212 = setgt int %A, 9              ; <bool> [#uses=1]
  10         br bool %cond212, label %REMOVEbb3, label %bb2
  11
  12 bb2:                                    ;[#uses=1]
  13         call void %foo( int 123 )
  14         br label %REMOVEbb3
  15
  16 REMOVEbb3:                                    ;[#uses=2]
  17         %cond217 = setle int %A, 9            ; <bool> [#uses=1]
  18         br bool %cond217, label %REMOVEbb5, label %bb4
  19
  20 bb4:                                    ;[#uses=1]
  21         call void %foo( int 234 )
  22         br label %REMOVEbb5
  23
  24 REMOVEbb5:                                    ;[#uses=2]
  25         %cond222 = setgt int %A, 9             ; <bool> [#uses=1]
  26         br bool %cond222, label %bb7, label %REMOVEbb6
  27
  28 REMOVEbb6:                                    ;[#uses=1]
  29         call void %foo( int 456 )
  30         br label %bb7
  31
  32 bb7:                                    ;[#uses=2]
  33         ret void
  34 }
  35