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: llvm.memset
   7 define i8* @memset(i8* %b, i32 %c, i64 %len) nounwind uwtable ssp {
   8 entry:
   9   %cmp1 = icmp ult i64 0, %len
  10   br i1 %cmp1, label %for.body.lr.ph, label %for.end
  11
  12 for.body.lr.ph:                                   ; preds = %entry
  13   %conv6 = trunc i32 %c to i8
  14   br label %for.body
  15
  16 for.body:                                         ; preds = %for.body.lr.ph, %for.body
  17   %indvar = phi i64 [ 0, %for.body.lr.ph ], [ %indvar.next, %for.body ]
  18   %p.02 = getelementptr i8* %b, i64 %indvar
  19   store i8 %conv6, i8* %p.02, align 1
  20   %indvar.next = add i64 %indvar, 1
  21   %exitcond = icmp ne i64 %indvar.next, %len
  22   br i1 %exitcond, label %for.body, label %for.cond.for.end_crit_edge
  23
  24 for.cond.for.end_crit_edge:                       ; preds = %for.body
  25   br label %for.end
  26
  27 for.end:                                          ; preds = %for.cond.for.end_crit_edge, %entry
  28   ret i8* %b
  29 }
  30
  31 ; CHECK: @memcpy
  32 ; CHECK-NOT: llvm.memcpy
  33 define i8* @memcpy(i8* noalias %dst, i8* noalias %src, i64 %n) nounwind {
  34 entry:
  35   %tobool3 = icmp eq i64 %n, 0
  36   br i1 %tobool3, label %while.end, label %while.body
  37
  38 while.body:                                       ; preds = %entry, %while.body
  39   %c2.06 = phi i8* [ %incdec.ptr, %while.body ], [ %src, %entry ]
  40   %c1.05 = phi i8* [ %incdec.ptr1, %while.body ], [ %dst, %entry ]
  41   %n.addr.04 = phi i64 [ %dec, %while.body ], [ %n, %entry ]
  42   %dec = add i64 %n.addr.04, -1
  43   %incdec.ptr = getelementptr inbounds i8* %c2.06, i64 1
  44   %0 = load i8* %c2.06, align 1
  45   %incdec.ptr1 = getelementptr inbounds i8* %c1.05, i64 1
  46   store i8 %0, i8* %c1.05, align 1
  47   %tobool = icmp eq i64 %dec, 0
  48   br i1 %tobool, label %while.end, label %while.body
  49
  50 while.end:                                        ; preds = %while.body, %entry
  51   ret i8* %dst
  52 }
  53
  54 ; CHECK: @memmove
  55 ; CHECK-NOT: llvm.memmove
  56 define i8* @memmove(i8* %dst, i8* nocapture %src, i64 %count) nounwind {
  57 entry:
  58   %sub = add i64 %count, -1
  59   %tobool9 = icmp eq i64 %count, 0
  60   br i1 %tobool9, label %while.end, label %while.body.lr.ph
  61
  62 while.body.lr.ph:                                 ; preds = %entry
  63   %add.ptr2 = getelementptr inbounds i8* %src, i64 %sub
  64   %add.ptr = getelementptr inbounds i8* %dst, i64 %sub
  65   br label %while.body
  66
  67 while.body:                                       ; preds = %while.body.lr.ph, %while.body
  68   %b.012 = phi i8* [ %add.ptr2, %while.body.lr.ph ], [ %incdec.ptr, %while.body ]
  69   %a.011 = phi i8* [ %add.ptr, %while.body.lr.ph ], [ %incdec.ptr3, %while.body ]
  70   %count.addr.010 = phi i64 [ %count, %while.body.lr.ph ], [ %dec, %while.body ]
  71   %dec = add i64 %count.addr.010, -1
  72   %incdec.ptr = getelementptr inbounds i8* %b.012, i64 -1
  73   %0 = load i8* %b.012, align 1
  74   %incdec.ptr3 = getelementptr inbounds i8* %a.011, i64 -1
  75   store i8 %0, i8* %a.011, align 1
  76   %tobool = icmp eq i64 %dec, 0
  77   br i1 %tobool, label %while.end, label %while.body
  78
  79 while.end:                                        ; preds = %while.body, %entry
  80   ret i8* %dst
  81 }