33 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 @load_volatile() {5; CHECK-LABEL: define void @load_volatile() {6; CHECK-NEXT: [[A:%.*]] = alloca { i32 }, align 87; CHECK-NEXT: [[B:%.*]] = alloca i32, align 48; CHECK-NEXT: [[LOAD_A:%.*]] = load volatile i32, ptr [[A]], align 89; CHECK-NEXT: [[LOAD_B:%.*]] = load volatile i32, ptr [[B]], align 410; CHECK-NEXT: ret void11;12 %a = alloca { i32 }13 %b = alloca i3214 %load.a = load volatile i32, ptr %a15 %load.b = load volatile i32, ptr %b16 ret void17}18 19define void @store_volatile() {20; CHECK-LABEL: define void @store_volatile() {21; CHECK-NEXT: [[A:%.*]] = alloca { i32 }, align 822; CHECK-NEXT: [[B:%.*]] = alloca i32, align 423; CHECK-NEXT: store volatile i32 123, ptr [[A]], align 824; CHECK-NEXT: store volatile i32 123, ptr [[B]], align 425; CHECK-NEXT: ret void26;27 %a = alloca { i32 }28 %b = alloca i3229 store volatile i32 123, ptr %a30 store volatile i32 123, ptr %b31 ret void32}33