1//
2// Verify DV detection on branch variations
3//
4.text
5	.explicit
6	// example from rth
73:
8	{ .mib
9(p6)	  ld8 gp = [ret0]
10(p6)	  mov b6 = r2
11(p6)	  br.call.sptk.many b0 = b6 // if taken, clears b6/r2 usage
12	}
13	{ .mib
14	  mov gp = r30
15(p6)	  br.sptk.few 3b
16	}
17