Checked with doc and llvm implementation, LGTM