54 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; Check that no freeze instruction gets inserted before landingpad in a basic block3; RUN: opt < %s -passes=instcombine -S | FileCheck %s4 5define i32 @propagate_freeze_in_landingpad() personality ptr null {6; CHECK-LABEL: @propagate_freeze_in_landingpad(7; CHECK-NEXT: entry:8; CHECK-NEXT: br label [[INVOKE_BB1:%.*]]9; CHECK: invoke.bb1:10; CHECK-NEXT: [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[INC:%.*]], [[NORMAL_RETURN:%.*]] ]11; CHECK-NEXT: [[RES0:%.*]] = invoke i32 @foo()12; CHECK-NEXT: to label [[INVOKE_BB2:%.*]] unwind label [[EXCEPTIONAL_RETURN:%.*]]13; CHECK: invoke.bb2:14; CHECK-NEXT: [[RES1:%.*]] = invoke i32 @foo()15; CHECK-NEXT: to label [[NORMAL_RETURN]] unwind label [[EXCEPTIONAL_RETURN]]16; CHECK: normal_return:17; CHECK-NEXT: [[INC]] = add nuw nsw i32 [[X]], 118; CHECK-NEXT: br label [[INVOKE_BB1]]19; CHECK: exceptional_return:20; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ [[X]], [[INVOKE_BB1]] ], [ 0, [[INVOKE_BB2]] ]21; CHECK-NEXT: [[LANDING_PAD:%.*]] = landingpad { ptr, i32 }22; CHECK-NEXT: cleanup23; CHECK-NEXT: [[FR:%.*]] = freeze i32 [[PHI]]24; CHECK-NEXT: [[RES:%.*]] = shl i32 [[FR]], 125; CHECK-NEXT: ret i32 [[RES]]26;27entry:28 br label %invoke.bb129 30invoke.bb1: ; preds = %normal_return, %entry31 %x = phi i32 [ 0, %entry ], [ %inc, %normal_return ]32 %res0 = invoke i32 @foo()33 to label %invoke.bb2 unwind label %exceptional_return34 35invoke.bb2: ; preds = %invoke.bb136 %res1 = invoke i32 @foo()37 to label %normal_return unwind label %exceptional_return38 39normal_return: ; preds = %invoke.bb240 %inc = add nuw nsw i32 %x, 141 br label %invoke.bb142 43exceptional_return: ; preds = %invoke.bb2, %invoke.bb144 %phi = phi i32 [ %x, %invoke.bb1 ], [ 0, %invoke.bb2 ]45 %landing_pad = landingpad { ptr, i32 }46 cleanup47 %fr = freeze i32 %phi48 %res = add i32 %fr, %phi49 ret i32 %res50}51 52declare i32 @foo()53 54