[PATCH] D37017: [DAGCombiner] fold assertzexts separated by trunc

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

Here's the effect on "select_C1_C2_zeroext" nodes in case that makes the transform clearer:

        t4: i32 = AssertZext t2, ValueType:ch:i8
      t5: i8 = truncate t4
    t7: i8 = AssertZext t5, ValueType:ch:i1
  t8: i1 = truncate t7

-->

    t16: i32 = AssertZext t2, ValueType:ch:i1
  t18: i1 = truncate t16


https://reviews.llvm.org/D37017