llvm/test/Transforms/IndVarSimplify/pr45835.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=indvars -replexitval=always -S | FileCheck %s --check-prefix=ALWAYS
   3 ; RUN: opt < %s -passes=indvars -replexitval=never -S | FileCheck %s --check-prefix=NEVER
   4 ; RUN: opt < %s -passes=indvars -replexitval=cheap -scev-cheap-expansion-budget=1 -S | FileCheck %s --check-prefix=CHEAP
   5
   6 ; rewriteLoopExitValues() must rewrite all or none of a PHI's values from a given block.
   7
   8 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
   9
  10 @a = common global i8 0, align 1
  11
  12 define internal fastcc void @d(ptr %c) unnamed_addr #0 {
  13 ; ALWAYS-LABEL: @d(
  14 ; ALWAYS-NEXT:  entry:
  15 ; ALWAYS-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds i8, ptr [[C:%.*]], i64 -65535
  16 ; ALWAYS-NEXT:    [[TMP0:%.*]] = icmp ugt ptr [[C]], @a
  17 ; ALWAYS-NEXT:    [[UMAX:%.*]] = select i1 [[TMP0]], ptr [[C]], ptr @a
  18 ; ALWAYS-NEXT:    br label [[WHILE_COND:%.*]]
  19 ; ALWAYS:       while.cond:
  20 ; ALWAYS-NEXT:    br i1 false, label [[CONT:%.*]], label [[WHILE_END_LOOPEXIT:%.*]]
  21 ; ALWAYS:       cont:
  22 ; ALWAYS-NEXT:    switch i64 0, label [[WHILE_COND]] [
  23 ; ALWAYS-NEXT:    i64 -1, label [[HANDLER_POINTER_OVERFLOW_I:%.*]]
  24 ; ALWAYS-NEXT:    i64 0, label [[HANDLER_POINTER_OVERFLOW_I]]
  25 ; ALWAYS-NEXT:    ]
  26 ; ALWAYS:       handler.pointer_overflow.i:
  27 ; ALWAYS-NEXT:    [[A_MUX_LCSSA4:%.*]] = phi ptr [ [[UMAX]], [[CONT]] ], [ [[UMAX]], [[CONT]] ]
  28 ; ALWAYS-NEXT:    [[X5:%.*]] = ptrtoint ptr [[A_MUX_LCSSA4]] to i64
  29 ; ALWAYS-NEXT:    br label [[WHILE_END:%.*]]
  30 ; ALWAYS:       while.end.loopexit:
  31 ; ALWAYS-NEXT:    br label [[WHILE_END]]
  32 ; ALWAYS:       while.end:
  33 ; ALWAYS-NEXT:    ret void
  34 ;
  35 ; NEVER-LABEL: @d(
  36 ; NEVER-NEXT:  entry:
  37 ; NEVER-NEXT:    [[CMP:%.*]] = icmp ule ptr [[C:%.*]], @a
  38 ; NEVER-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds i8, ptr [[C]], i64 -65535
  39 ; NEVER-NEXT:    br label [[WHILE_COND:%.*]]
  40 ; NEVER:       while.cond:
  41 ; NEVER-NEXT:    br i1 false, label [[CONT:%.*]], label [[WHILE_END_LOOPEXIT:%.*]]
  42 ; NEVER:       cont:
  43 ; NEVER-NEXT:    [[A_MUX:%.*]] = select i1 [[CMP]], ptr @a, ptr [[C]]
  44 ; NEVER-NEXT:    switch i64 0, label [[WHILE_COND]] [
  45 ; NEVER-NEXT:    i64 -1, label [[HANDLER_POINTER_OVERFLOW_I:%.*]]
  46 ; NEVER-NEXT:    i64 0, label [[HANDLER_POINTER_OVERFLOW_I]]
  47 ; NEVER-NEXT:    ]
  48 ; NEVER:       handler.pointer_overflow.i:
  49 ; NEVER-NEXT:    [[A_MUX_LCSSA4:%.*]] = phi ptr [ [[A_MUX]], [[CONT]] ], [ [[A_MUX]], [[CONT]] ]
  50 ; NEVER-NEXT:    [[X5:%.*]] = ptrtoint ptr [[A_MUX_LCSSA4]] to i64
  51 ; NEVER-NEXT:    br label [[WHILE_END:%.*]]
  52 ; NEVER:       while.end.loopexit:
  53 ; NEVER-NEXT:    br label [[WHILE_END]]
  54 ; NEVER:       while.end:
  55 ; NEVER-NEXT:    ret void
  56 ;
  57 ; CHEAP-LABEL: @d(
  58 ; CHEAP-NEXT:  entry:
  59 ; CHEAP-NEXT:    [[CMP:%.*]] = icmp ule ptr [[C:%.*]], @a
  60 ; CHEAP-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds i8, ptr [[C]], i64 -65535
  61 ; CHEAP-NEXT:    br label [[WHILE_COND:%.*]]
  62 ; CHEAP:       while.cond:
  63 ; CHEAP-NEXT:    br i1 false, label [[CONT:%.*]], label [[WHILE_END_LOOPEXIT:%.*]]
  64 ; CHEAP:       cont:
  65 ; CHEAP-NEXT:    [[A_MUX:%.*]] = select i1 [[CMP]], ptr @a, ptr [[C]]
  66 ; CHEAP-NEXT:    switch i64 0, label [[WHILE_COND]] [
  67 ; CHEAP-NEXT:    i64 -1, label [[HANDLER_POINTER_OVERFLOW_I:%.*]]
  68 ; CHEAP-NEXT:    i64 0, label [[HANDLER_POINTER_OVERFLOW_I]]
  69 ; CHEAP-NEXT:    ]
  70 ; CHEAP:       handler.pointer_overflow.i:
  71 ; CHEAP-NEXT:    [[A_MUX_LCSSA4:%.*]] = phi ptr [ [[A_MUX]], [[CONT]] ], [ [[A_MUX]], [[CONT]] ]
  72 ; CHEAP-NEXT:    [[X5:%.*]] = ptrtoint ptr [[A_MUX_LCSSA4]] to i64
  73 ; CHEAP-NEXT:    br label [[WHILE_END:%.*]]
  74 ; CHEAP:       while.end.loopexit:
  75 ; CHEAP-NEXT:    br label [[WHILE_END]]
  76 ; CHEAP:       while.end:
  77 ; CHEAP-NEXT:    ret void
  78 ;
  79 entry:
  80   %cmp = icmp ule ptr %c, @a
  81   %add.ptr = getelementptr inbounds i8, ptr %c, i64 -65535
  82   br label %while.cond
  83
  84 while.cond:
  85   br i1 icmp ne (i8 0, i8 0), label %cont, label %while.end
  86
  87 cont:
  88   %a.mux = select i1 %cmp, ptr @a, ptr %c
  89   switch i64 0, label %while.cond [
  90   i64 -1, label %handler.pointer_overflow.i
  91   i64 0, label %handler.pointer_overflow.i
  92   ]
  93
  94 handler.pointer_overflow.i:
  95   %a.mux.lcssa4 = phi ptr [ %a.mux, %cont ], [ %a.mux, %cont ]
  96   %x5 = ptrtoint ptr %a.mux.lcssa4 to i64
  97   br label %while.end
  98
  99 while.end:
 100   ret void
 101 }