222 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -O2 \3; RUN: -ppc-asm-full-reg-names -mcpu=pwr10 < %s | FileCheck %s --check-prefixes=CHECK-LE4; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -O2 \5; RUN: -ppc-asm-full-reg-names -mcpu=pwr10 < %s | FileCheck %s \6; RUN: --check-prefixes=CHECK-NOPCREL-BE7; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -O2 \8; RUN: -mattr=-pcrelative-memops -ppc-asm-full-reg-names -mcpu=pwr10 < %s | \9; RUN: FileCheck %s --check-prefixes=CHECK-NOPCREL-LE10; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -O2 \11; RUN: -mattr=-prefix-instrs -ppc-asm-full-reg-names -mcpu=pwr10 < %s | \12; RUN: FileCheck %s --check-prefixes=CHECK-NOPREFIX13; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -O2 \14; RUN: -ppc-asm-full-reg-names -target-abi=elfv2 -mcpu=pwr10 < %s | \15; RUN: FileCheck %s --check-prefixes=CHECK-BE16 17define dso_local <2 x double> @testDoubleToDoubleFail() local_unnamed_addr {18; CHECK-LE-LABEL: testDoubleToDoubleFail:19; CHECK-LE: # %bb.0: # %entry20; CHECK-LE-NEXT: xxsplti32dx vs34, 0, 108143546321; CHECK-LE-NEXT: xxsplti32dx vs34, 1, -137438953522; CHECK-LE-NEXT: blr23;24; CHECK-NOPCREL-BE-LABEL: testDoubleToDoubleFail:25; CHECK-NOPCREL-BE: # %bb.0: # %entry26; CHECK-NOPCREL-BE-NEXT: xxsplti32dx vs34, 0, 108143546327; CHECK-NOPCREL-BE-NEXT: xxsplti32dx vs34, 1, -137438953528; CHECK-NOPCREL-BE-NEXT: blr29;30; CHECK-NOPCREL-LE-LABEL: testDoubleToDoubleFail:31; CHECK-NOPCREL-LE: # %bb.0: # %entry32; CHECK-NOPCREL-LE-NEXT: xxsplti32dx vs34, 0, 108143546333; CHECK-NOPCREL-LE-NEXT: xxsplti32dx vs34, 1, -137438953534; CHECK-NOPCREL-LE-NEXT: blr35;36; CHECK-NOPREFIX-LABEL: testDoubleToDoubleFail:37; CHECK-NOPREFIX: # %bb.0: # %entry38; CHECK-NOPREFIX-NEXT: addis r3, r2, .LCPI0_0@toc@ha39; CHECK-NOPREFIX-NEXT: addi r3, r3, .LCPI0_0@toc@l40; CHECK-NOPREFIX-NEXT: lxv vs34, 0(r3)41; CHECK-NOPREFIX-NEXT: blr42;43; CHECK-BE-LABEL: testDoubleToDoubleFail:44; CHECK-BE: # %bb.0: # %entry45; CHECK-BE-NEXT: xxsplti32dx vs34, 0, 108143546346; CHECK-BE-NEXT: xxsplti32dx vs34, 1, -137438953547; CHECK-BE-NEXT: blr48entry:49 ret <2 x double> <double 3.423300e+02, double 3.423300e+02>50}51 52define dso_local <2 x double> @testFloatDenormToDouble() local_unnamed_addr {53; CHECK-LE-LABEL: testFloatDenormToDouble:54; CHECK-LE: # %bb.0: # %entry55; CHECK-LE-NEXT: xxsplti32dx vs34, 0, 94025957956; CHECK-LE-NEXT: xxsplti32dx vs34, 1, -214748364857; CHECK-LE-NEXT: blr58;59; CHECK-NOPCREL-BE-LABEL: testFloatDenormToDouble:60; CHECK-NOPCREL-BE: # %bb.0: # %entry61; CHECK-NOPCREL-BE-NEXT: xxsplti32dx vs34, 0, 94025957962; CHECK-NOPCREL-BE-NEXT: xxsplti32dx vs34, 1, -214748364863; CHECK-NOPCREL-BE-NEXT: blr64;65; CHECK-NOPCREL-LE-LABEL: testFloatDenormToDouble:66; CHECK-NOPCREL-LE: # %bb.0: # %entry67; CHECK-NOPCREL-LE-NEXT: xxsplti32dx vs34, 0, 94025957968; CHECK-NOPCREL-LE-NEXT: xxsplti32dx vs34, 1, -214748364869; CHECK-NOPCREL-LE-NEXT: blr70;71; CHECK-NOPREFIX-LABEL: testFloatDenormToDouble:72; CHECK-NOPREFIX: # %bb.0: # %entry73; CHECK-NOPREFIX-NEXT: addis r3, r2, .LCPI1_0@toc@ha74; CHECK-NOPREFIX-NEXT: addi r3, r3, .LCPI1_0@toc@l75; CHECK-NOPREFIX-NEXT: lxv vs34, 0(r3)76; CHECK-NOPREFIX-NEXT: blr77;78; CHECK-BE-LABEL: testFloatDenormToDouble:79; CHECK-BE: # %bb.0: # %entry80; CHECK-BE-NEXT: xxsplti32dx vs34, 0, 94025957981; CHECK-BE-NEXT: xxsplti32dx vs34, 1, -214748364882; CHECK-BE-NEXT: blr83entry:84 ret <2 x double> <double 0x380B38FB80000000, double 0x380B38FB80000000>85}86 87define dso_local <2 x double> @testDoubleToDoubleNaNFail() local_unnamed_addr {88; CHECK-LE-LABEL: testDoubleToDoubleNaNFail:89; CHECK-LE: # %bb.0: # %entry90; CHECK-LE-NEXT: xxsplti32dx vs34, 0, -191; CHECK-LE-NEXT: xxsplti32dx vs34, 1, -1692; CHECK-LE-NEXT: blr93;94; CHECK-NOPCREL-BE-LABEL: testDoubleToDoubleNaNFail:95; CHECK-NOPCREL-BE: # %bb.0: # %entry96; CHECK-NOPCREL-BE-NEXT: xxsplti32dx vs34, 0, -197; CHECK-NOPCREL-BE-NEXT: xxsplti32dx vs34, 1, -1698; CHECK-NOPCREL-BE-NEXT: blr99;100; CHECK-NOPCREL-LE-LABEL: testDoubleToDoubleNaNFail:101; CHECK-NOPCREL-LE: # %bb.0: # %entry102; CHECK-NOPCREL-LE-NEXT: xxsplti32dx vs34, 0, -1103; CHECK-NOPCREL-LE-NEXT: xxsplti32dx vs34, 1, -16104; CHECK-NOPCREL-LE-NEXT: blr105;106; CHECK-NOPREFIX-LABEL: testDoubleToDoubleNaNFail:107; CHECK-NOPREFIX: # %bb.0: # %entry108; CHECK-NOPREFIX-NEXT: vspltisw v2, -16109; CHECK-NOPREFIX-NEXT: vupklsw v2, v2110; CHECK-NOPREFIX-NEXT: blr111;112; CHECK-BE-LABEL: testDoubleToDoubleNaNFail:113; CHECK-BE: # %bb.0: # %entry114; CHECK-BE-NEXT: xxsplti32dx vs34, 0, -1115; CHECK-BE-NEXT: xxsplti32dx vs34, 1, -16116; CHECK-BE-NEXT: blr117entry:118 ret <2 x double> <double 0xFFFFFFFFFFFFFFF0, double 0xFFFFFFFFFFFFFFF0>119}120 121define dso_local double @testDoubleNonRepresentableScalar() local_unnamed_addr {122; CHECK-LE-LABEL: testDoubleNonRepresentableScalar:123; CHECK-LE: # %bb.0: # %entry124; CHECK-LE-NEXT: xxsplti32dx vs1, 0, 1081435463125; CHECK-LE-NEXT: xxsplti32dx vs1, 1, -1374389535126; CHECK-LE-NEXT: blr127;128; CHECK-NOPCREL-BE-LABEL: testDoubleNonRepresentableScalar:129; CHECK-NOPCREL-BE: # %bb.0: # %entry130; CHECK-NOPCREL-BE-NEXT: xxsplti32dx vs1, 0, 1081435463131; CHECK-NOPCREL-BE-NEXT: xxsplti32dx vs1, 1, -1374389535132; CHECK-NOPCREL-BE-NEXT: blr133;134; CHECK-NOPCREL-LE-LABEL: testDoubleNonRepresentableScalar:135; CHECK-NOPCREL-LE: # %bb.0: # %entry136; CHECK-NOPCREL-LE-NEXT: xxsplti32dx vs1, 0, 1081435463137; CHECK-NOPCREL-LE-NEXT: xxsplti32dx vs1, 1, -1374389535138; CHECK-NOPCREL-LE-NEXT: blr139;140; CHECK-NOPREFIX-LABEL: testDoubleNonRepresentableScalar:141; CHECK-NOPREFIX: # %bb.0: # %entry142; CHECK-NOPREFIX-NEXT: addis r3, r2, .LCPI3_0@toc@ha143; CHECK-NOPREFIX-NEXT: lfd f1, .LCPI3_0@toc@l(r3)144; CHECK-NOPREFIX-NEXT: blr145;146; CHECK-BE-LABEL: testDoubleNonRepresentableScalar:147; CHECK-BE: # %bb.0: # %entry148; CHECK-BE-NEXT: xxsplti32dx vs1, 0, 1081435463149; CHECK-BE-NEXT: xxsplti32dx vs1, 1, -1374389535150; CHECK-BE-NEXT: blr151entry:152 ret double 3.423300e+02153}154 155define dso_local float @testFloatDenormScalar() local_unnamed_addr {156; CHECK-LE-LABEL: testFloatDenormScalar:157; CHECK-LE: # %bb.0: # %entry158; CHECK-LE-NEXT: xxsplti32dx vs1, 0, 940259579159; CHECK-LE-NEXT: xxsplti32dx vs1, 1, -2147483648160; CHECK-LE-NEXT: blr161;162; CHECK-NOPCREL-BE-LABEL: testFloatDenormScalar:163; CHECK-NOPCREL-BE: # %bb.0: # %entry164; CHECK-NOPCREL-BE-NEXT: xxsplti32dx vs1, 0, 940259579165; CHECK-NOPCREL-BE-NEXT: xxsplti32dx vs1, 1, -2147483648166; CHECK-NOPCREL-BE-NEXT: blr167;168; CHECK-NOPCREL-LE-LABEL: testFloatDenormScalar:169; CHECK-NOPCREL-LE: # %bb.0: # %entry170; CHECK-NOPCREL-LE-NEXT: xxsplti32dx vs1, 0, 940259579171; CHECK-NOPCREL-LE-NEXT: xxsplti32dx vs1, 1, -2147483648172; CHECK-NOPCREL-LE-NEXT: blr173;174; CHECK-NOPREFIX-LABEL: testFloatDenormScalar:175; CHECK-NOPREFIX: # %bb.0: # %entry176; CHECK-NOPREFIX-NEXT: addis r3, r2, .LCPI4_0@toc@ha177; CHECK-NOPREFIX-NEXT: lfs f1, .LCPI4_0@toc@l(r3)178; CHECK-NOPREFIX-NEXT: blr179;180; CHECK-BE-LABEL: testFloatDenormScalar:181; CHECK-BE: # %bb.0: # %entry182; CHECK-BE-NEXT: xxsplti32dx vs1, 0, 940259579183; CHECK-BE-NEXT: xxsplti32dx vs1, 1, -2147483648184; CHECK-BE-NEXT: blr185entry:186 ret float 0x380B38FB80000000187}188 189define dso_local double @testFloatDenormToDoubleScalar() local_unnamed_addr {190; CHECK-LE-LABEL: testFloatDenormToDoubleScalar:191; CHECK-LE: # %bb.0: # %entry192; CHECK-LE-NEXT: xxsplti32dx vs1, 0, 940259579193; CHECK-LE-NEXT: xxsplti32dx vs1, 1, -2147483648194; CHECK-LE-NEXT: blr195;196; CHECK-NOPCREL-BE-LABEL: testFloatDenormToDoubleScalar:197; CHECK-NOPCREL-BE: # %bb.0: # %entry198; CHECK-NOPCREL-BE-NEXT: xxsplti32dx vs1, 0, 940259579199; CHECK-NOPCREL-BE-NEXT: xxsplti32dx vs1, 1, -2147483648200; CHECK-NOPCREL-BE-NEXT: blr201;202; CHECK-NOPCREL-LE-LABEL: testFloatDenormToDoubleScalar:203; CHECK-NOPCREL-LE: # %bb.0: # %entry204; CHECK-NOPCREL-LE-NEXT: xxsplti32dx vs1, 0, 940259579205; CHECK-NOPCREL-LE-NEXT: xxsplti32dx vs1, 1, -2147483648206; CHECK-NOPCREL-LE-NEXT: blr207;208; CHECK-NOPREFIX-LABEL: testFloatDenormToDoubleScalar:209; CHECK-NOPREFIX: # %bb.0: # %entry210; CHECK-NOPREFIX-NEXT: addis r3, r2, .LCPI5_0@toc@ha211; CHECK-NOPREFIX-NEXT: lfs f1, .LCPI5_0@toc@l(r3)212; CHECK-NOPREFIX-NEXT: blr213;214; CHECK-BE-LABEL: testFloatDenormToDoubleScalar:215; CHECK-BE: # %bb.0: # %entry216; CHECK-BE-NEXT: xxsplti32dx vs1, 0, 940259579217; CHECK-BE-NEXT: xxsplti32dx vs1, 1, -2147483648218; CHECK-BE-NEXT: blr219entry:220 ret double 0x380B38FB80000000221}222