78 lines
2.8 KiB
LLVM
78 lines
2.8 KiB
LLVM
; Check that equivalent parameter attributes are introduced when
|
|
; moving instructions with metadata to arguments.
|
|
|
|
; RUN: llvm-reduce %s -o %t --abort-on-invalid-reduction --delta-passes=operands-to-args --test FileCheck --test-arg %s --test-arg --check-prefix=INTERESTING --test-arg --input-file
|
|
; RUN: FileCheck --input-file %t --check-prefix=REDUCED %s
|
|
|
|
; INTERESTING-LABEL: define ptr @use_nonnull(
|
|
; REDUCED-LABEL: define ptr @use_nonnull(ptr nonnull %nonnull) {
|
|
define ptr @use_nonnull() {
|
|
%nonnull = load ptr, ptr null, !nonnull !0
|
|
ret ptr %nonnull
|
|
}
|
|
|
|
; INTERESTING-LABEL: define void @use_noundef(
|
|
; REDUCED-LABEL: define void @use_noundef(ptr noundef %noundef, <2 x ptr> noundef %noundef_vec) {
|
|
define void @use_noundef() {
|
|
%noundef = load ptr, ptr null, !noundef !0
|
|
%noundef_vec = load <2 x ptr>, ptr null, !noundef !0
|
|
store ptr %noundef, ptr null
|
|
store <2 x ptr> %noundef_vec, ptr null
|
|
ret void
|
|
}
|
|
|
|
; INTERESTING-LABEL: define ptr @use_align(
|
|
; REDUCED-LABEL: define ptr @use_align(ptr align 16 %align) {
|
|
define ptr @use_align() {
|
|
%align = load ptr, ptr null, !align !1
|
|
ret ptr %align
|
|
}
|
|
|
|
; INTERESTING-LABEL: define ptr @use_dereferenceable(
|
|
; REDUCED-LABEL: define ptr @use_dereferenceable(ptr dereferenceable(12345) %deref) {
|
|
define ptr @use_dereferenceable() {
|
|
%deref = load ptr, ptr null, !dereferenceable !2
|
|
ret ptr %deref
|
|
}
|
|
|
|
; INTERESTING-LABEL: define ptr @use_dereferenceable_or_null(
|
|
; REDUCED-LABEL: define ptr @use_dereferenceable_or_null(ptr dereferenceable(77777) %deref) {
|
|
define ptr @use_dereferenceable_or_null() {
|
|
%deref = load ptr, ptr null, !dereferenceable_or_null !3
|
|
ret ptr %deref
|
|
}
|
|
|
|
; INTERESTING-LABEL: define void @use_range(
|
|
; REDUCED-LABEL: define void @use_range(i32 range(i32 8, 25) %simple_range, i32 range(i32 8, 420) %disjoint_range, i32 range(i32 42, 0) %wrapping_range, <2 x i32> range(i32 8, 25) %vector_range) {
|
|
define void @use_range() {
|
|
%simple_range = load i32, ptr null, !range !4
|
|
%disjoint_range = load i32, ptr null, !range !5
|
|
%wrapping_range = load i32, ptr null, !range !6
|
|
%vector_range = load <2 x i32>, ptr null, !range !4
|
|
store i32 %simple_range, ptr null
|
|
store i32 %disjoint_range, ptr null
|
|
store i32 %wrapping_range, ptr null
|
|
store <2 x i32> %vector_range, ptr null
|
|
ret void
|
|
}
|
|
|
|
; INTERESTING-LABEL: define void @use_noundef_range(
|
|
; REDUCED-LABEL: define void @use_noundef_range(i32 noundef range(i32 8, 25) %load, <2 x i32> noundef range(i32 8, 25) %load_vec) {
|
|
define void @use_noundef_range() {
|
|
%load = load i32, ptr null, !range !4, !noundef !0
|
|
%load_vec = load <2 x i32>, ptr null, !range !4, !noundef !0
|
|
store i32 %load, ptr null
|
|
store <2 x i32> %load_vec, ptr null
|
|
ret void
|
|
}
|
|
|
|
|
|
|
|
!0 = !{}
|
|
!1 = !{i64 16}
|
|
!2 = !{i64 12345}
|
|
!3 = !{i64 77777}
|
|
!4 = !{i32 8, i32 25}
|
|
!5 = !{i32 8, i32 25, i32 69, i32 420}
|
|
!6 = !{i32 42, i32 0}
|