test/Transforms/SCCP/apint-ipsccp2.ll

   1 ; RUN: opt < %s -ipsccp -S | grep -v {ret i101 0} | \
   2 ; RUN:    grep -v {ret i101 undef} | not grep ret
   3
   4
   5 define internal i101 @bar(i101 %A) {
   6         %x = icmp eq i101 %A, 0
   7         br i1 %x, label %T, label %F
   8 T:
   9         %B = call i101 @bar(i101 0)
  10         ret i101 0
  11 F:      ; unreachable
  12         %C = call i101 @bar(i101 1)
  13         ret i101 %C
  14 }
  15
  16 define i101 @foo() {
  17         %X = call i101 @bar(i101 0)
  18         ret i101 %X
  19 }