1; RUN: opt < %s -indvars -S | FileCheck %s --check-prefix=CHECK 2 3declare i1 @b() 4 5define i32 @a(i32 %x) nounwind { 6for.body.preheader: 7 %y = sdiv i32 10, %x 8 br label %for.body 9 10for.body: 11 %cmp = call i1 @b() 12 br i1 %cmp, label %for.body, label %for.end.loopexit 13 14for.end.loopexit: 15 ret i32 %y 16} 17; CHECK: for.end.loopexit: 18; CHECK: sdiv 19; CHECK: ret 20