diff options
author | Arjun P <arjunpitchanathan@gmail.com> | 2022-03-22 13:21:20 +0000 |
---|---|---|
committer | Arjun P <arjunpitchanathan@gmail.com> | 2022-03-23 10:53:32 +0000 |
commit | ff44760427dbaff0cf63dbdf64a7708a73e1d595 (patch) | |
tree | 400cbfc0bfc92c1863794c0984057bb24bea00d7 /llvm/docs/tutorial/MyFirstLanguageFrontend | |
parent | 47eb4f7dcd845878b16a53dadd765195b9c24b6e (diff) | |
download | llvm-ff44760427dbaff0cf63dbdf64a7708a73e1d595.zip llvm-ff44760427dbaff0cf63dbdf64a7708a73e1d595.tar.gz llvm-ff44760427dbaff0cf63dbdf64a7708a73e1d595.tar.bz2 |
[MLIR][Presburger] add Simplex:addDivisionVariable
This is a convenience function for adding new divisions to the Simplex given the numerator and denominator.
This will be needed for symbolic integer lexmin support.
Reviewed By: Groverkss
Differential Revision: https://reviews.llvm.org/D122159
Diffstat (limited to 'llvm/docs/tutorial/MyFirstLanguageFrontend')
0 files changed, 0 insertions, 0 deletions