Insuring maximum code motion of accesses to DMA buffers

A "kill" intrinsic that may be used in programs for designating specific data objects as having been "killed" by a preceding action is provided. The concept of a data object being "killed" is that the compiler is informed that no operations (e.g., loads and stores) on that data object, or its aliases, can be moved across the point in the program flow where the data object is designated as having been "killed." The "kill" intrinsic limits the reordering capability of an optimization scheduler of a compiler with regard to operations performed on "killed" data objects. The "kill" intrinsic may be used with DMA operations. Data objects being DMA'ed from a local store of a processor may be "killed" through use of the "kill" intrinsic prior to submitting the DMA request. Data objects being DMA'ed to the local store of the processor may be "killed" after verifying the transfer completes.