test/Transforms/Inline/cfg_preserve_test.ll

   1 ; This test ensures that inlining an "empty" function does not destroy the CFG
   2 ;
   3 ; RUN: opt < %s -inline -S | FileCheck %s
   4
   5 define i32 @func(i32 %i) {
   6   ret i32 %i
   7 }
   8
   9
  10 define i32 @main() {
  11 ; CHECK-LABEL: define i32 @main()
  12 entry:
  13   %X = call i32 @func(i32 7)
  14 ; CHECK-NOT: call
  15 ; CHECK-NOT: br
  16
  17   ret i32 %X
  18 ; CHECK: ret i32 7
  19 }
  20