Rewrite this test properly with a FileCheck instead of greps
stripAndComputeConstantOffsets is only called on pointers; check this
with an assert instead of failing and requiring callers to check for failure.