[llvm] [SCEV] Add predicate in SolveLinEq to ensure B is a multiple of A. (PR #108777)

[LLVM Continuous Integration via llvm-commits]

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `sanitizer-x86_64-linux-qemu` running on `sanitizer-buildbot4` while building `llvm` at step 2 "annotate".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/139/builds/4340

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 2 (annotate) failure: 'python ../sanitizer_buildbot/sanitizers/zorg/buildbot/builders/sanitizers/buildbot_selector.py' (failure) (timed out)
...
[    6.886216] pci_bus 0000:00: root bus resource [bus 00-ff]
[    6.894315] pci 0000:00:00.0: [8086:29c0] type 00 class 0x060000 conventional PCI endpoint
[    6.908216] pci 0000:00:01.0: [1234:1111] type 00 class 0x030000 conventional PCI endpoint
[    6.909216] pci 0000:00:01.0: BAR 0 [mem 0xfd000000-0xfdffffff pref]
[    6.911311] pci 0000:00:01.0: BAR 2 [mem 0xfebf0000-0xfebf0fff]
[    6.915216] pci 0000:00:01.0: ROM [mem 0xfebe0000-0xfebeffff pref]
[    6.915216] pci 0000:00:01.0: Video device with shadowed ROM at [mem 0x000c0000-0x000dffff]
[    6.915216] pci 0000:00:02.0: [8086:100e] type 00 class 0x020000 conventional PCI endpoint
[    6.915216] pci 0000:00:02.0: BAR 0 [mem 0xfebc0000-0xfebdffff]
[    6.916320] pci 0000:00:02.0: BAR 1 [io  0xc000-0xc03f]
command timed out: 1200 seconds without output running [b'python', b'../sanitizer_buildbot/sanitizers/zorg/buildbot/builders/sanitizers/buildbot_selector.py'], attempting to kill
process killed by signal 9
program finished with exit code -1
elapsedTime=3686.807030
Step 29 (start LAM QEMU) failure: start LAM QEMU (failure)
...
[    6.671191] thermal_sys: Registered thermal governor 'user_space'
[    6.676923] cpuidle: using governor menu
[    6.688216] PCI: ECAM [mem 0xb0000000-0xbfffffff] (base 0xb0000000) for domain 0000 [bus 00-ff]
[    6.690729] PCI: ECAM [mem 0xb0000000-0xbfffffff] reserved as E820 entry
[    6.692216] PCI: Using configuration type 1 for base access
[    6.693216] mtrr: your CPUs had inconsistent fixed MTRR settings
[    6.693312] mtrr: your CPUs had inconsistent variable MTRR settings
[    6.693662] mtrr: your CPUs had inconsistent MTRRdefType settings
[    6.693960] mtrr: probably your BIOS does not setup all CPUs.
[    6.694216] mtrr: corrected configuration.
[    6.700216] kprobes: kprobe jump-optimization is enabled. All kprobes are optimized if possible.
[    6.719811] HugeTLB: registered 2.00 MiB page size, pre-allocated 0 pages
[    6.720360] HugeTLB: 28 KiB vmemmap can be freed for a 2.00 MiB page
[    6.734216] ACPI: Added _OSI(Module Device)
[    6.734216] ACPI: Added _OSI(Processor Device)
[    6.734216] ACPI: Added _OSI(3.0 _SCP Extensions)
[    6.734216] ACPI: Added _OSI(Processor Aggregator Device)
[    6.771216] ACPI: 1 ACPI AML tables successfully acquired and loaded
[    6.792216] ACPI: Interpreter enabled
[    6.793216] ACPI: PM: (supports S0 S3 S4 S5)
[    6.793216] ACPI: Using IOAPIC for interrupt routing
[    6.797423] PCI: Using host bridge windows from ACPI; if necessary, use "pci=nocrs" and report a bug
[    6.798157] PCI: Using E820 reservations for host bridge windows
[    6.799474] ACPI: Enabled 2 GPEs in block 00 to 3F
[    6.872537] ACPI: PCI Root Bridge [PCI0] (domain 0000 [bus 00-ff])
[    6.876216] acpi PNP0A08:00: _OSC: OS supports [ExtendedConfig ASPM ClockPM Segments MSI HPX-Type3]
[    6.879216] acpi PNP0A08:00: _OSC: platform does not support [LTR]
[    6.879601] acpi PNP0A08:00: _OSC: OS now controls [PME PCIeCapability]
[    6.885351] PCI host bridge to bus 0000:00
[    6.886122] pci_bus 0000:00: root bus resource [io  0x0000-0x0cf7 window]
[    6.886216] pci_bus 0000:00: root bus resource [io  0x0d00-0xffff window]
[    6.886216] pci_bus 0000:00: root bus resource [mem 0x000a0000-0x000bffff window]
[    6.886216] pci_bus 0000:00: root bus resource [mem 0x80000000-0xafffffff window]
[    6.886216] pci_bus 0000:00: root bus resource [mem 0xc0000000-0xfebfffff window]
[    6.886216] pci_bus 0000:00: root bus resource [mem 0x480000000-0xc7fffffff window]
[    6.886216] pci_bus 0000:00: root bus resource [bus 00-ff]
[    6.894315] pci 0000:00:00.0: [8086:29c0] type 00 class 0x060000 conventional PCI endpoint
[    6.908216] pci 0000:00:01.0: [1234:1111] type 00 class 0x030000 conventional PCI endpoint
[    6.909216] pci 0000:00:01.0: BAR 0 [mem 0xfd000000-0xfdffffff pref]
[    6.911311] pci 0000:00:01.0: BAR 2 [mem 0xfebf0000-0xfebf0fff]
[    6.915216] pci 0000:00:01.0: ROM [mem 0xfebe0000-0xfebeffff pref]
[    6.915216] pci 0000:00:01.0: Video device with shadowed ROM at [mem 0x000c0000-0x000dffff]
[    6.915216] pci 0000:00:02.0: [8086:100e] type 00 class 0x020000 conventional PCI endpoint
[    6.915216] pci 0000:00:02.0: BAR 0 [mem 0xfebc0000-0xfebdffff]
[    6.916320] pci 0000:00:02.0: BAR 1 [io  0xc000-0xc03f]

command timed out: 1200 seconds without output running [b'python', b'../sanitizer_buildbot/sanitizers/zorg/buildbot/builders/sanitizers/buildbot_selector.py'], attempting to kill
process killed by signal 9
program finished with exit code -1
elapsedTime=3686.807030

```

</details>

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