1 ; RUN: opt -S -gvn < %s | FileCheck %s 2 3 define i32 @test1(i32* %p, i1 %C) { 4 ; CHECK-LABEL: @test1( 5 block1: 6 br i1 %C, label %block2, label %block3 7 8 block2: 9 br label %block4 10 ; CHECK: block2: 11 ; CHECK-NEXT: load i32, i32* %p, !range !0, !invariant.group !1 12 13 block3: 14 store i32 0, i32* %p 15 br label %block4 16 17 block4: 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
