| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2 |
| ; RUN: opt < %s -simple-loop-unswitch-inject-invariant-conditions=true -passes='loop(simple-loop-unswitch<nontrivial>)' -S | FileCheck %s |
| |
| @global = external dso_local local_unnamed_addr global i64, align 8 |
| |
| define dso_local void @test() local_unnamed_addr #0 { |
| ; CHECK-LABEL: define dso_local void @test() local_unnamed_addr { |
| ; CHECK-NEXT: bb: |
| ; CHECK-NEXT: br label [[BB1:%.*]] |
| ; CHECK: bb1: |
| ; CHECK-NEXT: [[CALL:%.*]] = tail call noundef ptr @widget() |
| ; CHECK-NEXT: [[ICMP:%.*]] = icmp slt ptr [[CALL]], null |
| ; CHECK-NEXT: br i1 [[ICMP]], label [[BB2:%.*]], label [[BB1]] |
| ; CHECK: bb2: |
| ; CHECK-NEXT: ret void |
| ; |
| bb: |
| br label %bb1 |
| |
| bb1: ; preds = %bb1, %bb |
| %call = tail call noundef ptr @widget() |
| %icmp = icmp slt ptr %call, null |
| br i1 %icmp, label %bb2, label %bb1 |
| |
| bb2: ; preds = %bb1 |
| ret void |
| } |
| |
| declare ptr @widget() local_unnamed_addr #0 |
