66 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes='loop(simple-loop-unswitch<nontrivial>),verify<loops>' -S < %s | FileCheck %s3; RUN: opt -passes='loop-mssa(simple-loop-unswitch<nontrivial>),verify<loops>' -S -verify-memoryssa < %s | FileCheck %s4 5declare ptr @pluto()6declare void @llvm.experimental.guard(i1, ...)7declare void @widget()8 9define void @foo(ptr addrspace(1) %arg, i64 %arg1) personality ptr @pluto {10; CHECK-LABEL: @foo(11; CHECK-NEXT: bb:12; CHECK-NEXT: [[TMP:%.*]] = icmp slt i32 poison, 57013; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP]], i1 true, i1 false14; CHECK-NEXT: br i1 [[TMP]], label [[BB_SPLIT_US:%.*]], label [[BB_SPLIT:%.*]]15; CHECK: bb.split.us:16; CHECK-NEXT: br label [[BB3_US:%.*]]17; CHECK: bb3.us:18; CHECK-NEXT: br label [[GUARDED_US:%.*]]19; CHECK: bb4.us:20; CHECK-NEXT: invoke void @widget()21; CHECK-NEXT: to label [[BB6_US:%.*]] unwind label [[BB7_SPLIT_US:%.*]]22; CHECK: bb6.us:23; CHECK-NEXT: invoke void @widget()24; CHECK-NEXT: to label [[BB3_US]] unwind label [[BB7_SPLIT_US]]25; CHECK: guarded.us:26; CHECK-NEXT: invoke void @widget()27; CHECK-NEXT: to label [[BB4_US:%.*]] unwind label [[BB7_SPLIT_US]]28; CHECK: bb7.split.us:29; CHECK-NEXT: [[TMP8_US:%.*]] = landingpad { ptr, i32 }30; CHECK-NEXT: cleanup31; CHECK-NEXT: br label [[BB7:%.*]]32; CHECK: bb.split:33; CHECK-NEXT: br label [[BB3:%.*]]34; CHECK: bb3:35; CHECK-NEXT: br label [[DEOPT:%.*]]36; CHECK: deopt:37; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 false, i32 7) [ "deopt"() ]38; CHECK-NEXT: unreachable39; CHECK: bb7:40; CHECK-NEXT: ret void41;42bb:43 %tmp = icmp slt i32 poison, 57044 %tmp2 = select i1 %tmp, i1 true, i1 false45 br label %bb346 47bb3: ; preds = %bb6, %bb48 call void (i1, ...) @llvm.experimental.guard(i1 %tmp2, i32 7) [ "deopt"() ]49 invoke void @widget()50 to label %bb4 unwind label %bb751 52bb4: ; preds = %bb353 invoke void @widget()54 to label %bb6 unwind label %bb755 56bb6: ; preds = %bb457 invoke void @widget()58 to label %bb3 unwind label %bb759 60bb7: ; preds = %bb6, %bb4, %bb361 %tmp8 = landingpad { ptr, i32 }62 cleanup63 ret void64}65 66