1 ; RUN: opt < %s -gvn-hoist -S | FileCheck %s 2 3 define void @func() { 4 ; CHECK-LABEL: @func() 5 ; CHECK: bb6: 6 ; CHECK: store i64 0, i64* undef, align 8 7 ; CHECK: bb7: 8 ; CHECK-NOT: store i64 0, i64* undef, align 8 9 ; CHECK: bb8: 10 ; CHECK-NOT: store i64 0, i64* undef, align 8 11 12 entry: 13 br label %bb1 14 15 bb1: 16 br label %bb2 17 18 bb2: 19 br label %bb3 20 21 bb3: 22 br i1 undef, label %bb4, label %bb2 23 24 bb4: 25 br i1 undef, label %bb5, label %bb3 26 27 bb5: 28 br label %bb6 29 30 bb6: 31 br i1 undef, label %bb7, label %bb8 32 33 bb7: 34 store i64 0, i64* undef, align 8 35 unreachable 36 37 bb8: 38 store i64 0, i64* undef, align 8 39 ret void 40 } 41
