30 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt < %s -simple-loop-unswitch-inject-invariant-conditions=true -passes='loop(simple-loop-unswitch<nontrivial>)' -S | FileCheck %s3 4@global = external dso_local local_unnamed_addr global i64, align 85 6define dso_local void @test() local_unnamed_addr #0 {7; CHECK-LABEL: define dso_local void @test() local_unnamed_addr {8; CHECK-NEXT: bb:9; CHECK-NEXT: br label [[BB1:%.*]]10; CHECK: bb1:11; CHECK-NEXT: [[CALL:%.*]] = tail call noundef ptr @widget()12; CHECK-NEXT: [[ICMP:%.*]] = icmp slt ptr [[CALL]], null13; CHECK-NEXT: br i1 [[ICMP]], label [[BB2:%.*]], label [[BB1]]14; CHECK: bb2:15; CHECK-NEXT: ret void16;17bb:18 br label %bb119 20bb1: ; preds = %bb1, %bb21 %call = tail call noundef ptr @widget()22 %icmp = icmp slt ptr %call, null23 br i1 %icmp, label %bb2, label %bb124 25bb2: ; preds = %bb126 ret void27}28 29declare ptr @widget() local_unnamed_addr #030