Fix typo "carries -> carry"

Sorry, wrong patch.

Sorry for the delay. The suggestions have been applied.

I am not sure why llvm-reduce is failing on an MIR test. I could not reproduce it locally after rebasing to the latest main.

The extra attributes are removed from the test function arguments.

A dangling comment line is removed from the test case.

As requested, the new test case is properly processed by update_test_checks.py. In addition, the adhoc metadata comparison is replaced with a generic comparator.

I am not able to reproduce the build failures from fuzzer test locally using ninja check-fuzzer. I am not sure what I have missed.

Update test: dereferenceable in the function argument is shrinked to just cover the pointer value.

The diff is updated to check other metadata kinds applicable to loads, except !nontemporal which seems to affect choice of machine instruction.

Thanks for the review, @nikic ! I am searching for other uses of metadata for optimization.

A regression test is added. The full context is attached as requested.