diff options
| -rw-r--r-- | test/Transforms/LICM/2003-08-04-TrappingInstHoist.ll | 27 | ||||
| -rw-r--r-- | test/Transforms/LICM/2003-08-04-TrappingInstOkHoist.ll | 20 |
2 files changed, 47 insertions, 0 deletions
diff --git a/test/Transforms/LICM/2003-08-04-TrappingInstHoist.ll b/test/Transforms/LICM/2003-08-04-TrappingInstHoist.ll new file mode 100644 index 0000000000..67c7d8261d --- /dev/null +++ b/test/Transforms/LICM/2003-08-04-TrappingInstHoist.ll @@ -0,0 +1,27 @@ +; This testcase tests for a problem where LICM hoists +; potentially trapping instructions when they are not guaranteed to execute. +; +; RUN: as < %s | opt -licm | dis | grep -C 2 "IfUnEqual" | grep div + +%X = global int 0 +declare void %foo() + +int %test(bool %c) { + %A = load int *%X + br label %Loop +Loop: + call void %foo() + br bool %c, label %LoopTail, label %IfUnEqual + +IfUnEqual: + %B1 = div int 4, %A ;; Should not hoist this div! + br label %LoopTail + +LoopTail: + %B = phi int [ 0, %Loop ], [ %B1, %IfUnEqual] + br bool %c, label %Loop, label %Out + +Out: + %C = sub int %A, %B + ret int %C +} diff --git a/test/Transforms/LICM/2003-08-04-TrappingInstOkHoist.ll b/test/Transforms/LICM/2003-08-04-TrappingInstOkHoist.ll new file mode 100644 index 0000000000..749024b26b --- /dev/null +++ b/test/Transforms/LICM/2003-08-04-TrappingInstOkHoist.ll @@ -0,0 +1,20 @@ +; This testcase tests to make sure a trapping instruction is hoisted when +; it is guaranteed to execute. +; +; RUN: as < %s | opt -licm | dis | grep -C 2 "test" | grep div + +%X = global int 0 +declare void %foo() + +int %test(bool %c) { + %A = load int *%X + br label %Loop +Loop: + call void %foo() + %B = div int 4, %A ;; Should have hoisted this div! + br bool %c, label %Loop, label %Out + +Out: + %C = sub int %A, %B + ret int %C +} |