On Tue, Mar 7, 2017 at 12:43 AM, Luc Van Oostenryck
<luc.vanoostenryck@xxxxxxxxx> wrote:
>
> With an example:
> == C code ==
> void *foo(int *p) { return p + 5; }
>
> == linearized code ==
> foo:
> .L0:
> <entry-point>
> add.64 %r2 <- %arg1, $20
> cast.64 %r3 <- (64) %r2
> ret.64 %r3
>
> == LLVM code from sparse-llvm ==
> ; ModuleID = '<stdin>'
> source_filename = "sparse"
>
> define i8* @foo(i32* %ARG1) {
> L0:
> %0 = getelementptr i32, i32* %ARG1, inttoptr (i64 20 to i32*)
> %R3 = bitcast i32* %0 to i8*
> ret i8* %R3
> }
>
OK, good. Let's use this example.
I am using clang to get the llvm bytecode. t.c is your example.
clang -S -emit-llvm /tmp/t.c
Here is output, compare the line I am pointing at:
The indices should be 5 according clang's output.
However sparse-llvm generate as 20 per your output
if I am reading it correctly.
Chris
============== t.ll =====================
ModuleID = '/tmp/t.c'
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
; Function Attrs: nounwind uwtable
define i8* @foo(i32* %p) #0 {
%1 = alloca i32*, align 8
store i32* %p, i32** %1, align 8
%2 = load i32*, i32** %1, align 8
%3 = getelementptr inbounds i32, i32* %2, i64 5 <======== look here
%4 = bitcast i32* %3 to i8*
ret i8* %4
}
attributes #0 = { nounwind uwtable "disable-tail-calls"="false"
"less-precise-fpmad"="false" "no-frame-pointer-elim"="true"
"no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false"
"no-nans-fp-math"="false" "stack-protector-buffer-size"="8"
"target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2"
"unsafe-fp-math"="false" "use-soft-float"="false" }
!llvm.ident = !{!0}
!0 = !{!"clang version 3.8.1 (tags/RELEASE_381/final)"}
================================================
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
