Hi,
Plz help with this problem whenever you are free.
For each instruction in any BasicBlock I want to know the type of
instruction, the variables used in that instruction. For example I used
this program (https://play.golang.org/p/abvgKpPg8e) to get ssa form for the
main function. SSA form :
func main():
0: entry P:0
S:0
t0 = plus(1:int, 2:int) int
t1 = new [2]interface{} (varargs) *[2]interface{}
t2 = &t1[0:int] *interface{}
t3 = make interface{} <- string ("1+2 =":string) interface{}
*t2 = t3
t4 = &t1[1:int] *interface{}
t5 = make interface{} <- int (t0) interface{}
*t4 = t5
t6 = slice t1[:] []interface{}
t7 = fmt.Println(t6...) (n int, err error)
t8 = plusPlus(1:int, 2:int, 3:int) int
t9 = new [2]interface{} (varargs) *[2]interface{}
t10 = &t9[0:int] *interface{}
t11 = make interface{} <- string ("1+2+3 =":string) interface{}
*t10 = t11
t12 = &t9[1:int] *interface{}
t13 = make interface{} <- int (t8) interface{}
*t12 = t13
t14 = slice t9[:] []interface{}
t15 = fmt.Println(t14...) (n int, err error)
return
Just one line of the program corresponds to multiple instructions. Is there
some documentation as to how these instructions are constructed for a line
of code so that I can decode these instructions for any general program’s
SSA.
Also, I want to know the variables which are shared bw any goroutines or
not.
All the instructions where one particular variable is being defined or used.
I need these infos because my aim is to implement the CSSA based SAT
encoding for a program as mentioned on page 7 of this paper (
https://goo.gl/pdXuoe).
On Sunday, December 11, 2016 at 11:53:11 PM UTC+5:30, Alan Donovan wrote:
>
> On 11 December 2016 at 12:21, <akshans...@gmail.com <javascript:>> wrote:
>
>> I am not sure how to get any starting node of type BasicBlock (
>> ssa#BasicBlock <https://godoc.org/golang.org/x/tools/go/ssa#BasicBlock>), so
>> that I can traverse the Graph using Preds/Succs relation.
>>
>
> An ssa.Program is a essentially collection of packages. Use one of its
> methods (Package or ImportedPackage) to get the ssa.Package you want.
> Then, use the (*Package).Func method to get the function you want. If you
> want a method, you can use (*Program).LookupMethod, giving it the receiver
> type and the method name.
>
> Once you have an *ssa.Function f, its control flow graph is rooted at
> r.Blocks[0], which is the entry block. To enumerate blocks in arbitrary
> order, range over the Blocks slice. For graph order, traverse depth-first
> over the Succs slice; Preds is its inverse. To visit nodes in dominator
> tree preorder, use the Dominees method.
>
--
You received this message because you are subscribed to the Google Groups
"golang-nuts" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to golang-nuts+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
