[PATCH] D159464: [InstCombine] Fold comparison of adding two zero extended booleans

[Matt Arsenault via Phabricator via llvm-commits]

arsenm added inline comments.


================
Comment at: llvm/test/Transforms/InstCombine/icmp-add.ll:17
+  %i2 = zext i1 %arg1 to i32
+  %i3 = add nuw nsw i32 %i2, %i
+  %i4 = icmp eq i32 %i3, 1
----------------
Don’t need the flags 


================
Comment at: llvm/test/Transforms/InstCombine/icmp-add.ll:36
+}
+
 define i1 @test1(i32 %a) {
----------------
Add tests showing the multiple use rejections


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D159464/new/

https://reviews.llvm.org/D159464