test/Other/2002-02-24-InlineBrokePHINodes.ll

   1 ; Inlining used to break PHI nodes.  This tests that they are correctly updated
   2 ; when a node is split around the call instruction.  The verifier caught the error.
   3 ;
   4 ; RUN: opt < %s -inline
   5 ;
   6
   7 define i64 @test(i64 %X) {
   8         ret i64 %X
   9 }
  10
  11 define i64 @fib(i64 %n) {
  12 ; <label>:0
  13         %T = icmp ult i64 %n, 2         ; <i1> [#uses=1]
  14         br i1 %T, label %BaseCase, label %RecurseCase
  15
  16 RecurseCase:            ; preds = %0
  17         %result = call i64 @test( i64 %n )              ; <i64> [#uses=0]
  18         br label %BaseCase
  19
  20 BaseCase:               ; preds = %RecurseCase, %0
  21         %X = phi i64 [ 1, %0 ], [ 2, %RecurseCase ]             ; <i64> [#uses=1]
  22         ret i64 %X
  23 }