-
Notifications
You must be signed in to change notification settings - Fork 15.1k
Closed
Labels
Description
See godbolt: https://godbolt.org/z/x34YarsrE
range(i32 0, -2147483648) is imported as #llvm.constant_range<i32, 0, -2147483648>, but -2147483648 is internally stored as a 40-bit integer, causing the verifier to fail:
llvm-project/mlir/lib/Dialect/LLVMIR/IR/LLVMAttrs.cpp
Lines 290 to 293 in ebef440
| if (lower.getBitWidth() != upper.getBitWidth()) | |
| return emitError() | |
| << "expected lower and upper to have matching bitwidths but got " | |
| << lower.getBitWidth() << " vs. " << upper.getBitWidth(); |