51 lines · plain
1; RUN: llc < %s -mtriple=i386-apple-darwin2; rdar://65016313 4 %CF = type { %Register }5 %XXV = type { ptr }6 %Register = type { %"struct.XXC::BCFs", i32 }7 %"struct.XXC::BCFs" = type { i32 }8 9declare { i32, i1 } @llvm.sadd.with.overflow.i32(i32, i32) nounwind10 11define fastcc ptr @bar(ptr %call_frame, ptr %exception) nounwind {12prologue:13 %param_x = load ptr, ptr null ; <ptr> [#uses=1]14 %unique_1.i = ptrtoint ptr %param_x to i1 ; <i1> [#uses=1]15 br i1 %unique_1.i, label %NextVerify42, label %FailedVerify16 17NextVerify42: ; preds = %prologue18 %param_y = load ptr, ptr null ; <ptr> [#uses=1]19 %unique_1.i58 = ptrtoint ptr %param_y to i1 ; <i1> [#uses=1]20 br i1 %unique_1.i58, label %function_setup.cont, label %FailedVerify21 22function_setup.cont: ; preds = %NextVerify4223 br i1 false, label %label13, label %label24 25label: ; preds = %function_setup.cont26 %has_exn = icmp eq ptr null, null ; <i1> [#uses=1]27 br i1 %has_exn, label %kjsNumberLiteral.exit, label %handle_exception28 29kjsNumberLiteral.exit: ; preds = %label30 %0 = call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 0, i32 0) ; <{ i32, i1 }> [#uses=2]31 %intAdd = extractvalue { i32, i1 } %0, 0 ; <i32> [#uses=2]32 %intAddOverflow = extractvalue { i32, i1 } %0, 1 ; <i1> [#uses=1]33 %toint56 = ashr i32 %intAdd, 1 ; <i32> [#uses=1]34 %toFP57 = sitofp i32 %toint56 to double ; <double> [#uses=1]35 br i1 %intAddOverflow, label %rematerializeAdd, label %label1336 37label13: ; preds = %kjsNumberLiteral.exit, %function_setup.cont38 %var_lr1.0 = phi double [ %toFP57, %kjsNumberLiteral.exit ], [ 0.000000e+00, %function_setup.cont ] ; <double> [#uses=0]39 unreachable40 41FailedVerify: ; preds = %NextVerify42, %prologue42 ret ptr null43 44rematerializeAdd: ; preds = %kjsNumberLiteral.exit45 %rematerializedInt = sub i32 %intAdd, 0 ; <i32> [#uses=0]46 ret ptr null47 48handle_exception: ; preds = %label49 ret ptr undef50}51