24 lines
678 B
LLVM
24 lines
678 B
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt -S %s -passes=loop-instsimplify | FileCheck %s
|
|
; RUN: opt -S %s -passes='loop-mssa(loop-instsimplify)' -verify-memoryssa | FileCheck %s
|
|
|
|
define i32 @test_01() {
|
|
; CHECK-LABEL: @test_01(
|
|
; CHECK-NEXT: bb:
|
|
; CHECK-NEXT: br label [[LOOP:%.*]]
|
|
; CHECK: loop:
|
|
; CHECK-NEXT: br label [[LOOP]]
|
|
; CHECK: unreached:
|
|
; CHECK-NEXT: ret i32 0
|
|
;
|
|
bb:
|
|
br label %loop
|
|
|
|
loop: ; preds = %bb, %loop
|
|
%tmp = lshr exact i32 undef, 16
|
|
br label %loop
|
|
|
|
unreached: ; No predecessors!
|
|
ret i32 %tmp
|
|
}
|