Module verification failed: Intrinsic has incorrect argument type

[segeljakt]

When compiling this code:

||
  result(
    for(
      [],
      groupmerger[i32,i32],
      |b:groupmerger[i32,i32],i:i64,e:{i32,i32}| merge(b,e)
    )
  )

I get:

Error: WeldError { message: "Module verification failed: Intrinsic has incorrect argument type!\nvoid (i8*, i8, i64, i32, i1)* @llvm.memset.p0i8.i64\nIntrinsic has incorrect argument type!\nvoid (i8*, i8, i64, i32, i1)* @llvm.memset.p0i8.i64\nIntrinsic has incorrect argument type!\nvoid (i8*, i8*, i64, i32, i1)* @llvm.memcpy.p0i8.p0i8.i64\nIntrinsic has incorrect argument type!\nvoid (i8*, i8*, i64, i32, i1)* @llvm.memcpy.p0i8.p0i8.i64\n", code: CompileError }

Am I doing something wrong here?

[sppalkia]

Make sure you're using LLVM 6.0 (llvm-config --version should print 6.0.x). LLVM changes the arguments/types of intrinsics across versions unfortunately.

…

On Wed, Aug 21, 2019 at 3:17 PM segeljakt ***@***.***> wrote: When compiling this code: |se:vec[{{i64,i64},f64}]| let groups = tovec( result( for( se, groupmerger[{i64,i64},f64], |b:groupmerger[{i64,i64},f64],i:i64,e:{{i64,i64},f64}| merge(b,e) ) ) ); let keyvals = result( for( groups, appender[{{i64,i64},f64}], |gb:appender[{{i64,i64},f64}],gi:i64,ge:{{i64,i64},vec[f64]}| merge(gb,{ge.$0, result( for( (ge.$1), merger[f64,+], |b:merger[f64,+],i:i64,e:f64| merge(b,e+0.1) ) ) } ) ) ); keyvals I get: Error: WeldError { message: "Module verification failed: Intrinsic has incorrect argument type!\nvoid (i8*, i8, i64, i32, i1)* @llvm.memset.p0i8.i64\nIntrinsic has incorrect argument type!\nvoid (i8*, i8, i64, i32, i1)* @llvm.memset.p0i8.i64\nIntrinsic has incorrect argument type!\nvoid (i8*, i8*, i64, i32, i1)* @llvm.memcpy.p0i8.p0i8.i64\nIntrinsic has incorrect argument type!\nvoid (i8*, i8*, i64, i32, i1)* @llvm.memcpy.p0i8.p0i8.i64\n", code: CompileError } Am I doing something wrong here? — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#468?email_source=notifications&email_token=AAKMEY6MWUBUINCPO6FQWN3QFW5GLA5CNFSM4IOO3NY2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4HGULA5A>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAKMEYYGSLQYO6VPLD5L3GDQFW5GLANCNFSM4IOO3NYQ> .

-- Shoumik

[segeljakt]

Ok thanks, I'll try it!

[sppalkia]

Did using LLVM 6.0 work for you?

[segeljakt]

It worked for me, I'll close this now