test/Transforms/GVN/lpre-call-wrap-2.ll

   1 ; RUN: llvm-as < %s | opt -gvn -enable-load-pre | llvm-dis > %t
   2 ; RUN: %prcontext bb1: 2 < %t | grep phi
   3 ; RUN: %prcontext bb1: 2 < %t | not grep load
   4 ;
   5 ; The partially redundant load in bb1 should be hoisted to "bb".  This comes
   6 ; from this C code (GCC PR 23455):
   7 ;   unsigned outcnt;  extern void flush_outbuf(void);
   8 ;   void bi_windup(unsigned char *outbuf, unsigned char bi_buf) {
   9 ;     outbuf[outcnt] = bi_buf;
  10 ;     if (outcnt == 16384)
  11 ;       flush_outbuf();
  12 ;     outbuf[outcnt] = bi_buf;
  13 ;   }
  14 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
  15 target triple = "i386-apple-darwin7"
  16 @outcnt = common global i32 0           ; <i32*> [#uses=3]
  17
  18 define void @bi_windup(i8* %outbuf, i8 zeroext %bi_buf) nounwind {
  19 entry:
  20         %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
  21         %0 = load i32* @outcnt, align 4         ; <i32> [#uses=1]
  22         %1 = getelementptr i8* %outbuf, i32 %0          ; <i8*> [#uses=1]
  23         store i8 %bi_buf, i8* %1, align 1
  24         %2 = load i32* @outcnt, align 4         ; <i32> [#uses=1]
  25         %3 = icmp eq i32 %2, 16384              ; <i1> [#uses=1]
  26         br i1 %3, label %bb, label %bb1
  27
  28 bb:             ; preds = %entry
  29         call void @flush_outbuf() nounwind
  30         br label %bb1
  31
  32 bb1:            ; preds = %bb, %entry
  33         %4 = load i32* @outcnt, align 4         ; <i32> [#uses=1]
  34         %5 = getelementptr i8* %outbuf, i32 %4          ; <i8*> [#uses=1]
  35         store i8 %bi_buf, i8* %5, align 1
  36         ret void
  37 }
  38
  39 declare void @flush_outbuf()