Issue 110631
Summary [Instcombine] -instcombine-verify-known-bits failure:s
Labels new issue
Assignees
Reporter JonPsson1
    Posting a few more of these:

[tcs_instcombver.tar.gz](https://github.com/user-attachments/files/17200237/tcs_instcombver.tar.gz)

```
opt -mtriple=systemz-unknown -O3 tc_crash1_aftercreduce.ll -instcombine-verify-known-bits -o /dev/null
Mismatched known bits for   %2 = zext nneg i32 %0 to i64 in
computeKnownBits(): 000000000000000000000000000000000000000000000000????????????????
SimplifyDemandedBits(): 000000000000000000000000000000000???????????????????????????????

opt -mtriple=systemz-unknown -O3 tc_crash2_aftercreduce.ll -instcombine-verify-known-bits -o /dev/null
Mismatched known bits for   %3 = xor i32 %0, 48991 in
computeKnownBits(): 000000000000000010111111????????
SimplifyDemandedBits(): ????????????????????????????????

opt -mtriple=systemz-unknown -O3 tc_crash8_aftercreduce.ll -instcombine-verify-known-bits -o /dev/null
Mismatched known bits for   %5 = and i64 %0, %4 in
computeKnownBits(): 00000000000000000000000000000000????????????????????????????????
SimplifyDemandedBits(): ????????????????????????????????????????????????????????????????

opt -mtriple=systemz-unknown -O3 tc_crash9_aftercreduce.ll -instcombine-verify-known-bits -o /dev/null
Mismatched known bits for   %4 = or disjoint i32 %0, 30 in
computeKnownBits(): 0000000000000000000000000001111?
SimplifyDemandedBits(): ???????????????????????????1111?
```

@RKSimon @jf-botto @nikic @artagnon 

_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to