llvm/test/tools/llvm-reduce/remove-bbs-ret-nonvoid.ll

   1 ; Test that llvm-reduce inserts valid return instructions for functions with
   2 ; on-void return types.
   3 ;
   4 ; RUN: llvm-reduce --delta-passes=basic-blocks --test FileCheck --test-arg --check-prefixes=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t
   5 ; RUN: cat %t | FileCheck %s
   6
   7 ; CHECK-INTERESTINGNESS: interesting:
   8 ; CHECK-INTERESTINGNESS: interesting2:
   9
  10 define i32 @main(i1 %c) {
  11 ; CHECK-LABEL: define i32 @main(i1 %c) {
  12 ; CHECK-LABEL: interesting:
  13 ; CHECK-NEXT:    br label %interesting2
  14
  15 ; CHECK-LABEL: interesting2:
  16 ; CHECK-NEXT:    ret i32 undef
  17
  18 interesting:
  19   br label %interesting2
  20
  21 interesting2:
  22   br i1 true, label %uninteresting1, label %uninteresting
  23
  24 uninteresting:
  25   br label %uninteresting1
  26
  27 uninteresting1:
  28   ret i32 10
  29 }