1; RUN: opt < %s -correlated-propagation 2 3; PR8161 4define void @test1() nounwind ssp { 5entry: 6 br label %for.end 7 8for.cond.us.us: ; preds = %for.cond.us.us 9 %cmp6.i.us.us = icmp sgt i32 1, 0 10 %lor.ext.i.us.us = zext i1 %cmp6.i.us.us to i32 11 %lor.ext.add.i.us.us = select i1 %cmp6.i.us.us, i32 %lor.ext.i.us.us, i32 undef 12 %conv.i.us.us = trunc i32 %lor.ext.add.i.us.us to i16 13 %sext.us.us = shl i16 %conv.i.us.us, 8 14 %conv6.us.us = ashr i16 %sext.us.us, 8 15 %and.us.us = and i16 %conv6.us.us, %and.us.us 16 br i1 false, label %for.end, label %for.cond.us.us 17 18for.end: ; preds = %for.cond.us, %for.cond.us.us, %entry 19 ret void 20} 21 22; PR 8790 23define void @test2() nounwind ssp { 24entry: 25 br label %func_29.exit 26 27sdf.exit.i: 28 %l_44.1.mux.i = select i1 %tobool5.not.i, i8 %l_44.1.mux.i, i8 1 29 br label %srf.exit.i 30 31srf.exit.i: 32 %tobool5.not.i = icmp ne i8 undef, 0 33 br i1 %tobool5.not.i, label %sdf.exit.i, label %func_29.exit 34 35func_29.exit: 36 ret void 37} 38 39; PR13972 40define void @test3() nounwind { 41for.body: 42 br label %return 43 44for.cond.i: ; preds = %if.else.i, %for.body.i 45 %e.2.i = phi i32 [ %e.2.i, %if.else.i ], [ -8, %for.body.i ] 46 br i1 undef, label %return, label %for.body.i 47 48for.body.i: ; preds = %for.cond.i 49 switch i32 %e.2.i, label %for.cond3.i [ 50 i32 -3, label %if.else.i 51 i32 0, label %for.cond.i 52 ] 53 54for.cond3.i: ; preds = %for.cond3.i, %for.body.i 55 br label %for.cond3.i 56 57if.else.i: ; preds = %for.body.i 58 br label %for.cond.i 59 60return: ; preds = %for.cond.i, %for.body 61 ret void 62} 63