test/Transforms/GVN/PRE/pre-basic-add.ll

   1 ; RUN: opt < %s -gvn -enable-pre -S | FileCheck %s
   2
   3 @H = common global i32 0                ; <i32*> [#uses=2]
   4 @G = common global i32 0                ; <i32*> [#uses=1]
   5
   6 define i32 @test() nounwind {
   7 entry:
   8         %0 = load i32, i32* @H, align 4         ; <i32> [#uses=2]
   9         %1 = call i32 (...) @foo() nounwind             ; <i32> [#uses=1]
  10         %2 = icmp ne i32 %1, 0          ; <i1> [#uses=1]
  11         br i1 %2, label %bb, label %bb1
  12
  13 bb:             ; preds = %entry
  14         %3 = add i32 %0, 42             ; <i32> [#uses=1]
  15 ; CHECK: %.pre = add i32 %0, 42
  16         store i32 %3, i32* @G, align 4
  17         br label %bb1
  18
  19 bb1:            ; preds = %bb, %entry
  20         %4 = add i32 %0, 42             ; <i32> [#uses=1]
  21         store i32 %4, i32* @H, align 4
  22         br label %return
  23
  24 ; CHECK: %.pre-phi = phi i32 [ %.pre, %entry.bb1_crit_edge ], [ %3, %bb ]
  25 ; CHECK-NEXT: store i32 %.pre-phi, i32* @H, align 4
  26 ; CHECK-NEXT: ret i32 0
  27
  28 return:         ; preds = %bb1
  29         ret i32 0
  30 }
  31
  32 declare i32 @foo(...)