54 lines · plain
1; RUN: llvm-as < %s | llvm-dis > %t1.ll2; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll3; RUN: diff %t1.ll %t2.ll4 5;; This is an irreducible flow graph6define void @irreducible(i1 %cond) {7 br i1 %cond, label %X, label %Y8 9X: ; preds = %Y, %010 br label %Y11 12Y: ; preds = %X, %013 br label %X14}15 16;; This is a pair of loops that share the same header17define void @sharedheader(i1 %cond) {18 br label %A19 20A: ; preds = %Y, %X, %021 br i1 %cond, label %X, label %Y22 23X: ; preds = %A24 br label %A25 26Y: ; preds = %A27 br label %A28}29 30 31;; This is a simple nested loop32define void @nested(i1 %cond1, i1 %cond2, i1 %cond3) {33 br label %Loop134 35Loop1: ; preds = %L2Exit, %036 br label %Loop237 38Loop2: ; preds = %L3Exit, %Loop139 br label %Loop340 41Loop3: ; preds = %Loop3, %Loop242 br i1 %cond3, label %Loop3, label %L3Exit43 44L3Exit: ; preds = %Loop345 br i1 %cond2, label %Loop2, label %L2Exit46 47L2Exit: ; preds = %L3Exit48 br i1 %cond1, label %Loop1, label %L1Exit49 50L1Exit: ; preds = %L2Exit51 ret void52}53 54