1; Testcase reduced from 197.parser by bugpoint 2; RUN: opt < %s -passes=adce 3; RUN: opt < %s -passes=adce -adce-remove-loops -S | FileCheck %s 4 5define void @conjunction_prune() { 6; <label>:0 7 br label %bb19 8 9bb19: ; preds = %bb23, %bb22, %0 10 %reg205 = phi ptr [ null, %bb22 ], [ null, %bb23 ], [ null, %0 ] ; <ptr> [#uses=1] 11; CHECK: br label %bb22 12 br i1 false, label %bb21, label %bb22 13 14bb21: ; preds = %bb19 15; CHECK: br label %bb22 16 br label %bb22 17 18bb22: ; preds = %bb21, %bb19 19; CHECK: br label %bb23 20 br i1 false, label %bb19, label %bb23 21 22bb23: ; preds = %bb22 23; CHECK: br label %bb28 24 br i1 false, label %bb19, label %bb28 25 26bb28: ; preds = %bb23 27 ret void 28} 29 30