test/Transforms/LICM/2007-10-01-PromoteSafeValue.ll

   1 ; RUN: opt < %s -licm -S | FileCheck %s
   2 ; Promote value if at least one use is safe
   3
   4
   5 define i32 @f2(i32* %p, i8* %q) {
   6 entry:
   7         br label %loop.head
   8
   9 loop.head:              ; preds = %cond.true, %entry
  10         store i32 20, i32* %p
  11         %tmp3.i = icmp eq i8* null, %q            ; <i1> [#uses=1]
  12         br i1 %tmp3.i, label %exit, label %cond.true
  13
  14 cond.true:              ; preds = %loop.head
  15         store i32 40, i32* %p
  16         br label %loop.head
  17
  18 ; CHECK: exit:
  19 ; CHECK: store i32 20, i32* %p
  20 exit:           ; preds = %loop.head
  21         ret i32 0
  22 }
  23