49 lines · plain
1; Test the Test Data Class instruction, as used by fpclassify.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s4;5 6declare double @llvm.fabs.f64(double)7 8define i32 @fpc(double %x) {9entry:10; CHECK-LABEL: fpc11; CHECK-DAG: lhi %r2, 512; CHECK-DAG: ltdbr %f1, %f013; CHECK: je [[RET:.L.*]]14 %testeq = fcmp oeq double %x, 0.000000e+0015 br i1 %testeq, label %ret, label %nonzero, !prof !116 17nonzero:18; CHECK-DAG: lhi %r2, 119; CHECK-DAG: cdbr %f0, %f020; CHECK: jo [[RET]]21 %testnan = fcmp uno double %x, 0.000000e+0022 br i1 %testnan, label %ret, label %nonzeroord, !prof !123 24nonzeroord:25; CHECK-DAG: lhi %r2, 226; CHECK-DAG: tcdb %f0, 4827; CHECK: jl [[RET]]28 %abs = tail call double @llvm.fabs.f64(double %x)29 %testinf = fcmp oeq double %abs, 0x7FF000000000000030 br i1 %testinf, label %ret, label %finite, !prof !131 32finite:33; CHECK-DAG: lhi %r2, 334; CHECK-DAG: tcdb %f0, 83135; CHECK: blr %r1436; CHECK: lhi %r2, 437 %testnormal = fcmp uge double %abs, 0x1000000000000038 %finres = select i1 %testnormal, i32 3, i32 439 br label %ret40 41ret:42; CHECK: [[RET]]:43; CHECK: br %r1444 %res = phi i32 [ 5, %entry ], [ 1, %nonzero ], [ 2, %nonzeroord ], [ %finres, %finite ]45 ret i32 %res46}47 48!1 = !{!"branch_weights", i32 1, i32 1}49