If it's safe to speculatively execute load(alloca) the it's safe to execute