163 lines · plain
1; RUN: llc -O0 -fast-isel -fast-isel-abort=1 -verify-machineinstrs -mtriple=arm64-apple-darwin < %s | FileCheck %s2 3define zeroext i1 @fcmp_float1(float %a) {4; CHECK-LABEL: fcmp_float15; CHECK: fcmp s0, #0.06; CHECK-NEXT: cset {{w[0-9]+}}, ne7 %1 = fcmp une float %a, 0.000000e+008 ret i1 %19}10 11define zeroext i1 @fcmp_float2(float %a, float %b) {12; CHECK-LABEL: fcmp_float213; CHECK: fcmp s0, s114; CHECK-NEXT: cset {{w[0-9]+}}, ne15 %1 = fcmp une float %a, %b16 ret i1 %117}18 19define zeroext i1 @fcmp_double1(double %a) {20; CHECK-LABEL: fcmp_double121; CHECK: fcmp d0, #0.022; CHECK-NEXT: cset {{w[0-9]+}}, ne23 %1 = fcmp une double %a, 0.000000e+0024 ret i1 %125}26 27define zeroext i1 @fcmp_double2(double %a, double %b) {28; CHECK-LABEL: fcmp_double229; CHECK: fcmp d0, d130; CHECK-NEXT: cset {{w[0-9]+}}, ne31 %1 = fcmp une double %a, %b32 ret i1 %133}34 35; Check each fcmp condition36define zeroext i1 @fcmp_false(float %a) {37; CHECK-LABEL: fcmp_false38; CHECK: mov {{w[0-9]+}}, wzr39 %1 = fcmp ogt float %a, %a40 ret i1 %141}42 43define zeroext i1 @fcmp_oeq(float %a, float %b) {44; CHECK-LABEL: fcmp_oeq45; CHECK: fcmp s0, s146; CHECK-NEXT: cset {{w[0-9]+}}, eq47 %1 = fcmp oeq float %a, %b48 ret i1 %149}50 51define zeroext i1 @fcmp_ogt(float %a, float %b) {52; CHECK-LABEL: fcmp_ogt53; CHECK: fcmp s0, s154; CHECK-NEXT: cset {{w[0-9]+}}, gt55 %1 = fcmp ogt float %a, %b56 ret i1 %157}58 59define zeroext i1 @fcmp_oge(float %a, float %b) {60; CHECK-LABEL: fcmp_oge61; CHECK: fcmp s0, s162; CHECK-NEXT: cset {{w[0-9]+}}, ge63 %1 = fcmp oge float %a, %b64 ret i1 %165}66 67define zeroext i1 @fcmp_olt(float %a, float %b) {68; CHECK-LABEL: fcmp_olt69; CHECK: fcmp s0, s170; CHECK-NEXT: cset {{w[0-9]+}}, mi71 %1 = fcmp olt float %a, %b72 ret i1 %173}74 75define zeroext i1 @fcmp_ole(float %a, float %b) {76; CHECK-LABEL: fcmp_ole77; CHECK: fcmp s0, s178; CHECK-NEXT: cset {{w[0-9]+}}, ls79 %1 = fcmp ole float %a, %b80 ret i1 %181}82 83define zeroext i1 @fcmp_one(float %a, float %b) {84; CHECK-LABEL: fcmp_one85; CHECK: fcmp s0, s186; CHECK-NEXT: cset [[REG:w[0-9]+]], mi87; CHECK-NEXT: csinc {{w[0-9]+}}, [[REG]], wzr, le88 %1 = fcmp one float %a, %b89 ret i1 %190}91 92define zeroext i1 @fcmp_ord(float %a, float %b) {93; CHECK-LABEL: fcmp_ord94; CHECK: fcmp s0, s195; CHECK-NEXT: cset {{w[0-9]+}}, vc96 %1 = fcmp ord float %a, %b97 ret i1 %198}99 100define zeroext i1 @fcmp_uno(float %a, float %b) {101; CHECK-LABEL: fcmp_uno102; CHECK: fcmp s0, s1103; CHECK-NEXT: cset {{w[0-9]+}}, vs104 %1 = fcmp uno float %a, %b105 ret i1 %1106}107 108define zeroext i1 @fcmp_ueq(float %a, float %b) {109; CHECK-LABEL: fcmp_ueq110; CHECK: fcmp s0, s1111; CHECK-NEXT: cset [[REG:w[0-9]+]], eq112; CHECK-NEXT: csinc {{w[0-9]+}}, [[REG]], wzr, vc113 %1 = fcmp ueq float %a, %b114 ret i1 %1115}116 117define zeroext i1 @fcmp_ugt(float %a, float %b) {118; CHECK-LABEL: fcmp_ugt119; CHECK: fcmp s0, s1120; CHECK-NEXT: cset {{w[0-9]+}}, hi121 %1 = fcmp ugt float %a, %b122 ret i1 %1123}124 125define zeroext i1 @fcmp_uge(float %a, float %b) {126; CHECK-LABEL: fcmp_uge127; CHECK: fcmp s0, s1128; CHECK-NEXT: cset {{w[0-9]+}}, pl129 %1 = fcmp uge float %a, %b130 ret i1 %1131}132 133define zeroext i1 @fcmp_ult(float %a, float %b) {134; CHECK-LABEL: fcmp_ult135; CHECK: fcmp s0, s1136; CHECK-NEXT: cset {{w[0-9]+}}, lt137 %1 = fcmp ult float %a, %b138 ret i1 %1139}140 141define zeroext i1 @fcmp_ule(float %a, float %b) {142; CHECK-LABEL: fcmp_ule143; CHECK: fcmp s0, s1144; CHECK-NEXT: cset {{w[0-9]+}}, le145 %1 = fcmp ule float %a, %b146 ret i1 %1147}148 149define zeroext i1 @fcmp_une(float %a, float %b) {150; CHECK-LABEL: fcmp_une151; CHECK: fcmp s0, s1152; CHECK-NEXT: cset {{w[0-9]+}}, ne153 %1 = fcmp une float %a, %b154 ret i1 %1155}156 157define zeroext i1 @fcmp_true(float %a) {158; CHECK-LABEL: fcmp_true159; CHECK: mov {{w[0-9]+}}, #1160 %1 = fcmp ueq float %a, %a161 ret i1 %1162}163