383 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 22; RUN: llc -mcpu=pwr9 -mtriple=powerpc64le-unknown-unknown \3; RUN: -ppc-vsr-nums-as-vr -ppc-asm-full-reg-names < %s | FileCheck %s4 5define { half, i32 } @test_frexp_f16_i32(half %a) nounwind {6; CHECK-LABEL: test_frexp_f16_i32:7; CHECK: # %bb.0:8; CHECK-NEXT: mflr r09; CHECK-NEXT: stdu r1, -48(r1)10; CHECK-NEXT: std r0, 64(r1)11; CHECK-NEXT: xscvdphp f0, f112; CHECK-NEXT: addi r4, r1, 4413; CHECK-NEXT: mffprwz r3, f014; CHECK-NEXT: clrlwi r3, r3, 1615; CHECK-NEXT: mtfprwz f0, r316; CHECK-NEXT: xscvhpdp f1, f017; CHECK-NEXT: bl frexpf18; CHECK-NEXT: nop19; CHECK-NEXT: lwz r3, 44(r1)20; CHECK-NEXT: addi r1, r1, 4821; CHECK-NEXT: ld r0, 16(r1)22; CHECK-NEXT: mtlr r023; CHECK-NEXT: blr24 %result = call { half, i32 } @llvm.frexp.f16.i32(half %a)25 ret { half, i32 } %result26}27 28define half @test_frexp_f16_i32_only_use_fract(half %a) nounwind {29; CHECK-LABEL: test_frexp_f16_i32_only_use_fract:30; CHECK: # %bb.0:31; CHECK-NEXT: mflr r032; CHECK-NEXT: stdu r1, -48(r1)33; CHECK-NEXT: std r0, 64(r1)34; CHECK-NEXT: xscvdphp f0, f135; CHECK-NEXT: addi r4, r1, 4436; CHECK-NEXT: mffprwz r3, f037; CHECK-NEXT: clrlwi r3, r3, 1638; CHECK-NEXT: mtfprwz f0, r339; CHECK-NEXT: xscvhpdp f1, f040; CHECK-NEXT: bl frexpf41; CHECK-NEXT: nop42; CHECK-NEXT: addi r1, r1, 4843; CHECK-NEXT: ld r0, 16(r1)44; CHECK-NEXT: mtlr r045; CHECK-NEXT: blr46 %result = call { half, i32 } @llvm.frexp.f16.i32(half %a)47 %result.0 = extractvalue { half, i32 } %result, 048 ret half %result.049}50 51define i32 @test_frexp_f16_i32_only_use_exp(half %a) nounwind {52; CHECK-LABEL: test_frexp_f16_i32_only_use_exp:53; CHECK: # %bb.0:54; CHECK-NEXT: mflr r055; CHECK-NEXT: stdu r1, -48(r1)56; CHECK-NEXT: std r0, 64(r1)57; CHECK-NEXT: xscvdphp f0, f158; CHECK-NEXT: addi r4, r1, 4459; CHECK-NEXT: mffprwz r3, f060; CHECK-NEXT: clrlwi r3, r3, 1661; CHECK-NEXT: mtfprwz f0, r362; CHECK-NEXT: xscvhpdp f1, f063; CHECK-NEXT: bl frexpf64; CHECK-NEXT: nop65; CHECK-NEXT: lwz r3, 44(r1)66; CHECK-NEXT: addi r1, r1, 4867; CHECK-NEXT: ld r0, 16(r1)68; CHECK-NEXT: mtlr r069; CHECK-NEXT: blr70 %result = call { half, i32 } @llvm.frexp.f16.i32(half %a)71 %result.0 = extractvalue { half, i32 } %result, 172 ret i32 %result.073}74 75define { <2 x half>, <2 x i32> } @test_frexp_v2f16_v2i32(<2 x half> %a) nounwind {76; CHECK-LABEL: test_frexp_v2f16_v2i32:77; CHECK: # %bb.0:78; CHECK-NEXT: mflr r079; CHECK-NEXT: std r29, -40(r1) # 8-byte Folded Spill80; CHECK-NEXT: std r30, -32(r1) # 8-byte Folded Spill81; CHECK-NEXT: stfd f30, -16(r1) # 8-byte Folded Spill82; CHECK-NEXT: stfd f31, -8(r1) # 8-byte Folded Spill83; CHECK-NEXT: stdu r1, -80(r1)84; CHECK-NEXT: std r0, 96(r1)85; CHECK-NEXT: xscvdphp f0, f286; CHECK-NEXT: addi r30, r1, 3287; CHECK-NEXT: mr r4, r3088; CHECK-NEXT: mffprwz r3, f089; CHECK-NEXT: clrlwi r3, r3, 1690; CHECK-NEXT: mtfprwz f0, r391; CHECK-NEXT: xscvhpdp f31, f092; CHECK-NEXT: xscvdphp f0, f193; CHECK-NEXT: mffprwz r3, f094; CHECK-NEXT: clrlwi r3, r3, 1695; CHECK-NEXT: mtfprwz f0, r396; CHECK-NEXT: xscvhpdp f1, f097; CHECK-NEXT: bl frexpf98; CHECK-NEXT: nop99; CHECK-NEXT: addi r29, r1, 36100; CHECK-NEXT: fmr f30, f1101; CHECK-NEXT: fmr f1, f31102; CHECK-NEXT: mr r4, r29103; CHECK-NEXT: bl frexpf104; CHECK-NEXT: nop105; CHECK-NEXT: fmr f2, f1106; CHECK-NEXT: lfiwzx f0, 0, r30107; CHECK-NEXT: lfiwzx f1, 0, r29108; CHECK-NEXT: xxmrghw v2, vs1, vs0109; CHECK-NEXT: fmr f1, f30110; CHECK-NEXT: addi r1, r1, 80111; CHECK-NEXT: ld r0, 16(r1)112; CHECK-NEXT: lfd f31, -8(r1) # 8-byte Folded Reload113; CHECK-NEXT: lfd f30, -16(r1) # 8-byte Folded Reload114; CHECK-NEXT: ld r30, -32(r1) # 8-byte Folded Reload115; CHECK-NEXT: ld r29, -40(r1) # 8-byte Folded Reload116; CHECK-NEXT: mtlr r0117; CHECK-NEXT: blr118 %result = call { <2 x half>, <2 x i32> } @llvm.frexp.v2f16.v2i32(<2 x half> %a)119 ret { <2 x half>, <2 x i32> } %result120}121 122define <2 x half> @test_frexp_v2f16_v2i32_only_use_fract(<2 x half> %a) nounwind {123; CHECK-LABEL: test_frexp_v2f16_v2i32_only_use_fract:124; CHECK: # %bb.0:125; CHECK-NEXT: mflr r0126; CHECK-NEXT: stfd f30, -16(r1) # 8-byte Folded Spill127; CHECK-NEXT: stfd f31, -8(r1) # 8-byte Folded Spill128; CHECK-NEXT: stdu r1, -64(r1)129; CHECK-NEXT: std r0, 80(r1)130; CHECK-NEXT: xscvdphp f0, f2131; CHECK-NEXT: addi r4, r1, 40132; CHECK-NEXT: mffprwz r3, f0133; CHECK-NEXT: clrlwi r3, r3, 16134; CHECK-NEXT: mtfprwz f0, r3135; CHECK-NEXT: xscvhpdp f31, f0136; CHECK-NEXT: xscvdphp f0, f1137; CHECK-NEXT: mffprwz r3, f0138; CHECK-NEXT: clrlwi r3, r3, 16139; CHECK-NEXT: mtfprwz f0, r3140; CHECK-NEXT: xscvhpdp f1, f0141; CHECK-NEXT: bl frexpf142; CHECK-NEXT: nop143; CHECK-NEXT: addi r4, r1, 44144; CHECK-NEXT: fmr f30, f1145; CHECK-NEXT: fmr f1, f31146; CHECK-NEXT: bl frexpf147; CHECK-NEXT: nop148; CHECK-NEXT: fmr f2, f1149; CHECK-NEXT: fmr f1, f30150; CHECK-NEXT: addi r1, r1, 64151; CHECK-NEXT: ld r0, 16(r1)152; CHECK-NEXT: lfd f31, -8(r1) # 8-byte Folded Reload153; CHECK-NEXT: lfd f30, -16(r1) # 8-byte Folded Reload154; CHECK-NEXT: mtlr r0155; CHECK-NEXT: blr156 %result = call { <2 x half>, <2 x i32> } @llvm.frexp.v2f16.v2i32(<2 x half> %a)157 %result.0 = extractvalue { <2 x half>, <2 x i32> } %result, 0158 ret <2 x half> %result.0159}160 161define <2 x i32> @test_frexp_v2f16_v2i32_only_use_exp(<2 x half> %a) nounwind {162; CHECK-LABEL: test_frexp_v2f16_v2i32_only_use_exp:163; CHECK: # %bb.0:164; CHECK-NEXT: mflr r0165; CHECK-NEXT: std r29, -32(r1) # 8-byte Folded Spill166; CHECK-NEXT: std r30, -24(r1) # 8-byte Folded Spill167; CHECK-NEXT: stfd f31, -8(r1) # 8-byte Folded Spill168; CHECK-NEXT: stdu r1, -80(r1)169; CHECK-NEXT: std r0, 96(r1)170; CHECK-NEXT: xscvdphp f0, f2171; CHECK-NEXT: addi r30, r1, 40172; CHECK-NEXT: mr r4, r30173; CHECK-NEXT: mffprwz r3, f0174; CHECK-NEXT: clrlwi r3, r3, 16175; CHECK-NEXT: mtfprwz f0, r3176; CHECK-NEXT: xscvhpdp f31, f0177; CHECK-NEXT: xscvdphp f0, f1178; CHECK-NEXT: mffprwz r3, f0179; CHECK-NEXT: clrlwi r3, r3, 16180; CHECK-NEXT: mtfprwz f0, r3181; CHECK-NEXT: xscvhpdp f1, f0182; CHECK-NEXT: bl frexpf183; CHECK-NEXT: nop184; CHECK-NEXT: addi r29, r1, 44185; CHECK-NEXT: fmr f1, f31186; CHECK-NEXT: mr r4, r29187; CHECK-NEXT: bl frexpf188; CHECK-NEXT: nop189; CHECK-NEXT: lfiwzx f0, 0, r30190; CHECK-NEXT: lfiwzx f1, 0, r29191; CHECK-NEXT: xxmrghw v2, vs1, vs0192; CHECK-NEXT: addi r1, r1, 80193; CHECK-NEXT: ld r0, 16(r1)194; CHECK-NEXT: lfd f31, -8(r1) # 8-byte Folded Reload195; CHECK-NEXT: ld r30, -24(r1) # 8-byte Folded Reload196; CHECK-NEXT: ld r29, -32(r1) # 8-byte Folded Reload197; CHECK-NEXT: mtlr r0198; CHECK-NEXT: blr199 %result = call { <2 x half>, <2 x i32> } @llvm.frexp.v2f16.v2i32(<2 x half> %a)200 %result.1 = extractvalue { <2 x half>, <2 x i32> } %result, 1201 ret <2 x i32> %result.1202}203 204define { float, i32 } @test_frexp_f32_i32(float %a) nounwind {205; CHECK-LABEL: test_frexp_f32_i32:206; CHECK: # %bb.0:207; CHECK-NEXT: mflr r0208; CHECK-NEXT: stdu r1, -48(r1)209; CHECK-NEXT: addi r4, r1, 44210; CHECK-NEXT: std r0, 64(r1)211; CHECK-NEXT: bl frexpf212; CHECK-NEXT: nop213; CHECK-NEXT: lwz r3, 44(r1)214; CHECK-NEXT: addi r1, r1, 48215; CHECK-NEXT: ld r0, 16(r1)216; CHECK-NEXT: mtlr r0217; CHECK-NEXT: blr218 %result = call { float, i32 } @llvm.frexp.f32.i32(float %a)219 ret { float, i32 } %result220}221 222define float @test_frexp_f32_i32_only_use_fract(float %a) nounwind {223; CHECK-LABEL: test_frexp_f32_i32_only_use_fract:224; CHECK: # %bb.0:225; CHECK-NEXT: mflr r0226; CHECK-NEXT: stdu r1, -48(r1)227; CHECK-NEXT: addi r4, r1, 44228; CHECK-NEXT: std r0, 64(r1)229; CHECK-NEXT: bl frexpf230; CHECK-NEXT: nop231; CHECK-NEXT: addi r1, r1, 48232; CHECK-NEXT: ld r0, 16(r1)233; CHECK-NEXT: mtlr r0234; CHECK-NEXT: blr235 %result = call { float, i32 } @llvm.frexp.f32.i32(float %a)236 %result.0 = extractvalue { float, i32 } %result, 0237 ret float %result.0238}239 240define i32 @test_frexp_f32_i32_only_use_exp(float %a) nounwind {241; CHECK-LABEL: test_frexp_f32_i32_only_use_exp:242; CHECK: # %bb.0:243; CHECK-NEXT: mflr r0244; CHECK-NEXT: stdu r1, -48(r1)245; CHECK-NEXT: addi r4, r1, 44246; CHECK-NEXT: std r0, 64(r1)247; CHECK-NEXT: bl frexpf248; CHECK-NEXT: nop249; CHECK-NEXT: lwz r3, 44(r1)250; CHECK-NEXT: addi r1, r1, 48251; CHECK-NEXT: ld r0, 16(r1)252; CHECK-NEXT: mtlr r0253; CHECK-NEXT: blr254 %result = call { float, i32 } @llvm.frexp.f32.i32(float %a)255 %result.0 = extractvalue { float, i32 } %result, 1256 ret i32 %result.0257}258 259; FIXME260; define { <2 x float>, <2 x i32> } @test_frexp_v2f32_v2i32(<2 x float> %a) nounwind {261; %result = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> %a)262; ret { <2 x float>, <2 x i32> } %result263; }264 265; define <2 x float> @test_frexp_v2f32_v2i32_only_use_fract(<2 x float> %a) nounwind {266; %result = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> %a)267; %result.0 = extractvalue { <2 x float>, <2 x i32> } %result, 0268; ret <2 x float> %result.0269; }270 271; define <2 x i32> @test_frexp_v2f32_v2i32_only_use_exp(<2 x float> %a) nounwind {272; %result = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> %a)273; %result.1 = extractvalue { <2 x float>, <2 x i32> } %result, 1274; ret <2 x i32> %result.1275; }276 277define { double, i32 } @test_frexp_f64_i32(double %a) nounwind {278; CHECK-LABEL: test_frexp_f64_i32:279; CHECK: # %bb.0:280; CHECK-NEXT: mflr r0281; CHECK-NEXT: stdu r1, -48(r1)282; CHECK-NEXT: addi r4, r1, 44283; CHECK-NEXT: std r0, 64(r1)284; CHECK-NEXT: bl frexp285; CHECK-NEXT: nop286; CHECK-NEXT: lwz r3, 44(r1)287; CHECK-NEXT: addi r1, r1, 48288; CHECK-NEXT: ld r0, 16(r1)289; CHECK-NEXT: mtlr r0290; CHECK-NEXT: blr291 %result = call { double, i32 } @llvm.frexp.f64.i32(double %a)292 ret { double, i32 } %result293}294 295define double @test_frexp_f64_i32_only_use_fract(double %a) nounwind {296; CHECK-LABEL: test_frexp_f64_i32_only_use_fract:297; CHECK: # %bb.0:298; CHECK-NEXT: mflr r0299; CHECK-NEXT: stdu r1, -48(r1)300; CHECK-NEXT: addi r4, r1, 44301; CHECK-NEXT: std r0, 64(r1)302; CHECK-NEXT: bl frexp303; CHECK-NEXT: nop304; CHECK-NEXT: addi r1, r1, 48305; CHECK-NEXT: ld r0, 16(r1)306; CHECK-NEXT: mtlr r0307; CHECK-NEXT: blr308 %result = call { double, i32 } @llvm.frexp.f64.i32(double %a)309 %result.0 = extractvalue { double, i32 } %result, 0310 ret double %result.0311}312 313define i32 @test_frexp_f64_i32_only_use_exp(double %a) nounwind {314; CHECK-LABEL: test_frexp_f64_i32_only_use_exp:315; CHECK: # %bb.0:316; CHECK-NEXT: mflr r0317; CHECK-NEXT: stdu r1, -48(r1)318; CHECK-NEXT: addi r4, r1, 44319; CHECK-NEXT: std r0, 64(r1)320; CHECK-NEXT: bl frexp321; CHECK-NEXT: nop322; CHECK-NEXT: lwz r3, 44(r1)323; CHECK-NEXT: addi r1, r1, 48324; CHECK-NEXT: ld r0, 16(r1)325; CHECK-NEXT: mtlr r0326; CHECK-NEXT: blr327 %result = call { double, i32 } @llvm.frexp.f64.i32(double %a)328 %result.0 = extractvalue { double, i32 } %result, 1329 ret i32 %result.0330}331 332; FIXME: Widen vector result333; define { <2 x double>, <2 x i32> } @test_frexp_v2f64_v2i32(<2 x double> %a) nounwind {334; %result = call { <2 x double>, <2 x i32> } @llvm.frexp.v2f64.v2i32(<2 x double> %a)335; ret { <2 x double>, <2 x i32> } %result336; }337 338; define <2 x double> @test_frexp_v2f64_v2i32_only_use_fract(<2 x double> %a) nounwind {339; %result = call { <2 x double>, <2 x i32> } @llvm.frexp.v2f64.v2i32(<2 x double> %a)340; %result.0 = extractvalue { <2 x double>, <2 x i32> } %result, 0341; ret <2 x double> %result.0342; }343 344; define <2 x i32> @test_frexp_v2f64_v2i32_only_use_exp(<2 x double> %a) nounwind {345; %result = call { <2 x double>, <2 x i32> } @llvm.frexp.v2f64.v2i32(<2 x double> %a)346; %result.1 = extractvalue { <2 x double>, <2 x i32> } %result, 1347; ret <2 x i32> %result.1348; }349 350; FIXME: f128 ExpandFloatResult351; define { ppc_fp128, i32 } @test_frexp_f128_i32(ppc_fp128 %a) nounwind {352; %result = call { ppc_fp128, i32 } @llvm.frexp.f128.i32(ppc_fp128 %a)353; ret { ppc_fp128, i32 } %result354; }355 356; define ppc_fp128 @test_frexp_f128_i32_only_use_fract(ppc_fp128 %a) nounwind {357; %result = call { ppc_fp128, i32 } @llvm.frexp.f128.i32(ppc_fp128 %a)358; %result.0 = extractvalue { ppc_fp128, i32 } %result, 0359; ret ppc_fp128 %result.0360; }361 362; define i32 @test_frexp_f128_i32_only_use_exp(ppc_fp128 %a) nounwind {363; %result = call { ppc_fp128, i32 } @llvm.frexp.f128.i32(ppc_fp128 %a)364; %result.0 = extractvalue { ppc_fp128, i32 } %result, 1365; ret i32 %result.0366; }367 368declare { float, i32 } @llvm.frexp.f32.i32(float) #0369declare { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float>) #0370 371declare { half, i32 } @llvm.frexp.f16.i32(half) #0372declare { <2 x half>, <2 x i32> } @llvm.frexp.v2f16.v2i32(<2 x half>) #0373 374declare { double, i32 } @llvm.frexp.f64.i32(double) #0375declare { <2 x double>, <2 x i32> } @llvm.frexp.v2f64.v2i32(<2 x double>) #0376 377declare { half, i16 } @llvm.frexp.f16.i16(half) #0378declare { <2 x half>, <2 x i16> } @llvm.frexp.v2f16.v2i16(<2 x half>) #0379 380declare { ppc_fp128, i32 } @llvm.frexp.f128.i32(ppc_fp128) #0381 382attributes #0 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }383