qbe

commit abf4d3f7195c3ed58e4f68b0453c840bcac250d4
parent eff3371966df3c575e58c93f3e621db781f40508
Author: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date:   Wed, 24 Feb 2016 14:32:16 -0500

fix tight assertion in MEM()

Diffstat:
M
lisc/lisc.h
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lisc/lisc.h b/lisc/lisc.h
@@ -128,7 +128,7 @@ enum {
 #define SLOT(x)  (Ref){RSlot, x}
 #define TYPE(x)  (Ref){RAlt, (x)|(AType<<AShift)}
 #define CALL(x)  (Ref){RAlt, (x)|(ACall<<AShift)}
-#define MEM(x)   (assert(x<(1<<(AShift-1)) && "too many mems"), \
+#define MEM(x)   (assert(x<(1<<AShift) && "too many mems"), \
                  (Ref){RAlt, (x)|(AMem<<AShift)})
 
 static inline int req(Ref a, Ref b)