110 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=ipsccp -S < %s | FileCheck %s3 4define float @sitofp_and(i8 %x) {5; CHECK-LABEL: @sitofp_and(6; CHECK-NEXT: [[PX:%.*]] = and i8 [[X:%.*]], 1277; CHECK-NEXT: [[R:%.*]] = uitofp nneg i8 [[PX]] to float8; CHECK-NEXT: ret float [[R]]9;10 %px = and i8 %x, 12711 %r = sitofp i8 %px to float12 ret float %r13}14 15define half @sitofp_const(i8 %x) {16; CHECK-LABEL: @sitofp_const(17; CHECK-NEXT: ret half 0xH514018;19 %r = sitofp i8 42 to half20 ret half %r21}22 23define double @sitofp_zext(i7 %x) {24; CHECK-LABEL: @sitofp_zext(25; CHECK-NEXT: [[PX:%.*]] = zext i7 [[X:%.*]] to i826; CHECK-NEXT: [[R:%.*]] = uitofp nneg i8 [[PX]] to double27; CHECK-NEXT: ret double [[R]]28;29 %px = zext i7 %x to i830 %r = sitofp i8 %px to double31 ret double %r32}33 34; negative test35 36define double @sitofp_not_nonneg(i7 %x) {37; CHECK-LABEL: @sitofp_not_nonneg(38; CHECK-NEXT: [[PX:%.*]] = sext i7 [[X:%.*]] to i839; CHECK-NEXT: [[R:%.*]] = sitofp i8 [[PX]] to double40; CHECK-NEXT: ret double [[R]]41;42 %px = sext i7 %x to i843 %r = sitofp i8 %px to double44 ret double %r45}46 47; x is known non-negative in t block48 49define float @dominating_condition(i32 %x) {50; CHECK-LABEL: @dominating_condition(51; CHECK-NEXT: entry:52; CHECK-NEXT: [[CMP:%.*]] = icmp sge i32 [[X:%.*]], 053; CHECK-NEXT: br i1 [[CMP]], label [[T:%.*]], label [[F:%.*]]54; CHECK: t:55; CHECK-NEXT: [[A:%.*]] = uitofp nneg i32 [[X]] to float56; CHECK-NEXT: br label [[EXIT:%.*]]57; CHECK: f:58; CHECK-NEXT: br label [[EXIT]]59; CHECK: exit:60; CHECK-NEXT: [[COND:%.*]] = phi float [ [[A]], [[T]] ], [ 4.200000e+01, [[F]] ]61; CHECK-NEXT: ret float [[COND]]62;63entry:64 %cmp = icmp sge i32 %x, 065 br i1 %cmp, label %t, label %f66 67t:68 %a = sitofp i32 %x to float69 br label %exit70 71f:72 br label %exit73 74exit:75 %cond = phi float [ %a, %t ], [ 42.0, %f ]76 ret float %cond77}78 79; x is known non-negative in f block80 81define float @dominating_condition_alt(i32 %x) {82; CHECK-LABEL: @dominating_condition_alt(83; CHECK-NEXT: entry:84; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i32 [[X:%.*]], 200000000085; CHECK-NEXT: br i1 [[CMP]], label [[T:%.*]], label [[F:%.*]]86; CHECK: t:87; CHECK-NEXT: br label [[EXIT:%.*]]88; CHECK: f:89; CHECK-NEXT: [[A:%.*]] = uitofp nneg i32 [[X]] to float90; CHECK-NEXT: br label [[EXIT]]91; CHECK: exit:92; CHECK-NEXT: [[COND:%.*]] = phi float [ -4.200000e+01, [[T]] ], [ [[A]], [[F]] ]93; CHECK-NEXT: ret float [[COND]]94;95entry:96 %cmp = icmp ugt i32 %x, 200000000097 br i1 %cmp, label %t, label %f98 99t:100 br label %exit101 102f:103 %a = sitofp i32 %x to float104 br label %exit105 106exit:107 %cond = phi float [ -42.0, %t ], [ %a, %f ]108 ret float %cond109}110