backend: (csl) Add comparison operators to CSL

[dk949]

Adds integer and floating point comparisons as well as and and or.

Signed and unsigned integers are compared the same way.

Ordered and unordered floats are compared the same way.

true and false float comparisons are printed as true and false literals.

ord and uno comparisons result in an error.

arith.andi and arith.ori produce and and or operators when operating on i1 (bools) and & and | otherwise

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 89.99%. Comparing base (1559579) to head (a95b927).
Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #3139   +/-   ##
=======================================
  Coverage   89.99%   89.99%           
=======================================
  Files         427      427           
  Lines       53834    53854   +20     
  Branches     8339     8343    +4     
=======================================
+ Hits        48449    48468   +19     
- Misses       4037     4038    +1     
  Partials     1348     1348           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[n-io]

What happens in this case?

[dk949]

There is a check on line 122 for when the op maps to None.

Specifically for ord and uno we throw an error (line 127), because I think for now we don't need to handle this, and if we do, we will find out quickly when the error is thrown.

The technically correct version would be to do something like:

// place this at the top of the module
const math = @import_module("<math>");

...
// %res1 = arith.cmpf ord, %num1, %num2 : f32
const res1: bool = !math.isNaN(num1) and !math.isNaN(num2);

// %res2 = arith.cmpf ord, %num1, %num2 : f32
const res2: bool = math.isNaN(num1) or math.isNaN(num2);