// test correctness of loop optimize // be careful with input data since it may causes undefined behavior int max(int a,int b){ if(a