test/Transforms/LoopIdiom/memset_noidiom.ll

   1 ; RUN: opt -basicaa -loop-idiom < %s -S | FileCheck %s
   2 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
   3 target triple = "x86_64-apple-darwin10.0.0"
   4
   5 ; CHECK: @memset
   6 ; CHECK-NOT: callq _memset
   7 define i8* @memset(i8* %b, i32 %c, i64 %len) nounwind uwtable ssp {
   8 entry:
   9   %b.addr = alloca i8*, align 8
  10   %c.addr = alloca i32, align 4
  11   %len.addr = alloca i64, align 8
  12   %p = alloca i8*, align 8
  13   %i = alloca i32, align 4
  14   store i8* %b, i8** %b.addr, align 8
  15   store i32 %c, i32* %c.addr, align 4
  16   store i64 %len, i64* %len.addr, align 8
  17   %tmp = load i8** %b.addr, align 8
  18   store i8* %tmp, i8** %p, align 8
  19   store i32 0, i32* %i, align 4
  20   br label %for.cond
  21
  22 for.cond:                                         ; preds = %for.inc, %entry
  23   %tmp2 = load i32* %i, align 4
  24   %conv = sext i32 %tmp2 to i64
  25   %tmp3 = load i64* %len.addr, align 8
  26   %cmp = icmp ult i64 %conv, %tmp3
  27   br i1 %cmp, label %for.body, label %for.end
  28
  29 for.body:                                         ; preds = %for.cond
  30   %tmp5 = load i32* %c.addr, align 4
  31   %conv6 = trunc i32 %tmp5 to i8
  32   %tmp7 = load i8** %p, align 8
  33   %incdec.ptr = getelementptr inbounds i8* %tmp7, i32 1
  34   store i8* %incdec.ptr, i8** %p, align 8
  35   store i8 %conv6, i8* %tmp7
  36   br label %for.inc
  37
  38 for.inc:                                          ; preds = %for.body
  39   %tmp8 = load i32* %i, align 4
  40   %inc = add nsw i32 %tmp8, 1
  41   store i32 %inc, i32* %i, align 4
  42   br label %for.cond
  43
  44 for.end:                                          ; preds = %for.cond
  45   %tmp9 = load i8** %b.addr, align 8
  46   ret i8* %tmp9
  47 }