It's not necessary to do rounding for alloca operations when the requested

alignment is equal to the stack alignment.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40004 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 34 insertions, 0 deletions

diff --git a/test/Transforms/SimplifyCFG/2006-10-19-UncondDiv.ll b/test/Transforms/SimplifyCFG/2006-10-19-UncondDiv.ll
new file mode 100644
index 0000000..26fce45
--- /dev/null
+++ b/test/Transforms/SimplifyCFG/2006-10-19-UncondDiv.ll
@@ -0,0 +1,34 @@
+; PR957
+; RUN: llvm-upgrade < %s | llvm-as | opt -simplifycfg | llvm-dis | \
+; RUN:   not grep select
+
+uint %test(uint %tmp) {
+cond_false179:          ; preds = %cond_true
+        %tmp181 = seteq uint %tmp, 0            ; <bool> [#uses=1]
+        br bool %tmp181, label %cond_true182, label %cond_next185
+
+cond_true182:           ; preds = %cond_false179
+        br label %cond_next185
+
+cond_next185:           ; preds = %cond_true182, %cond_false179
+        %d0.3 = phi uint [ div (uint 1, uint 0), %cond_true182 ], [ %tmp,
+%cond_false179 ]                ; <uint> [#uses=7]
+
+        ret uint %d0.3
+}
+
+uint %test2(uint %tmp) {
+cond_false179:          ; preds = %cond_true
+        %tmp181 = seteq uint %tmp, 0            ; <bool> [#uses=1]
+        br bool %tmp181, label %cond_true182, label %cond_next185
+
+cond_true182:           ; preds = %cond_false179
+        br label %cond_next185
+
+cond_next185:           ; preds = %cond_true182, %cond_false179
+        %d0.3 = phi uint [ div (uint 1, uint 0), %cond_true182 ], [ %tmp,
+%cond_false179 ]                ; <uint> [#uses=7]
+	call uint %test(uint 4)
+        ret uint %d0.3
+}
+