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

[Allen zhong via Phabricator via llvm-commits]

Allen added a comment.

In D132820#3754532 <https://reviews.llvm.org/D132820#3754532>, @bcl5980 wrote:

> 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)

Done, thanks


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

https://reviews.llvm.org/D132820