maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/llvm/test/CodeGen/ARM/2012-11-14-subs_carry.ll

32 lines
632 B
LLVM
Raw Normal View History

The code pattern "imm0_255_neg" is used for checking if an immediate value is a small negative number. This patch changes the definition of negative from -0..-255 to -1..-255. I am changing this because of a bug that we had in some of the patterns that assumed that "subs" of zero does not set the carry flag. rdar://12028498 llvm-svn: 167963
2012-11-15 03:39:15 +08:00
; RUN: llc < %s -mtriple=thumbv7-apple-ios | FileCheck %s
Update to more CodeGen tests to use CHECK-LABEL for labels corresponding to function definitions for more informative error messages. No functionality change. All changes were made by the following bash script: find test/CodeGen -name "*.ll" | \ while read NAME; do echo "$NAME" grep -q "^; *RUN: *llc.*debug" $NAME && continue grep -q "^; *RUN:.*llvm-objdump" $NAME && continue grep -q "^; *RUN: *opt.*" $NAME && continue 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_-]*\)\([A-Za-z0-9_-]*\):\( *\)$FUNC[:]* *\$/;\1\2-LABEL:\3$FUNC:/g" $TEMP done sed -i '' "s/;\(.*\)-LABEL-LABEL:/;\1-LABEL:/" $TEMP sed -i '' "s/;\(.*\)-NEXT-LABEL:/;\1-NEXT:/" $TEMP sed -i '' "s/;\(.*\)-NOT-LABEL:/;\1-NOT:/" $TEMP sed -i '' "s/;\(.*\)-DAG-LABEL:/;\1-DAG:/" $TEMP mv $TEMP $NAME done This script catches a superset of the cases caught by the script associated with commit r186280. It initially found some false positives due to unusual constructs in a minority of tests; all such cases were disambiguated first in commit r186621. llvm-svn: 186624
2013-07-19 06:47:09 +08:00
;CHECK-LABEL: foo:
The code pattern "imm0_255_neg" is used for checking if an immediate value is a small negative number. This patch changes the definition of negative from -0..-255 to -1..-255. I am changing this because of a bug that we had in some of the patterns that assumed that "subs" of zero does not set the carry flag. rdar://12028498 llvm-svn: 167963
2012-11-15 03:39:15 +08:00
;CHECK: adds
;CHECK-NEXT: adc
;CHECK-NEXT: bx
;rdar://12028498
define i32 @foo() nounwind ssp {
entry:
%tmp2 = zext i32 3 to i64
br label %bug_block
bug_block:
%tmp410 = and i64 1031, 1647010
%tmp411 = and i64 %tmp2, -211
%tmp412 = shl i64 %tmp410, %tmp2
%tmp413 = shl i64 %tmp411, %tmp2
%tmp415 = and i64 %tmp413, 1
%tmp420 = xor i64 0, %tmp415
%tmp421 = and i64 %tmp412, %tmp415
%tmp422 = shl i64 %tmp421, 1
br label %finish
finish:
%tmp423 = lshr i64 %tmp422, 32
%tmp424 = trunc i64 %tmp423 to i32
ret i32 %tmp424
}