RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 04:02:41 +01:00
Code Issues Projects Releases Wiki Activity

[InstCombine] add tests for known bits before FP casts; NFC

Browse Source
This commit is contained in:
Sanjay Patel 2020-05-08 13:44:03 -04:00
parent ce1d3e5fcc
commit c6b0520e64
1 changed files with 29 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
test/Transforms/InstCombine/sitofp.ll
View File

@ -216,3 +216,32 @@ define i55 @test19(i64 %A) {
ret i55 %C
}
; TODO: The mask guarantees that the input is small enough to eliminate the FP casts.
define i25 @masked_input(i25 %A) {
; CHECK-LABEL: @masked_input(
; CHECK-NEXT: [[M:%.*]] = and i25 [[A:%.*]], 65535
; CHECK-NEXT: [[B:%.*]] = uitofp i25 [[M]] to float
; CHECK-NEXT: [[C:%.*]] = fptoui float [[B]] to i25
; CHECK-NEXT: ret i25 [[C]]
;
%m = and i25 %A, 65535
%B = uitofp i25 %m to float
%C = fptoui float %B to i25
ret i25 %C
}
; TODO: Clear the low bit - guarantees that the input is converted to FP without rounding.
define i25 @low_masked_input(i25 %A) {
; CHECK-LABEL: @low_masked_input(
; CHECK-NEXT: [[M:%.*]] = and i25 [[A:%.*]], -2
; CHECK-NEXT: [[B:%.*]] = uitofp i25 [[M]] to float
; CHECK-NEXT: [[C:%.*]] = fptoui float [[B]] to i25
; CHECK-NEXT: ret i25 [[C]]
;
%m = and i25 %A, -2
%B = uitofp i25 %m to float
%C = fptoui float %B to i25
ret i25 %C
}