[llvm] [LowerSwitch] Use unsigned integer for range comparasion (PR #93237)

[Antonio Frighetto via llvm-commits]

================
@@ -0,0 +1,94 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -passes=lower-switch -S | FileCheck %s
+define void @i3_range_4(i3 %0) {
+; CHECK-LABEL: @i3_range_4(
+; CHECK-NEXT:  bb.0:
+; CHECK-NEXT:    br label [[LEAFBLOCK:%.*]]
+; CHECK:       LeafBlock:
+; CHECK-NEXT:    [[DOTOFF:%.*]] = add i3 [[TMP0:%.*]], 2
----------------
antoniofrighetto wrote:

Where does this `tmp0` come from? Could you add Alive2 proofs please?

https://github.com/llvm/llvm-project/pull/93237