Eric Christopher | cafa08c | 2011-06-09 15:39:01 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s |
| 2 | %struct.S = type { i32} |
| 3 | |
Nikita Popov | 2f448bf | 2022-06-22 14:33:12 +0200 | [diff] [blame] | 4 | @.str = private constant [10 x i8] c"ptr = %p\0A\00", align 1 ; <ptr> [#uses=1] |
| 5 | @.str1 = private constant [8 x i8] c"Failed \00", align 1 ; <ptr> [#uses=1] |
| 6 | @.str2 = private constant [2 x i8] c"0\00", align 1 ; <ptr> [#uses=1] |
| 7 | @.str3 = private constant [7 x i8] c"test.c\00", align 1 ; <ptr> [#uses=1] |
| 8 | @__PRETTY_FUNCTION__.2067 = internal constant [13 x i8] c"aligned_func\00" ; <ptr> [#uses=1] |
Eric Christopher | cafa08c | 2011-06-09 15:39:01 +0000 | [diff] [blame] | 9 | |
Nikita Popov | 2f448bf | 2022-06-22 14:33:12 +0200 | [diff] [blame] | 10 | define void @aligned_func(ptr byval(%struct.S) align 64 %obj) nounwind { |
Eric Christopher | cafa08c | 2011-06-09 15:39:01 +0000 | [diff] [blame] | 11 | entry: |
Nikita Popov | 2f448bf | 2022-06-22 14:33:12 +0200 | [diff] [blame] | 12 | %ptr = alloca ptr ; <ptr> [#uses=3] |
| 13 | %p = alloca i64 ; <ptr> [#uses=3] |
Eric Christopher | cafa08c | 2011-06-09 15:39:01 +0000 | [diff] [blame] | 14 | %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0] |
Nikita Popov | 2f448bf | 2022-06-22 14:33:12 +0200 | [diff] [blame] | 15 | store ptr %obj, ptr %ptr, align 8 |
| 16 | %0 = load ptr, ptr %ptr, align 8 ; <ptr> [#uses=1] |
| 17 | %1 = ptrtoint ptr %0 to i64 ; <i64> [#uses=1] |
| 18 | store i64 %1, ptr %p, align 8 |
| 19 | %2 = load ptr, ptr %ptr, align 8 ; <ptr> [#uses=1] |
| 20 | %3 = call i32 (ptr, ...) @printf(ptr @.str, ptr %2) nounwind ; <i32> [#uses=0] |
| 21 | %4 = load i64, ptr %p, align 8 ; <i64> [#uses=1] |
Eric Christopher | cafa08c | 2011-06-09 15:39:01 +0000 | [diff] [blame] | 22 | %5 = and i64 %4, 140737488355264 ; <i64> [#uses=1] |
Nikita Popov | 2f448bf | 2022-06-22 14:33:12 +0200 | [diff] [blame] | 23 | %6 = load i64, ptr %p, align 8 ; <i64> [#uses=1] |
Eric Christopher | cafa08c | 2011-06-09 15:39:01 +0000 | [diff] [blame] | 24 | %7 = icmp ne i64 %5, %6 ; <i1> [#uses=1] |
| 25 | br i1 %7, label %bb, label %bb2 |
| 26 | |
| 27 | bb: ; preds = %entry |
Nikita Popov | 2f448bf | 2022-06-22 14:33:12 +0200 | [diff] [blame] | 28 | %8 = call i32 @puts(ptr @.str1) nounwind ; <i32> [#uses=0] |
| 29 | call void @__assert_fail(ptr @.str2, ptr @.str3, i32 18, ptr @__PRETTY_FUNCTION__.2067) noreturn nounwind |
Eric Christopher | cafa08c | 2011-06-09 15:39:01 +0000 | [diff] [blame] | 30 | unreachable |
| 31 | |
| 32 | bb2: ; preds = %entry |
| 33 | br label %return |
| 34 | |
| 35 | return: ; preds = %bb2 |
| 36 | ret void |
| 37 | } |
| 38 | |
Nikita Popov | 2f448bf | 2022-06-22 14:33:12 +0200 | [diff] [blame] | 39 | declare i32 @printf(ptr, ...) nounwind |
Eric Christopher | cafa08c | 2011-06-09 15:39:01 +0000 | [diff] [blame] | 40 | |
Nikita Popov | 2f448bf | 2022-06-22 14:33:12 +0200 | [diff] [blame] | 41 | declare i32 @puts(ptr) |
Eric Christopher | cafa08c | 2011-06-09 15:39:01 +0000 | [diff] [blame] | 42 | |
Nikita Popov | 2f448bf | 2022-06-22 14:33:12 +0200 | [diff] [blame] | 43 | declare void @__assert_fail(ptr, ptr, i32, ptr) noreturn nounwind |
Eric Christopher | cafa08c | 2011-06-09 15:39:01 +0000 | [diff] [blame] | 44 | |
| 45 | define void @main() nounwind { |
| 46 | entry: |
| 47 | ; CHECK: main |
| 48 | ; CHECK: andq $-64, %rsp |
Nikita Popov | 2f448bf | 2022-06-22 14:33:12 +0200 | [diff] [blame] | 49 | %s1 = alloca %struct.S ; <ptr> [#uses=4] |
Eric Christopher | cafa08c | 2011-06-09 15:39:01 +0000 | [diff] [blame] | 50 | %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0] |
Nikita Popov | 2f448bf | 2022-06-22 14:33:12 +0200 | [diff] [blame] | 51 | %0 = getelementptr inbounds %struct.S, ptr %s1, i32 0, i32 0 ; <ptr> [#uses=1] |
| 52 | store i32 1, ptr %0, align 4 |
| 53 | call void @aligned_func(ptr byval(%struct.S) align 64 %s1) nounwind |
Eric Christopher | cafa08c | 2011-06-09 15:39:01 +0000 | [diff] [blame] | 54 | br label %return |
| 55 | |
| 56 | return: ; preds = %entry |
| 57 | ret void |
| 58 | } |