X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FVerifier%2Fdominates.ll;h=c5424bbede3d77e04b617a94b807c2f5ce920574;hb=18a86c95fc36b5f622e8dc87f71252de37a1ed44;hp=17e2c3399967d3d2071ba9ecb44f21edcb81c59c;hpb=49589f0d0e35f643e697ab7ae8a51a530d38b0d8;p=oota-llvm.git diff --git a/test/Verifier/dominates.ll b/test/Verifier/dominates.ll index 17e2c339996..c5424bbede3 100644 --- a/test/Verifier/dominates.ll +++ b/test/Verifier/dominates.ll @@ -10,14 +10,14 @@ define i32 @f1(i32 %x) { } declare i32 @g() -define void @f2(i32 %x) { +define void @f2(i32 %x) personality i32 ()* @g { bb0: %y1 = invoke i32 @g() to label %bb1 unwind label %bb2 bb1: ret void bb2: %y2 = phi i32 [%y1, %bb0] - %y3 = landingpad i32 personality i32 ()* @g + %y3 = landingpad i32 cleanup ret void ; CHECK: Instruction does not dominate all uses! @@ -26,13 +26,13 @@ bb2: ; CHECK-NEXT: %y2 = phi i32 [ %y1, %bb0 ] } -define void @f3(i32 %x) { +define void @f3(i32 %x) personality i32 ()* @g { bb0: %y1 = invoke i32 @g() to label %bb1 unwind label %bb2 bb1: ret void bb2: - %y2 = landingpad i32 personality i32 ()* @g + %y2 = landingpad i32 cleanup br label %bb3 bb3: