Use getMinSignedBits and add a few more tests

Author: PiJoules

llvm/lib/Target/X86/X86InstrCompiler.td

@@ -1264,8 +1264,7 @@ def inRange32GlobalAddr : PatLeaf<(tglobaladdr:$dst), [{
   std::optional<ConstantRange> CR = GA->getGlobal()->getAbsoluteSymbolRange();
   if (!CR)
     return true;
-  return CR->getSignedMin().sge(-1ull << 32) &&
-         CR->getSignedMax().slt(1ull << 32);
+  return CR->getMinSignedBits() <= 32;
 }]>;
 def : Pat<(i64 (X86Wrapper inRange32GlobalAddr:$dst)),
           (MOV64ri32 tglobaladdr:$dst)>, Requires<[KernelCode]>;

llvm/test/CodeGen/X86/absolute-symbol-kernel-code-model.ll

@@ -2,21 +2,48 @@
 
 target triple = "x86_64-unknown-linux-gnu"
 
+; CHECK-LABEL: func_no_abs_sym
+define i64 @func_no_abs_sym() nounwind {
+  ; CHECK: movq $no_abs_sym, %rax
+  %1 = ptrtoint ptr @no_abs_sym to i64
+  ret i64 %1
+}
+
 ; CHECK-LABEL: func_abs_sym
 define i64 @func_abs_sym() nounwind {
   ; CHECK: movabsq $abs_sym, %rax
   %1 = ptrtoint ptr @abs_sym to i64
   ret i64 %1
 }
 
-; CHECK-LABEL: func_no_abs_sym
-define i64 @func_no_abs_sym() nounwind {
-  ; CHECK: movq $no_abs_sym, %rax
-  %1 = ptrtoint ptr @no_abs_sym to i64
+; CHECK-LABEL: func_abs_sym_in_range
+define i64 @func_abs_sym_in_range() nounwind {
+  ; CHECK: movq $abs_sym_in_range, %rax
+  %1 = ptrtoint ptr @abs_sym_in_range to i64
+  ret i64 %1
+}
+
+; CHECK-LABEL: func_abs_sym_min_out_of_range
+define i64 @func_abs_sym_min_out_of_range() nounwind {
+  ; CHECK: movabsq $abs_sym_min_out_of_range, %rax
+  %1 = ptrtoint ptr @abs_sym_min_out_of_range to i64
+  ret i64 %1
+}
+
+; CHECK-LABEL: func_abs_sym_max_out_of_range
+define i64 @func_abs_sym_max_out_of_range() nounwind {
+  ; CHECK: movabsq $abs_sym_max_out_of_range, %rax
+  %1 = ptrtoint ptr @abs_sym_max_out_of_range to i64
   ret i64 %1
 }
 
-@abs_sym = external hidden global [0 x i8], !absolute_symbol !0
 @no_abs_sym = external hidden global [0 x i8]
+@abs_sym = external hidden global [0 x i8], !absolute_symbol !0
+@abs_sym_in_range = external hidden global [0 x i8], !absolute_symbol !1
+@abs_sym_min_out_of_range = external hidden global [0 x i8], !absolute_symbol !2
+@abs_sym_max_out_of_range = external hidden global [0 x i8], !absolute_symbol !3
 
-!0 = !{i64 -1, i64 -1}
+!0 = !{i64 -1, i64 -1}  ;; Full range
+!1 = !{i64 -2147483648, i64 2147483648}  ;; Note the upper bound is exclusive.
+!2 = !{i64 -2147483649, i64 2147483648}  ;; Min is one below -2^31
+!3 = !{i64 -2147483648, i64 2147483649}  ;; Max is one above 2^31-1