diff options
Diffstat (limited to 'test/Transforms/Sink/basic.ll')
-rw-r--r-- | test/Transforms/Sink/basic.ll | 79 |
1 files changed, 79 insertions, 0 deletions
diff --git a/test/Transforms/Sink/basic.ll b/test/Transforms/Sink/basic.ll index 85ab3766002d..4aac6d613a8c 100644 --- a/test/Transforms/Sink/basic.ll +++ b/test/Transforms/Sink/basic.ll @@ -62,3 +62,82 @@ X: ; preds = %5, %3 ret i32 %R } +; We shouldn't sink constant sized allocas from the entry block, since CodeGen +; interprets allocas outside the entry block as dynamically sized stack objects. + +; CHECK-LABEL: @alloca_nosink +; CHECK: entry: +; CHECK-NEXT: alloca +define i32 @alloca_nosink(i32 %a, i32 %b) { +entry: + %0 = alloca i32 + %1 = icmp ne i32 %a, 0 + br i1 %1, label %if, label %endif + +if: + %2 = getelementptr i32* %0, i32 1 + store i32 0, i32* %0 + store i32 1, i32* %2 + %3 = getelementptr i32* %0, i32 %b + %4 = load i32* %3 + ret i32 %4 + +endif: + ret i32 0 +} + +; Make sure we sink dynamic sized allocas + +; CHECK-LABEL: @alloca_sink_dynamic +; CHECK: entry: +; CHECK-NOT: alloca +; CHECK: if: +; CHECK-NEXT: alloca +define i32 @alloca_sink_dynamic(i32 %a, i32 %b, i32 %size) { +entry: + %0 = alloca i32, i32 %size + %1 = icmp ne i32 %a, 0 + br i1 %1, label %if, label %endif + +if: + %2 = getelementptr i32* %0, i32 1 + store i32 0, i32* %0 + store i32 1, i32* %2 + %3 = getelementptr i32* %0, i32 %b + %4 = load i32* %3 + ret i32 %4 + +endif: + ret i32 0 +} + +; We also want to sink allocas that are not in the entry block. These +; will already be considered as dynamically sized stack objects, so sinking +; them does no further damage. + +; CHECK-LABEL: @alloca_sink_nonentry +; CHECK: if0: +; CHECK-NOT: alloca +; CHECK: if: +; CHECK-NEXT: alloca +define i32 @alloca_sink_nonentry(i32 %a, i32 %b, i32 %c) { +entry: + %cmp = icmp ne i32 %c, 0 + br i1 %cmp, label %endif, label %if0 + +if0: + %0 = alloca i32 + %1 = icmp ne i32 %a, 0 + br i1 %1, label %if, label %endif + +if: + %2 = getelementptr i32* %0, i32 1 + store i32 0, i32* %0 + store i32 1, i32* %2 + %3 = getelementptr i32* %0, i32 %b + %4 = load i32* %3 + ret i32 %4 + +endif: + ret i32 0 +} |