The math dialect is intended to hold mathematical operations.

The following ops will be moved to MathOps.td, keeping their existing names:

atan

atan2

cos

exp

exp2

log10

log1p

log2

log

pow

rsqrt

sin

sqrt

tanh

I propose that operations like addition, etc., remain where they are. If we want to split these, we should move them to an integer or floatingpoint dialect.

Development process

The split will be done in two steps

Create math dialect without removing math ops from std

Remove math ops from std after giving downstream users time to migrate to the ones in math

I tend to agree with Mehdi here. Since this isn’t really much more complex than a search and replace I think we should just
force people to do the search and replace.