thr3ads.net - llvm dev - [LLVMdev] llvm linking issue [Nov 2012]

If this information is useful, please help other people find it:
Share via:

Guo, Xiaoyi

2012-Nov-01 03:35 UTC

[LLVMdev] llvm linking issue

I have three modules:
-----------------------------------------------------------------
s1.ll:

%0 = type <{ i32, i32 }>

define void @s1(%0* byval %myStruct) nounwind {
return:
  ret void
}
-----------------------------------------------------------------
s2.ll:

%0 = type <{ i32, i32 }>

define void @s2(%0* byval %myStruct) nounwind {
return:
  ret void
}
-----------------------------------------------------------------
s3.ll:
%0 = type <{ i32, i32 }>

declare void @s1(%0* byval) nounwind readonly
declare void @s2(%0* byval) nounwind readonly

define  void @s3(%0* byval %myStruct) nounwind {
    call void @s1(%0* %myStruct) nounwind
    call void @s2(%0* %myStruct) nounwind
    ret void
}
-----------------------------------------------------------------
If they are linked in one order:
$ llvm-link -o s.bc s1.ll s2.ll s3.ll
The linked IR is:

%0 = type <{ i32, i32 }>
%1 = type <{ i32, i32 }>

define  void @s1(%0* byval %myStruct) nounwind {
return:
  ret void
}

define  void @s2(%1* byval %myStruct) nounwind {
return:
  ret void
}

define  void @s3(%0* byval %myStruct) nounwind {
  call  void @s1(%0* %myStruct) nounwind
  call  void bitcast (void (%1*)* @s2 to void (%0*)*)(%0* %myStruct) nounwind
  ret void
}

-----------------------------------------------------------------
If they are linked in a different order:
$ llvm-link -o s.bc s3.ll s1.ll s2.ll
The linked IR is:

%0 = type <{ i32, i32 }>

define  void @s3(%0* byval %myStruct) nounwind {
  call  void @s1(%0* %myStruct) nounwind
  call  void @s2(%0* %myStruct) nounwind
  ret void
}

define  void @s1(%0* byval %myStruct) nounwind {
return:
  ret void
}

define  void @s2(%0* byval %myStruct) nounwind {
return:
  ret void
}

Shouldn't the second linked IR be generated regardless of the order the
modules are linked in?

Thanks,
Xiaoyi

Duncan Sands

2012-Nov-01 07:10 UTC

head link

[LLVMdev] llvm linking issue

Hi Xiaoyi, this looks like a bug to me - please file a bug report.

Ciao, Duncan.

On 01/11/12 04:35, Guo, Xiaoyi wrote:> I have three modules:
> -----------------------------------------------------------------
> s1.ll:
>
> %0 = type <{ i32, i32 }>
>
> define void @s1(%0* byval %myStruct) nounwind {
> return:
>    ret void
> }
> -----------------------------------------------------------------
> s2.ll:
>
> %0 = type <{ i32, i32 }>
>
> define void @s2(%0* byval %myStruct) nounwind {
> return:
>    ret void
> }
> -----------------------------------------------------------------
> s3.ll:
> %0 = type <{ i32, i32 }>
>
> declare void @s1(%0* byval) nounwind readonly
> declare void @s2(%0* byval) nounwind readonly
>
> define  void @s3(%0* byval %myStruct) nounwind {
>      call void @s1(%0* %myStruct) nounwind
>      call void @s2(%0* %myStruct) nounwind
>      ret void
> }
> -----------------------------------------------------------------
> If they are linked in one order:
> $ llvm-link -o s.bc s1.ll s2.ll s3.ll
> The linked IR is:
>
> %0 = type <{ i32, i32 }>
> %1 = type <{ i32, i32 }>
>
> define  void @s1(%0* byval %myStruct) nounwind {
> return:
>    ret void
> }
>
> define  void @s2(%1* byval %myStruct) nounwind {
> return:
>    ret void
> }
>
> define  void @s3(%0* byval %myStruct) nounwind {
>    call  void @s1(%0* %myStruct) nounwind
>    call  void bitcast (void (%1*)* @s2 to void (%0*)*)(%0* %myStruct)
nounwind
>    ret void
> }
>
> -----------------------------------------------------------------
> If they are linked in a different order:
> $ llvm-link -o s.bc s3.ll s1.ll s2.ll
> The linked IR is:
>
> %0 = type <{ i32, i32 }>
>
> define  void @s3(%0* byval %myStruct) nounwind {
>    call  void @s1(%0* %myStruct) nounwind
>    call  void @s2(%0* %myStruct) nounwind
>    ret void
> }
>
> define  void @s1(%0* byval %myStruct) nounwind {
> return:
>    ret void
> }
>
> define  void @s2(%0* byval %myStruct) nounwind {
> return:
>    ret void
> }
>
> Shouldn't the second linked IR be generated regardless of the order the
modules are linked in?
>
> Thanks,
> Xiaoyi
>
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>

Guo, Xiaoyi

2012-Nov-01 18:46 UTC

head link

[LLVMdev] llvm linking issue

Bug 14235 has been submitted.

Xiaoyi

-----Original Message-----
From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu] On
Behalf Of Duncan Sands
Sent: Thursday, November 01, 2012 12:11 AM
To: llvmdev at cs.uiuc.edu
Subject: Re: [LLVMdev] llvm linking issue

Hi Xiaoyi, this looks like a bug to me - please file a bug report.

Ciao, Duncan.

On 01/11/12 04:35, Guo, Xiaoyi wrote:> I have three modules:
> -----------------------------------------------------------------
> s1.ll:
>
> %0 = type <{ i32, i32 }>
>
> define void @s1(%0* byval %myStruct) nounwind {
> return:
>    ret void
> }
> -----------------------------------------------------------------
> s2.ll:
>
> %0 = type <{ i32, i32 }>
>
> define void @s2(%0* byval %myStruct) nounwind {
> return:
>    ret void
> }
> -----------------------------------------------------------------
> s3.ll:
> %0 = type <{ i32, i32 }>
>
> declare void @s1(%0* byval) nounwind readonly declare void @s2(%0* 
> byval) nounwind readonly
>
> define  void @s3(%0* byval %myStruct) nounwind {
>      call void @s1(%0* %myStruct) nounwind
>      call void @s2(%0* %myStruct) nounwind
>      ret void
> }
> -----------------------------------------------------------------
> If they are linked in one order:
> $ llvm-link -o s.bc s1.ll s2.ll s3.ll
> The linked IR is:
>
> %0 = type <{ i32, i32 }>
> %1 = type <{ i32, i32 }>
>
> define  void @s1(%0* byval %myStruct) nounwind {
> return:
>    ret void
> }
>
> define  void @s2(%1* byval %myStruct) nounwind {
> return:
>    ret void
> }
>
> define  void @s3(%0* byval %myStruct) nounwind {
>    call  void @s1(%0* %myStruct) nounwind
>    call  void bitcast (void (%1*)* @s2 to void (%0*)*)(%0* %myStruct)
nounwind
>    ret void
> }
>
> -----------------------------------------------------------------
> If they are linked in a different order:
> $ llvm-link -o s.bc s3.ll s1.ll s2.ll
> The linked IR is:
>
> %0 = type <{ i32, i32 }>
>
> define  void @s3(%0* byval %myStruct) nounwind {
>    call  void @s1(%0* %myStruct) nounwind
>    call  void @s2(%0* %myStruct) nounwind
>    ret void
> }
>
> define  void @s1(%0* byval %myStruct) nounwind {
> return:
>    ret void
> }
>
> define  void @s2(%0* byval %myStruct) nounwind {
> return:
>    ret void
> }
>
> Shouldn't the second linked IR be generated regardless of the order the
modules are linked in?
>
> Thanks,
> Xiaoyi
>
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
_______________________________________________
LLVM Developers mailing list
LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev

Possibly Parallel Threads

Search for more reasonably related threads

llvm dev - Nov 2012 - [LLVMdev] llvm linking issue

[LLVMdev] llvm linking issue

[LLVMdev] llvm linking issue

[LLVMdev] llvm linking issue

Possibly Parallel Threads