1 ; RUN: llc -O0 -fast-isel-abort=1 -verify-machineinstrs -mtriple=arm64-apple-darwin < %s | FileCheck %s 2 3 define zeroext i1 @fcmp_float1(float %a) { 4 ; CHECK-LABEL: fcmp_float1 5 ; CHECK: fcmp s0, #0.0 6 ; CHECK-NEXT: cset {{w[0-9]+}}, ne 7 %1 = fcmp une float %a, 0.000000e+00 8 ret i1 %1 9 } 10 11 define zeroext i1 @fcmp_float2(float %a, float %b) { 12 ; CHECK-LABEL: fcmp_float2 13 ; CHECK: fcmp s0, s1 14 ; CHECK-NEXT: cset {{w[0-9]+}}, ne 15 %1 = fcmp une float %a, %b 16 ret i1 %1 17 } 18 19 define zeroext i1 @fcmp_double1(double %a) { 20 ; CHECK-LABEL: fcmp_double1 21 ; CHECK: fcmp d0, #0.0 22 ; CHECK-NEXT: cset {{w[0-9]+}}, ne 23 %1 = fcmp une double %a, 0.000000e+00 24 ret i1 %1 25 } 26 27 define zeroext i1 @fcmp_double2(double %a, double %b) { 28 ; CHECK-LABEL: fcmp_double2 29 ; CHECK: fcmp d0, d1 30 ; CHECK-NEXT: cset {{w[0-9]+}}, ne 31 %1 = fcmp une double %a, %b 32 ret i1 %1 33 } 34 35 ; Check each fcmp condition 36 define zeroext i1 @fcmp_false(float %a) { 37 ; CHECK-LABEL: fcmp_false 38 ; CHECK: mov {{w[0-9]+}}, wzr 39 %1 = fcmp ogt float %a, %a 40 ret i1 %1 41 } 42 43 define zeroext i1 @fcmp_oeq(float %a, float %b) { 44 ; CHECK-LABEL: fcmp_oeq 45 ; CHECK: fcmp s0, s1 46 ; CHECK-NEXT: cset {{w[0-9]+}}, eq 47 %1 = fcmp oeq float %a, %b 48 ret i1 %1 49 } 50 51 define zeroext i1 @fcmp_ogt(float %a, float %b) { 52 ; CHECK-LABEL: fcmp_ogt 53 ; CHECK: fcmp s0, s1 54 ; CHECK-NEXT: cset {{w[0-9]+}}, gt 55 %1 = fcmp ogt float %a, %b 56 ret i1 %1 57 } 58 59 define zeroext i1 @fcmp_oge(float %a, float %b) { 60 ; CHECK-LABEL: fcmp_oge 61 ; CHECK: fcmp s0, s1 62 ; CHECK-NEXT: cset {{w[0-9]+}}, ge 63 %1 = fcmp oge float %a, %b 64 ret i1 %1 65 } 66 67 define zeroext i1 @fcmp_olt(float %a, float %b) { 68 ; CHECK-LABEL: fcmp_olt 69 ; CHECK: fcmp s0, s1 70 ; CHECK-NEXT: cset {{w[0-9]+}}, mi 71 %1 = fcmp olt float %a, %b 72 ret i1 %1 73 } 74 75 define zeroext i1 @fcmp_ole(float %a, float %b) { 76 ; CHECK-LABEL: fcmp_ole 77 ; CHECK: fcmp s0, s1 78 ; CHECK-NEXT: cset {{w[0-9]+}}, ls 79 %1 = fcmp ole float %a, %b 80 ret i1 %1 81 } 82 83 define zeroext i1 @fcmp_one(float %a, float %b) { 84 ; CHECK-LABEL: fcmp_one 85 ; CHECK: fcmp s0, s1 86 ; CHECK-NEXT: cset [[REG:w[0-9]+]], mi 87 ; CHECK-NEXT: csinc {{w[0-9]+}}, [[REG]], wzr, le 88 %1 = fcmp one float %a, %b 89 ret i1 %1 90 } 91 92 define zeroext i1 @fcmp_ord(float %a, float %b) { 93 ; CHECK-LABEL: fcmp_ord 94 ; CHECK: fcmp s0, s1 95 ; CHECK-NEXT: cset {{w[0-9]+}}, vc 96 %1 = fcmp ord float %a, %b 97 ret i1 %1 98 } 99 100 define zeroext i1 @fcmp_uno(float %a, float %b) { 101 ; CHECK-LABEL: fcmp_uno 102 ; CHECK: fcmp s0, s1 103 ; CHECK-NEXT: cset {{w[0-9]+}}, vs 104 %1 = fcmp uno float %a, %b 105 ret i1 %1 106 } 107 108 define zeroext i1 @fcmp_ueq(float %a, float %b) { 109 ; CHECK-LABEL: fcmp_ueq 110 ; CHECK: fcmp s0, s1 111 ; CHECK-NEXT: cset [[REG:w[0-9]+]], eq 112 ; CHECK-NEXT: csinc {{w[0-9]+}}, [[REG]], wzr, vc 113 %1 = fcmp ueq float %a, %b 114 ret i1 %1 115 } 116 117 define zeroext i1 @fcmp_ugt(float %a, float %b) { 118 ; CHECK-LABEL: fcmp_ugt 119 ; CHECK: fcmp s0, s1 120 ; CHECK-NEXT: cset {{w[0-9]+}}, hi 121 %1 = fcmp ugt float %a, %b 122 ret i1 %1 123 } 124 125 define zeroext i1 @fcmp_uge(float %a, float %b) { 126 ; CHECK-LABEL: fcmp_uge 127 ; CHECK: fcmp s0, s1 128 ; CHECK-NEXT: cset {{w[0-9]+}}, pl 129 %1 = fcmp uge float %a, %b 130 ret i1 %1 131 } 132 133 define zeroext i1 @fcmp_ult(float %a, float %b) { 134 ; CHECK-LABEL: fcmp_ult 135 ; CHECK: fcmp s0, s1 136 ; CHECK-NEXT: cset {{w[0-9]+}}, lt 137 %1 = fcmp ult float %a, %b 138 ret i1 %1 139 } 140 141 define zeroext i1 @fcmp_ule(float %a, float %b) { 142 ; CHECK-LABEL: fcmp_ule 143 ; CHECK: fcmp s0, s1 144 ; CHECK-NEXT: cset {{w[0-9]+}}, le 145 %1 = fcmp ule float %a, %b 146 ret i1 %1 147 } 148 149 define zeroext i1 @fcmp_une(float %a, float %b) { 150 ; CHECK-LABEL: fcmp_une 151 ; CHECK: fcmp s0, s1 152 ; CHECK-NEXT: cset {{w[0-9]+}}, ne 153 %1 = fcmp une float %a, %b 154 ret i1 %1 155 } 156 157 define zeroext i1 @fcmp_true(float %a) { 158 ; CHECK-LABEL: fcmp_true 159 ; CHECK: orr {{w[0-9]+}}, wzr, #0x1 160 %1 = fcmp ueq float %a, %a 161 ret i1 %1 162 } 163
