| ; RUN: opt < %s -correlated-propagation |
| |
| ; PR8161 |
| define void @test1() nounwind ssp { |
| entry: |
| br label %for.end |
| |
| for.cond.us.us: ; preds = %for.cond.us.us |
| %cmp6.i.us.us = icmp sgt i32 1, 0 |
| %lor.ext.i.us.us = zext i1 %cmp6.i.us.us to i32 |
| %lor.ext.add.i.us.us = select i1 %cmp6.i.us.us, i32 %lor.ext.i.us.us, i32 undef |
| %conv.i.us.us = trunc i32 %lor.ext.add.i.us.us to i16 |
| %sext.us.us = shl i16 %conv.i.us.us, 8 |
| %conv6.us.us = ashr i16 %sext.us.us, 8 |
| %and.us.us = and i16 %conv6.us.us, %and.us.us |
| br i1 false, label %for.end, label %for.cond.us.us |
| |
| for.end: ; preds = %for.cond.us, %for.cond.us.us, %entry |
| ret void |
| } |
| |
| ; PR 8790 |
| define void @test2() nounwind ssp { |
| entry: |
| br label %func_29.exit |
| |
| sdf.exit.i: |
| %l_44.1.mux.i = select i1 %tobool5.not.i, i8 %l_44.1.mux.i, i8 1 |
| br label %srf.exit.i |
| |
| srf.exit.i: |
| %tobool5.not.i = icmp ne i8 undef, 0 |
| br i1 %tobool5.not.i, label %sdf.exit.i, label %func_29.exit |
| |
| func_29.exit: |
| ret void |
| } |
| |
| ; PR13972 |
| define void @test3() nounwind { |
| for.body: |
| br label %return |
| |
| for.cond.i: ; preds = %if.else.i, %for.body.i |
| %e.2.i = phi i32 [ %e.2.i, %if.else.i ], [ -8, %for.body.i ] |
| br i1 undef, label %return, label %for.body.i |
| |
| for.body.i: ; preds = %for.cond.i |
| switch i32 %e.2.i, label %for.cond3.i [ |
| i32 -3, label %if.else.i |
| i32 0, label %for.cond.i |
| ] |
| |
| for.cond3.i: ; preds = %for.cond3.i, %for.body.i |
| br label %for.cond3.i |
| |
| if.else.i: ; preds = %for.body.i |
| br label %for.cond.i |
| |
| return: ; preds = %for.cond.i, %for.body |
| ret void |
| } |