// // Verify DV detection on branch variations // .text .explicit // example from rth 3: { .mib (p6) ld8 gp = [ret0] (p6) mov b6 = r2 (p6) br.call.sptk.many b0 = b6 // if taken, clears b6/r2 usage } { .mib mov gp = r30 (p6) br.sptk.few 3b }