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

    <tr>
        <th>Summary</th>
        <td>
            [MLIR][OpenMP] Incorrect LLVM lowering
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          wsmoses
      </td>
    </tr>
</table>

<pre>
    ```mlir
module attributes {dlti.dl_spec = #dlti.dl_spec<#dlti.dl_entry<"dlti.endianness", "little">, #dlti.dl_entry<i64, dense<64> : vector<2xi32>>, #dlti.dl_entry<f80, dense<128> : vector<2xi32>>, #dlti.dl_entry<i1, dense<8> : vector<2xi32>>, #dlti.dl_entry<i8, dense<8> : vector<2xi32>>, #dlti.dl_entry<i16, dense<16> : vector<2xi32>>, #dlti.dl_entry<i32, dense<32> : vector<2xi32>>, #dlti.dl_entry<f16, dense<16> : vector<2xi32>>, #dlti.dl_entry<f64, dense<64> : vector<2xi32>>, #dlti.dl_entry<f128, dense<128> : vector<2xi32>>>, llvm.data_layout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128", llvm.target_triple = "x86_64-unknown-linux-gnu"} {
  llvm.func @printf(!llvm.ptr<i8>, ...) -> i32
  llvm.mlir.global internal constant @str0("WG size of kernel = %d X %d\0A\00")

  llvm.func @main(%arg0: i32, %arg1: !llvm.ptr<ptr<i8>>) -> i32 {
    omp.parallel   {
      %0 = llvm.mlir.constant(1 : index) : i64
      %1 = llvm.mlir.constant(10 : index) : i64
      %2 = llvm.mlir.constant(0 : index) : i64
      %4 = llvm.mlir.constant(0 : i32) : i32
      %12 = llvm.alloca %0 x i64 : (i64) -> !llvm.ptr<i64>
      omp.wsloop (%arg2) : i64 = (%2) to (%1) step (%0)  {
        omp.parallel   {
          omp.wsloop (%arg3) : i64 = (%2) to (%0) step (%0)  {
            llvm.store %2, %12 : !llvm.ptr<i64>
            omp.yield
          }
          omp.terminator
        }
        %19 = llvm.load %12 : !llvm.ptr<i64>
        %20 = llvm.trunc %19 : i64 to i32
        %5 = llvm.mlir.addressof @str0 : !llvm.ptr<array<29 x i8>>
        %6 = llvm.getelementptr %5[%4, %4] : (!llvm.ptr<array<29 x i8>>, i32, i32) -> !llvm.ptr<i8>
        %21 = llvm.call @printf(%6, %20, %20) : (!llvm.ptr<i8>, i32, i32) -> i32
        omp.yield
      }
      omp.terminator
    }
    %a4 = llvm.mlir.constant(0 : i32) : i32
    llvm.return %a4 : i32
  }

}
```

Running the code results in incorrectly nondeterministic behavior.
```
wmoses@beast:~/git/Polygeist/proj/rodinia/cuda/hotspot (makefix) $ ~/git/Polygeist/mlir-build/bin/mlir-translate guan.mlir --mlir-to-llvmir | clang -x ir - -o a.exe -fopenmp && ./a.exe
WG size of kernel = 0 X 0
WG size of kernel = 4 X 4
WG size of kernel = 28515200 X 28515200
WG size of kernel = 28443392 X 28443392
WG size of kernel = 0 X 0
WG size of kernel = 1173938096 X 1173938096
WG size of kernel = 0 X 0
WG size of kernel = 1190731568 X 1190731568
WG size of kernel = 0 X 0
WG size of kernel = 0 X 0
wmoses@beast:~/git/Polygeist/proj/rodinia/cuda/hotspot (makefix) $ ~/git/Polygeist/mlir-build/bin/mlir-translate guan.mlir --mlir-to-llvmir | clang -x ir - -o a.exe -fopenmp && ./a.exe
WG size of kernel = 0 X 0
WG size of kernel = 0 X 0
WG size of kernel = 0 X 0
WG size of kernel = 0 X 0
WG size of kernel = 29627776 X 29627776
WG size of kernel = 0 X 0
WG size of kernel = 0 X 0
WG size of kernel = 0 X 0
WG size of kernel = -1301137096 X -1301137096
WG size of kernel = 0 X 0
wmoses@beast:~/git/Polygeist/proj/rodinia/cuda/hotspot (makefix) $ ~/git/Polygeist/mlir-build/bin/mlir-translate guan.mlir --mlir-to-llvmir | clang -x ir - -o a.exe -fopenmp && ./a.exe
WG size of kernel = 0 X 0
WG size of kernel = 989831216 X 989831216
WG size of kernel = 973037744 X 973037744
WG size of kernel = 19319680 X 19319680
WG size of kernel = 1006624688 X 1006624688
WG size of kernel = 0 X 0
WG size of kernel = 19271808 X 19271808
WG size of kernel = 19223936 X 19223936
WG size of kernel = 0 X 0
WG size of kernel = 19247872 X 19247872
```

cc @ftynse 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJztV0tv4zYQ_jXyhZBBUe-DD9lkUyyQRRdboNtbQFu0zYYmDZLaxP31naFkW3Yc51n0skFgzZDDjzPDb4bS1DSbSVTQ7n-lpI3oVUQvVqZplSDceyunrReOROWnRnk5btStW4sZidIrErF0OBall4MRob3dhCEWhoRuJNdaOAcjEbuE1UxJ75VAPf3cDT1aLosMZxqhnQAVtPQzbH5BfoqZNxaG2INMA8CTGPOKDjESVr0BRCZDjDchVO9GSIqDQIq3YKRsiBGsX53QD_Bj_hEHi0f5ipPtgJT6uRo33PNbxTem9T2XmYhXsFLEa1ZSEHAV_KCaHKooob_wE8utgCRLL8CDWFcoFNs1MPdH8JPtNvfcLoS_heJaQ5X12z9UxS3YtvpOm3sdK6nbh3ihW1xYXmEBdrVJOox5q6EKM7q2Uvt5hBskYWLtbUe2LtrxeByxmsSYGMzEEAMLfrxQZsoVARRhNQgzo53n2iO485YGaPbjN-LkP4KYObkDO6F6t_OG_BUeUX5JL_CHhkjrbqOTLq-41AE1hzxg1khPym4Es00OoxnGhGHt4xnmhRCzWo_X3HKlwEFyOEcQnga398FvgwV3ksAbqRvxgBsEBQ73cH1yZj19CQB7GuBF67Nn12Mq65145P5ge0iSmfEuKQ-4E-nyXoWW22f4iFShSoeYmPB7p4xZk92JsoH3PUtwJgx702sJas6L7TqK-vGBPXegT3mQvsQD-jIP8C-kwEE_EaSDudwl85ipj1O0d3MjhWqOp6C2T4UExbiSmmMPO5h9ZI6O1PtTVYY3r3IOAxpUhbehSHvQLoOQsiMqhWX5ERV501i43qFD9J3jhAfcWo6dG1INnNvW8zFysUeGPimUWEHHB4Cwa5R_wjroDyGL8qstcV-yFazqm01fKKdoXp3M0qD2Z0DIo-abF71HjA6E-rRvu-58wpdHqT5JnSMePEWZAzMsjjf3j7DECt9avQM6MNlt1f_u1O3r5XD2e6u11AvilwIunEYQYE6rvIP2B_8zYy3c32pDtIF22AUmnZczMhVL_lMaOz4Jfr8yTjg4mKngzoODUQlpvl5IiO_6m1GbhQAYkNfW_A0PaxoA5iDN2gYfS-Pd2ng8sRW_E3PZtWIG0T6BhFmMp62E42HXU7zYuiFvuXaKe0EWLdch2SSOuykTYzZhICovyUxxSEQMHAUDEhvCx-JBkHhu1kKvsDsBswoCt_h1mOkiPX0fU7iM6TmDDAyycwasyhNgLgJtxfPmWZamNQvmnfgu_5KkTOu0onUBlnvlnZg1LdMkL6qAuVXehTkw-MW5l-fqvzJgdcHKskTSbMX_2aM4SWmSpGXH5IH2i1Ufw6q6qqs0YQmmdyefXVCmNC3LDFvgTj7bN-o0qYsKPdmKZ80pLQqWFVVoMzvlfa2rho_PigbEXnzGnEHHLDrzIL53-6ysStbhBfHMnT4LH3dzv4GPcTJqJmlTpzUfeemVmMBb29ebL9_hbQ2k34EPX7_hm9uX7V1Pbm7-_EqUuRfwSrUYtVZNlt6vHTKfXXd8XbZTeF9ZgYKk6x8xFgAAgCqda6Fm2HWeJUU-Wk7mdN40aZ6zvKqSKoMirKD5ZyLLGpbxZjpSfCqUm4RXSqbFPQkQ-AGbX43khFHGKDCF5lmVs3GTsVlNs6KeJSwXNYVoBXzLqnF4NzJ2MbKT4NK0XWDpKqgrt5_kzsmFFiEXiM9bvzR2cu9CqY_C1pPg-r-UP3Oa">