; RUN: opt < %s -indvars -S | FileCheck %s | |
declare i1 @b() | |
define i32 @a(i32 %x) nounwind { | |
for.body.preheader: | |
%y = sdiv i32 10, %x | |
br label %for.body | |
for.body: | |
%cmp = call i1 @b() | |
br i1 %cmp, label %for.body, label %for.end.loopexit | |
for.end.loopexit: | |
ret i32 %y | |
} | |
; CHECK: for.end.loopexit: | |
; CHECK: sdiv | |
; CHECK: ret |