test/CodeGen/PowerPC/ctrloops.ll

   1 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-v128:128:128-n32:64"
   2 target triple = "powerpc64-unknown-freebsd10.0"
   3 ; RUN: llc < %s -march=ppc64 | FileCheck %s
   4
   5 @a = common global i32 0, align 4
   6
   7 define void @test1(i32 %c) nounwind {
   8 entry:
   9   br label %for.body
  10
  11 for.body:                                         ; preds = %for.body, %entry
  12   %i.01 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  13   %0 = load volatile i32* @a, align 4, !tbaa !0
  14   %add = add nsw i32 %0, %c
  15   store volatile i32 %add, i32* @a, align 4, !tbaa !0
  16   %inc = add nsw i32 %i.01, 1
  17   %exitcond = icmp eq i32 %inc, 2048
  18   br i1 %exitcond, label %for.end, label %for.body
  19
  20 for.end:                                          ; preds = %for.body
  21   ret void
  22 ; CHECK: @test1
  23 ; CHECK: mtctr
  24 ; CHECK-NOT: addi
  25 ; CHECK-NOT: cmplwi
  26 ; CHECK: bdnz
  27 }
  28
  29 define void @test2(i32 %c, i32 %d) nounwind {
  30 entry:
  31   %cmp1 = icmp sgt i32 %d, 0
  32   br i1 %cmp1, label %for.body, label %for.end
  33
  34 for.body:                                         ; preds = %entry, %for.body
  35   %i.02 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
  36   %0 = load volatile i32* @a, align 4, !tbaa !0
  37   %add = add nsw i32 %0, %c
  38   store volatile i32 %add, i32* @a, align 4, !tbaa !0
  39   %inc = add nsw i32 %i.02, 1
  40   %exitcond = icmp eq i32 %inc, %d
  41   br i1 %exitcond, label %for.end, label %for.body
  42
  43 for.end:                                          ; preds = %for.body, %entry
  44   ret void
  45 ; CHECK: @test2
  46 ; CHECK: mtctr
  47 ; CHECK-NOT: addi
  48 ; CHECK-NOT: cmplwi
  49 ; CHECK: bdnz
  50 }
  51
  52 define void @test3(i32 %c, i32 %d) nounwind {
  53 entry:
  54   %cmp1 = icmp sgt i32 %d, 0
  55   br i1 %cmp1, label %for.body, label %for.end
  56
  57 for.body:                                         ; preds = %entry, %for.body
  58   %i.02 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
  59   %mul = mul nsw i32 %i.02, %c
  60   %0 = load volatile i32* @a, align 4, !tbaa !0
  61   %add = add nsw i32 %0, %mul
  62   store volatile i32 %add, i32* @a, align 4, !tbaa !0
  63   %inc = add nsw i32 %i.02, 1
  64   %exitcond = icmp eq i32 %inc, %d
  65   br i1 %exitcond, label %for.end, label %for.body
  66
  67 for.end:                                          ; preds = %for.body, %entry
  68   ret void
  69 ; CHECK: @test3
  70 ; CHECK: mtctr
  71 ; CHECK-NOT: addi
  72 ; CHECK-NOT: cmplwi
  73 ; CHECK: bdnz
  74 }
  75
  76 !0 = metadata !{metadata !"int", metadata !1}
  77 !1 = metadata !{metadata !"omnipotent char", metadata !2}
  78 !2 = metadata !{metadata !"Simple C/C++ TBAA"}