test/CodeGen/X86/optimize-max-1.ll

   1 ; RUN: llvm-as < %s | llc -march=x86-64 | not grep cmov
   2 ; XFAIL: *
   3
   4 ; LSR should be able to eliminate both smax and umax expressions
   5 ; in loop trip counts.
   6
   7 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"
   8
   9 define void @fs(double* nocapture %p, i64 %n) nounwind {
  10 entry:
  11         %tmp = icmp slt i64 %n, 1               ; <i1> [#uses=1]
  12         %smax = select i1 %tmp, i64 1, i64 %n           ; <i64> [#uses=1]
  13         br label %bb
  14
  15 bb:             ; preds = %bb, %entry
  16         %i.0 = phi i64 [ 0, %entry ], [ %0, %bb ]               ; <i64> [#uses=2]
  17         %scevgep = getelementptr double* %p, i64 %i.0           ; <double*> [#uses=1]
  18         store double 0.000000e+00, double* %scevgep, align 8
  19         %0 = add i64 %i.0, 1            ; <i64> [#uses=2]
  20         %exitcond = icmp eq i64 %0, %smax               ; <i1> [#uses=1]
  21         br i1 %exitcond, label %return, label %bb
  22
  23 return:         ; preds = %bb
  24         ret void
  25 }
  26
  27 define void @bs(double* nocapture %p, i64 %n) nounwind {
  28 entry:
  29         %tmp = icmp sge i64 %n, 1               ; <i1> [#uses=1]
  30         %smax = select i1 %tmp, i64 %n, i64 1           ; <i64> [#uses=1]
  31         br label %bb
  32
  33 bb:             ; preds = %bb, %entry
  34         %i.0 = phi i64 [ 0, %entry ], [ %0, %bb ]               ; <i64> [#uses=2]
  35         %scevgep = getelementptr double* %p, i64 %i.0           ; <double*> [#uses=1]
  36         store double 0.000000e+00, double* %scevgep, align 8
  37         %0 = add i64 %i.0, 1            ; <i64> [#uses=2]
  38         %exitcond = icmp eq i64 %0, %smax               ; <i1> [#uses=1]
  39         br i1 %exitcond, label %return, label %bb
  40
  41 return:         ; preds = %bb
  42         ret void
  43 }
  44
  45 define void @fu(double* nocapture %p, i64 %n) nounwind {
  46 entry:
  47         %tmp = icmp eq i64 %n, 0                ; <i1> [#uses=1]
  48         %umax = select i1 %tmp, i64 1, i64 %n           ; <i64> [#uses=1]
  49         br label %bb
  50
  51 bb:             ; preds = %bb, %entry
  52         %i.0 = phi i64 [ 0, %entry ], [ %0, %bb ]               ; <i64> [#uses=2]
  53         %scevgep = getelementptr double* %p, i64 %i.0           ; <double*> [#uses=1]
  54         store double 0.000000e+00, double* %scevgep, align 8
  55         %0 = add i64 %i.0, 1            ; <i64> [#uses=2]
  56         %exitcond = icmp eq i64 %0, %umax               ; <i1> [#uses=1]
  57         br i1 %exitcond, label %return, label %bb
  58
  59 return:         ; preds = %bb
  60         ret void
  61 }
  62
  63 define void @bu(double* nocapture %p, i64 %n) nounwind {
  64 entry:
  65         %tmp = icmp ne i64 %n, 0                ; <i1> [#uses=1]
  66         %umax = select i1 %tmp, i64 %n, i64 1           ; <i64> [#uses=1]
  67         br label %bb
  68
  69 bb:             ; preds = %bb, %entry
  70         %i.0 = phi i64 [ 0, %entry ], [ %0, %bb ]               ; <i64> [#uses=2]
  71         %scevgep = getelementptr double* %p, i64 %i.0           ; <double*> [#uses=1]
  72         store double 0.000000e+00, double* %scevgep, align 8
  73         %0 = add i64 %i.0, 1            ; <i64> [#uses=2]
  74         %exitcond = icmp eq i64 %0, %umax               ; <i1> [#uses=1]
  75         br i1 %exitcond, label %return, label %bb
  76
  77 return:         ; preds = %bb
  78         ret void
  79 }