[Bug target/126513] ICE ‘verify_gimple’ failed, since __builtin_ppc_atomic_cas_local added in r17-1992

[avinashd at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126513

--- Comment #1 from Avinash Jayakar <avinashd at gcc dot gnu.org> ---
Created attachment 65193
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65193&action=edit
WIP patch

This should throw a compile error saying type sizes do not match. I think I
missed it somehow in the implementation.
These were the actual checks that had to be done

1. Sizes of the first 3 arguments must be the same.
2. First 3 arguments must be of pointer type which is complete (size and
details of type known to the compiler).
3. Total number of arguments must be 6.

1st and 2nd is partially handled. I have attached the WIP patch. Will test a
few more cases and submit it. Thanks