1 ; RUN: llc < %s -march=mipsel | FileCheck %s -check-prefix=CHECK 2 3 @d2 = external global double 4 @d3 = external global double 5 6 define i32 @sel1(i32 %s, i32 %f0, i32 %f1) nounwind readnone { 7 entry: 8 ; CHECK: movn 9 %tobool = icmp ne i32 %s, 0 10 %cond = select i1 %tobool, i32 %f1, i32 %f0 11 ret i32 %cond 12 } 13 14 define float @sel2(i32 %s, float %f0, float %f1) nounwind readnone { 15 entry: 16 ; CHECK: movn.s 17 %tobool = icmp ne i32 %s, 0 18 %cond = select i1 %tobool, float %f0, float %f1 19 ret float %cond 20 } 21 22 define double @sel2_1(i32 %s, double %f0, double %f1) nounwind readnone { 23 entry: 24 ; CHECK: movn.d 25 %tobool = icmp ne i32 %s, 0 26 %cond = select i1 %tobool, double %f0, double %f1 27 ret double %cond 28 } 29 30 define float @sel3(float %f0, float %f1, float %f2, float %f3) nounwind readnone { 31 entry: 32 ; CHECK: c.eq.s 33 ; CHECK: movt.s 34 %cmp = fcmp oeq float %f2, %f3 35 %cond = select i1 %cmp, float %f0, float %f1 36 ret float %cond 37 } 38 39 define float @sel4(float %f0, float %f1, float %f2, float %f3) nounwind readnone { 40 entry: 41 ; CHECK: c.olt.s 42 ; CHECK: movt.s 43 %cmp = fcmp olt float %f2, %f3 44 %cond = select i1 %cmp, float %f0, float %f1 45 ret float %cond 46 } 47 48 define float @sel5(float %f0, float %f1, float %f2, float %f3) nounwind readnone { 49 entry: 50 ; CHECK: c.ule.s 51 ; CHECK: movf.s 52 %cmp = fcmp ogt float %f2, %f3 53 %cond = select i1 %cmp, float %f0, float %f1 54 ret float %cond 55 } 56 57 define double @sel5_1(double %f0, double %f1, float %f2, float %f3) nounwind readnone { 58 entry: 59 ; CHECK: c.ule.s 60 ; CHECK: movf.d 61 %cmp = fcmp ogt float %f2, %f3 62 %cond = select i1 %cmp, double %f0, double %f1 63 ret double %cond 64 } 65 66 define double @sel6(double %f0, double %f1, double %f2, double %f3) nounwind readnone { 67 entry: 68 ; CHECK: c.eq.d 69 ; CHECK: movt.d 70 %cmp = fcmp oeq double %f2, %f3 71 %cond = select i1 %cmp, double %f0, double %f1 72 ret double %cond 73 } 74 75 define double @sel7(double %f0, double %f1, double %f2, double %f3) nounwind readnone { 76 entry: 77 ; CHECK: c.olt.d 78 ; CHECK: movt.d 79 %cmp = fcmp olt double %f2, %f3 80 %cond = select i1 %cmp, double %f0, double %f1 81 ret double %cond 82 } 83 84 define double @sel8(double %f0, double %f1, double %f2, double %f3) nounwind readnone { 85 entry: 86 ; CHECK: c.ule.d 87 ; CHECK: movf.d 88 %cmp = fcmp ogt double %f2, %f3 89 %cond = select i1 %cmp, double %f0, double %f1 90 ret double %cond 91 } 92 93 define float @sel8_1(float %f0, float %f1, double %f2, double %f3) nounwind readnone { 94 entry: 95 ; CHECK: c.ule.d 96 ; CHECK: movf.s 97 %cmp = fcmp ogt double %f2, %f3 98 %cond = select i1 %cmp, float %f0, float %f1 99 ret float %cond 100 } 101 102 define i32 @sel9(i32 %f0, i32 %f1, float %f2, float %f3) nounwind readnone { 103 entry: 104 ; CHECK: c.eq.s 105 ; CHECK: movt 106 %cmp = fcmp oeq float %f2, %f3 107 %cond = select i1 %cmp, i32 %f0, i32 %f1 108 ret i32 %cond 109 } 110 111 define i32 @sel10(i32 %f0, i32 %f1, float %f2, float %f3) nounwind readnone { 112 entry: 113 ; CHECK: c.olt.s 114 ; CHECK: movt 115 %cmp = fcmp olt float %f2, %f3 116 %cond = select i1 %cmp, i32 %f0, i32 %f1 117 ret i32 %cond 118 } 119 120 define i32 @sel11(i32 %f0, i32 %f1, float %f2, float %f3) nounwind readnone { 121 entry: 122 ; CHECK: c.ule.s 123 ; CHECK: movf 124 %cmp = fcmp ogt float %f2, %f3 125 %cond = select i1 %cmp, i32 %f0, i32 %f1 126 ret i32 %cond 127 } 128 129 define i32 @sel12(i32 %f0, i32 %f1) nounwind readonly { 130 entry: 131 ; CHECK: c.eq.d 132 ; CHECK: movt 133 %tmp = load double* @d2, align 8, !tbaa !0 134 %tmp1 = load double* @d3, align 8, !tbaa !0 135 %cmp = fcmp oeq double %tmp, %tmp1 136 %cond = select i1 %cmp, i32 %f0, i32 %f1 137 ret i32 %cond 138 } 139 140 define i32 @sel13(i32 %f0, i32 %f1) nounwind readonly { 141 entry: 142 ; CHECK: c.olt.d 143 ; CHECK: movt 144 %tmp = load double* @d2, align 8, !tbaa !0 145 %tmp1 = load double* @d3, align 8, !tbaa !0 146 %cmp = fcmp olt double %tmp, %tmp1 147 %cond = select i1 %cmp, i32 %f0, i32 %f1 148 ret i32 %cond 149 } 150 151 define i32 @sel14(i32 %f0, i32 %f1) nounwind readonly { 152 entry: 153 ; CHECK: c.ule.d 154 ; CHECK: movf 155 %tmp = load double* @d2, align 8, !tbaa !0 156 %tmp1 = load double* @d3, align 8, !tbaa !0 157 %cmp = fcmp ogt double %tmp, %tmp1 158 %cond = select i1 %cmp, i32 %f0, i32 %f1 159 ret i32 %cond 160 } 161 162 !0 = metadata !{metadata !"double", metadata !1} 163 !1 = metadata !{metadata !"omnipotent char", metadata !2} 164 !2 = metadata !{metadata !"Simple C/C++ TBAA", null} 165
