1; RUN: opt < %s -simplifycfg -S | FileCheck %s 2 3; Check that we can get rid of empty block leading to header 4; if it does not introduce new edge. 5define i32 @test(i32 %c) { 6entry: 7 br label %header 8header: 9 %i = phi i32 [0, %entry], [%i.1, %backedge] 10 %i.1 = add i32 %i, 1 11 %cmp = icmp slt i32 %i.1, %c 12 br i1 %cmp, label %backedge, label %exit 13; CHECK-NOT: backedge: 14backedge: 15 br label %header 16exit: 17 ret i32 %i 18} 19