maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Add extra ops in add to sub transform test in order to enforce proper operand ordering. NFC 

llvm-svn: 355291
This commit is contained in:
Amaury Sechet 2019-03-03 15:11:13 +00:00
parent 5fa53d1593
commit d341a94261
1 changed files with 8 additions and 4 deletions
llvm/test/Transforms/InstCombine
add.ll

12
llvm/test/Transforms/InstCombine/add.ll
View File

@ -948,13 +948,15 @@ define i32 @add_not_increment_commuted(i32 %A, i32 %B) {
}
; E = (A + ~B) + 1 = A - B
define i32 @add_to_sub(i32 %A, i32 %B) {
define i32 @add_to_sub(i32 %M, i32 %B) {
; CHECK-LABEL: @add_to_sub(
; CHECK-NEXT: [[A:%.*]] = mul i32 [[M:%.*]], 42
; CHECK-NEXT: [[C:%.*]] = xor i32 [[B:%.*]], -1
; CHECK-NEXT: [[D:%.*]] = add i32 [[C]], [[A:%.*]]
; CHECK-NEXT: [[D:%.*]] = add i32 [[A]], [[C]]
; CHECK-NEXT: [[E:%.*]] = add i32 [[D]], 1
; CHECK-NEXT: ret i32 [[E]]
;
%A = mul i32 %M, 42 ; thwart complexity-based ordering
%C = xor i32 %B, -1
%D = add i32 %A, %C
%E = add i32 %D, 1
@ -962,13 +964,15 @@ define i32 @add_to_sub(i32 %A, i32 %B) {
}
; E = (~B + A) + 1 = A - B
define i32 @add_to_sub2(i32 %A, i32 %B) {
define i32 @add_to_sub2(i32 %A, i32 %M) {
; CHECK-LABEL: @add_to_sub2(
; CHECK-NEXT: [[C:%.*]] = xor i32 [[B:%.*]], -1
; CHECK-NEXT: [[B:%.*]] = mul i32 [[M:%.*]], 42
; CHECK-NEXT: [[C:%.*]] = xor i32 [[B]], -1
; CHECK-NEXT: [[D:%.*]] = add i32 [[C]], [[A:%.*]]
; CHECK-NEXT: [[E:%.*]] = add i32 [[D]], 1
; CHECK-NEXT: ret i32 [[E]]
;
%B = mul i32 %M, 42 ; thwart complexity-based ordering
%C = xor i32 %B, -1
%D = add i32 %C, %A
%E = add i32 %D, 1