291 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s --check-prefixes=CHECK,Z103; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z16 \4; RUN: | FileCheck %s --check-prefixes=CHECK,Z165;6; Test copysign intrinsics.7 8declare half @llvm.copysign.f16(half, half)9declare float @llvm.copysign.f32(float, float)10declare double @llvm.copysign.f64(double, double)11declare fp128 @llvm.copysign.f128(fp128, fp128)12 13; Test copysign with an f16 result and f16 sign argument.14define half @f0(half %a, half %b) {15; CHECK-LABEL: f0:16; CHECK: # %bb.0:17; CHECK-NEXT: cpsdr %f0, %f2, %f018; CHECK-NEXT: br %r1419 %res = call half @llvm.copysign.f16(half %a, half %b)20 ret half %res21}22 23; Test copysign with an f16 result and f32 sign argument.24define half @f1(half %a, float %b) {25; CHECK-LABEL: f1:26; CHECK: # %bb.0:27; CHECK-NEXT: cpsdr %f0, %f2, %f028; CHECK-NEXT: br %r1429 %bh = fptrunc float %b to half30 %res = call half @llvm.copysign.f16(half %a, half %bh)31 ret half %res32}33 34; Test copysign with an f16 result and f64 sign argument.35define half @f2(half %a, double %b) {36; CHECK-LABEL: f2:37; CHECK: # %bb.0:38; CHECK-NEXT: cpsdr %f0, %f2, %f039; CHECK-NEXT: br %r1440 %bh = fptrunc double %b to half41 %res = call half @llvm.copysign.f16(half %a, half %bh)42 ret half %res43}44 45; Test copysign with an f16 result and f128 sign argument.46define half @f3(half %a, fp128 %b) {47; Z10-LABEL: f3:48; Z10: # %bb.0:49; Z10-NEXT: ld %f1, 0(%r2)50; Z10-NEXT: ld %f3, 8(%r2)51; Z10-NEXT: cpsdr %f0, %f1, %f052; Z10-NEXT: br %r1453;54; Z16-LABEL: f3:55; Z16: # %bb.0:56; Z16-NEXT: vl %v1, 0(%r2), 357; Z16-NEXT: cpsdr %f0, %f1, %f058; Z16-NEXT: br %r1459 %bh = fptrunc fp128 %b to half60 %res = call half @llvm.copysign.f16(half %a, half %bh)61 ret half %res62}63 64; Test copysign with an f32 result and f16 sign argument.65define float @f4(float %a, half %b) {66; CHECK-LABEL: f4:67; CHECK: # %bb.0:68; CHECK-NEXT: cpsdr %f0, %f2, %f069; CHECK-NEXT: br %r1470 %bf = fpext half %b to float71 %res = call float @llvm.copysign.f32(float %a, float %bf)72 ret float %res73}74 75; Test copysign with an f32 result and f32 sign argument.76define float @f5(float %a, float %b) {77; CHECK-LABEL: f5:78; CHECK: # %bb.0:79; CHECK-NEXT: cpsdr %f0, %f2, %f080; CHECK-NEXT: br %r1481 %res = call float @llvm.copysign.f32(float %a, float %b)82 ret float %res83}84 85; Test copysign with an f32 result and f64 sign argument.86define float @f6(float %a, double %b) {87; CHECK-LABEL: f6:88; CHECK: # %bb.0:89; CHECK-NEXT: cpsdr %f0, %f2, %f090; CHECK-NEXT: br %r1491 %bf = fptrunc double %b to float92 %res = call float @llvm.copysign.f32(float %a, float %bf)93 ret float %res94}95 96; Test copysign with an f32 result and f128 sign argument.97define float @f7(float %a, fp128 %b) {98; Z10-LABEL: f7:99; Z10: # %bb.0:100; Z10-NEXT: ld %f1, 0(%r2)101; Z10-NEXT: ld %f3, 8(%r2)102; Z10-NEXT: cpsdr %f0, %f1, %f0103; Z10-NEXT: br %r14104;105; Z16-LABEL: f7:106; Z16: # %bb.0:107; Z16-NEXT: vl %v1, 0(%r2), 3108; Z16-NEXT: cpsdr %f0, %f1, %f0109; Z16-NEXT: br %r14110 %bf = fptrunc fp128 %b to float111 %res = call float @llvm.copysign.f32(float %a, float %bf)112 ret float %res113}114 115; Test copysign with an f64 result and f16 sign argument.116define double @f8(double %a, half %b) {117; CHECK-LABEL: f8:118; CHECK: # %bb.0:119; CHECK-NEXT: cpsdr %f0, %f2, %f0120; CHECK-NEXT: br %r14121 %bd = fpext half %b to double122 %res = call double @llvm.copysign.f64(double %a, double %bd)123 ret double %res124}125 126; Test copysign with an f64 result and f32 sign argument.127define double @f9(double %a, float %b) {128; CHECK-LABEL: f9:129; CHECK: # %bb.0:130; CHECK-NEXT: cpsdr %f0, %f2, %f0131; CHECK-NEXT: br %r14132 %bd = fpext float %b to double133 %res = call double @llvm.copysign.f64(double %a, double %bd)134 ret double %res135}136 137; Test copysign with an f64 result and f64 sign argument.138define double @f10(double %a, double %b) {139; CHECK-LABEL: f10:140; CHECK: # %bb.0:141; CHECK-NEXT: cpsdr %f0, %f2, %f0142; CHECK-NEXT: br %r14143 %res = call double @llvm.copysign.f64(double %a, double %b)144 ret double %res145}146 147; Test copysign with an f64 result and f128 sign argument.148define double @f11(double %a, fp128 %b) {149; Z10-LABEL: f11:150; Z10: # %bb.0:151; Z10-NEXT: ld %f1, 0(%r2)152; Z10-NEXT: ld %f3, 8(%r2)153; Z10-NEXT: cpsdr %f0, %f1, %f0154; Z10-NEXT: br %r14155;156; Z16-LABEL: f11:157; Z16: # %bb.0:158; Z16-NEXT: vl %v1, 0(%r2), 3159; Z16-NEXT: cpsdr %f0, %f1, %f0160; Z16-NEXT: br %r14161 %bd = fptrunc fp128 %b to double162 %res = call double @llvm.copysign.f64(double %a, double %bd)163 ret double %res164}165 166; Test copysign with an f128 result and f16 sign argument.167define fp128 @f12(fp128 %a, half %b) {168; Z10-LABEL: f12:169; Z10: # %bb.0:170; Z10-NEXT: ld %f1, 0(%r3)171; Z10-NEXT: ld %f3, 8(%r3)172; Z10-NEXT: cpsdr %f1, %f0, %f1173; Z10-NEXT: std %f1, 0(%r2)174; Z10-NEXT: std %f3, 8(%r2)175; Z10-NEXT: br %r14176;177; Z16-LABEL: f12:178; Z16: # %bb.0:179; Z16-NEXT: aghi %r15, -168180; Z16-NEXT: .cfi_def_cfa_offset 328181; Z16-NEXT: vl %v1, 0(%r3), 3182; Z16-NEXT: vsteh %v0, 164(%r15), 0183; Z16-NEXT: tm 164(%r15), 128184; Z16-NEXT: je .LBB12_2185; Z16-NEXT: # %bb.1:186; Z16-NEXT: wflnxb %v0, %v1187; Z16-NEXT: j .LBB12_3188; Z16-NEXT: .LBB12_2:189; Z16-NEXT: wflpxb %v0, %v1190; Z16-NEXT: .LBB12_3:191; Z16-NEXT: vst %v0, 0(%r2), 3192; Z16-NEXT: aghi %r15, 168193; Z16-NEXT: br %r14194 %b128 = fpext half %b to fp128195 %res = call fp128 @llvm.copysign.f128(fp128 %a, fp128 %b128)196 ret fp128 %res197}198 199; Test copysign with an f128 result and f32 sign argument.200define fp128 @f13(fp128 %a, float %b) {201; Z10-LABEL: f13:202; Z10: # %bb.0:203; Z10-NEXT: ld %f1, 0(%r3)204; Z10-NEXT: ld %f3, 8(%r3)205; Z10-NEXT: cpsdr %f1, %f0, %f1206; Z10-NEXT: std %f1, 0(%r2)207; Z10-NEXT: std %f3, 8(%r2)208; Z10-NEXT: br %r14209;210; Z16-LABEL: f13:211; Z16: # %bb.0:212; Z16-NEXT: vl %v1, 0(%r3), 3213; Z16-NEXT: vlgvf %r0, %v0, 0214; Z16-NEXT: tmlh %r0, 32768215; Z16-NEXT: je .LBB13_2216; Z16-NEXT: # %bb.1:217; Z16-NEXT: wflnxb %v0, %v1218; Z16-NEXT: vst %v0, 0(%r2), 3219; Z16-NEXT: br %r14220; Z16-NEXT: .LBB13_2:221; Z16-NEXT: wflpxb %v0, %v1222; Z16-NEXT: vst %v0, 0(%r2), 3223; Z16-NEXT: br %r14224 %b128 = fpext float %b to fp128225 %res = call fp128 @llvm.copysign.f128(fp128 %a, fp128 %b128)226 ret fp128 %res227}228 229; Test copysign with an f128 result and f64 sign argument.230define fp128 @f14(fp128 %a, double %b) {231; Z10-LABEL: f14:232; Z10: # %bb.0:233; Z10-NEXT: ld %f1, 0(%r3)234; Z10-NEXT: ld %f3, 8(%r3)235; Z10-NEXT: cpsdr %f1, %f0, %f1236; Z10-NEXT: std %f1, 0(%r2)237; Z10-NEXT: std %f3, 8(%r2)238; Z10-NEXT: br %r14239;240; Z16-LABEL: f14:241; Z16: # %bb.0:242; Z16-NEXT: vl %v1, 0(%r3), 3243; Z16-NEXT: lgdr %r0, %f0244; Z16-NEXT: tmhh %r0, 32768245; Z16-NEXT: je .LBB14_2246; Z16-NEXT: # %bb.1:247; Z16-NEXT: wflnxb %v0, %v1248; Z16-NEXT: vst %v0, 0(%r2), 3249; Z16-NEXT: br %r14250; Z16-NEXT: .LBB14_2:251; Z16-NEXT: wflpxb %v0, %v1252; Z16-NEXT: vst %v0, 0(%r2), 3253; Z16-NEXT: br %r14254 %b128 = fpext double %b to fp128255 %res = call fp128 @llvm.copysign.f128(fp128 %a, fp128 %b128)256 ret fp128 %res257}258 259; Test copysign with an f128 result and f128 sign argument.260define fp128 @f15(fp128 %a, fp128 %b) {261; Z10-LABEL: f15:262; Z10: # %bb.0:263; Z10-NEXT: ld %f0, 0(%r3)264; Z10-NEXT: ld %f2, 8(%r3)265; Z10-NEXT: ld %f1, 0(%r4)266; Z10-NEXT: ld %f3, 8(%r4)267; Z10-NEXT: cpsdr %f0, %f1, %f0268; Z10-NEXT: std %f0, 0(%r2)269; Z10-NEXT: std %f2, 8(%r2)270; Z10-NEXT: br %r14271;272; Z16-LABEL: f15:273; Z16: # %bb.0:274; Z16-NEXT: larl %r1, .LCPI15_0275; Z16-NEXT: vl %v1, 0(%r4), 3276; Z16-NEXT: vl %v2, 0(%r1), 3277; Z16-NEXT: vl %v0, 0(%r3), 3278; Z16-NEXT: vtm %v1, %v2279; Z16-NEXT: je .LBB15_2280; Z16-NEXT: # %bb.1:281; Z16-NEXT: wflnxb %v0, %v0282; Z16-NEXT: vst %v0, 0(%r2), 3283; Z16-NEXT: br %r14284; Z16-NEXT: .LBB15_2:285; Z16-NEXT: wflpxb %v0, %v0286; Z16-NEXT: vst %v0, 0(%r2), 3287; Z16-NEXT: br %r14288 %res = call fp128 @llvm.copysign.f128(fp128 %a, fp128 %b)289 ret fp128 %res290}291