59 lines · plain
1; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s2%struct.S = type { i32}3 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]9 10define void @aligned_func(ptr byval(%struct.S) align 64 %obj) nounwind {11entry:12 %ptr = alloca ptr ; <ptr> [#uses=3]13 %p = alloca i64 ; <ptr> [#uses=3]14 %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]15 store ptr %obj, ptr %ptr, align 816 %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 819 %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]22 %5 = and i64 %4, 140737488355264 ; <i64> [#uses=1]23 %6 = load i64, ptr %p, align 8 ; <i64> [#uses=1]24 %7 = icmp ne i64 %5, %6 ; <i1> [#uses=1]25 br i1 %7, label %bb, label %bb226 27bb: ; preds = %entry28 %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 nounwind30 unreachable31 32bb2: ; preds = %entry33 br label %return34 35return: ; preds = %bb236 ret void37}38 39declare i32 @printf(ptr, ...) nounwind40 41declare i32 @puts(ptr)42 43declare void @__assert_fail(ptr, ptr, i32, ptr) noreturn nounwind44 45define void @main() nounwind {46entry:47; CHECK: main48; CHECK: andq $-64, %rsp49 %s1 = alloca %struct.S ; <ptr> [#uses=4]50 %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]51 %0 = getelementptr inbounds %struct.S, ptr %s1, i32 0, i32 0 ; <ptr> [#uses=1]52 store i32 1, ptr %0, align 453 call void @aligned_func(ptr byval(%struct.S) align 64 %s1) nounwind54 br label %return55 56return: ; preds = %entry57 ret void58}59