Description
Found in testing on #9276 but clearly unrelated
Reproducing case
Seed: 13483149009523507644
constant_integer_bounds failure
x = 11
buf_u8 = 183
buf_i8 = 98
out1 = 600
Expression: (int64(int32(140_i16 - int16((43_u8 + 140_u8)*uint8((-123_i16/int16(43_u8 + 140_u8))*int16(140_u8 + uint8(uint16((uint8)buf_u8(x)))))))) + int64(int16((140_u8 - (140_u8 + uint8(uint16((uint8)buf_u8(x))))) - uint8(uint16(43_u8 + 140_u8))) + int16((int8)buf_i8(x) + int8(((43_u8 + 140_u8) + 133_u8) + (43_u8 + 140_u8)))))
Bounds: [-243, 522]
Simplified: (int64(140_i16 - int16(uint8(int16((uint8)buf_u8(x) + 140_u8)*-1_i16)*183_u8)) + int64(int16(73_u8 - (uint8)buf_u8(x)) + int16((int8)buf_i8(x) + -13_i8)))
Bounds: [-243, 522]
How did you get Halide?
None
Halide version
No response
Halide commit (if known)
No response
Target
No response
Operating system
No response
Additional context
No response
Description
Found in testing on #9276 but clearly unrelated
Reproducing case
How did you get Halide?
None
Halide version
No response
Halide commit (if known)
No response
Target
No response
Operating system
No response
Additional context
No response