test/Feature/cfgstructures.ll

   1 ; RUN: llvm-as < %s | llvm-dis > %t1.ll
   2 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
   3 ; RUN: diff %t1.ll %t2.ll
   4
   5 ;; This is an irreducible flow graph
   6 define void @irreducible(i1 %cond) {
   7         br i1 %cond, label %X, label %Y
   8
   9 X:              ; preds = %Y, %0
  10         br label %Y
  11
  12 Y:              ; preds = %X, %0
  13         br label %X
  14 }
  15
  16 ;; This is a pair of loops that share the same header
  17 define void @sharedheader(i1 %cond) {
  18         br label %A
  19
  20 A:              ; preds = %Y, %X, %0
  21         br i1 %cond, label %X, label %Y
  22
  23 X:              ; preds = %A
  24         br label %A
  25
  26 Y:              ; preds = %A
  27         br label %A
  28 }
  29
  30
  31 ;; This is a simple nested loop
  32 define void @nested(i1 %cond1, i1 %cond2, i1 %cond3) {
  33         br label %Loop1
  34
  35 Loop1:          ; preds = %L2Exit, %0
  36         br label %Loop2
  37
  38 Loop2:          ; preds = %L3Exit, %Loop1
  39         br label %Loop3
  40
  41 Loop3:          ; preds = %Loop3, %Loop2
  42         br i1 %cond3, label %Loop3, label %L3Exit
  43
  44 L3Exit:         ; preds = %Loop3
  45         br i1 %cond2, label %Loop2, label %L2Exit
  46
  47 L2Exit:         ; preds = %L3Exit
  48         br i1 %cond1, label %Loop1, label %L1Exit
  49
  50 L1Exit:         ; preds = %L2Exit
  51         ret void
  52 }
  53