Searched defs:assertCond (Results 1 – 1 of 1) sorted by relevance
149 Value assertCond; in generateRuntimeVerification() local 234 auto assertCond = builder.createOrFold<arith::AndIOp>(loc, geLow, leHigh); in generateRuntimeVerification() local 279 auto assertCond = builder.createOrFold<arith::AndIOp>(loc, geLow, leHigh); in generateRuntimeVerification() local