llvm/test/CodeGen/X86/byval-align.ll

   1 ; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s
   2 %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
  10 define void @aligned_func(ptr byval(%struct.S) align 64 %obj) nounwind {
  11 entry:
  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 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]
  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 %bb2
  26
  27 bb:                                               ; preds = %entry
  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
  30   unreachable
  31
  32 bb2:                                              ; preds = %entry
  33   br label %return
  34
  35 return:                                           ; preds = %bb2
  36   ret void
  37 }
  38
  39 declare i32 @printf(ptr, ...) nounwind
  40
  41 declare i32 @puts(ptr)
  42
  43 declare void @__assert_fail(ptr, ptr, i32, ptr) noreturn nounwind
  44
  45 define void @main() nounwind {
  46 entry:
  47 ; CHECK: main
  48 ; CHECK: andq    $-64, %rsp
  49   %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 4
  53   call void @aligned_func(ptr byval(%struct.S) align 64 %s1) nounwind
  54   br label %return
  55
  56 return:                                           ; preds = %entry
  57   ret void
  58 }