test/Transforms/SCCP/apint-ipsccp2.ll

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