94 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt %s -passes='function(scalarizer)' -S | FileCheck %s3 4define void @test_vector_frexp_void(<2 x double> noundef %d) {5; CHECK-LABEL: define void @test_vector_frexp_void(6; CHECK-SAME: <2 x double> noundef [[D:%.*]]) {7; CHECK-NEXT: [[D_I0:%.*]] = extractelement <2 x double> [[D]], i64 08; CHECK-NEXT: [[DOTI0:%.*]] = call { double, i32 } @llvm.frexp.f64.i32(double [[D_I0]])9; CHECK-NEXT: [[D_I1:%.*]] = extractelement <2 x double> [[D]], i64 110; CHECK-NEXT: [[DOTI1:%.*]] = call { double, i32 } @llvm.frexp.f64.i32(double [[D_I1]])11; CHECK-NEXT: ret void12;13 %1 = call { <2 x double>, <2 x i32> } @llvm.frexp.v2f64.v2i32(<2 x double> %d)14 ret void15}16 17define noundef <2 x half> @test_vector_half_frexp_half(<2 x half> noundef %h) {18; CHECK-LABEL: define noundef <2 x half> @test_vector_half_frexp_half(19; CHECK-SAME: <2 x half> noundef [[H:%.*]]) {20; CHECK-NEXT: [[H_I0:%.*]] = extractelement <2 x half> [[H]], i64 021; CHECK-NEXT: [[R_I0:%.*]] = call { half, i32 } @llvm.frexp.f16.i32(half [[H_I0]])22; CHECK-NEXT: [[H_I1:%.*]] = extractelement <2 x half> [[H]], i64 123; CHECK-NEXT: [[R_I1:%.*]] = call { half, i32 } @llvm.frexp.f16.i32(half [[H_I1]])24; CHECK-NEXT: [[E0_ELEM0:%.*]] = extractvalue { half, i32 } [[R_I0]], 025; CHECK-NEXT: [[E0_ELEM01:%.*]] = extractvalue { half, i32 } [[R_I1]], 026; CHECK-NEXT: [[E0_UPTO0:%.*]] = insertelement <2 x half> poison, half [[E0_ELEM0]], i64 027; CHECK-NEXT: [[E0:%.*]] = insertelement <2 x half> [[E0_UPTO0]], half [[E0_ELEM01]], i64 128; CHECK-NEXT: ret <2 x half> [[E0]]29;30 %r = call { <2 x half>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x half> %h)31 %e0 = extractvalue { <2 x half>, <2 x i32> } %r, 032 ret <2 x half> %e033}34 35define noundef <2 x i32> @test_vector_half_frexp_int(<2 x half> noundef %h) {36; CHECK-LABEL: define noundef <2 x i32> @test_vector_half_frexp_int(37; CHECK-SAME: <2 x half> noundef [[H:%.*]]) {38; CHECK-NEXT: [[H_I0:%.*]] = extractelement <2 x half> [[H]], i64 039; CHECK-NEXT: [[R_I0:%.*]] = call { half, i32 } @llvm.frexp.f16.i32(half [[H_I0]])40; CHECK-NEXT: [[H_I1:%.*]] = extractelement <2 x half> [[H]], i64 141; CHECK-NEXT: [[R_I1:%.*]] = call { half, i32 } @llvm.frexp.f16.i32(half [[H_I1]])42; CHECK-NEXT: [[E1_ELEM1:%.*]] = extractvalue { half, i32 } [[R_I0]], 143; CHECK-NEXT: [[E1_ELEM11:%.*]] = extractvalue { half, i32 } [[R_I1]], 144; CHECK-NEXT: [[E1_UPTO0:%.*]] = insertelement <2 x i32> poison, i32 [[E1_ELEM1]], i64 045; CHECK-NEXT: [[E1:%.*]] = insertelement <2 x i32> [[E1_UPTO0]], i32 [[E1_ELEM11]], i64 146; CHECK-NEXT: ret <2 x i32> [[E1]]47;48 %r = call { <2 x half>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x half> %h)49 %e1 = extractvalue { <2 x half>, <2 x i32> } %r, 150 ret <2 x i32> %e151}52 53define noundef <2 x float> @test_vector_float_frexp_int(<2 x float> noundef %f) {54; CHECK-LABEL: define noundef <2 x float> @test_vector_float_frexp_int(55; CHECK-SAME: <2 x float> noundef [[F:%.*]]) {56; CHECK-NEXT: [[F_I0:%.*]] = extractelement <2 x float> [[F]], i64 057; CHECK-NEXT: [[DOTI0:%.*]] = call { float, i32 } @llvm.frexp.f32.i32(float [[F_I0]])58; CHECK-NEXT: [[F_I1:%.*]] = extractelement <2 x float> [[F]], i64 159; CHECK-NEXT: [[DOTI1:%.*]] = call { float, i32 } @llvm.frexp.f32.i32(float [[F_I1]])60; CHECK-NEXT: [[DOTELEM0:%.*]] = extractvalue { float, i32 } [[DOTI0]], 061; CHECK-NEXT: [[DOTELEM01:%.*]] = extractvalue { float, i32 } [[DOTI1]], 062; CHECK-NEXT: [[DOTUPTO010:%.*]] = insertelement <2 x float> poison, float [[DOTELEM0]], i64 063; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x float> [[DOTUPTO010]], float [[DOTELEM01]], i64 164; CHECK-NEXT: [[DOTELEM1:%.*]] = extractvalue { float, i32 } [[DOTI0]], 165; CHECK-NEXT: [[DOTELEM12:%.*]] = extractvalue { float, i32 } [[DOTI1]], 166; CHECK-NEXT: ret <2 x float> [[TMP1]]67;68 %1 = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f16.v2i32(<2 x float> %f)69 %2 = extractvalue { <2 x float>, <2 x i32> } %1, 070 %3 = extractvalue { <2 x float>, <2 x i32> } %1, 171 ret <2 x float> %272}73 74define noundef <2 x double> @test_vector_double_frexp_int(<2 x double> noundef %d) {75; CHECK-LABEL: define noundef <2 x double> @test_vector_double_frexp_int(76; CHECK-SAME: <2 x double> noundef [[D:%.*]]) {77; CHECK-NEXT: [[D_I0:%.*]] = extractelement <2 x double> [[D]], i64 078; CHECK-NEXT: [[DOTI0:%.*]] = call { double, i32 } @llvm.frexp.f64.i32(double [[D_I0]])79; CHECK-NEXT: [[D_I1:%.*]] = extractelement <2 x double> [[D]], i64 180; CHECK-NEXT: [[DOTI1:%.*]] = call { double, i32 } @llvm.frexp.f64.i32(double [[D_I1]])81; CHECK-NEXT: [[DOTELEM0:%.*]] = extractvalue { double, i32 } [[DOTI0]], 082; CHECK-NEXT: [[DOTELEM01:%.*]] = extractvalue { double, i32 } [[DOTI1]], 083; CHECK-NEXT: [[DOTUPTO010:%.*]] = insertelement <2 x double> poison, double [[DOTELEM0]], i64 084; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x double> [[DOTUPTO010]], double [[DOTELEM01]], i64 185; CHECK-NEXT: [[DOTELEM1:%.*]] = extractvalue { double, i32 } [[DOTI0]], 186; CHECK-NEXT: [[DOTELEM12:%.*]] = extractvalue { double, i32 } [[DOTI1]], 187; CHECK-NEXT: ret <2 x double> [[TMP1]]88;89 %1 = call { <2 x double>, <2 x i32> } @llvm.frexp.v2f64.v2i32(<2 x double> %d)90 %2 = extractvalue { <2 x double>, <2 x i32> } %1, 091 %3 = extractvalue { <2 x double>, <2 x i32> } %1, 192 ret <2 x double> %293}94