--normalize lowers GEP offsets as already-scaled bit offsets. A typed GEP still carries a DataLayout byte offset and a vector GEP has no scalar lowering, so accepting either produced addresses 8x too small. Check all instruction and constant-expression GEPs and fail clearly; --scale still scales typed GEPs normally. Add positive and negative tool tests.