commit 3afda09f95869874f957535b9b9af49eed8a9ad3
author Matt Arsenault <Matthew.Arsenault@amd.com> Fri Apr 28 13:58:33 2023 -0400
committer Copybara-Service <copybara-worker@google.com> Tue Jul 11 06:32:57 2023 -0700
tree 361a07e665614c639e3e8668e74891e56d108737
parent 9e5420b73f1418b8f12f5617e2de63d744cf4c92

ValueTracking: Implement computeKnownFPClass for ldexp

https://reviews.llvm.org/D149590

GitOrigin-RevId: e1ac984a1095d3364640c1ff1a137436c5084129

test/Transforms/Inline/simplify-instruction-computeKnownFPClass-context.ll

diff --git a/test/Transforms/Inline/simplify-instruction-computeKnownFPClass-context.ll b/test/Transforms/Inline/simplify-instruction-computeKnownFPClass-context.ll
index 7e9f621..a6360ea 100644
--- a/test/Transforms/Inline/simplify-instruction-computeKnownFPClass-context.ll
+++ b/test/Transforms/Inline/simplify-instruction-computeKnownFPClass-context.ll
@@ -165,5 +165,24 @@
   ret void
 }
 
+define i1 @simplify_fcmp_ord_ldexp_caller(double nofpclass(zero inf) %i0) {
+; CHECK-LABEL: define i1 @simplify_fcmp_ord_ldexp_caller
+; CHECK-SAME: (double nofpclass(inf zero) [[I0:%.*]]) {
+; CHECK-NEXT:    [[LDEXP_I:%.*]] = call double @llvm.ldexp.f64.i32(double [[I0]], i32 42)
+; CHECK-NEXT:    [[CMP_I:%.*]] = fcmp one double [[LDEXP_I]], 0x7FF0000000000000
+; CHECK-NEXT:    ret i1 [[CMP_I]]
+;
+  %call = call i1 @simplify_fcmp_ord_ldexp_callee(double %i0)
+  ret i1 %call
+}
+
+define internal i1 @simplify_fcmp_ord_ldexp_callee(double %a) {
+  %ldexp = call double @llvm.ldexp.f64.i32(double %a, i32 42)
+  %cmp = fcmp one double %ldexp, 0x7FF0000000000000
+  ret i1 %cmp
+}
+
+declare double @llvm.ldexp.f64.i32(double, i32)
+
 attributes #0 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
 attributes #1 = { nocallback nofree nosync nounwind willreturn memory(none) }