Searched refs:dispatch_block (Results 1 – 1 of 1) sorted by relevance
1281 let dispatch_block = builder.create_block(); in translate_resume() localVariable1492 builder.ins().jump(dispatch_block, &[]); in translate_resume()1552 builder.switch_to_block(dispatch_block); in translate_resume()1553 builder.seal_block(dispatch_block); in translate_resume()