Home | History | Annotate | Download | only in Verifier
      1 ; RUN: not llvm-as < %s >& /dev/null
      2 
      3 declare i32 @v()
      4 
      5 define i32 @h() {
      6 e:
      7 	%s = invoke i32 @v()
      8 			to label %c unwind label %u		; <i32> [#uses=2]
      9 
     10 c:		; preds = %e
     11 	br label %d
     12 
     13 d:		; preds = %u, %c
     14 	%p = phi i32 [ %s, %c ], [ %s, %u ]		; <i32> [#uses=1]
     15 	ret i32 %p
     16 
     17 u:		; preds = %e
     18 	br label %d
     19 }
     20