diff options
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/Attributor/heap_to_stack.ll | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/llvm/test/Transforms/Attributor/heap_to_stack.ll b/llvm/test/Transforms/Attributor/heap_to_stack.ll index bac01253997..3d8b1b3aace 100644 --- a/llvm/test/Transforms/Attributor/heap_to_stack.ll +++ b/llvm/test/Transforms/Attributor/heap_to_stack.ll @@ -313,15 +313,27 @@ define i32 @test13() { define i32 @test_sle() { %1 = tail call noalias i8* @malloc(i64 -1) - ; FIXME: This should not be transformed - ; CHECK: %1 = alloca i8, i64 -1 - ; CHECK-NEXT: @no_sync_func(i8* noalias nocapture nofree %1) + ; CHECK: %1 = tail call noalias i8* @malloc(i64 -1) + ; CHECK-NEXT: @no_sync_func(i8* noalias nofree %1) tail call void @no_sync_func(i8* %1) %2 = bitcast i8* %1 to i32* store i32 10, i32* %2 %3 = load i32, i32* %2 tail call void @free(i8* %1) - ; CHECK-NOT: tail call void @free(i8* noalias %1) + ; CHECK: tail call void @free(i8* noalias %1) + ret i32 %3 +} + +define i32 @test_overflow() { + %1 = tail call noalias i8* @calloc(i64 65537, i64 65537) + ; CHECK: %1 = tail call noalias i8* @calloc(i64 65537, i64 65537) + ; CHECK-NEXT: @no_sync_func(i8* noalias nofree %1) + tail call void @no_sync_func(i8* %1) + %2 = bitcast i8* %1 to i32* + store i32 10, i32* %2 + %3 = load i32, i32* %2 + tail call void @free(i8* %1) + ; CHECK: tail call void @free(i8* noalias %1) ret i32 %3 } |
