| # CS_ARCH_ARM64, 0, None |
| 0xe0,0xef,0x30,0x2e = facge v0.2s, v31.2s, v16.2s |
| 0xe4,0xec,0x2f,0x6e = facge v4.4s, v7.4s, v15.4s |
| 0x5d,0xec,0x65,0x6e = facge v29.2d, v2.2d, v5.2d |
| 0xe0,0xef,0x30,0x2e = facge v0.2s, v31.2s, v16.2s |
| 0xe4,0xec,0x2f,0x6e = facge v4.4s, v7.4s, v15.4s |
| 0x5d,0xec,0x65,0x6e = facge v29.2d, v2.2d, v5.2d |
| 0xbf,0xef,0xbc,0x6e = facgt v31.4s, v29.4s, v28.4s |
| 0x03,0xed,0xac,0x2e = facgt v3.2s, v8.2s, v12.2s |
| 0xf1,0xed,0xed,0x6e = facgt v17.2d, v15.2d, v13.2d |
| 0xbf,0xef,0xbc,0x6e = facgt v31.4s, v29.4s, v28.4s |
| 0x03,0xed,0xac,0x2e = facgt v3.2s, v8.2s, v12.2s |
| 0xf1,0xed,0xed,0x6e = facgt v17.2d, v15.2d, v13.2d |
