RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-02-27 15:57:30 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[InstCombine] Add some test cases for (add (sext x), (sext y)) --> (sext (add int x, y)) and (mul (sext x), (sext y)) --> (sext (mul x, y)). NFC

Browse Source 
llvm-svn: 342203
This commit is contained in:
Craig Topper 2018-09-14 05:16:58 +00:00
parent 79083b107c
commit f10946702d
1 changed files with 33 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
test/Transforms/InstCombine/sink-zext.ll
View File

@ -328,4 +328,37 @@ define <2 x i64> @test10_vec(<2 x i32> %V) {
ret <2 x i64> %mul
}
define i64 @test11(i32 %V) {
; CHECK-LABEL: @test11(
; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), !range !1
; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), !range !1
; CHECK-NEXT: [[ADDCONV:%.*]] = add nsw i32 [[CALL1]], [[CALL2]]
; CHECK-NEXT: [[ADD:%.*]] = sext i32 [[ADDCONV]] to i64
; CHECK-NEXT: ret i64 [[ADD]]
;
%call1 = call i32 @callee(), !range !1
%call2 = call i32 @callee(), !range !1
%sext1 = sext i32 %call1 to i64
%sext2 = sext i32 %call2 to i64
%add = add i64 %sext1, %sext2
ret i64 %add
}
define i64 @test12(i32 %V) {
; CHECK-LABEL: @test12(
; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), !range !1
; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), !range !1
; CHECK-NEXT: [[MULCONV:%.*]] = mul nsw i32 [[CALL1]], [[CALL2]]
; CHECK-NEXT: [[TMP1:%.*]] = zext i32 [[MULCONV]] to i64
; CHECK-NEXT: ret i64 [[TMP1]]
;
%call1 = call i32 @callee(), !range !1
%call2 = call i32 @callee(), !range !1
%sext1 = sext i32 %call1 to i64
%sext2 = sext i32 %call2 to i64
%add = mul i64 %sext1, %sext2
ret i64 %add
}
!0 = !{ i32 0, i32 2000 }
!1 = !{ i32 -2000, i32 0 }