1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
2 ; RUN: opt -passes=infer-alignment -S < %s | FileCheck %s
4 define void @load_undef_null(ptr %P) {
5 ; CHECK-LABEL: define void @load_undef_null
6 ; CHECK-SAME: (ptr [[P:%.*]]) {
7 ; CHECK-NEXT: [[RET_0:%.*]] = load i32, ptr undef, align 4
8 ; CHECK-NEXT: [[RET_1:%.*]] = load i32, ptr null, align 4294967296
11 %ret.0 = load i32, ptr undef
12 %ret.1 = load i32, ptr null
16 define void @store_undef_null(ptr %P) {
17 ; CHECK-LABEL: define void @store_undef_null
18 ; CHECK-SAME: (ptr [[P:%.*]]) {
19 ; CHECK-NEXT: store i32 123, ptr undef, align 4
20 ; CHECK-NEXT: store i32 124, ptr null, align 4294967296
21 ; CHECK-NEXT: ret void
23 store i32 123, ptr undef
24 store i32 124, ptr null