I am currently writing a compiler from a custom language to C. I have access to large amounts of high-level information, and I would like to use it to optimize the generated code (by removing redundant checks, branches and fields, while keeping relevant ones, for instance). I'm willing and eager to let the C compiler do the low-level optimization for me. Do you have pointers to any resources about this type of optimization? Or perhaps words of wisdom from your own experience in this field?