I have added the test cases as discussed in D105088.
As you can see, this test ends up being the same as the previous due to complexity canonicalization. You should replace %Y with an instruction rater than an argument to actually test the commuted variant. (grep "thwart complexity" and getComplexity for context).
It would be nice to pick more meaningful names for the tests, e.g. this could be integer_type_too_small.
@Krishnakariya Could you please share Your Name <email@example.com> to use for the commit?