llvm dev - Jan 2010 - [LLVMdev] something wrong with .ll file?

I am trying to compile a little intrinsic function for my machine. Here is a
dump from clang-cc with --emit-llvm option:
====================
; ModuleID = 'foo.c'
target datalayout =
"e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"
target triple = "i386-pc-linux-gnu"

@main.i = internal global i32 0                   ; <i32*> [#uses=0]
@main.x = internal global [10 x float] zeroinitializer ; <[10 x float]*>
[#uses=0]
@main.y = internal global [10 x float] zeroinitializer ; <[10 x float]*>
[#uses=0]

define i32 @main() nounwind {
entry:
  %retval = alloca i32                            ; <i32*> [#uses=2]
  %m1 = alloca <2 x double>, align 16             ; <<2 x
double>*> [#uses=0]
  %m2 = alloca <2 x double>, align 16             ; <<2 x
double>*> [#uses=0]
  %j = alloca i32, align 4                        ; <i32*> [#uses=0]
  store i32 0, i32* %retval
  call void @llvm.mymachine.su.route(i32 5, i32 4)
  %0 = load i32* %retval                          ; <i32> [#uses=1]
  ret i32 %0
}

declare void @llvm.mymachine.su.route(i32, i32) nounwind readnone

==========================================
As you can see, the intrinsic function takes two integer arguments and does not
return anything.

For some reason I am getting into trouble when I use llc to process my .bc file.
In visitTargetIntrinsic()
the second argument to function ComputeValueVTs() -  I.getType() ==
llvm::Type::VoidTyID. This leads me to
the exception: "Cannot have nodes without results!".

Is there is something wrong with my byte code or  I messed up somewhere in llc
code?

Are there any other dumps that I can use while processing .bc file?

Thanks.

-- Fima

On Jan 6, 2010, at 1:12 PM, fima rabin wrote:
> I am trying to compile a little intrinsic function for my machine. Here is
a dump from clang-cc with --emit-llvm option:
> ====================> 
> ; ModuleID = 'foo.c'
> target datalayout =
"e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"
> target triple = "i386-pc-linux-gnu"
> 
> @main.i = internal global i32 0                   ; <i32*> [#uses=0]
> @main.x = internal global [10 x float] zeroinitializer ; <[10 x
float]*> [#uses=0]
> @main.y = internal global [10 x float] zeroinitializer ; <[10 x
float]*> [#uses=0]
> 
> define i32 @main() nounwind {
> entry:
>  %retval = alloca i32                            ; <i32*> [#uses=2]
>  %m1 = alloca <2 x double>, align 16             ; <<2 x
double>*> [#uses=0]
>  %m2 = alloca <2 x double>, align 16             ; <<2 x
double>*> [#uses=0]
>  %j = alloca i32, align 4                        ; <i32*> [#uses=0]
>  store i32 0, i32* %retval
>  call void @llvm.mymachine.su.route(i32 5, i32 4)
>  %0 = load i32* %retval                          ; <i32> [#uses=1]
>  ret i32 %0
> }
> 
> declare void @llvm.mymachine.su.route(i32, i32) nounwind readnone
> 
> ==========================================> 
> As you can see, the intrinsic function takes two integer arguments and does
not
> return anything.
> 
> For some reason I am getting into trouble when I use llc to process my .bc
file. In visitTargetIntrinsic()
> the second argument to function ComputeValueVTs() -  I.getType() ==
llvm::Type::VoidTyID. This leads me to
> the exception: "Cannot have nodes without results!".
> 
> Is there is something wrong with my byte code or  I messed up somewhere in
llc code?
> 
> Are there any other dumps that I can use while processing .bc file?
> 
What's the TD definition of your intrinsic?

-bw

Here is my .td definition in IntrinsicsMymachine.td


let TargetPrefix = "mymachine" in {  // 
 def int_mymachine_su_route :
              Intrinsic<[llvm_void_ty], [llvm_i32_ty,
                         llvm_i32_ty], [IntrNoMem]>;
}


-- fima


----- Original Message ----
From: Bill Wendling <wendling at apple.com>
To: fima rabin <fimarn at yahoo.com>
Cc: llvmdev at cs.uiuc.edu
Sent: Wed, January 6, 2010 4:54:16 PM
Subject: Re: [LLVMdev] something wrong with .ll file?

On Jan 6, 2010, at 1:12 PM, fima rabin wrote:
> I am trying to compile a little intrinsic function for my machine. Here is
a dump from clang-cc with --emit-llvm option:
> ====================> 
> ; ModuleID = 'foo.c'
> target datalayout =
"e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"
> target triple = "i386-pc-linux-gnu"
> 
> @main.i = internal global i32 0                   ; <i32*> [#uses=0]
> @main.x = internal global [10 x float] zeroinitializer ; <[10 x
float]*> [#uses=0]
> @main.y = internal global [10 x float] zeroinitializer ; <[10 x
float]*> [#uses=0]
> 
> define i32 @main() nounwind {
> entry:
>  %retval = alloca i32                            ; <i32*> [#uses=2]
>  %m1 = alloca <2 x double>, align 16             ; <<2 x
double>*> [#uses=0]
>  %m2 = alloca <2 x double>, align 16             ; <<2 x
double>*> [#uses=0]
>  %j = alloca i32, align 4                        ; <i32*> [#uses=0]
>  store i32 0, i32* %retval
>  call void @llvm.mymachine.su.route(i32 5, i32 4)
>  %0 = load i32* %retval                          ; <i32> [#uses=1]
>  ret i32 %0
> }
> 
> declare void @llvm.mymachine.su.route(i32, i32) nounwind readnone
> 
> ==========================================> 
> As you can see, the intrinsic function takes two integer arguments and does
not
> return anything.
> 
> For some reason I am getting into trouble when I use llc to process my .bc
file. In visitTargetIntrinsic()
> the second argument to function ComputeValueVTs() -  I.getType() ==
llvm::Type::VoidTyID. This leads me to
> the exception: "Cannot have nodes without results!".
> 
> Is there is something wrong with my byte code or  I messed up somewhere in
llc code?
> 
> Are there any other dumps that I can use while processing .bc file?
> 
What's the TD definition of your intrinsic?

-bw