FileCheck documentation contains an example of a numeric variable
defined and used on the same line. This is not currently supported by
FileCheck so this commit fixes the example to use CHECK-SAME for the
variable use.
Test Plan: copy/pasted the example and tested with FileCheck without
this patch (failed) and with (succeeded).