<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/126836>126836</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            wrf in SPEC2017 emits "Verification Error" on Grace when using llvmorg-20.1.0-rc1
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            regression
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          yus3710-fj
      </td>
    </tr>
</table>

<pre>
    * CPU2017.*.log
```
runcpu v6612 started at 2025-02-12 10:12:40 on "***"
runcpu is: /path/to/cpu2017-1.1.0/bin/harness/runcpu
runcpu: runcpu -I --action run -T base -c /path/to/config.cfg -i ref -n 1 --threads=1 --output_root=/path/to/output -o asc 521
toolset: linux-aarch64
suite: CPU2017 1.1.9
 :
Benchmarks selected: 521.wrf_r
Compiling Binaries
------------------------------------------------------------------------
 :
O: OPTIMIZE="-O2 -mcpu=neoverse-v2"
 :
flang version 20.1.0-rc1 (https://github.com/llvm/llvm-project.git af7f483a9d801252247b6c72e3763c1f55c5a506)
Target: aarch64-unknown-linux-gnu
Thread model: posix
InstalledDir: /path/to/bin
clang version 20.1.0-rc1 (https://github.com/llvm/llvm-project.git af7f483a9d801252247b6c72e3763c1f55c5a506)
Target: aarch64-unknown-linux-gnu
Thread model: posix
InstalledDir: /path/to/bin
 :
Setting Up Run Directories
  Setting up 521.wrf_r refrate (ref) base mytest-64 (1 copy): run_base_refrate_mytest-64.0000
-----------------------------------
Running Benchmarks
-----------------------------------
 :
Error with '/path/to/cpu2017-1.1.0/bin/specinvoke -d /path/to/output/benchspec/CPU/521.wrf_r/run/run_base_refrate_mytest-64.0000 -f compare.cmd -E -e compare.err -o compare.stdout'; no non-empty output files exist
  Command returned exit code 1
*** Miscompare of diffwrf_output_01.txt; for details see
 /path/to/output/benchspec/CPU/521.wrf_r/run/run_base_refrate_mytest-64.0000/diffwrf_output_01.txt.mis
0015: W    PASSED
                W    121182    1   0.7117559909E-01 0.6272285812E-01   0   0.3873E-01   0.1085E+01
                  ^
0105: RAINC    PASSED
            RAINC      1132    2   0.5266002302E+01 0.7384289461E+01   0   0.2787E+01   0.4166E+00
                  ^
0107: RAINNC    PASSED
           RAINNC      4114    1   0.4236885721E+01 0.3284801810E+01   0   0.1728E+01   0.9835E+00
                  ^
0244: RAINC    PASSED
            RAINC      1359    2   0.9852032964E+01 0.1287943984E+02   0   0.4379E+01   0.4672E+00
                  ^
0246: RAINNC    PASSED
           RAINNC      4118    1   0.1017513524E+02 0.8983057159E+01   0   0.2827E+01   0.6375E+00
                  ^
0383: RAINC    PASSED
            RAINC      1510    2   0.1283821850E+02 0.1616687672E+02   0   0.4926E+01   0.4845E+00
 ^
Benchmark Times:
  Run Start:    2025-02-12 10:12:46 (1739322766)
  Rate Start:   2025-02-12 10:12:46 (1739322766.13335)
  Rate End:     2025-02-12 10:15:34 (1739322934.19951)
  Run Stop:     2025-02-12 10:15:34 (1739322934)
  Run Elapsed:  00:02:48 (168)
  Run Reported: 00:02:48 (168 66154003 168.066154)
 Error 521.wrf_r base refrate ratio=13.33, runtime=168.066154, copies=1, threads=1, power=0.00W, temp=0.00 degC, humidity=0.00%, errorcode=VE
Error: 1x521.wrf_r
 :
```
The verification is passed when the option `-mcpu=neoverse-v2` is removed.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzcV1tv6zgO_jXKC2FDonyRH_LgNsmiD7OnaHtmgH0pFFtONMe2DEnu5d8vZDuXOdOZbYHdlw2CNrqQ_PhRIinpnD70Sq1JekPSzUqO_mjs-n10PGc0an5f7U39viZYwu39d6QsjwmWcWsOhJYko8uXlnbsq2GElyxjCM5L61UN0gNSTCOKEUNglPCSIeFlQsH0QBAJlqcvXpRoR3gJBHeD9EeCO28I7qphDOYjFrOYEtztdU9wd5S2V84R3M2yZyVBw6IuuoMokpXXpg9TED3BXjoFUfUnG6Zv9CGumgNEGqxqIOqBQRT5o1WydoRvwsiMfhj9szXGE775Sce8CJEB6SpIkRFaemNap3zA1Op-fIuktNUxSwgt3ai9CgsLvRD8KwgtgfCS0PJG9dWxk_aHA6daVXlVh90psvjVNs-W0PLWdINudX-AG91Lq5UjtIz-S58Lkm_B7rf7p7tf7v61nfzG6BtC1E1sb3plXpR1KnrBOZiLWNPK_gBhKfCPNIQvshUDguLo_RBiTXBHcHfQ_jju48p0BHdt-3L6Fw3W_K4qHx-0B9nkTSK4LGpBGaaISb7PqhwVzzNesSZNq1SmNCMYSHyS9jDzvjAejf2P3rz20RyHQx9OzNMUXehMrdqwdzBOvxFa3vXOy7ZV9UbbD05kOIG0rP7P_VvC-Ki8D0fs-wAPYw8bbVXlzXLYAE7L43A5muECWelVYMKqhmAx37vu3SvnoywJCwwqM7wHb-YL-xy2PC-Sz-etMaWUfu5YE1o-jH0_3Yfz5fm06OLu1lpj4VX7IxDMP5WK3KAq3b-YHwqi-mcu56wQ9gZIYSvB3e39d4K7y1Wektj89-9ogKiBynSDtCquuhqiLUTqPKOsDcnnNHS-NsFwTvgN9AZ600eqG_w7LImq0a1yoN6081Mkb03Xyb4Gq_xoe1WHJQ-VqRWEVHbO2PCLdosRMA3UummCF0tupCz2bz7YbIyFWnmp25DB1ETx_44bgrsPkcSdDmeAUpaGg_YbAMB9-fi43UxO__EzrTJkTOD0CwBonDOWp2lR0GIbUQY0zjBHFKlgOE0A0GkfFzk_TcSMinRL8IayD8wAkHQbQDE6gXoo7_55-5fAzqsAjPEJGE42UswySpFTnC0FrFwkKIokY8vUCRzmIr9MxQnLsmlI_x5efoL31_guqwAJY8mFuAR5JkSaIzvj4ygSQZlg9Cd8LEdxha8QPP3P-DBJvkYfT4sLfYVIkXIssuQMj6HIi4QXYp7CM7yE58U1fVmOn4GXfZk-caGPUZanjKd4AkNjUQhO05ylxc_hFXgd3oznn6CPC_41-lJGL_QxFFwgEyk9w2MZyzKRn8i5oq_A7Jo-kVzBm9GcMzY86U65ORnDVHIeQ1MZkAbbH3aV2VRQcl5wxDxbSiTAQ6hBV9KfEo4Z5zz9g4ptXy_m_6wiXGCeXKkoeBKzokjZWcXkghm-pOJaeNvKwc3dH9AgQSfcYpLIxPXWBzUYu3SKH2yFLGNpQikHlomYTqNFfK57lxI-FexTHbfSaxN6YB5zTvA21GuvOxWmrhTdhpIeGgO-YWF01TyH4WBelSV8Q2NKf5vWVTcsY6jV4TbMHcdO19q_L_ME0zCrArpQigjf_Lo9lengJXu77oiXIn79Pnk6qtCk6UZXcnoJaAeDdE7V8HpUPfijAjNMKySjHzW1GQ0yVnXmRdXxql7zuuCFXKn1HK-c0Wx1XBcMm6IQeSMrtm9oViuZJHlBhUoTuk_qlV6H0FNkSBFTmsWyEXyfyiIvkFFa5SShqpO6jUNzGBt7WGnnRrVmmAmerVq5V62bHmyIVh2scqH1DE13ulnZ9dRS7seDIwlttfPuosdr36r1q21A9_B4v72dXhyq096F19iv1_zM1CKGl9o_rKzUzNPoQmMVNBp7iC7t7mq07fpr_S7B3eRYeL0tvr2s8d8BAAD__21P7Ys">