97 lines · plain
1; RUN: opt -S -passes=gvn-hoist < %s | FileCheck %s2 3; Checking gvn-hoist in case of infinite loops and irreducible control flow.4 5; Check that bitcast is not hoisted beacuse down safety is not guaranteed.6; CHECK-LABEL: @bazv17; CHECK: if.then.i:8; CHECK: bitcast9; CHECK-NEXT: load10; CHECK: if.then4.i:11; CHECK: bitcast12; CHECK-NEXT: load13 14%class.bar = type { ptr, ptr }15%class.base = type { ptr }16 17; Function Attrs: noreturn nounwind uwtable18define void @bazv1() local_unnamed_addr {19entry:20 %agg.tmp = alloca %class.bar, align 821 %x.sroa.2.0..sroa_idx2 = getelementptr inbounds %class.bar, ptr %agg.tmp, i64 0, i32 122 store ptr null, ptr %x.sroa.2.0..sroa_idx2, align 823 call void @_Z3foo3bar(ptr nonnull %agg.tmp)24 %0 = load ptr, ptr %x.sroa.2.0..sroa_idx2, align 825 %1 = bitcast ptr %agg.tmp to ptr26 %cmp.i = icmp eq ptr %0, %127 br i1 %cmp.i, label %if.then.i, label %if.else.i28 29if.then.i: ; preds = %entry30 %2 = bitcast ptr %0 to ptr31 %vtable.i = load ptr, ptr %2, align 832 %vfn.i = getelementptr inbounds ptr, ptr %vtable.i, i64 233 %3 = load ptr, ptr %vfn.i, align 834 call void %3(ptr %0)35 br label %while.cond.preheader36 37if.else.i: ; preds = %entry38 %tobool.i = icmp eq ptr %0, null39 br i1 %tobool.i, label %while.cond.preheader, label %if.then4.i40 41if.then4.i: ; preds = %if.else.i42 %4 = bitcast ptr %0 to ptr43 %vtable6.i = load ptr, ptr %4, align 844 %vfn7.i = getelementptr inbounds ptr, ptr %vtable6.i, i64 345 %5 = load ptr, ptr %vfn7.i, align 846 call void %5(ptr nonnull %0)47 br label %while.cond.preheader48 49while.cond.preheader: ; preds = %if.then.i, %if.else.i, %if.then4.i50 br label %while.cond51 52while.cond: ; preds = %while.cond.preheader, %while.cond53 %call = call i32 @sleep(i32 10)54 br label %while.cond55}56 57declare void @_Z3foo3bar(ptr) local_unnamed_addr58 59declare i32 @sleep(i32) local_unnamed_addr60 61; Check that the load is hoisted even if it is inside an irreducible control flow62; because the load is anticipable on all paths.63 64; CHECK-LABEL: @bazv65; CHECK: bb2:66; CHECK-NOT: load67; CHECK-NOT: bitcast68 69define void @bazv() {70entry:71 %agg.tmp = alloca %class.bar, align 872 %x= getelementptr inbounds %class.bar, ptr %agg.tmp, i64 0, i32 173 %0 = load ptr, ptr %x, align 874 %1 = bitcast ptr %agg.tmp to ptr75 %cmp.i = icmp eq ptr %0, %176 br i1 %cmp.i, label %bb1, label %bb477 78bb1:79 %b1 = bitcast ptr %0 to ptr80 %i = load ptr, ptr %b1, align 881 %vfn.i = getelementptr inbounds ptr, ptr %i, i64 282 %cmp.j = icmp eq ptr %0, %183 br i1 %cmp.j, label %bb2, label %bb384 85bb2:86 %l1 = load ptr, ptr %vfn.i, align 887 br label %bb388 89bb3:90 %l2 = load ptr, ptr %vfn.i, align 891 br label %bb292 93bb4:94 %b2 = bitcast ptr %0 to ptr95 ret void96}97