From c6b0520e649dfe8ce6701d83fb9330638918c120 Mon Sep 17 00:00:00 2001
From: Sanjay Patel <spatel@rotateright.com>
Date: Fri, 8 May 2020 13:44:03 -0400
Subject: [PATCH] [InstCombine] add tests for known bits before FP casts; NFC

---
 test/Transforms/InstCombine/sitofp.ll | 29 +++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/test/Transforms/InstCombine/sitofp.ll b/test/Transforms/InstCombine/sitofp.ll
index 149154723b9..57431b9af1e 100644
--- a/test/Transforms/InstCombine/sitofp.ll
+++ b/test/Transforms/InstCombine/sitofp.ll
@@ -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
+}