Does it make sense to have a "RemoveTriviallyUnreachableCode" pass that passes like GVN can mark as required and passes that don't produce such code can mark as preserved? -- Sanjoy