2009-09-12 02:01:28 +08:00
|
|
|
; RUN: opt < %s -indvars -S | FileCheck %s --check-prefix=CHECK
|
2009-07-16 06:48:29 +08:00
|
|
|
|
|
|
|
|
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
|
