test/Transforms/GVN/condprop.ll

   1 ; RUN: opt < %s -gvn -S | grep {br i1 false}
   2
   3 @a = external global i32                ; <i32*> [#uses=7]
   4
   5 define i32 @foo() nounwind {
   6 entry:
   7         %0 = load i32* @a, align 4              ; <i32> [#uses=1]
   8         %1 = icmp eq i32 %0, 4          ; <i1> [#uses=1]
   9         br i1 %1, label %bb, label %bb1
  10
  11 bb:             ; preds = %entry
  12         br label %bb8
  13
  14 bb1:            ; preds = %entry
  15         %2 = load i32* @a, align 4              ; <i32> [#uses=1]
  16         %3 = icmp eq i32 %2, 5          ; <i1> [#uses=1]
  17         br i1 %3, label %bb2, label %bb3
  18
  19 bb2:            ; preds = %bb1
  20         br label %bb8
  21
  22 bb3:            ; preds = %bb1
  23         %4 = load i32* @a, align 4              ; <i32> [#uses=1]
  24         %5 = icmp eq i32 %4, 4          ; <i1> [#uses=1]
  25         br i1 %5, label %bb4, label %bb5
  26
  27 bb4:            ; preds = %bb3
  28         %6 = load i32* @a, align 4              ; <i32> [#uses=1]
  29         %7 = add i32 %6, 5              ; <i32> [#uses=1]
  30         br label %bb8
  31
  32 bb5:            ; preds = %bb3
  33         %8 = load i32* @a, align 4              ; <i32> [#uses=1]
  34         %9 = icmp eq i32 %8, 5          ; <i1> [#uses=1]
  35         br i1 %9, label %bb6, label %bb7
  36
  37 bb6:            ; preds = %bb5
  38         %10 = load i32* @a, align 4             ; <i32> [#uses=1]
  39         %11 = add i32 %10, 4            ; <i32> [#uses=1]
  40         br label %bb8
  41
  42 bb7:            ; preds = %bb5
  43         %12 = load i32* @a, align 4             ; <i32> [#uses=1]
  44         br label %bb8
  45
  46 bb8:            ; preds = %bb7, %bb6, %bb4, %bb2, %bb
  47         %.0 = phi i32 [ %12, %bb7 ], [ %11, %bb6 ], [ %7, %bb4 ], [ 4, %bb2 ], [ 5, %bb ]               ; <i32> [#uses=1]
  48         br label %return
  49
  50 return:         ; preds = %bb8
  51         ret i32 %.0
  52 }