[llvm] [profcheck][CVP] Adding 'unknown' branch weights for `urem` expansion in CVP (PR #180637)

[via llvm-commits]

github-actions[bot] wrote:

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

* 130847 tests passed
* 2938 tests skipped
* 1 test failed

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

### LLVM
<details>
<summary>LLVM.Transforms/CorrelatedValuePropagation/urem-expansion.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\CorrelatedValuePropagation\urem-expansion.ll -passes=correlated-propagation -S | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Transforms\CorrelatedValuePropagation\urem-expansion.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -passes=correlated-propagation -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\CorrelatedValuePropagation\urem-expansion.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\CorrelatedValuePropagation\urem-expansion.ll:195:73: error: undefined variable: RNG1
# | ; CHECK-NEXT: [[X:%.*]] = load i8, ptr [[X_PTR:%.*]], align 1, !range [[RNG1]]
# |                                                                         ^
# | <stdin>:115:2: note: possible intended match here
# |  %x = load i8, ptr %x.ptr, align 1, !range !0
# |  ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\CorrelatedValuePropagation\urem-expansion.ll:428:10: error: CHECK: expected string not found in input
# | ; CHECK: [[META0:![0-9]+]] = !{!"function_entry_count", i64 1000}
# |          ^
# | <stdin>:251:96: note: scanning from here
# | attributes #0 = { nocallback nofree nosync nounwind willreturn memory(inaccessiblemem: write) }
# |                                                                                                ^
# | <stdin>:253:1: note: possible intended match here
# | !0 = !{i8 0, i8 4}
# | ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Transforms\CorrelatedValuePropagation\urem-expansion.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |              .
# |              .
# |              .
# |            109:  %rem.cmp = icmp ult i8 %x.frozen, %y.frozen 
# |            110:  %rem = select i1 %rem.cmp, i8 %x.frozen, i8 %rem.urem 
# |            111:  ret i8 %rem 
# |            112: } 
# |            113:  
# |            114: define i8 @variable.v4.range(ptr %x.ptr, ptr %y.ptr) { 
# | next:195'0                                   X~~~~~~~~~~~~~~~~~~~~~~~~~ error: match failed for invalid pattern
# | next:195'1                                                              undefined variable: RNG1
# |            115:  %x = load i8, ptr %x.ptr, align 1, !range !0 
# | next:195'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:195'2       ?                                             possible intended match
# |            116:  %y = load i8, ptr %y.ptr, align 1, !range !1 
# | next:195'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            117:  %x.frozen = freeze i8 %x 
# | next:195'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            118:  %y.frozen = freeze i8 %y 
# | next:195'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            119:  %rem.urem = sub nuw i8 %x.frozen, %y.frozen 
# | next:195'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            120:  %rem.cmp = icmp ult i8 %x.frozen, %y.frozen 
# | next:195'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |              .
# |              .
# |              .
# |            246:  call void @llvm.assume(i1 %cmp.x.lower) 
# |            247:  %rem = sub nuw i8 %x, 3 
# |            248:  ret i8 %rem 
# |            249: } 
# |            250:  
# |            251: attributes #0 = { nocallback nofree nosync nounwind willreturn memory(inaccessiblemem: write) } 
# | check:428'0                                                                                                    X error: no match found
# |            252:  
# | check:428'0     ~
# |            253: !0 = !{i8 0, i8 4} 
# | check:428'0     ~~~~~~~~~~~~~~~~~~~
# | check:428'1     ?                   possible intended match
# |            254: !1 = !{i8 3, i8 5} 
# | check:428'0     ~~~~~~~~~~~~~~~~~~~
# |            255: !2 = !{i8 0, i8 -127} 
# | check:428'0     ~~~~~~~~~~~~~~~~~~~~~~
# | >>>>>>
# `-----------------------------
# 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/180637