Searched refs:bodyBbArg (Results 1 – 1 of 1) sorted by relevance
610 BlockArgument bodyBbArg = whileOp.getAfterArguments()[resultNumber]; in bufferRelation() local613 state.areEquivalentBufferizedValues(bodyBbArg, yieldOperand); in bufferRelation()