Determine signedness of comparisons in the RIR

[LefterisJP]

At the moment we simply ignore signedness of the compared integers and just always do signed comparisons.

This is an issue to track the implementation of:

Check the signedness of the integers of a comparison during RIR stage and:

• if any of the two integers is signed then do signed comparison
• if both are unsigned then do unsigned comparison

[orbit-stabilizer]

Hi, I cannot seem to find any of the header files for rir.

It seems like you would like to take the bllvm_compile_comparison function out of the llvm_operators module and place the functionality inside one of the rir modules. Or do you just want to add additional types to rir_expression?

Apologies if this doesn't seem even remotely correct.