Displaying 1 result from an estimated 1 matches for "store_block".
Did you mean:
stored_block
2013 Nov 03
1
[LLVMdev] conditional flow resulting in "Instruction does not dominate all uses!"
...ly undefined if we arrive at `next_step` without result
being set?
I know one generic approach, which I've started implementing, but I'm
not sure it is a good solution. Instead of using results directly I
always store in a local variable:
result = alloca result_type
tmp = invoke func to store_block unwind landing
store_block:
store tmp, result
br defer_block
...
next_step:
val = load result
Here result would just be undefined if we arrive at `next_step` without
having gone through `store_block`. It works, but my guess is that I'm
hiding some valuable information from the optimizers...