[PATCH] D132820: [tests] precommit tests for D132658

[chenglin.bi via Phabricator via llvm-commits]

bcl5980 added a comment.

It is better to have a case test the haveNoCommonBitsSet(X, C1 <https://reviews.llvm.org/C1>, DL, &AC, &I, &DT) with context or assume like:

  define i32 @src(i32 %a) {
    %combits = and i32 %a , 3
    %nocombits = icmp eq i32 %combits, 0
    call void @llvm.assume(i1 %nocombits)
  
    %add = or i32 %a, 3
    %mul = mul i32 %add, 5
    ret i32 %mul
  }
  
  declare void @llvm.assume(i1)


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

https://reviews.llvm.org/D132820