SuccessChanges

Summary

  1. [mlir][affine] addLowerOrUpperBound: Make map+operand composing optional (details)
  2. [RuntimeDyldChecker] Support offset in decode_operand expr (details)
  3. [RuntimeDyldChecker] Delete comparision of integers of different signs (details)
  4. [RISCV][test] Precommit tests for VSETVLI insertion improvement (D106857). (details)
  5. [RISCV] Teach VSETVLI insertion to merge the unused VSETVLI with the one need to be insert after it. (details)
  6. [Flang][Openmp] Upgrade TASKGROUP construct to 5.0. (details)
  7. [MILR][NFC] Silence clang-tidy warning in AffineOps.cpp (details)
Commit 18d10fbe87b36cd922faeeb04d18078aea071c95 by springerm
[mlir][affine] addLowerOrUpperBound: Make map+operand composing optional

There are cases in which it is not desirable to fully compose the bound map with the operands when adding lower/upper bounds to a `FlatAffineConstraints`.

E.g., this is the case when bounds should be expressed in terms of the operands only (and not the operands' dependencies). This also makes `addLowerOrUpperBound` useable together with operands that are defined through semi-affine expressions.

Differential Revision: https://reviews.llvm.org/D107221
The file was modifiedmlir/lib/Analysis/AffineStructures.cpp
The file was modifiedmlir/include/mlir/Analysis/AffineStructures.h
Commit f4e418ac1e02c516abb8cc5125e38073b159e56f by 932494295
[RuntimeDyldChecker] Support offset in decode_operand expr

In RISCV's relocations, some relocations are comprised of two relocation types. For example, R_RISCV_PCREL_HI20 and R_RISCV_PCREL_LO12_I compose a PC relative relocation. In general the compiler will set a label in the position of R_RISCV_PCREL_HI20. So, to test the R_RISCV_PCREL_LO12_I relocation, we need decode instruction at position of the label points to R_RISCV_PCREL_HI20 plus 4 (the size of a riscv non-compress instruction).

Reviewed By: lhames

Differential Revision: https://reviews.llvm.org/D105528
The file was modifiedllvm/test/ExecutionEngine/JITLink/RISCV/ELF_pc_indirect.s
The file was modifiedllvm/lib/ExecutionEngine/RuntimeDyld/RuntimeDyldChecker.cpp
Commit 0023caf952e5100637227753f071bf0877176771 by 932494295
[RuntimeDyldChecker] Delete comparision of integers of different signs
The file was modifiedllvm/lib/ExecutionEngine/RuntimeDyld/RuntimeDyldChecker.cpp
Commit ed804588341e933cfc7783eb8776a258ba1fb264 by powerman1st
[RISCV][test] Precommit tests for VSETVLI insertion improvement (D106857).

Reviewed By: craig.topper

Differential Revision: https://reviews.llvm.org/D106865
The file was addedllvm/test/CodeGen/RISCV/rvv/vsetvli-insert.ll
Commit 7900ee0b61ae4f251d59832c424bd0b1d46194d5 by powerman1st
[RISCV] Teach VSETVLI insertion to merge the unused VSETVLI with the one need to be insert after it.

If a vsetvli instruction is not compatible with the next vector instruction,
and there is no other things that may update or use VL/VTYPE, we could merge
it with the next vsetvli instruction that should be insert for the vector
instruction.

This commit only merge VTYPE with the former vsetvli instruction which has
the same VL.

Reviewed By: craig.topper

Differential Revision: https://reviews.llvm.org/D106857
The file was modifiedllvm/lib/Target/RISCV/RISCVInsertVSETVLI.cpp
The file was modifiedllvm/test/CodeGen/RISCV/rvv/vsetvli-insert.ll
Commit 77ebfba68b9aa89e9ccbcdf8e285afa0661c8ca4 by Chirag.Khandelwal
[Flang][Openmp] Upgrade TASKGROUP construct to 5.0.

In OMP 5.0 specification clause-list with
* task_reduction
* allocate
were allowed on taskgroup construct.

Fix XFAIL - omp-taskloop01.f90.

Reviewed By: kiranchandramohan

Differential Revision: https://reviews.llvm.org/D93373
The file was modifiedclang/test/OpenMP/parallel_master_taskloop_simd_ast_print.cpp
The file was modifiedclang/test/OpenMP/taskloop_simd_ast_print.cpp
The file was modifiedflang/lib/Semantics/resolve-names.cpp
The file was modifiedllvm/include/llvm/Frontend/OpenMP/OMP.td
The file was modifiedclang/test/OpenMP/master_taskloop_simd_ast_print.cpp
The file was addedflang/test/Semantics/omp-taskgroup01.f90
The file was modifiedflang/lib/Semantics/resolve-directives.cpp
Commit 3d63d1a390f8e7f04b6cea09f03dff5d34a3289b by uday
[MILR][NFC] Silence clang-tidy warning in AffineOps.cpp

Silence clang-tidy warning in AffineOps.cpp due to the inability to see
through the typeswitch. NFC.

Differential Revision: https://reviews.llvm.org/D106125
The file was modifiedmlir/lib/Dialect/Affine/IR/AffineOps.cpp