1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
; RUN: llvm-reduce %s -o %t --abort-on-invalid-reduction --delta-passes=operands-to-args --test FileCheck --test-arg %s --test-arg --check-prefixes=INTERESTING --test-arg --input-file
; RUN: FileCheck %s --input-file %t --check-prefixes=RESULT
; Make sure there's no assert from trying to create a
; not-zeroinitializable target ext type
declare void @uses_ext_ty(target("sometarget.sometype"))
declare target("sometarget.sometype") @produces_ext_ty()
; INTERESTING: define void @not_zero_foldable(
; RESULT: define void @not_zero_foldable(target("sometarget.sometype") %call) {
; RESULT-NEXT: %call1 = call target("sometarget.sometype") @produces_ext_ty()
; RESULT-NEXT: call void @uses_ext_ty(target("sometarget.sometype") %call)
define void @not_zero_foldable() {
%call = call target("sometarget.sometype") @produces_ext_ty()
call void @uses_ext_ty(target("sometarget.sometype") %call)
ret void
}
declare void @uses_zeroinit_ext_ty(target("spirv.zeroinit"))
declare target("sometarget.sometype") @produces_zeroinit_ext_ty()
; INTERESTING: define void @foldable_to_zero(
; RESULT: define void @foldable_to_zero(target("spirv.zeroinit") %call) {
define void @foldable_to_zero() {
%call = call target("spirv.zeroinit") @produces_zeroinit_ext_ty()
call void @uses_zeroinit_ext_ty(target("spirv.zeroinit") %call)
ret void
}
|
