--- ai05s/ai05-0009-1.txt 2011/02/08 08:21:05 1.16 +++ ai05s/ai05-0009-1.txt 2013/10/22 03:00:23 1.17 @@ -410,6 +410,10 @@ for all but bit-addressable architectures (TBD). The verification of code generation is target dependent and probably can't be effectively tested. +!ASIS + +No ASIS impact. + !appendix [Note: This thread originally branched off of the discussion in AI-447. Mail preceding