Replies: 4 comments
-
I think just assignment is not working. |
Beta Was this translation helpful? Give feedback.
0 replies
-
Please see this document. (https://github.com/prosyslab-classroom/llvm-primer/blob/master/data-structure.md) |
Beta Was this translation helpful? Give feedback.
0 replies
-
I see. x is also just instr. Right? |
Beta Was this translation helpful? Give feedback.
0 replies
-
Yes. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
I thought when we run the code, we have to use
semantics.transfer_node
for each node in given table (All labels have bottom memories) to get a new table.
Thus, I tried to do above thing but I failed.
In example1.c, there is
int x = source()
. In my thought, this line is anode
, so it is in a given table. Let thisnode
isc
.Then, in
transfer_node llctx c memory
, matchnode
withAtomic instr
andinstr
isint x = source()
.In this
instr
, there is a first operandx
and second operandsource()
. Therefore, I usedutils.is_source instr
and I added this newx -> T
to memory(It was bottom memory).Are there something wrong with above statements..?
When I tried to print out new memory, it occurs error
Cannot find lhs of declare dso_local i32 @source(...) #2 Fatal error: exception Not_found
.Did I misunderstand about Node or Table?
Beta Was this translation helpful? Give feedback.
All reactions