Changes in directory llvm/test/Regression/Transforms/LCSSA:
2006-06-12-MultipleExitsSameBlock.ll added (r1.1) --- Log message: Make sure that LCSSA works properly when it encounters an exit block that has more than one predecessor inside the loop. --- Diffs of the changes: (+28 -0) 2006-06-12-MultipleExitsSameBlock.ll | 28 ++++++++++++++++++++++++++++ 1 files changed, 28 insertions(+) Index: llvm/test/Regression/Transforms/LCSSA/2006-06-12-MultipleExitsSameBlock.ll diff -c /dev/null llvm/test/Regression/Transforms/LCSSA/2006-06-12-MultipleExitsSameBlock.ll:1.1 *** /dev/null Mon Jun 12 02:05:57 2006 --- llvm/test/Regression/Transforms/LCSSA/2006-06-12-MultipleExitsSameBlock.ll Mon Jun 12 02:05:47 2006 *************** *** 0 **** --- 1,28 ---- + ; RUN: llvm-as < %s | opt -lcssa | llvm-dis | grep "%X.1.lcssa" && + ; RUN: llvm-as < %s | opt -lcssa | llvm-dis | not grep "%X.1.lcssa1" + + declare bool %c1() + declare bool %c2() + + int %foo() { + entry: + br label %loop_begin + + loop_begin: + br bool true, label %loop_body.1, label %loop_exit2 + + loop_body.1: + %X.1 = add int 0, 1 + %rel.1 = call bool %c1() + br bool %rel.1, label %loop_exit, label %loop_body.2 + + loop_body.2: + %rel.2 = call bool %c2() + br bool %rel.2, label %loop_exit, label %loop_begin + + loop_exit: + ret int %X.1 + + loop_exit2: + ret int 1 + } _______________________________________________ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits