[ScopBuilder/Simplify] Refactor isEscaping. NFC.
[polly-mirror.git] / test / ScopInfo / phi_with_invoke_edge.ll
blob5f43c13db6d90c542a1fff1830ebc1e539f9720c
1 ; RUN: opt %loadPolly -polly-detect  -analyze  < %s
2 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
4 declare i32 @generic_personality_v0(i32, i64, i8*, i8*)
6 define i16 @v() personality i32 (i32, i64, i8*, i8*)* @generic_personality_v0 {
7 entry:
8   br i1 undef, label %bb16, label %invcont12
10 invcont12:                                        ; preds = %invcont11
11   %a = invoke i16 @v() to label %return unwind label %lpad22   ; <i16*> [#uses=1]
13 bb16:                                             ; preds = %bb7
14   br i1 undef, label %bb9, label %return
16 return:                                           ; preds = %bb16, %invcont12
17   %b = phi i16 [ %a, %invcont12 ], [ 0, %bb16 ] ; <i16*> [#uses=1]
18   ret i16 %b
20 bb9:                                             ; preds = %bb3
21   ret i16 0
23 lpad22:                                           ; preds = %invcont12
24   %d = landingpad { i8*, i32 } cleanup catch i32* null
25   unreachable