maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/llvm/test/Transforms/CorrelatedValuePropagation/2010-09-02-Trunc.ll

26 lines
459 B
LLVM
Raw Normal View History

Fix a bug in LazyValueInfo that CorrelatedValuePropagation exposed: In the LVI lattice, undef and the full set ConstantRange should not be treated as equivalent. llvm-svn: 112843
2010-09-03 02:23:58 +08:00
; RUN: opt -S < %s -correlated-propagation | FileCheck %s
Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change. This update was done with the following bash script: find test/Transforms -name "*.ll" | \ while read NAME; do echo "$NAME" if ! grep -q "^; *RUN: *llc" $NAME; then TEMP=`mktemp -t temp` cp $NAME $TEMP sed -n "s/^define [^@]*@\([A-Za-z0-9_]*\)(.*$/\1/p" < $NAME | \ while read FUNC; do sed -i '' "s/;\(.*\)\([A-Za-z0-9_]*\):\( *\)@$FUNC\([( ]*\)\$/;\1\2-LABEL:\3@$FUNC(/g" $TEMP done mv $TEMP $NAME fi done llvm-svn: 186268
2013-07-14 09:42:54 +08:00
; CHECK-LABEL: @test(
Fix a bug in LazyValueInfo that CorrelatedValuePropagation exposed: In the LVI lattice, undef and the full set ConstantRange should not be treated as equivalent. llvm-svn: 112843
2010-09-03 02:23:58 +08:00
define i16 @test(i32 %a, i1 %b) {
entry:
%c = icmp eq i32 %a, 0
br i1 %c, label %left, label %right
right:
%d = trunc i32 %a to i1
br label %merge
left:
br i1 %b, label %merge, label %other
other:
ret i16 23
merge:
%f = phi i1 [%b, %left], [%d, %right]
; CHECK: select i1 %f, i16 1, i16 0
%h = select i1 %f, i16 1, i16 0
; CHECK: ret i16 %h
ret i16 %h
Add newlines at end of test files, no functionality change llvm-svn: 186263
2013-07-14 06:00:58 +08:00
}