55 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -S -enable-unswitch-cost-multiplier=true -unswitch-parent-blocks-div=1 \3; RUN: -passes="loop-mssa(loop-simplifycfg,licm,loop-rotate,simple-loop-unswitch<nontrivial>),print<loops>" \4; RUN: -disable-output 2>&1 | sort -b -k 1 | FileCheck %s --check-prefixes=LOOP-DIV-15 6; RUN: opt < %s -S -enable-unswitch-cost-multiplier=true -unswitch-parent-blocks-div=2 \7; RUN: -passes="loop-mssa(loop-simplifycfg,licm,loop-rotate,simple-loop-unswitch<nontrivial>),print<loops>" \8; RUN: -disable-output 2>&1 | sort -b -k 1 | FileCheck %s --check-prefixes=LOOP-DIV-29 10; LOOP-DIV-1-COUNT-6: Loop at depth 1 containing:11; LOOP-DIV-2-COUNT-12: Loop at depth 1 containing:12 13@a = global i32 0, align 414@b = global i32 0, align 415@c = global i32 0, align 416@d = global i32 0, align 417 18define i32 @main() {19entry:20 br label %outer.loop.header21 22outer.loop.header: ; preds = %outer.loop.latch, %entry23 br i1 false, label %exit, label %outer.loop.body24 25outer.loop.body: ; preds = %inner.loop.header, %outer.loop.header26 store i32 1, ptr @c, align 427 %cmp = icmp sgt i32 0, -128 br i1 %cmp, label %outer.loop.latch, label %exit29 30inner.loop.header: ; preds = %outer.loop.latch, %inner.loop.body31 %a_val = load i32, ptr @a, align 432 %c_val = load i32, ptr @c, align 433 %mul = mul nsw i32 %c_val, %a_val34 store i32 %mul, ptr @b, align 435 %cmp2 = icmp sgt i32 %mul, -136 br i1 %cmp2, label %inner.loop.body, label %outer.loop.body37 38inner.loop.body: ; preds = %inner.loop.header39 %mul2 = mul nsw i32 %c_val, 340 store i32 %mul2, ptr @c, align 441 store i32 %c_val, ptr @d, align 442 %mul3 = mul nsw i32 %c_val, %a_val43 %cmp3 = icmp sgt i32 %mul3, -144 br i1 %cmp3, label %inner.loop.header, label %exit45 46outer.loop.latch: ; preds = %outer.loop.body47 %d_val = load i32, ptr @d, align 448 store i32 %d_val, ptr @b, align 449 %cmp4 = icmp eq i32 %d_val, 050 br i1 %cmp4, label %inner.loop.header, label %outer.loop.header51 52exit: ; preds = %inner.loop.body, %outer.loop.body, %outer.loop.header53 ret i32 054}55