Mercurial > hg > CbC > CbC_llvm

view test/Transforms/IndVarSimplify/2012-10-19-congruent-constant.ll @ 52:c22698ecb2a9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
modified CreateIdentifierInfo and create new function which was named 'CreateUniqueIdentifierInfo'.
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Wed, 15 Jan 2014 21:01:33 +0900
parents 95c75e76d11b
children
line wrap: on
line source

; RUN: opt -S -indvars < %s | FileCheck %s

; PR12627
define void @test1(i32 %x) nounwind uwtable ssp {
entry:
  br label %for.body

for.body:                                         ; preds = %for.body, %entry
  %phi1 = phi i1 [ false, %entry ], [ %cmpa, %for.body ]
  %phi2 = phi i1 [ false, %entry ], [ %cmpb, %for.body ]
  %i.07 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  tail call void @aux(i1 %phi1, i1 %phi2) nounwind
  %cmpa = icmp sgt i32 %i.07, 200
  %cmpb = icmp sgt i32 %i.07, 100
  %inc = add nsw i32 %i.07, 1
  %exitcond = icmp eq i32 %inc, 100
  br i1 %exitcond, label %for.end, label %for.body

for.end:                                          ; preds = %for.body
  ret void

; CHECK-LABEL: @test1(
; CHECK-NOT: phi i1
; CHECK: call void @aux(i1 false, i1 false)
}

declare void @aux(i1, i1)