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

[NFC] Added a negative test for new fold 

llvm-svn: 370890
This commit is contained in:
David Bolvansky 2019-09-04 12:46:25 +00:00
parent 801f6a495c
commit b9e9478244
1 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
llvm/test/Transforms/InstCombine/sub-and-or-not-xor.ll
View File

@ -99,3 +99,22 @@ define <2 x i32> @sub_to_xor_vec(<2 x i32> %x, <2 x i32> %y) {
%sub = sub <2 x i32> %and, %or
ret <2 x i32> %sub
}
; Negative tests
define i32 @sub_to_xor_extra_use_and_or(i32 %x, i32 %y) {
; CHECK-LABEL: @sub_to_xor_extra_use_and_or(
; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: call void @use(i32 [[OR]])
; CHECK-NEXT: [[AND:%.*]] = and i32 [[X]], [[Y]]
; CHECK-NEXT: call void @use(i32 [[AND]])
; CHECK-NEXT: [[SUB:%.*]] = sub i32 [[AND]], [[OR]]
; CHECK-NEXT: ret i32 [[SUB]]
;
%or = or i32 %x, %y
call void @use(i32 %or)
%and = and i32 %x, %y
call void @use(i32 %and)
%sub = sub i32 %and, %or
ret i32 %sub
}