mark integer parameters as sext/zext

vchuravy · vchuravy · commit a82a4cab0119 · 2020-12-30T14:47:13.000-05:00
diff --git a/src/codegen.cpp b/src/codegen.cpp
@@ -5668,6 +5668,11 @@ static jl_returninfo_t get_specsig_function(jl_codectx_t &ctx, Module *M, String
         else if (isboxed && jl_is_immutable_datatype(jt)) {
             attributes = attributes.addParamAttribute(jl_LLVMContext, argno, Attribute::ReadOnly);
         }
+        else if (jl_is_primitivetype(jt) && ty->isIntegerTy()) {
+            bool issigned = jl_signed_type && jl_subtype(jt, (jl_value_t*)jl_signed_type);
+            Attribute::AttrKind attr = issigned ? Attribute::SExt : Attribute::ZExt;
+            attributes = attributes.addParamAttribute(jl_LLVMContext, argno, attr);
+        }
         fsig.push_back(ty);
     }
 

Original file line number	Diff line number	Diff line change
`@@ -5668,6 +5668,11 @@ static jl_returninfo_t get_specsig_function(jl_codectx_t &ctx, Module *M, String`
`5668`	`5668`	`else if (isboxed && jl_is_immutable_datatype(jt)) {`
`5669`	`5669`	`attributes = attributes.addParamAttribute(jl_LLVMContext, argno, Attribute::ReadOnly);`
`5670`	`5670`	`}`
	`5671`	`+ else if (jl_is_primitivetype(jt) && ty->isIntegerTy()) {`
	`5672`	`+ bool issigned = jl_signed_type && jl_subtype(jt, (jl_value_t*)jl_signed_type);`
	`5673`	`+ Attribute::AttrKind attr = issigned ? Attribute::SExt : Attribute::ZExt;`
	`5674`	`+ attributes = attributes.addParamAttribute(jl_LLVMContext, argno, attr);`
	`5675`	`+ }`
`5671`	`5676`	`fsig.push_back(ty);`
`5672`	`5677`	`}`
`5673`	`5678`