244 lines · plain
1; RUN: llc < %s -mtriple=sparc -mattr=hard-quad-float | FileCheck %s --check-prefix=CHECK --check-prefix=HARD --check-prefix=BE2; RUN: llc < %s -mtriple=sparcel -mattr=hard-quad-float | FileCheck %s --check-prefix=CHECK --check-prefix=HARD --check-prefix=EL3; RUN: llc < %s -mtriple=sparc -mattr=-hard-quad-float -verify-machineinstrs | FileCheck %s --check-prefix=CHECK --check-prefix=SOFT --check-prefix=BE4; RUN: llc < %s -mtriple=sparcel -mattr=-hard-quad-float | FileCheck %s --check-prefix=CHECK --check-prefix=SOFT --check-prefix=EL5 6; CHECK-LABEL: f128_ops:7; CHECK: ldd8; CHECK: ldd9; CHECK: ldd10; CHECK: ldd11; HARD: faddq [[R0:.+]], [[R1:.+]], [[R2:.+]]12; HARD: fsubq [[R2]], [[R3:.+]], [[R4:.+]]13; HARD: fmulq [[R4]], [[R5:.+]], [[R6:.+]]14; HARD: fdivq [[R6]], [[R2]]15; SOFT: call _Q_add16; SOFT: unimp 1617; SOFT: call _Q_sub18; SOFT: unimp 1619; SOFT: call _Q_mul20; SOFT: unimp 1621; SOFT: call _Q_div22; SOFT: unimp 1623; CHECK: std24; CHECK: std25 26define void @f128_ops(ptr noalias sret(fp128) %scalar.result, ptr byval(fp128) %a, ptr byval(fp128) %b, ptr byval(fp128) %c, ptr byval(fp128) %d) {27entry:28 %0 = load fp128, ptr %a, align 829 %1 = load fp128, ptr %b, align 830 %2 = load fp128, ptr %c, align 831 %3 = load fp128, ptr %d, align 832 %4 = fadd fp128 %0, %133 %5 = fsub fp128 %4, %234 %6 = fmul fp128 %5, %335 %7 = fdiv fp128 %6, %436 store fp128 %7, ptr %scalar.result, align 837 ret void38}39 40; CHECK-LABEL: f128_spill:41; CHECK: std %f{{.+}}, [%[[S0:.+]]]42; CHECK: std %f{{.+}}, [%[[S1:.+]]]43; CHECK-DAG: ldd [%[[S0]]], %f{{.+}}44; CHECK-DAG: ldd [%[[S1]]], %f{{.+}}45; CHECK: jmp {{%[oi]7}}+1246 47define void @f128_spill(ptr noalias sret(fp128) %scalar.result, ptr byval(fp128) %a) {48entry:49 %0 = load fp128, ptr %a, align 850 call void asm sideeffect "", "~{f0},~{f1},~{f2},~{f3},~{f4},~{f5},~{f6},~{f7},~{f8},~{f9},~{f10},~{f11},~{f12},~{f13},~{f14},~{f15},~{f16},~{f17},~{f18},~{f19},~{f20},~{f21},~{f22},~{f23},~{f24},~{f25},~{f26},~{f27},~{f28},~{f29},~{f30},~{f31}"()51 store fp128 %0, ptr %scalar.result, align 852 ret void53}54 55; CHECK-LABEL: f128_spill_large:56; CHECK: sethi 4, %g157 58; CHECK: std %f{{.+}}, [%[[S0:.+]]]59; CHECK: std %f{{.+}}, [%[[S1:.+]]]60; CHECK-DAG: ldd [%[[S0]]], %f{{.+}}61; CHECK-DAG: ldd [%[[S1]]], %f{{.+}}62define void @f128_spill_large(ptr noalias sret(<251 x fp128>) %scalar.result, ptr byval(<251 x fp128>) %a) {63entry:64 %0 = load <251 x fp128>, ptr %a, align 865 call void asm sideeffect "", "~{f0},~{f1},~{f2},~{f3},~{f4},~{f5},~{f6},~{f7},~{f8},~{f9},~{f10},~{f11},~{f12},~{f13},~{f14},~{f15},~{f16},~{f17},~{f18},~{f19},~{f20},~{f21},~{f22},~{f23},~{f24},~{f25},~{f26},~{f27},~{f28},~{f29},~{f30},~{f31}"()66 store <251 x fp128> %0, ptr %scalar.result, align 867 ret void68}69 70; CHECK-LABEL: f128_compare:71; HARD: fcmpq72; HARD-NEXT: nop73; SOFT: _Q_cmp74 75define i32 @f128_compare(ptr byval(fp128) %f0, ptr byval(fp128) %f1, i32 %a, i32 %b) {76entry:77 %0 = load fp128, ptr %f0, align 878 %1 = load fp128, ptr %f1, align 879 %cond = fcmp ult fp128 %0, %180 %ret = select i1 %cond, i32 %a, i32 %b81 ret i32 %ret82}83 84; CHECK-LABEL: f128_compare2:85; HARD: fcmpq86; HARD: fb{{ule|g}}87; SOFT: _Q_cmp88; SOFT: cmp89 90define i32 @f128_compare2(ptr byval(fp128) %f0) {91entry:92 %0 = load fp128, ptr %f0, align 893 %1 = fcmp ogt fp128 %0, 0xL0000000000000000000000000000000094 br i1 %1, label %"5", label %"7"95 96"5": ; preds = %entry97 ret i32 098 99"7": ; preds = %entry100 ret i32 1101}102 103 104; CHECK-LABEL: f128_abs:105; CHECK-DAG: ldd [%o0], [[REG:%f[0-9]+]]106; CHECK-DAG: ldd [%o0+8], %f{{[0-9]+}}107; BE: fabss [[REG]], [[REG]]108; EL: fabss %f1, %f1109 110define void @f128_abs(ptr noalias sret(fp128) %scalar.result, ptr byval(fp128) %a) {111entry:112 %0 = load fp128, ptr %a, align 8113 %1 = tail call fp128 @llvm.fabs.f128(fp128 %0)114 store fp128 %1, ptr %scalar.result, align 8115 ret void116}117 118declare fp128 @llvm.fabs.f128(fp128) nounwind readonly119 120; CHECK-LABEL: int_to_f128:121; HARD: fitoq122; SOFT: _Q_itoq123; SOFT: unimp 16124 125define void @int_to_f128(ptr noalias sret(fp128) %scalar.result, i32 %i) {126entry:127 %0 = sitofp i32 %i to fp128128 store fp128 %0, ptr %scalar.result, align 8129 ret void130}131 132; CHECK-LABEL: fp128_unaligned:133; CHECK: ldub134; HARD: faddq135; SOFT: call _Q_add136; SOFT: unimp 16137; CHECK: stb138; CHECK: ret139 140define void @fp128_unaligned(ptr %a, ptr %b, ptr %c) {141entry:142 %0 = load fp128, ptr %a, align 1143 %1 = load fp128, ptr %b, align 1144 %2 = fadd fp128 %0, %1145 store fp128 %2, ptr %c, align 1146 ret void147}148 149; CHECK-LABEL: uint_to_f128:150; HARD: fdtoq151; SOFT: _Q_utoq152; SOFT: unimp 16153 154define void @uint_to_f128(ptr noalias sret(fp128) %scalar.result, i32 %i) {155entry:156 %0 = uitofp i32 %i to fp128157 store fp128 %0, ptr %scalar.result, align 8158 ret void159}160 161; CHECK-LABEL: f128_to_i32:162; HARD: fqtoi163; HARD: fqtoi164; SOFT: call _Q_qtou165; SOFT: call _Q_qtoi166 167 168define i32 @f128_to_i32(ptr %a, ptr %b) {169entry:170 %0 = load fp128, ptr %a, align 8171 %1 = load fp128, ptr %b, align 8172 %2 = fptoui fp128 %0 to i32173 %3 = fptosi fp128 %1 to i32174 %4 = add i32 %2, %3175 ret i32 %4176}177 178; CHECK-LABEL: test_itoq_qtoi179; HARD-DAG: call _Q_lltoq180; HARD-DAG: call _Q_qtoll181; HARD-DAG: fitoq182; HARD-DAG: fqtoi183; SOFT-DAG: call _Q_lltoq184; SOFT-DAG: unimp 16185; SOFT-DAG: call _Q_qtoll186; SOFT-DAG: call _Q_itoq187; SOFT-DAG: unimp 16188; SOFT-DAG: call _Q_qtoi189 190define void @test_itoq_qtoi(i64 %a, i32 %b, ptr %c, ptr %d, ptr %ptr0, ptr %ptr1) {191entry:192 %0 = sitofp i64 %a to fp128193 store fp128 %0, ptr %ptr1, align 8194 %cval = load fp128, ptr %c, align 8195 %1 = fptosi fp128 %cval to i64196 store i64 %1, ptr %ptr0, align 8197 %2 = sitofp i32 %b to fp128198 store fp128 %2, ptr %ptr1, align 8199 %dval = load fp128, ptr %d, align 8200 %3 = fptosi fp128 %dval to i32201 %4 = bitcast ptr %ptr0 to ptr202 store i32 %3, ptr %4, align 8203 ret void204}205 206; CHECK-LABEL: test_utoq_qtou:207; CHECK-DAG: call _Q_ulltoq208; CHECK-DAG: call _Q_qtoull209; HARD-DAG: fdtoq210; HARD-DAG: fqtoi211; SOFT-DAG: call _Q_utoq212; SOFT-DAG: unimp 16213; SOFT-DAG: call _Q_qtou214 215define void @test_utoq_qtou(i64 %a, i32 %b, ptr %c, ptr %d, ptr %ptr0, ptr %ptr1) {216entry:217 %0 = uitofp i64 %a to fp128218 store fp128 %0, ptr %ptr1, align 8219 %cval = load fp128, ptr %c, align 8220 %1 = fptoui fp128 %cval to i64221 store i64 %1, ptr %ptr0, align 8222 %2 = uitofp i32 %b to fp128223 store fp128 %2, ptr %ptr1, align 8224 %dval = load fp128, ptr %d, align 8225 %3 = fptoui fp128 %dval to i32226 %4 = bitcast ptr %ptr0 to ptr227 store i32 %3, ptr %4, align 8228 ret void229}230 231; CHECK-LABEL: f128_neg:232; CHECK-DAG: ldd [%o0], [[REG:%f[0-9]+]]233; CHECK-DAG: ldd [%o0+8], %f{{[0-9]+}}234; BE: fnegs [[REG]], [[REG]]235; LE: fnegs [[REG]], [[REG]]236 237define void @f128_neg(ptr noalias sret(fp128) %scalar.result, ptr byval(fp128) %a) {238entry:239 %0 = load fp128, ptr %a, align 8240 %1 = fsub fp128 0xL00000000000000008000000000000000, %0241 store fp128 %1, ptr %scalar.result, align 8242 ret void243}244