test/Transforms/SCCP/ipsccp-branch-unresolved-undef.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -S -ipsccp | FileCheck %s
   3
   4 define void @main() {
   5 ; CHECK-LABEL: @main(
   6 ; CHECK:         %call = call i1 @patatino(i1 undef)
   7 ; CHECK-NEXT:    ret void
   8 ;
   9   %call = call i1 @patatino(i1 undef)
  10   ret void
  11 }
  12
  13 define internal i1 @patatino(i1 %a) {
  14 ; CHECK-LABEL: define internal i1 @patatino(
  15 ; CHECK-NEXT:    br label [[ONFALSE:%.*]]
  16 ; CHECK-EMPTY:
  17 ; CHECK-NEXT:  onfalse:
  18 ; CHECK-NEXT:    ret i1 undef
  19   br i1 %a, label %ontrue, label %onfalse
  20 ontrue:
  21   ret i1 false
  22 onfalse:
  23   ret i1 false
  24 }