codegen_llvm.cc: move assert to correct location and use static_assert

Sven Verdoolaege · Sven Verdoolaege · commit 68e1bc04fb58 · 2018-04-02T17:51:38.000+02:00
diff --git a/src/core/polyhedral/codegen_llvm.cc b/src/core/polyhedral/codegen_llvm.cc
@@ -77,6 +77,7 @@ thread_local llvm::LLVMContext llvmCtx;
 
 int64_t toSInt(isl::val v) {
   CHECK(v.is_int());
+  static_assert(sizeof(long) <= 8, "long is assumed to fit into 64bits");
   return v.get_num_si();
 }
 
@@ -86,7 +87,6 @@ llvm::Value* getLLVMConstantSignedInt64(int64_t v) {
 
 int64_t IslExprToSInt(isl::ast_expr e) {
   CHECK(isl_ast_expr_get_type(e.get()) == isl_ast_expr_type::isl_ast_expr_int);
-  assert(sizeof(long) <= 8); // long is assumed to fit to 64bits
   return toSInt(isl::manage(isl_ast_expr_get_val(e.get())));
 }
 

Original file line number	Diff line number	Diff line change
`@@ -77,6 +77,7 @@ thread_local llvm::LLVMContext llvmCtx;`
`77`	`77`
`78`	`78`	`int64_t toSInt(isl::val v) {`
`79`	`79`	`CHECK(v.is_int());`
	`80`	`+ static_assert(sizeof(long) <= 8, "long is assumed to fit into 64bits");`
`80`	`81`	`return v.get_num_si();`
`81`	`82`	`}`
`82`	`83`
`@@ -86,7 +87,6 @@ llvm::Value* getLLVMConstantSignedInt64(int64_t v) {`
`86`	`87`
`87`	`88`	`int64_t IslExprToSInt(isl::ast_expr e) {`
`88`	`89`	`CHECK(isl_ast_expr_get_type(e.get()) == isl_ast_expr_type::isl_ast_expr_int);`
`89`		`- assert(sizeof(long) <= 8); // long is assumed to fit to 64bits`
`90`	`90`	`return toSInt(isl::manage(isl_ast_expr_get_val(e.get())));`
`91`	`91`	`}`
`92`	`92`