llvm-reduce is a tool for reducing LLVM IR through automated test-case reduction. It is specific to LLVM IR and has advantages in terms of efficiency and effectiveness. It is part of LLVM and can be obtained by building or downloading LLVM.
3 Impressions