eg :
constraint {
1<<bl * 8 <=128;//约束1
bl<=9; //约束2
}
bl=9时,由于乘法优先级高,所以是1<<72 , 而计算机是64bit的,已经溢出了,所以最后约束出来,约束1失效,约束2判定成功(从人的理解来说是错的,机器无法判定了)
这里正确写法是(1<<bl) * 8 。 对于移位超过64bit的,慎重。
1<<(bl+3) 其实意思和1<<bl * 8一样。8=1Byte。
eg :
constraint {
1<<bl * 8 <=128;//约束1
bl<=9; //约束2
}
bl=9时,由于乘法优先级高,所以是1<<72 , 而计算机是64bit的,已经溢出了,所以最后约束出来,约束1失效,约束2判定成功(从人的理解来说是错的,机器无法判定了)
这里正确写法是(1<<bl) * 8 。 对于移位超过64bit的,慎重。
1<<(bl+3) 其实意思和1<<bl * 8一样。8=1Byte。