Scope and Status

This document defines the compiler-owned Bedrock C target interface: builtin names, implementation-reserved header wrappers, source signatures, lowering requirements, availability and privilege constraints, and compiler-visible effects. It is the contract shared by a Bedrock-aware C frontend, optimizer, backend, and the target headers.

Architectural instruction behavior remains defined by the Bedrock ISA Specification. The baseline calling convention is defined by the Bedrock C ABI. This document specifies how source programs reach target facilities; it does not duplicate their architectural or language semantics.

Interface name:	bedrock-target-intrinsics

Source language:	ISO C with implementation-reserved target interfaces