test/CodeGen/PowerPC/negctr.ll

   1 ; RUN: llc < %s -mcpu=a2 | FileCheck %s
   2 ; RUN: llc < %s -mcpu=a2 -disable-lsr | FileCheck -check-prefix=NOLSR %s
   3 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-f128:128:128-v128:128:128-n32:64"
   4 target triple = "powerpc64-unknown-linux-gnu"
   5
   6 define void @main() #0 {
   7 entry:
   8   br i1 undef, label %for.end, label %for.body
   9
  10 for.body:                                         ; preds = %for.body, %entry
  11   %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ 1, %entry ]
  12   %indvars.iv.next = add i64 %indvars.iv, 1
  13   %lftr.wideiv = trunc i64 %indvars.iv.next to i32
  14   %exitcond = icmp eq i32 %lftr.wideiv, 0
  15   br i1 %exitcond, label %for.end, label %for.body
  16
  17 ; FIXME: We currently can't form the 32-bit unsigned trip count necessary here!
  18 ; CHECK: @main
  19 ; CHECK-NOT: bdnz
  20
  21 for.end:                                          ; preds = %for.body, %entry
  22   ret void
  23 }
  24
  25 define void @main1() #0 {
  26 entry:
  27   br i1 undef, label %for.end, label %for.body
  28
  29 for.body:                                         ; preds = %for.body, %entry
  30   %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ 1, %entry ]
  31   %indvars.iv.next = add i64 %indvars.iv, 1
  32   %exitcond = icmp eq i64 %indvars.iv.next, 0
  33   br i1 %exitcond, label %for.end, label %for.body
  34
  35 ; CHECK: @main1
  36 ; CHECK: li [[REG:[0-9]+]], -1
  37 ; CHECK: mtctr [[REG]]
  38 ; CHECK: bdnz
  39
  40 for.end:                                          ; preds = %for.body, %entry
  41   ret void
  42 }
  43
  44 define void @main2() #0 {
  45 entry:
  46   br i1 undef, label %for.end, label %for.body
  47
  48 for.body:                                         ; preds = %for.body, %entry
  49   %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ 1, %entry ]
  50   %indvars.iv.next = add i64 %indvars.iv, 1
  51   %exitcond = icmp eq i64 %indvars.iv.next, -100000
  52   br i1 %exitcond, label %for.end, label %for.body
  53
  54 ; CHECK: @main2
  55 ; CHECK: lis [[REG:[0-9]+]], -2
  56 ; CHECK: ori [[REG2:[0-9]+]], [[REG]], 31071
  57 ; CHECK: mtctr [[REG2]]
  58 ; CHECK: bdnz
  59
  60 for.end:                                          ; preds = %for.body, %entry
  61   ret void
  62 }
  63
  64 define void @main3() #0 {
  65 entry:
  66   br i1 undef, label %for.end, label %for.body
  67
  68 for.body:                                         ; preds = %for.body, %entry
  69   %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ 127984, %entry ]
  70   %indvars.iv.next = add i64 %indvars.iv, -16
  71   %exitcond = icmp eq i64 %indvars.iv.next, -16
  72   br i1 %exitcond, label %for.end, label %for.body
  73
  74 ; NOLSR: @main3
  75 ; NOLSR: li [[REG:[0-9]+]], 8000
  76 ; NOLSR: mtctr [[REG]]
  77 ; NOLSR: bdnz
  78
  79 for.end:                                          ; preds = %for.body, %entry
  80   ret void
  81 }
  82
  83 attributes #0 = { nounwind "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-frame-pointer-elim-non-leaf"="true" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }