1; RUN: opt -S -indvars < %s | FileCheck %s
2
3target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
4target triple = "x86_64-apple-macosx10.11.0"
5
6declare void @use(i1)
7
8define void @f(i32 %x) {
9; CHECK-LABEL: @f(
10 entry:
11  %conv = sext i32 %x to i64
12  %sub = add i64 %conv, -1
13  %ec = icmp sgt i32 %x, 0
14  br i1 %ec, label %loop, label %leave
15
16 loop:
17; CHECK: loop:
18  %iv = phi i64 [ 0, %entry ], [ %iv.inc, %loop ]
19  %iv.inc = add i64 %iv, 1
20  %cmp = icmp slt i64 %iv, %sub
21  call void @use(i1 %cmp)
22; CHECK: call void @use(i1 %cmp)
23; CHECK-NOT: call void @use(i1 true)
24
25  %be.cond = icmp slt i64 %iv.inc, %conv
26  br i1 %be.cond, label %loop, label %leave
27
28 leave:
29  ret void
30}
31