use widths.get(dw/sw) and test empty/non-empty after.
[openpower-isa.git] / openpower / isa / svbranch.mdwn
index e26d6794dc96c57f7c054af3f9edd6bd91e42fa7..bbc5aeda49de6e914179e2d1cd09b854fbccc8c0 100644 (file)
 
 B-Form
 
-* sv.bc BO,BI,BD (AA=0 LK=0)
-* sv.bca BO,BI,BD (AA=1 LK=0)
-* sv.bcl BO,BI,BD (AA=0 LK=1)
-* sv.bcla BO,BI,BD (AA=1 LK=1)
+* sv.bc BO,BI,target_addr (AA=0 LK=0)
+* sv.bca BO,BI,target_addr (AA=1 LK=0)
+* sv.bcl BO,BI,target_addr (AA=0 LK=1)
+* sv.bcla BO,BI,target_addr (AA=1 LK=1)
 
 Pseudo-code: