CompCert icon indicating copy to clipboard operation
CompCert copied to clipboard
verified publisher icon AbsInt

Add __builtin_trap to x86

Open Aurel300 opened this issue 5 years ago • 0 comments

This PR adds support for __builtin_trap on x86, mapped to the ud2 instruction. I copied how this was done for PowerPC.

Should I instead add a case for the Pbuiltin pseudo-instruction?

Aurel300 avatar May 20 '20 12:05 Aurel300