llvm/test/Transforms/SCCP/apint-ipsccp2.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: opt < %s -passes=ipsccp -S | FileCheck %s
   3
   4 define internal i101 @bar(i101 %A) {
   5 ; CHECK-LABEL: define internal i101 @bar(
   6 ; CHECK-SAME: i101 [[A:%.*]]) {
   7 ; CHECK-NEXT:    br label %[[T:.*]]
   8 ; CHECK:       [[T]]:
   9 ; CHECK-NEXT:    [[B:%.*]] = call i101 @bar(i101 0)
  10 ; CHECK-NEXT:    ret i101 poison
  11 ;
  12   %x = icmp eq i101 %A, 0
  13   br i1 %x, label %T, label %F
  14 T:
  15   %B = call i101 @bar(i101 0)
  16   ret i101 0
  17 F:      ; unreachable
  18   %C = call i101 @bar(i101 1)
  19   ret i101 %C
  20 }
  21
  22 define i101 @foo() {
  23 ; CHECK-LABEL: define i101 @foo() {
  24 ; CHECK-NEXT:    [[X:%.*]] = call i101 @bar(i101 0)
  25 ; CHECK-NEXT:    ret i101 0
  26 ;
  27   %X = call i101 @bar(i101 0)
  28   ret i101 %X
  29 }