100 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -mtriple=x86_64-- --expand-fp < %s | FileCheck %s3; RUN: opt -S -mtriple=x86_64-- -passes=expand-fp < %s | FileCheck %s4 5; expand-fp must also run with optnone6 7; Function Attrs: noinline optnone8define double @main(i224 %0) #0 {9; CHECK-LABEL: define double @main(10; CHECK-SAME: i224 [[TMP0:%.*]]) #[[ATTR0:[0-9]+]] {11; CHECK-NEXT: [[ENTRYITOFP_ENTRY:.*]]:12; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i224 [[TMP0]], 013; CHECK-NEXT: br i1 [[TMP1]], label %[[ITOFP_RETURN:.*]], label %[[ITOFP_IF_END:.*]]14; CHECK: [[ITOFP_IF_END]]:15; CHECK-NEXT: [[TMP2:%.*]] = ashr i224 [[TMP0]], 22316; CHECK-NEXT: [[TMP3:%.*]] = xor i224 [[TMP2]], [[TMP0]]17; CHECK-NEXT: [[TMP4:%.*]] = sub i224 [[TMP3]], [[TMP2]]18; CHECK-NEXT: [[TMP5:%.*]] = call i224 @llvm.ctlz.i224(i224 [[TMP4]], i1 true)19; CHECK-NEXT: [[TMP6:%.*]] = trunc i224 [[TMP5]] to i3220; CHECK-NEXT: [[TMP7:%.*]] = sub i32 224, [[TMP6]]21; CHECK-NEXT: [[TMP8:%.*]] = sub i32 223, [[TMP6]]22; CHECK-NEXT: [[TMP9:%.*]] = icmp sgt i32 [[TMP7]], 5323; CHECK-NEXT: br i1 [[TMP9]], label %[[ITOFP_IF_THEN4:.*]], label %[[ITOFP_IF_ELSE:.*]]24; CHECK: [[ITOFP_IF_THEN4]]:25; CHECK-NEXT: switch i32 [[TMP7]], label %[[ITOFP_SW_DEFAULT:.*]] [26; CHECK-NEXT: i32 54, label %[[ITOFP_SW_BB:.*]]27; CHECK-NEXT: i32 55, label %[[ITOFP_SW_EPILOG:.*]]28; CHECK-NEXT: ]29; CHECK: [[ITOFP_SW_BB]]:30; CHECK-NEXT: [[TMP10:%.*]] = shl i224 [[TMP4]], 131; CHECK-NEXT: br label %[[ITOFP_SW_EPILOG]]32; CHECK: [[ITOFP_SW_DEFAULT]]:33; CHECK-NEXT: [[TMP11:%.*]] = sub i32 169, [[TMP6]]34; CHECK-NEXT: [[TMP12:%.*]] = zext i32 [[TMP11]] to i22435; CHECK-NEXT: [[TMP13:%.*]] = lshr i224 [[TMP4]], [[TMP12]]36; CHECK-NEXT: [[TMP14:%.*]] = add i32 [[TMP6]], 5537; CHECK-NEXT: [[TMP15:%.*]] = zext i32 [[TMP14]] to i22438; CHECK-NEXT: [[TMP16:%.*]] = lshr i224 -1, [[TMP15]]39; CHECK-NEXT: [[TMP17:%.*]] = and i224 [[TMP16]], [[TMP4]]40; CHECK-NEXT: [[TMP18:%.*]] = icmp ne i224 [[TMP17]], 041; CHECK-NEXT: [[TMP19:%.*]] = zext i1 [[TMP18]] to i22442; CHECK-NEXT: [[TMP20:%.*]] = or i224 [[TMP13]], [[TMP19]]43; CHECK-NEXT: br label %[[ITOFP_SW_EPILOG]]44; CHECK: [[ITOFP_SW_EPILOG]]:45; CHECK-NEXT: [[TMP21:%.*]] = phi i224 [ [[TMP20]], %[[ITOFP_SW_DEFAULT]] ], [ [[TMP4]], %[[ITOFP_IF_THEN4]] ], [ [[TMP10]], %[[ITOFP_SW_BB]] ]46; CHECK-NEXT: [[TMP22:%.*]] = trunc i224 [[TMP21]] to i3247; CHECK-NEXT: [[TMP23:%.*]] = lshr i32 [[TMP22]], 248; CHECK-NEXT: [[TMP24:%.*]] = and i32 [[TMP23]], 149; CHECK-NEXT: [[TMP25:%.*]] = zext i32 [[TMP24]] to i22450; CHECK-NEXT: [[TMP26:%.*]] = or i224 [[TMP21]], [[TMP25]]51; CHECK-NEXT: [[TMP27:%.*]] = add i224 [[TMP26]], 152; CHECK-NEXT: [[TMP28:%.*]] = ashr i224 [[TMP27]], 253; CHECK-NEXT: [[A3:%.*]] = and i224 [[TMP27]], 3602879701896396854; CHECK-NEXT: [[TMP29:%.*]] = icmp eq i224 [[A3]], 055; CHECK-NEXT: [[TMP30:%.*]] = trunc i224 [[TMP28]] to i6456; CHECK-NEXT: [[TMP31:%.*]] = lshr i224 [[TMP28]], 3257; CHECK-NEXT: [[TMP32:%.*]] = trunc i224 [[TMP31]] to i3258; CHECK-NEXT: br i1 [[TMP29]], label %[[ITOFP_IF_END26:.*]], label %[[ITOFP_IF_THEN20:.*]]59; CHECK: [[ITOFP_IF_THEN20]]:60; CHECK-NEXT: [[TMP33:%.*]] = ashr i224 [[TMP27]], 361; CHECK-NEXT: [[TMP34:%.*]] = trunc i224 [[TMP33]] to i6462; CHECK-NEXT: [[TMP35:%.*]] = lshr i224 [[TMP33]], 3263; CHECK-NEXT: [[TMP36:%.*]] = trunc i224 [[TMP35]] to i3264; CHECK-NEXT: br label %[[ITOFP_IF_END26]]65; CHECK: [[ITOFP_IF_ELSE]]:66; CHECK-NEXT: [[TMP37:%.*]] = add i32 [[TMP6]], -17167; CHECK-NEXT: [[TMP38:%.*]] = zext i32 [[TMP37]] to i22468; CHECK-NEXT: [[TMP39:%.*]] = shl i224 [[TMP4]], [[TMP38]]69; CHECK-NEXT: [[TMP40:%.*]] = trunc i224 [[TMP39]] to i6470; CHECK-NEXT: [[TMP41:%.*]] = lshr i224 [[TMP39]], 3271; CHECK-NEXT: [[TMP42:%.*]] = trunc i224 [[TMP41]] to i3272; CHECK-NEXT: br label %[[ITOFP_IF_END26]]73; CHECK: [[ITOFP_IF_END26]]:74; CHECK-NEXT: [[TMP43:%.*]] = phi i64 [ [[TMP34]], %[[ITOFP_IF_THEN20]] ], [ [[TMP30]], %[[ITOFP_SW_EPILOG]] ], [ [[TMP40]], %[[ITOFP_IF_ELSE]] ]75; CHECK-NEXT: [[TMP44:%.*]] = phi i32 [ [[TMP36]], %[[ITOFP_IF_THEN20]] ], [ [[TMP32]], %[[ITOFP_SW_EPILOG]] ], [ [[TMP42]], %[[ITOFP_IF_ELSE]] ]76; CHECK-NEXT: [[TMP45:%.*]] = phi i32 [ [[TMP7]], %[[ITOFP_IF_THEN20]] ], [ [[TMP8]], %[[ITOFP_SW_EPILOG]] ], [ [[TMP8]], %[[ITOFP_IF_ELSE]] ]77; CHECK-NEXT: [[TMP46:%.*]] = trunc i224 [[TMP2]] to i3278; CHECK-NEXT: [[TMP47:%.*]] = and i32 [[TMP46]], -214748364879; CHECK-NEXT: [[TMP48:%.*]] = shl i32 [[TMP45]], 2080; CHECK-NEXT: [[TMP49:%.*]] = add i32 [[TMP48]], 107269324881; CHECK-NEXT: [[TMP50:%.*]] = and i32 [[TMP44]], 104857582; CHECK-NEXT: [[TMP51:%.*]] = or i32 [[TMP50]], [[TMP47]]83; CHECK-NEXT: [[TMP52:%.*]] = or i32 [[TMP51]], [[TMP49]]84; CHECK-NEXT: [[TMP53:%.*]] = zext i32 [[TMP52]] to i6485; CHECK-NEXT: [[TMP54:%.*]] = shl i64 [[TMP53]], 3286; CHECK-NEXT: [[TMP55:%.*]] = and i64 [[TMP43]], 429496729587; CHECK-NEXT: [[TMP56:%.*]] = or i64 [[TMP54]], [[TMP55]]88; CHECK-NEXT: [[TMP57:%.*]] = bitcast i64 [[TMP56]] to double89; CHECK-NEXT: br label %[[ITOFP_RETURN]]90; CHECK: [[ITOFP_RETURN]]:91; CHECK-NEXT: [[TMP58:%.*]] = phi double [ [[TMP57]], %[[ITOFP_IF_END26]] ], [ 0.000000e+00, %[[ENTRYITOFP_ENTRY]] ]92; CHECK-NEXT: ret double [[TMP58]]93;94entry:95 %x = sitofp i224 %0 to double96 ret double %x97}98 99attributes #0 = { noinline optnone }100