search for: ld_abs

On Wed, Aug 05, 2015 at 04:28:13PM +0800, Wangnan (F) wrote: > > It doesn't work for me at first since in my llvm there's only > llvm.bpf.load.*. > > I think llvm.bpf.store.* belone to some patches you haven't posted yet? nope. only loads have special instructions ld_abs/ld_ind which are represented by these intrinsics. stores, so far, are done via single bpf_store_bytes() helper function. > >the typeid changing ids with order is surprising. > >I think the assertion in ExtractTypeInfo() is not hard. > >Just there were no such use cases. May be we...

...e. That's why I'm interesting >> in it. However >> I'm not sure whether the prerequestion is hold. >> >>> patch 2: >>> do we really need to hack clang? >>> Can you just define a function that aliases to intrinsic, >>> like we do for ld_abs/ld_ind ? >>> void bpf_store_half(void *skb, u64 off, u64 val) >>> asm("llvm.bpf.store.half"); >>> then no extra patches necessary. >>> >>>> struct my_str { >>>> int x; >>>> int y; >>>> }...

On 8/4/15 11:51 PM, Wangnan (F) wrote: > void bpf_store_half(void *skb, int off, int val) > asm("llvm.bpf.store.half"); > int func() > { > bpf_store_half(0, 0, 0); > return 0; > } > > Compiled with: > > $ clang -g -target bpf -O2 -S -c test.c > > And get this: > > .text > .globl func > .align

...9;ll post 2 LLVM patches by replying this mail. Please have a look and >> help me >> send them to LLVM if you think my code is correct. > > [SNIP] > patch 2: > do we really need to hack clang? > Can you just define a function that aliases to intrinsic, > like we do for ld_abs/ld_ind ? > void bpf_store_half(void *skb, u64 off, u64 val) > asm("llvm.bpf.store.half"); > then no extra patches necessary. Hi Alexei, By two weeks researching, I have to give you a sad answer that: target specific intrinsic is not work. I tried target specific intrinsic. H...

...s: $src1)>; >> + >> +let Predicates = [HasV4T], AddedComplexity = 30 in >> +def : Pat<(store (i32 IntRegs:$src1), (HexagonCONST32 tglobaladdr:$absaddr)), >> + (STriw_abs_V4 tglobaladdr: $absaddr, IntRegs: $src1)>; >> + >> + >> +multiclass LD_abs<string OpcStr> { >> + let isPredicable = 1 in >> + def _abs_V4 : LDInst<(outs IntRegs:$dst), >> + (ins globaladdress:$absaddr), >> + !strconcat("$dst = ", !strconcat(OpcStr, "(##$absaddr)")), >> + []>,...