1; RUN: opt < %s -simplifycfg -S | FileCheck %s 2 3;; Test case for bug 25299, contributed by David Majnemer. 4 5target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 6target triple = "x86_64-unknown-linux-gnu" 7 8define void @f(i1 %B) personality i1 undef { 9entry: 10;CHECK: entry 11;CHECK-NEXT: call void @g() 12 invoke void @g() 13 to label %continue unwind label %unwind 14 15unwind: ; preds = %entry 16 %tmp101 = landingpad { i8*, i32 } 17 cleanup 18 br i1 %B, label %resume, label %then 19 20then: ; preds = %cleanup1 21 br label %resume 22 23resume: ; preds = %cleanup2, %then, %cleanup1, %unwind 24 %tmp104 = phi { i8*, i32 } [ %tmp101, %then ], [ %tmp106, %cleanup2 ], [ %tmp101, %unwind ] 25;CHECK-NOT: resume { i8*, i32 } %tmp104 26 resume { i8*, i32 } %tmp104 27 28continue: ; preds = %entry, %continue 29;CHECK: continue: ; preds = %entry, %continue 30;CHECK-NEXT: call void @g() 31 invoke void @g() 32 to label %continue unwind label %cleanup2 33 34cleanup2: ; preds = %continue 35 %tmp106 = landingpad { i8*, i32 } 36 cleanup 37 br label %resume 38} 39 40declare void @g()