- (when (not (<= (- (ash 1 11)) disp (1- (ash 1 11))))
- (format t "AVER fail: disp = ~s~%" disp)
- (format t "target = ~s~%" target)
- (format t "posn = ~s~%" posn)
- )
- (aver (<= (- (ash 1 11)) disp (1- (ash 1 11))))
+ ; emit-conditional-branch is used by instruction emitters: MOVB, COMB, ADDB and BB
+ ; which assembles an immediate of total 12 bits (including sign bit).
+ (aver (typep disp '(signed-byte 12)))