blob: fcfd4d8c53fa7a0a790c88c4d533a73a4ed395f2 [file] [log] [blame]
Eric Christophercafa08c2011-06-09 15:39:01 +00001; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s
2%struct.S = type { i32}
3
Nikita Popov2f448bf2022-06-22 14:33:12 +02004@.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 Christophercafa08c2011-06-09 15:39:01 +00009
Nikita Popov2f448bf2022-06-22 14:33:12 +020010define void @aligned_func(ptr byval(%struct.S) align 64 %obj) nounwind {
Eric Christophercafa08c2011-06-09 15:39:01 +000011entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +020012 %ptr = alloca ptr ; <ptr> [#uses=3]
13 %p = alloca i64 ; <ptr> [#uses=3]
Eric Christophercafa08c2011-06-09 15:39:01 +000014 %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]
Nikita Popov2f448bf2022-06-22 14:33:12 +020015 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 Christophercafa08c2011-06-09 15:39:01 +000022 %5 = and i64 %4, 140737488355264 ; <i64> [#uses=1]
Nikita Popov2f448bf2022-06-22 14:33:12 +020023 %6 = load i64, ptr %p, align 8 ; <i64> [#uses=1]
Eric Christophercafa08c2011-06-09 15:39:01 +000024 %7 = icmp ne i64 %5, %6 ; <i1> [#uses=1]
25 br i1 %7, label %bb, label %bb2
26
27bb: ; preds = %entry
Nikita Popov2f448bf2022-06-22 14:33:12 +020028 %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 Christophercafa08c2011-06-09 15:39:01 +000030 unreachable
31
32bb2: ; preds = %entry
33 br label %return
34
35return: ; preds = %bb2
36 ret void
37}
38
Nikita Popov2f448bf2022-06-22 14:33:12 +020039declare i32 @printf(ptr, ...) nounwind
Eric Christophercafa08c2011-06-09 15:39:01 +000040
Nikita Popov2f448bf2022-06-22 14:33:12 +020041declare i32 @puts(ptr)
Eric Christophercafa08c2011-06-09 15:39:01 +000042
Nikita Popov2f448bf2022-06-22 14:33:12 +020043declare void @__assert_fail(ptr, ptr, i32, ptr) noreturn nounwind
Eric Christophercafa08c2011-06-09 15:39:01 +000044
45define void @main() nounwind {
46entry:
47; CHECK: main
48; CHECK: andq $-64, %rsp
Nikita Popov2f448bf2022-06-22 14:33:12 +020049 %s1 = alloca %struct.S ; <ptr> [#uses=4]
Eric Christophercafa08c2011-06-09 15:39:01 +000050 %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]
Nikita Popov2f448bf2022-06-22 14:33:12 +020051 %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 Christophercafa08c2011-06-09 15:39:01 +000054 br label %return
55
56return: ; preds = %entry
57 ret void
58}