[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / byval-align.ll
blob8366ae38333fbdf504e0d2ab998fa7420525627e
1 ; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s
2 %struct.S = type { i32}
4 @.str = private constant [10 x i8] c"ptr = %p\0A\00", align 1 ; <[10 x i8]*> [#uses=1]
5 @.str1 = private constant [8 x i8] c"Failed \00", align 1 ; <[8 x i8]*> [#uses=1]
6 @.str2 = private constant [2 x i8] c"0\00", align 1 ; <[2 x i8]*> [#uses=1]
7 @.str3 = private constant [7 x i8] c"test.c\00", align 1 ; <[7 x i8]*> [#uses=1]
8 @__PRETTY_FUNCTION__.2067 = internal constant [13 x i8] c"aligned_func\00" ; <[13 x i8]*> [#uses=1]
10 define void @aligned_func(%struct.S* byval align 64 %obj) nounwind {
11 entry:
12   %ptr = alloca i8*                               ; <i8**> [#uses=3]
13   %p = alloca i64                                 ; <i64*> [#uses=3]
14   %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
15   %obj1 = bitcast %struct.S* %obj to i8*          ; <i8*> [#uses=1]
16   store i8* %obj1, i8** %ptr, align 8
17   %0 = load i8*, i8** %ptr, align 8                    ; <i8*> [#uses=1]
18   %1 = ptrtoint i8* %0 to i64                     ; <i64> [#uses=1]
19   store i64 %1, i64* %p, align 8
20   %2 = load i8*, i8** %ptr, align 8                    ; <i8*> [#uses=1]
21   %3 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0), i8* %2) nounwind ; <i32> [#uses=0]
22   %4 = load i64, i64* %p, align 8                      ; <i64> [#uses=1]
23   %5 = and i64 %4, 140737488355264                ; <i64> [#uses=1]
24   %6 = load i64, i64* %p, align 8                      ; <i64> [#uses=1]
25   %7 = icmp ne i64 %5, %6                         ; <i1> [#uses=1]
26   br i1 %7, label %bb, label %bb2
28 bb:                                               ; preds = %entry
29   %8 = call i32 @puts(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str1, i64 0, i64 0)) nounwind ; <i32> [#uses=0]
30   call void @__assert_fail(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str2, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str3, i64 0, i64 0), i32 18, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @__PRETTY_FUNCTION__.2067, i64 0, i64 0)) noreturn nounwind
31   unreachable
33 bb2:                                              ; preds = %entry
34   br label %return
36 return:                                           ; preds = %bb2
37   ret void
40 declare i32 @printf(i8*, ...) nounwind
42 declare i32 @puts(i8*)
44 declare void @__assert_fail(i8*, i8*, i32, i8*) noreturn nounwind
46 define void @main() nounwind {
47 entry:
48 ; CHECK: main
49 ; CHECK: andq    $-64, %rsp
50   %s1 = alloca %struct.S                          ; <%struct.S*> [#uses=4]
51   %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
52   %0 = getelementptr inbounds %struct.S, %struct.S* %s1, i32 0, i32 0 ; <i32*> [#uses=1]
53   store i32 1, i32* %0, align 4
54   call void @aligned_func(%struct.S* byval align 64 %s1) nounwind
55   br label %return
57 return:                                           ; preds = %entry
58   ret void