llvm/test/Transforms/IndVarSimplify/pr45835.ll

   1 ; RUN: opt < %s -indvars -replexitval=always -S | FileCheck %s --check-prefix=ALWAYS
   2 ; RUN: opt < %s -indvars -replexitval=never -S | FileCheck %s --check-prefix=NEVER
   3 ; RUN: opt < %s -indvars -replexitval=cheap -scev-cheap-expansion-budget=1 -S | FileCheck %s --check-prefix=CHEAP
   4
   5 ; rewriteLoopExitValues() must rewrite all or none of a PHI's values from a given block.
   6
   7 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
   8
   9 @a = common global i8 0, align 1
  10
  11 define internal fastcc void @d(i8* %c) unnamed_addr #0 {
  12 entry:
  13   %cmp = icmp ule i8* %c, @a
  14   %add.ptr = getelementptr inbounds i8, i8* %c, i64 -65535
  15   br label %while.cond
  16
  17 while.cond:
  18   br i1 icmp ne (i8 0, i8 0), label %cont, label %while.end
  19
  20 cont:
  21   %a.mux = select i1 %cmp, i8* @a, i8* %c
  22   switch i64 0, label %while.cond [
  23     i64 -1, label %handler.pointer_overflow.i
  24     i64 0, label %handler.pointer_overflow.i
  25   ]
  26
  27 handler.pointer_overflow.i:
  28   %a.mux.lcssa4 = phi i8* [ %a.mux, %cont ], [ %a.mux, %cont ]
  29 ; ALWAYS: [ %umax, %cont ], [ %umax, %cont ]
  30 ; NEVER: [ %a.mux, %cont ], [ %a.mux, %cont ]
  31 ; In cheap mode, use either one as long as it's consistent.
  32 ; CHEAP: [ %[[VAL:.*]], %cont ], [ %[[VAL]], %cont ]
  33   %x5 = ptrtoint i8* %a.mux.lcssa4 to i64
  34   br label %while.end
  35
  36 while.end:
  37   ret void
  38 }