Add new SCEV, SCEVSMax. This allows LLVM to analyze do-while loops.
[oota-llvm.git] / test / Analysis / ScalarEvolution / smax.ll
1 ; RUN: llvm-as < %s | opt -analyze -scalar-evolution | grep smax | count 2
2 ; RUN: llvm-as < %s | opt -analyze -scalar-evolution | grep \
3 ; RUN:     "%. smax  %. smax  %."
4 ; PR1614
5
6 define i32 @x(i32 %a, i32 %b, i32 %c) {
7   %A = icmp sgt i32 %a, %b
8   %B = select i1 %A, i32 %a, i32 %b
9   %C = icmp sle i32 %c, %B
10   %D = select i1 %C, i32 %B, i32 %c
11   ret i32 %D
12 }