[llvm] [InstCombine] Re-queue users after freezeOtherUses rewrites their operands (PR #202306)

[via llvm-commits]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results

* 135689 tests passed
* 3428 tests skipped
* 1 test failed

## Failed Tests
(click on a test name to see its output)

### LLVM
<details>
<summary>LLVM.Transforms/PGOProfile/chr.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Transforms\PGOProfile\chr.ll -passes='require<profile-summary>,function(chr,instcombine,simplifycfg)' -S | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Transforms\PGOProfile\chr.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' '-passes=require<profile-summary>,function(chr,instcombine,simplifycfg)' -S
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\llvm\test\Transforms\PGOProfile\chr.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\PGOProfile\chr.ll:1926:15: error: CHECK-NEXT: is not on the line after the previous match
# | ; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i64 [[J:%.*]], [[K2:%.*]]
# |               ^
# | <stdin>:878:2: note: 'next' match was here
# |  %cmp0 = icmp ne i64 %j.fr, %k.fr
# |  ^
# | <stdin>:875:23: note: previous match ended here
# |  %j.fr = freeze i64 %j
# |                       ^
# | <stdin>:876:1: note: non-matching line after previous match is here
# |  %i.fr = freeze i64 %i
# | ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Transforms\PGOProfile\chr.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |            .
# |            .
# |            .
# |          873: define i32 @test_chr_21(i64 %i, i64 %k, i64 %j) #0 !prof !14 { 
# |          874: entry: 
# |          875:  %j.fr = freeze i64 %j 
# |          876:  %i.fr = freeze i64 %i 
# |          877:  %k.fr = freeze i64 %k 
# |          878:  %cmp0 = icmp ne i64 %j.fr, %k.fr 
# | next:1926      !~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~  error: match on wrong line
# |          879:  %cmp3 = icmp ne i64 %j.fr, %i.fr 
# |          880:  %cmp.i = icmp ne i64 %i.fr, 86 
# |          881:  %0 = and i1 %cmp0, %cmp3 
# |          882:  %1 = and i1 %0, %cmp.i 
# |          883:  br i1 %1, label %bb1, label %entry.split.nonchr, !prof !15 
# |            .
# |            .
# |            .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

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