25 lines
447 B
LLVM
25 lines
447 B
LLVM
|
; RUN: opt -S -gvn < %s | FileCheck %s
|
||
|
|
|
||
|
|
define i32 @test1(i32* %p, i1 %C) {
|
||
|
|
; CHECK-LABEL: @test1(
|
||
|
|
block1:
|
||
|
|
br i1 %C, label %block2, label %block3
|
||
|
|
|
||
|
|
block2:
|
||
|
|
br label %block4
|
||
|
|
; CHECK: block2:
|
||
|
|
; CHECK-NEXT: load i32, i32* %p, align 4, !range !0, !invariant.group !1
|
||
|
|
|
||
|
|
block3:
|
||
|
|
store i32 0, i32* %p
|
||
|
|
br label %block4
|
||
|
|
|
||
|
|
block4:
|
||
|
|
%PRE = load i32, i32* %p, !range !0, !invariant.group !1
|
||
|
|
ret i32 %PRE
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
!0 = !{i32 40, i32 100}
|
||
|
|
!1 = !{!"magic ptr"}
|