1 ; RUN: llc < %s -mtriple=aarch64-none-eabi -mattr=+fullfp16 | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-ILLEGAL 2 ; RUN: llc < %s -mtriple=aarch64-none-eabi -mattr=+fullfp16,+zcz | FileCheck %s --check-prefix=CHECK-ZCZ 3 ; RUN: llc < %s -mtriple=aarch64-none-eabi -mattr=-fullfp16 | FileCheck %s --check-prefix=CHECK-NOFP16 --check-prefix=CHECK-ILLEGAL 4 5 define half @Const0() { 6 entry: 7 ret half 0xH0000 8 } 9 ; CHECK-DAG-ILLEGAL-LABEL: Const0: 10 ; CHECK-DAG-ILLEGAL-NEXT: fmov h0, wzr 11 ; CHECK-DAG-ILLEGAL-NEXT: ret 12 13 ; CHECK-ZCZ-LABEL: Const0: 14 ; CHECK-ZCZ: movi v0.2d, #0000000000000000 15 ; CHECK-ZCZ-NEXT: ret 16 17 define half @Const1() { 18 entry: 19 ret half 0xH3C00 20 } 21 ; CHECK-DAG-LABEL: Const1: 22 ; CHECK-DAG-NEXT: fmov h0, #1.00000000 23 ; CHECK-DAG-NEXT: ret 24 25 ; CHECK-NOFP16: .[[LBL1:LCPI1_[0-9]]]: 26 ; CHECK-NOFP16-NEXT: .hword 15360 // half 1 27 ; CHECK-NOFP16-LABEL: Const1: 28 ; CHECK-NOFP16: adrp x[[NUM:[0-9]+]], .[[LBL1]] 29 ; CHECK-NOFP16-NEXT: ldr h0, [x[[NUM]], :lo12:.[[LBL1]]] 30 31 define half @Const2() { 32 entry: 33 ret half 0xH3000 34 } 35 ; CHECK-DAG-LABEL: Const2: 36 ; CHECK-DAG-NEXT: fmov h0, #0.12500000 37 ; CHECK-DAG-NEXT: ret 38 39 ; CHECK-NOFP16: .[[LBL2:LCPI2_[0-9]]]: 40 ; CHECK-NOFP16-NEXT: .hword 12288 // half 0.125 41 ; CHECK-NOFP16-LABEL: Const2: 42 ; CHECK-NOFP16: adrp x[[NUM:[0-9]+]], .[[LBL2]] 43 ; CHECK-NOFP16-NEXT: ldr h0, [x[[NUM]], :lo12:.[[LBL2]]] 44 45 define half @Const3() { 46 entry: 47 ret half 0xH4F80 48 } 49 ; CHECK-DAG-LABEL: Const3: 50 ; CHECK-DAG-NEXT: fmov h0, #30.00000000 51 ; CHECK-DAG-NEXT: ret 52 53 ; CHECK-NOFP16: .[[LBL3:LCPI3_[0-9]]]: 54 ; CHECK-NOFP16-NEXT: .hword 20352 // half 30 55 ; CHECK-NOFP16-LABEL: Const3: 56 ; CHECK-NOFP16: adrp x[[NUM:[0-9]+]], .[[LBL3]] 57 ; CHECK-NOFP16-NEXT: ldr h0, [x[[NUM]], :lo12:.[[LBL3]]] 58 59 60 define half @Const4() { 61 entry: 62 ret half 0xH4FC0 63 } 64 ; CHECK-DAG-LABEL: Const4: 65 ; CHECK-DAG-NEXT: fmov h0, #31.00000000 66 ; CHECK-DAG-NEXT: ret 67 68 ; CHECK-NOFP16: .[[LBL4:LCPI4_[0-9]]]: 69 ; CHECK-NOFP16-NEXT: .hword 20416 // half 31 70 ; CHECK-NOFP16-LABEL: Const4: 71 ; CHECK-NOFP16: adrp x[[NUM:[0-9]+]], .[[LBL4]] 72 ; CHECK-NOFP16-NEXT: ldr h0, [x[[NUM]], :lo12:.[[LBL4]]] 73 74 define half @Const5() { 75 entry: 76 ret half 0xH2FF0 77 } 78 ; CHECK-ILLEGAL: .[[LBL5:LCPI5_[0-9]]]: 79 ; CHECK-ILLEGAL-NEXT: .hword 12272 // half 0.12402 80 ; CHECK-ILLEGAL-LABEL: Const5: 81 ; CHECK-ILLEGAL: adrp x[[NUM:[0-9]+]], .[[LBL5]] 82 ; CHECK-ILLEGAL-NEXT: ldr h0, [x[[NUM]], :lo12:.[[LBL5]]] 83 84 define half @Const6() { 85 entry: 86 ret half 0xH4FC1 87 } 88 ; CHECK-ILLEGAL: .[[LBL6:LCPI6_[0-9]]]: 89 ; CHECK-ILLEGAL-NEXT: .hword 20417 // half 31.016 90 ; CHECK-ILLEGAL-LABEL: Const6: 91 ; CHECK-ILLEGAL: adrp x[[NUM:[0-9]+]], .[[LBL6]] 92 ; CHECK-ILLEGAL-NEXT: ldr h0, [x[[NUM]], :lo12:.[[LBL6]]] 93 94 95 define half @Const7() { 96 entry: 97 ret half 0xH5000 98 } 99 ; CHECK-ILLEGAL: .[[LBL7:LCPI7_[0-9]]]: 100 ; CHECK-ILLEGAL-NEXT: .hword 20480 // half 32 101 ; CHECK-ILLEGAL-LABEL: Const7: 102 ; CHECK-ILLEGAL: adrp x[[NUM:[0-9]+]], .[[LBL7]] 103 ; CHECK-ILLEGAL-NEXT: ldr h0, [x[[NUM]], :lo12:.[[LBL7]]] 104 105 106
