Mercurial > hg > CbC > CbC_llvm

comparison test/Transforms/IndVarSimplify/lftr-extend-const.ll @ 77:54457678186b LLVM3.6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 3.6
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Mon, 08 Sep 2014 22:06:00 +0900
parents 95c75e76d11b
children 60c9769439b8
comparison
equal deleted inserted replaced
34:e874dbf0ad9d 77:54457678186b
1 ;RUN: opt -S %s -indvars | FileCheck %s 1 ;RUN: opt -S %s -indvars | FileCheck %s
2 2
3 ; CHECK-LABEL-LABEL: @foo( 3 ; CHECK-LABEL: @foo(
4 ; CHECK-NOT: %lftr.wideiv = trunc i32 %indvars.iv.next to i16 4 ; CHECK-NOT: %lftr.wideiv = trunc i32 %indvars.iv.next to i16
5 ; CHECK: %exitcond = icmp ne i32 %indvars.iv.next, 512 5 ; CHECK: %exitcond = icmp ne i32 %indvars.iv, 511
6 define void @foo() #0 { 6 define void @foo() #0 {
7 entry: 7 entry:
8 br label %for.body 8 br label %for.body
9 9
10 for.body: ; preds = %entry, %for.body 10 for.body: ; preds = %entry, %for.body
18 for.end: ; preds = %for.body 18 for.end: ; preds = %for.body
19 ret void 19 ret void
20 } 20 }
21 21
22 ; Check that post-incrementing the backedge taken count does not overflow. 22 ; Check that post-incrementing the backedge taken count does not overflow.
23 ; CHECK-LABEL-LABEL: @postinc( 23 ; CHECK-LABEL: @postinc(
24 ; CHECK: icmp eq i32 %indvars.iv.next, 256 24 ; CHECK: icmp eq i32 %indvars.iv, 255
25 define i32 @postinc() #0 { 25 define i32 @postinc() #0 {
26 entry: 26 entry:
27 br label %do.body 27 br label %do.body
28 28
29 do.body: ; preds = %do.body, %entry 29 do.body: ; preds = %do.body, %entry