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