1 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -o - %s | FileCheck %s 2 3 typedef double * __attribute__((align_value(64))) aligned_double; 4 5 void foo(aligned_double x, double * y __attribute__((align_value(32))), 6 double & z __attribute__((align_value(128)))) { }; 7 // CHECK: define void @_Z3fooPdS_Rd(double* align 64 %x, double* align 32 %y, double* dereferenceable(8) align 128 %z) 8 9 struct ad_struct { 10 aligned_double a; 11 }; 12 13 double *foo(ad_struct& x) { 14 // CHECK-LABEL: @_Z3fooR9ad_struct 15 16 // CHECK: [[PTRINT1:%.+]] = ptrtoint 17 // CHECK: [[MASKEDPTR1:%.+]] = and i64 [[PTRINT1]], 63 18 // CHECK: [[MASKCOND1:%.+]] = icmp eq i64 [[MASKEDPTR1]], 0 19 // CHECK: call void @llvm.assume(i1 [[MASKCOND1]]) 20 return x.a; 21 } 22 23 double *goo(ad_struct *x) { 24 // CHECK-LABEL: @_Z3gooP9ad_struct 25 26 // CHECK: [[PTRINT2:%.+]] = ptrtoint 27 // CHECK: [[MASKEDPTR2:%.+]] = and i64 [[PTRINT2]], 63 28 // CHECK: [[MASKCOND2:%.+]] = icmp eq i64 [[MASKEDPTR2]], 0 29 // CHECK: call void @llvm.assume(i1 [[MASKCOND2]]) 30 return x->a; 31 } 32 33 double *bar(aligned_double *x) { 34 // CHECK-LABEL: @_Z3barPPd 35 36 // CHECK: [[PTRINT3:%.+]] = ptrtoint 37 // CHECK: [[MASKEDPTR3:%.+]] = and i64 [[PTRINT3]], 63 38 // CHECK: [[MASKCOND3:%.+]] = icmp eq i64 [[MASKEDPTR3]], 0 39 // CHECK: call void @llvm.assume(i1 [[MASKCOND3]]) 40 return *x; 41 } 42 43 double *car(aligned_double &x) { 44 // CHECK-LABEL: @_Z3carRPd 45 46 // CHECK: [[PTRINT4:%.+]] = ptrtoint 47 // CHECK: [[MASKEDPTR4:%.+]] = and i64 [[PTRINT4]], 63 48 // CHECK: [[MASKCOND4:%.+]] = icmp eq i64 [[MASKEDPTR4]], 0 49 // CHECK: call void @llvm.assume(i1 [[MASKCOND4]]) 50 return x; 51 } 52 53 double *dar(aligned_double *x) { 54 // CHECK-LABEL: @_Z3darPPd 55 56 // CHECK: [[PTRINT5:%.+]] = ptrtoint 57 // CHECK: [[MASKEDPTR5:%.+]] = and i64 [[PTRINT5]], 63 58 // CHECK: [[MASKCOND5:%.+]] = icmp eq i64 [[MASKEDPTR5]], 0 59 // CHECK: call void @llvm.assume(i1 [[MASKCOND5]]) 60 return x[5]; 61 } 62 63 aligned_double eep(); 64 double *ret() { 65 // CHECK-LABEL: @_Z3retv 66 67 // CHECK: [[PTRINT6:%.+]] = ptrtoint 68 // CHECK: [[MASKEDPTR6:%.+]] = and i64 [[PTRINT6]], 63 69 // CHECK: [[MASKCOND6:%.+]] = icmp eq i64 [[MASKEDPTR6]], 0 70 // CHECK: call void @llvm.assume(i1 [[MASKCOND6]]) 71 return eep(); 72 } 73 74 double **no1(aligned_double *x) { 75 // CHECK-LABEL: @_Z3no1PPd 76 return x; 77 // CHECK-NOT: call void @llvm.assume 78 } 79 80 double *&no2(aligned_double &x) { 81 // CHECK-LABEL: @_Z3no2RPd 82 return x; 83 // CHECK-NOT: call void @llvm.assume 84 } 85 86 double **no3(aligned_double &x) { 87 // CHECK-LABEL: @_Z3no3RPd 88 return &x; 89 // CHECK-NOT: call void @llvm.assume 90 } 91 92 double no3(aligned_double x) { 93 // CHECK-LABEL: @_Z3no3Pd 94 return *x; 95 // CHECK-NOT: call void @llvm.assume 96 } 97 98 double *no4(aligned_double x) { 99 // CHECK-LABEL: @_Z3no4Pd 100 return x; 101 // CHECK-NOT: call void @llvm.assume 102 } 103 104
