The intrinsics list below is based on the table recently published in #714.

The goal is for each intrinsics to:

1. Identify what is needed to claim full support.
2. Implement support for it if possible.

Note: We are now focusing on fixing issues with intrinsics that we already support. New intrinsics will be added on demand.

This issue will keep track of the work done on intrinsics (a check on intrinsics will mark it as "done") and link other issues related to the implementation/rework/cleanup of intrinsics.

• abort: Handled separately as non returning intrinsic.
• add_with_overflow: Reviewed and tested in Tests for <op>_with_overflow #1083
• arith_offset: Disabled in Disable unaudited intrinsics #1081
• assert_inhabited: Changed to emit a panic or no-op depending on type.
• assert_uninit_valid: Changed to emit a panic or no-op depending on type.
• assert_zero_valid: Changed to emit a panic or no-op depending on type.
• assume: Added two tests in Tests for assume #1015
• atomic_and: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_and_acq: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_and_acqrel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_and_rel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_and_relaxed: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchg: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchg_acq: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchg_acq_failrelaxed: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchg_acqrel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchg_acqrel_failrelaxed: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchg_failacq: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchg_failrelaxed: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchg_rel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchg_relaxed: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchgweak: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchgweak_acq: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchgweak_acq_failrelaxed: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchgweak_acqrel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchgweak_acqrel_failrelaxed: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchgweak_failacq: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchgweak_failrelaxed: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchgweak_rel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_cxchgweak_relaxed: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_fence: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_fence_acq: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_fence_acqrel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_fence_rel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_load: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_load_acq: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_load_relaxed: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_load_unordered: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_max: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_max_acq: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_max_acqrel: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_max_rel: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_max_relaxed: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_min: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_min_acq: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_min_acqrel: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_min_rel: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_min_relaxed: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_nand: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_nand_acq: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_nand_acqrel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_nand_rel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_nand_relaxed: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_or: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_or_acq: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_or_acqrel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_or_rel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_or_relaxed: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_singlethreadfence: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_singlethreadfence_acq: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_singlethreadfence_acqrel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_singlethreadfence_rel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_store: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_store_rel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_store_relaxed: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_store_unordered: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_umax: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_umax_acq: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_umax_acqrel: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_umax_rel: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_umax_relaxed: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_umin: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_umin_acq: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_umin_acqrel: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_umin_rel: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_umin_relaxed: Unimplemented. Negative tests added in Audit: Atomic intrinsics #850
• atomic_xadd: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xadd_acq: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xadd_acqrel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xadd_rel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xadd_relaxed: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xchg: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xchg_acq: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xchg_acqrel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xchg_rel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xchg_relaxed: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xor: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xor_acq: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xor_acqrel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xor_rel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xor_relaxed: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xsub: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xsub_acq: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xsub_acqrel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xsub_rel: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• atomic_xsub_relaxed: Reviewed in Audit: Atomic intrinsics #850. Possible improvement: Extend unstable atomic tests with generic types #25
• bitreverse: Support added in Partial support for bitreverse #779 and testing enabled in Enable test for bitreverse intrinsic #926.
• blackbox: No action needed, both implementation and test look good.
• breakpoint: Added a test in Add a test for breakpoint #1022
• bswap: Added a test in Add a test for bswap #1023
• caller_location: Unimplemented (see Handle new caller_location intrinsic the right way #374)
• ceilf32: Unimplemented (was disabled in Disable rounding intrinsics #1026).
• ceilf64: Unimplemented (was disabled in Disable rounding intrinsics #1026).
• copy: Disabled in Disable unaudited intrinsics #1081
• copy_nonoverlapping: Disabled in Disable unaudited intrinsics #1081
• copysignf32: Disabled in Disable unaudited intrinsics #1081
• copysignf64: Disabled in Disable unaudited intrinsics #1081
• cosf32: Added test in Add tests for trigonometric intrinsics #1043
• cosf64: Added test in Add tests for trigonometric intrinsics #1043
• ctlz: Reviewed and completed testing in Complete tests for count intrinsics #883
• ctlz_nonzero: Reviewed and completed testing in Complete tests for count intrinsics #883
• ctpop: Completed testing in Add a test for ctpop #1048
• cttz: Reviewed and completed testing in Complete tests for count intrinsics #883
• cttz_nonzero: Reviewed and completed testing in Complete tests for count intrinsics #883
• discriminant_value: Test added in Add a test for discriminant_value #1021
• drop_in_place: Unimplemented (deprecated since 1.52 in favor of std::ptr::drop_in_place)
• exact_div: Added tests for all corner cases in More tests for exact_div #1007
• exp2f32: Disabled in Disable unaudited intrinsics #1081
• exp2f64: Disabled in Disable unaudited intrinsics #1081
• expf32: Disabled in Disable unaudited intrinsics #1081
• expf64: Disabled in Disable unaudited intrinsics #1081
• fabsf32: Added tests in Tests for "absolute" intrinsics #1033
• fabsf64: Added tests in Tests for "absolute" intrinsics #1033
• fadd_fast: Was implemented in Support for fast math intrinsics #804
• fdiv_fast: Was implemented in Support for fast math intrinsics #804. Testing can be improved (see Some fast math results cannot be practically compared #809)
• float_to_int_unchecked: Unimplemented.
• floorf32: Unimplemented (was disabled in Disable rounding intrinsics #1026).
• floorf64: Unimplemented (was disabled in Disable rounding intrinsics #1026).
• fmaf32: Disabled in Disable unaudited intrinsics #1081
• fmaf64: Disabled in Disable unaudited intrinsics #1081
• fmul_fast: Was implemented in Support for fast math intrinsics #804. Testing can be improved (see Some fast math results cannot be practically compared #809)
• forget: Added comment and tests in Add tests for forget #1041
• frem_fast: Unimplemented (see Unimplemented intrinsic: frem_fast #810)
• fsub_fast: Was implemented in Support for fast math intrinsics #804
• likely: Added a test in Add test for likely and unlikely intrinsics. #851
• log2f32: Disabled in Disable unaudited intrinsics #1081
• log2f64: Disabled in Disable unaudited intrinsics #1081
• log10f32: Disabled in Disable unaudited intrinsics #1081
• log10f64: Disabled in Disable unaudited intrinsics #1081
• logf32: Disabled in Disable unaudited intrinsics #1081
• logf64: Disabled in Disable unaudited intrinsics #1081
• maxnumf32: Disabled in Disable unaudited intrinsics #1081
• maxnumf64: Disabled in Disable unaudited intrinsics #1081
• min_align_of: Implementation is constant-evaluated, added test in Add tests for constant-evaluated intrinsics #1042
• min_align_of_val: Reviewed and added tests in Basic tests for size_of_val and min_alig_of_val #1101 and Fix issue with value_of / align_of traits #1089
• minnumf32: Disabled in Disable unaudited intrinsics #1081
• minnumf64: Disabled in Disable unaudited intrinsics #1081
• move_val_init: Unimplemented.
• mul_with_overflow: Reviewed and tested in Tests for <op>_with_overflow #1083
• nearbyintf32: Unimplemented (was disabled in Disable remaining rounding intrinsics #1028).
• nearbyintf64: Unimplemented (was disabled in Disable remaining rounding intrinsics #1028).
• needs_drop: Implementation is constant-evaluated, added test in Add tests for constant-evaluated intrinsics #1042
• nontemporal_store: Unimplemented.
• offset: Reviewed in Audit for offset intrinsic #1094
• powf32: Disabled in Disable unaudited intrinsics #1081
• powf64: Disabled in Disable unaudited intrinsics #1081
• powif32: Disabled in Disable unaudited intrinsics #1081
• powif64: Disabled in Disable unaudited intrinsics #1081
• pref_align_of: Implementation is constant-evaluated, added test in Add tests for constant-evaluated intrinsics #1042
• prefetch_read_data: Unimplemented.
• prefetch_read_instruction: Unimplemented.
• prefetch_write_data: Unimplemented.
• prefetch_write_instruction: Unimplemented.
• ptr_guaranteed_eq: Reviewed and added tests in Audit for ptr_guaranteed_<cmp> #1090
• ptr_guaranteed_ne: Reviewed and added tests in Audit for ptr_guaranteed_<cmp> #1090
• ptr_offset_from: Reviewed and added tests in Audit for ptr_offset_from #1099
• raw_eq: Reviewed and documented in Update raw_eq documentation and tests #1091
• rintf32: Unimplemented (was disabled in Disable remaining rounding intrinsics #1028).
• rintf64: Unimplemented (was disabled in Disable remaining rounding intrinsics #1028).
• rotate_left: Improved testing in Thorough testing for rotate intrinsics #880.
• rotate_right: Improved testing in Thorough testing for rotate intrinsics #880.
• roundf32: Unimplemented (was disabled in Disable rounding intrinsics #1026).
• roundf64: Unimplemented (was disabled in Disable rounding intrinsics #1026).
• rustc_peek: Unimplemented.
• saturating_add: Improved testing in Move and update saturating intrinsics #853. Consider Saturating operations could use CBMC's native support #852 in the future.
• saturating_sub: Improved testing in Move and update saturating intrinsics #853. Consider Saturating operations could use CBMC's native support #852 in the future.
• sinf32: Added test in Add tests for trigonometric intrinsics #1043
• sinf64: Added test in Add tests for trigonometric intrinsics #1043
• size_of: Implementation is constant-evaluated, added test in Add tests for constant-evaluated intrinsics #1042
• size_of_val: Reviewed and added tests in Basic tests for size_of_val and min_alig_of_val #1101 and Fix issue with value_of / align_of traits #1089
• sqrtf32: Disabled in Disable unaudited intrinsics #1081
• sqrtf64: Disabled in Disable unaudited intrinsics #1081
• sub_with_overflow: Reviewed and tested in Tests for <op>_with_overflow #1083
• transmute: Handled separately as non returning intrinsic (missing case) in Handle non returning intrinsics #736. Added tests for the general case in Audit for transmute #1104
• truncf32: Unimplemented (was disabled in Disable remaining rounding intrinsics #1028).
• truncf64: Unimplemented (was disabled in Disable remaining rounding intrinsics #1028).
• try: Unimplemented ("fixme" test is included) in Unimplemented: catch_unwind intrinsic #267
• type_id: Implementation is constant-evaluated, added test in Add tests for constant-evaluated intrinsics #1042
• type_name: Implementation is constant-evaluated, added test in Add tests for constant-evaluated intrinsics #1042
• unaligned_volatile_load: Disabled in Disable unaudited intrinsics #1081
• unaligned_volatile_store: Unimplemented.
• unchecked_add: Reviewed and added tests in Audit for unchecked intrinsics #1076
• unchecked_div: Reviewed and added tests in Audit for unchecked intrinsics #1076
• unchecked_mul: Reviewed and added tests in Audit for unchecked intrinsics #1076
• unchecked_rem: Reviewed and added tests in Audit for unchecked intrinsics #1076
• unchecked_shl: Reviewed and added tests in Audit for unchecked intrinsics #1076
• unchecked_shr: Reviewed and added tests in Audit for unchecked intrinsics #1076
• unchecked_sub: Reviewed and added tests in Audit for unchecked intrinsics #1076
• unlikely: Added a test in Add test for likely and unlikely intrinsics. #851
• unreachable: Removed implementation (as it was handled by TerminatorKind::Unreachable) and added tests in Remove implementation for the unreachable intrinsic #1100
• variant_count: Added negative and fixme tests in Negative test case for variant_count #854
• volatile_copy_memory: Disabled in Disable unaudited intrinsics #1081. Should include test for overlapping regions.
• volatile_copy_nonoverlapping_memory: Disabled in Disable unaudited intrinsics #1081.
• volatile_load: Disabled in Disable unaudited intrinsics #1081. Has to ensure src is properly initialized.
• volatile_set_memory: Unimplemented.
• volatile_store: Added a concurrency warning, an alignment check and two new tests.
• wrapping_add: Was reviewed in Fix spurious overflow counter examples. (#558) #647. Added test in Add test for wrapping intrinsics #1070.
• wrapping_mul: Was reviewed in Fix spurious overflow counter examples. (#558) #647. Added test in Add test for wrapping intrinsics #1070.
• wrapping_sub: Was reviewed in Fix spurious overflow counter examples. (#558) #647. Added test in Add test for wrapping intrinsics #1070.
• write_bytes: Reviewed and added tests in Audit for write_bytes #1102