# VI: v_addc_u32_e32 v1, vcc, v2, v3, vcc ; encoding: [0x02,0x07,0x02,0x38]
0x02 0x07 0x02 0x38
-# FIXME: v_addc_u32_e64 v1, s[0:1], v2, v3, vcc ; encoding: [0x01,0x00,0x1c,0xd1,0x02,0x07,0xaa,0x01]
-#0x01 0x00 0x1c 0xd1 0x02 0x07 0xaa 0x01
+# VI: v_addc_u32_e64 v1, s[0:1], v2, v3, vcc ; encoding: [0x01,0x00,0x1c,0xd1,0x02,0x07,0xaa,0x01]
+0x01 0x00 0x1c 0xd1 0x02 0x07 0xaa 0x01
-# FIXME: v_addc_u32_e64 v1, s[0:1], v2, v3, s[2:3] ; encoding: [0x01,0x00,0x1c,0xd1,0x02,0x07,0x0a,0x00]
-#0x01 0x00 0x1c 0xd1 0x02 0x07 0x0a 0x00
+# VI: v_addc_u32_e64 v1, s[0:1], v2, v3, s[2:3] ; encoding: [0x01,0x00,0x1c,0xd1,0x02,0x07,0x0a,0x00]
+0x01 0x00 0x1c 0xd1 0x02 0x07 0x0a 0x00
-# FIXME: v_addc_u32_e64 v1, s[0:1], v2, v3, s[2:3] ; encoding: [0x01,0x00,0x1c,0xd1,0x02,0x07,0x0a,0x00]
-#0x01 0x00 0x1c 0xd1 0x02 0x07 0x0a 0x00
+# VI: v_addc_u32_e64 v1, s[0:1], v2, v3, s[2:3] ; encoding: [0x01,0x00,0x1c,0xd1,0x02,0x07,0x0a,0x00]
+0x01 0x00 0x1c 0xd1 0x02 0x07 0x0a 0x00
# FIXME: v_addc_u32_e64 v1, s[0:1], v2, v3, -1 ; encoding: [0x01,0x00,0x1c,0xd1,0x02,0x07,0x06,0x03]
#0x01 0x00 0x1c 0xd1 0x02 0x07 0x06 0x03
# FIXME: v_addc_u32_e64 v1, vcc, v2, v3, -1 ; encoding: [0x01,0x6a,0x1c,0xd1,0x02,0x07,0x06,0x03]
#0x01 0x6a 0x1c 0xd1 0x02 0x07 0x06 0x03
-# FIXME: v_addc_u32_e64 v1, vcc, v2, v3, vcc ; encoding: [0x01,0x6a,0x1c,0xd1,0x02,0x07,0xaa,0x01]
-#0x01 0x6a 0x1c 0xd1 0x02 0x07 0xaa 0x01
+# VI: v_addc_u32_e64 v1, vcc, v2, v3, vcc ; encoding: [0x01,0x6a,0x1c,0xd1,0x02,0x07,0xaa,0x01]
+0x01 0x6a 0x1c 0xd1 0x02 0x07 0xaa 0x01
# VI: v_subb_u32_e32 v1, vcc, v2, v3, vcc ; encoding: [0x02,0x07,0x02,0x3a]
0x02 0x07 0x02 0x3a