[sledge] Optimize Trm.compare
[sledge] Optimize Trm.compare

Reviewed By: jvillard

Differential Revision: D26338019

fbshipit-source-id: 886604c2b

jvillard/infer,facebook/infer,jvillard/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,jvillard/infer,facebook/infer