RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2025-01-31 09:22:31 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[InstCombine] Add tests to demonstrate the miscompile in PR33078.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@303445 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Davide Italiano 2017-05-19 19:23:24 +00:00
parent c81a193613
commit 9484675111
1 changed files with 39 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

39
test/Transforms/InstCombine/cast.ll
View File

@ -1470,3 +1470,42 @@ define i32 @test93(i32 %A) {
%D = trunc i96 %C to i32
ret i32 %D
}
; The following three tests show a miscompile of sext + lshr + trunc patterns.
; PR33078
define i8 @pr33078_1(i8 %A) {
; CHECK-LABEL: @pr33078_1(
; CHECK-NEXT: [[C:%.*]] = ashr i8 [[A:%.*]], 7
; CHECK-NEXT: ret i8 [[C]]
;
%B = sext i8 %A to i16
%C = lshr i16 %B, 8
%D = trunc i16 %C to i8
ret i8 %D
}
define i12 @pr33078_2(i8 %A) {
; CHECK-LABEL: @pr33078_2(
; CHECK-NEXT: [[C:%.*]] = ashr i8 [[A:%.*]], 4
; CHECK-NEXT: [[D:%.*]] = sext i8 [[C]] to i12
; CHECK-NEXT: ret i12 [[D]]
;
%B = sext i8 %A to i16
%C = lshr i16 %B, 4
%D = trunc i16 %C to i12
ret i12 %D
}
define i4 @pr33078_3(i8 %A) {
; CHECK-LABEL: @pr33078_3(
; CHECK-NEXT: [[B:%.*]] = sext i8 [[A:%.*]] to i16
; CHECK-NEXT: [[C:%.*]] = lshr i16 [[B]], 12
; CHECK-NEXT: [[D:%.*]] = trunc i16 [[C]] to i4
; CHECK-NEXT: ret i4 [[D]]
;
%B = sext i8 %A to i16
%C = lshr i16 %B, 12
%D = trunc i16 %C to i4
ret i4 %D
}