benshi001 added a comment. The reason I write both AddShlShl_1A and def AddShlShl_1B, is that add is not commutative in PatFrag. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D109729/new/ https://reviews.llvm.org/D109729