Comment by sitkack

"Sufficiently Smart Compiler" refers to something which has been hand waved away as a "Simple Matter of Engineering" or an "Exercise for the Reader" as to be impossibly difficult. Compilers are already very smart, usually the sufficient part of the SSC is a tongue in cheek Spock like sufficient. See the failure of Itanium betting that it could produce the SSC to create fast code. It was never built, the performance never matched expectations and it failed.