24 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S %s -passes=loop-instsimplify | FileCheck %s3; RUN: opt -S %s -passes='loop-mssa(loop-instsimplify)' -verify-memoryssa | FileCheck %s4 5define i32 @test_01() {6; CHECK-LABEL: @test_01(7; CHECK-NEXT: bb:8; CHECK-NEXT: br label [[LOOP:%.*]]9; CHECK: loop:10; CHECK-NEXT: br label [[LOOP]]11; CHECK: unreached:12; CHECK-NEXT: ret i32 013;14bb:15 br label %loop16 17loop: ; preds = %bb, %loop18 %tmp = lshr exact i32 undef, 1619 br label %loop20 21unreached: ; No predecessors!22 ret i32 %tmp23}24