Adding the flags for LLVM's binary operations - Githubissues

opencompl / lean-mlir

A minimal development of SSA theory

Other

88 stars 10 forks source link

Adding the flags for LLVM's binary operations #676

Closed lfrenot closed 1 month ago

lfrenot commented 1 month ago

Currently, add is the only LLVM operation with its flags implemented. These changes implement the flags for LLVM's other Binary operations;

nsw and nuw for add, mul, and sub.
exact for sdiv and udiv

I am not entirely sure of the change made to SSA/Projects/InstCombine/PaperExamples.lean but it seems correct.