45 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt < %s -passes=infer-alignment -S | FileCheck %s3 4define void @attribute(ptr align 32 %a) {5; CHECK-LABEL: define void @attribute6; CHECK-SAME: (ptr align 32 [[A:%.*]]) {7; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr [[A]], align 328; CHECK-NEXT: store i32 123, ptr [[A]], align 329; CHECK-NEXT: ret void10;11 %load = load i32, ptr %a, align 112 store i32 123, ptr %a, align 113 ret void14}15 16define void @attribute_through_call(ptr align 32 %a) {17; CHECK-LABEL: define void @attribute_through_call18; CHECK-SAME: (ptr align 32 [[A:%.*]]) {19; CHECK-NEXT: [[RES:%.*]] = call ptr @call(ptr [[A]])20; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr [[RES]], align 3221; CHECK-NEXT: store i32 123, ptr [[RES]], align 3222; CHECK-NEXT: ret void23;24 %res = call ptr @call(ptr %a)25 %load = load i32, ptr %res, align 126 store i32 123, ptr %res, align 127 ret void28}29 30define void @attribute_return_value(ptr %a) {31; CHECK-LABEL: define void @attribute_return_value32; CHECK-SAME: (ptr [[A:%.*]]) {33; CHECK-NEXT: [[RES:%.*]] = call align 32 ptr @call(ptr [[A]])34; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr [[RES]], align 3235; CHECK-NEXT: store i32 123, ptr [[RES]], align 3236; CHECK-NEXT: ret void37;38 %res = call align 32 ptr @call(ptr %a)39 %load = load i32, ptr %res, align 140 store i32 123, ptr %res, align 141 ret void42}43 44declare ptr @call(ptr returned)45