1; RUN: opt -S -gvn < %s | FileCheck %s 2 3define i32 @test1(i32* %p, i1 %C) { 4; CHECK-LABEL: @test1( 5block1: 6 br i1 %C, label %block2, label %block3 7 8block2: 9 br label %block4 10; CHECK: block2: 11; CHECK-NEXT: load i32, i32* %p, !range !0, !invariant.group !1 12 13block3: 14 store i32 0, i32* %p 15 br label %block4 16 17block4: 18 %PRE = load i32, i32* %p, !range !0, !invariant.group !1 19 ret i32 %PRE 20} 21 22 23!0 = !{i32 40, i32 100} 24!1 = !{!"magic ptr"} 25