Incorrect not-equal spec
Optimization regarding last item of stack changing
Alloca-store pair optimization
Optimize icmp/branch pairs