1 // RUN: llvm-mc -triple aarch64-none-linux-gnu -mattr=+neon -show-encoding < %s | FileCheck %s
2 // RUN: llvm-mc -triple arm64-none-linux-gnu -mattr=+neon -show-encoding < %s | FileCheck %s
4 // Check that the assembler can handle the documented syntax for AArch64
6 //----------------------------------------------------------------------
7 // Vector Absolute Compare Mask Less Than Or Equal (Floating Point)
8 // FACLE is alias for FACGE with operands reversed
9 //----------------------------------------------------------------------
10 facge v0.2s, v31.2s, v16.2s
11 facge v4.4s, v7.4s, v15.4s
12 facge v29.2d, v2.2d, v5.2d
13 facle v0.2s, v16.2s, v31.2s
14 facle v4.4s, v15.4s, v7.4s
15 facle v29.2d, v5.2d, v2.2d
17 // CHECK: facge v0.2s, v31.2s, v16.2s // encoding: [0xe0,0xef,0x30,0x2e]
18 // CHECK: facge v4.4s, v7.4s, v15.4s // encoding: [0xe4,0xec,0x2f,0x6e]
19 // CHECK: facge v29.2d, v2.2d, v5.2d // encoding: [0x5d,0xec,0x65,0x6e]
20 // CHECK: facge v0.2s, v31.2s, v16.2s // encoding: [0xe0,0xef,0x30,0x2e]
21 // CHECK: facge v4.4s, v7.4s, v15.4s // encoding: [0xe4,0xec,0x2f,0x6e]
22 // CHECK: facge v29.2d, v2.2d, v5.2d // encoding: [0x5d,0xec,0x65,0x6e]
24 //----------------------------------------------------------------------
25 // Vector Absolute Compare Mask Less Than (Floating Point)
26 // FACLT is alias for FACGT with operands reversed
27 //----------------------------------------------------------------------
28 facgt v31.4s, v29.4s, v28.4s
29 facgt v3.2s, v8.2s, v12.2s
30 facgt v17.2d, v15.2d, v13.2d
31 faclt v31.4s, v28.4s, v29.4s
32 faclt v3.2s, v12.2s, v8.2s
33 faclt v17.2d, v13.2d, v15.2d
35 // CHECK: facgt v31.4s, v29.4s, v28.4s // encoding: [0xbf,0xef,0xbc,0x6e]
36 // CHECK: facgt v3.2s, v8.2s, v12.2s // encoding: [0x03,0xed,0xac,0x2e]
37 // CHECK: facgt v17.2d, v15.2d, v13.2d // encoding: [0xf1,0xed,0xed,0x6e]
38 // CHECK: facgt v31.4s, v29.4s, v28.4s // encoding: [0xbf,0xef,0xbc,0x6e]
39 // CHECK: facgt v3.2s, v8.2s, v12.2s // encoding: [0x03,0xed,0xac,0x2e]
40 // CHECK: facgt v17.2d, v15.2d, v13.2d // encoding: [0xf1,0xed,0xed,0x6e]