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
7target 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
11define internal fastcc void @d(i8* %c) unnamed_addr #0 {
12entry:
13  %cmp = icmp ule i8* %c, getelementptr inbounds (i8, i8* @a, i64 65535)
14  %add.ptr = getelementptr inbounds i8, i8* %c, i64 -65535
15  br label %while.cond
16
17while.cond:
18  br i1 icmp ne (i8 0, i8 0), label %cont, label %while.end
19
20cont:
21  %a.mux = select i1 %cmp, i8* @a, i8* %add.ptr
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
27handler.pointer_overflow.i:
28  %a.mux.lcssa4 = phi i8* [ %a.mux, %cont ], [ %a.mux, %cont ]
29; ALWAYS: [ %scevgep, %cont ], [ %scevgep, %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
36while.end:
37  ret void
38}
39