Home
last modified time | relevance | path

Searched refs:FINAL (Results 1 – 25 of 56) sorted by relevance

123

/llvm-project-15.0.7/llvm/test/tools/llvm-reduce/
H A Dremove-alias.ll2 ; RUN: FileCheck --check-prefixes=CHECK-FINAL --input-file=%t %s
8 ; CHECK-FINAL-NOT: = {{.*}} global
9 ; CHECK-FINAL-NOT: = alias
11 ; CHECK-FINAL-NOT: @llvm.used
12 ; CHECK-FINAL-NOT: @llvm.compiler.used
14 ; CHECK-FINAL-NOT: define void @fn1
15 ; CHECK-FINAL-NOT: define void @fn2
16 ; CHECK-FINAL: define void @fn3
17 ; CHECK-FINAL-NOT: define void @fn4
H A Dremove-module-data.ll5 ; RUN: FileCheck --check-prefix=CHECK-FINAL %s < %t
16 ; CHECK-FINAL-NOT: ModuleID
17 ; CHECK-FINAL-NOT: source_filename
18 ; CHECK-FINAL: datalayout
19 ; CHECK-FINAL: triple
20 ; CHECK-FINAL-NOT: module asm
21 ; CHECK-FINAL: declare void @g
H A Dremove-operand-bundles.ll4 ; RUN: cat %t | FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL %s
13 ; CHECK-FINAL-LABEL: define void @interesting(i32 %arg0, i32 %arg2) {
14 ; CHECK-FINAL-NEXT: entry:
15 ; CHECK-FINAL-NEXT: call void @f1() [ "bundle0"(), "align"(i32 %arg0), "whatever0"() ]
16 ; CHECK-FINAL-NEXT: call void @f2()
17 ; CHECK-FINAL-NEXT: call void @f3() [ "align"(i32 %arg2) ]
18 ; CHECK-FINAL-NEXT: ret void
19 ; CHECK-FINAL-NEXT: }
H A Dremove-call-site-attributes.ll4 ; RUN: cat %t | FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL %s
9 ; CHECK-FINAL-LABEL: define i32 @interesting(i32 %arg0, i32 %arg1) {
10 ; CHECK-FINAL-NEXT: entry:
11 ; CHECK-FINAL-NEXT: %r = call "attr0" i32 @f1(i32 "attr4" %arg0, i32 %arg1) #0
12 ; CHECK-FINAL-NEXT: ret i32 %r
13 ; CHECK-FINAL-NEXT: }
36 ; CHECK-FINAL: attributes #0 = { "attr10" }
H A Dremove-global-vars.ll5 ; RUN: cat %t | FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL --implicit-check-not=uninteresting…
15 ; CHECK-FINAL: @interesting = external global i32, align 4
16 ; CHECK-FINAL: @interesting2 = global i32 0, align 4
17 ; CHECK-FINAL: @interesting3 = external global i32, align 4
18 ; CHECK-FINAL: @interesting4 = external dso_local constant i32, align 4
19 ; CHECK-FINAL: @interesting5 = external global i32, align 4
34 ; CHECK-FINAL: store i32 0, i32* @interesting, align 4
38 ; CHECK-FINAL: store i32 0, i32* @interesting3, align 4
H A Dgranularity-level.ll4 ; RUN: cat %t | FileCheck -implicit-check-not=uninteresting --check-prefixes=CHECK-ALL,CHECK-FINAL …
20 ; CHECK-FINAL-NEXT: entry:
21 ; CHECK-FINAL-NEXT: %call2 = call i32 @interesting()
22 ; CHECK-FINAL-NEXT: ret i32 5
23 ; CHECK-FINAL-NEXT: }
H A Dremove-funcs.ll5 ; RUN: cat %t | FileCheck -implicit-check-not=uninteresting --check-prefixes=CHECK-ALL,CHECK-FINAL …
21 ; CHECK-FINAL-NEXT: entry:
22 ; CHECK-FINAL-NEXT: %call2 = call i32 @interesting()
23 ; CHECK-FINAL-NEXT: ret i32 5
24 ; CHECK-FINAL-NEXT: }
H A Dremove-args-from-declaration.ll2 ; RUN: cat %t | FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL %s
6 ; CHECK-FINAL: declare void @interesting(i32)
11 ; CHECK-FINAL: declare void @interesting2(i32)
16 ; CHECK-FINAL: define void @callee(i32 %interesting) {
20 ; CHECK-FINAL: call void @interesting2(i32 %interesting)
H A Dremove-global-align.ll2 ; RUN: FileCheck --check-prefix=FINAL %s --input-file=%t
5 ; FINAL: @b = global i32 0{{$}}
10 ; FINAL: define void @f() {
16 ; FINAL: declare void @h(){{$}}
H A Dremove-section.ll2 ; RUN: FileCheck --check-prefix=FINAL %s --input-file=%t
5 ; FINAL: @a = global i32 0{{$}}
10 ; FINAL: define void @f() {
16 ; FINAL: declare void @g(){{$}}
H A Ddo-not-remove-terminator.ll2 ; RUN: cat %t | FileCheck --check-prefixes=CHECK-FINAL %s
11 ; CHECK-FINAL: define i32 @test
12 ; CHECK-FINAL-NEXT: entry:
13 ; CHECK-FINAL-NEXT: ret i32
H A Dremove-global-variable-attributes.ll4 ; RUN: cat %t | FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL %s
20 ; CHECK-FINAL: attributes #0 = { "attr0" "attr2" }
21 ; CHECK-FINAL-NEXT: attributes #1 = { "attr4" }
23 ; CHECK-FINAL-NOT: attributes #2
H A Dremove-invoked-functions.ll2 ; RUN: cat %t | FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL %s
5 ; CHECK-FINAL: define i32 @maybe_throwing_callee()
9 ; CHECK-FINAL: ret i32 0
21 ; CHECK-FINAL: define void @caller()
26 ; CHECK-FINAL: %i0 = invoke i32 bitcast (i32 ()* @maybe_throwing_callee to i32 (i32)*)
H A Dremove-args-dbg-intrinsics.ll4 ; RUN: FileCheck --check-prefix=CHECK-FINAL %s < %t
7 ; CHECK-FINAL: declare void @llvm.dbg.addr(metadata, metadata, metadata)
10 ; CHECK-FINAL: declare void @llvm.dbg.declare(metadata, metadata, metadata)
13 ; CHECK-FINAL: declare void @llvm.dbg.value(metadata, metadata, metadata)
H A Dremove-single-arg.ll2 ; RUN: cat %t | FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL %s
6 ; CHECK-FINAL: () {
9 ; CHECK-FINAL: ret i32 42
H A Dremove-all-of-multiple-args.ll2 ; RUN: cat %t | FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL %s
6 ; CHECK-FINAL: () {
9 ; CHECK-FINAL: ret i32 0
H A Dremove-dll.ll2 ; RUN: FileCheck --check-prefix=CHECK-FINAL %s --input-file=%t
5 ; CHECK-FINAL: @g = external global i32
7 ; CHECK-FINAL: @h = external global i32
H A Dremove-args-used-by-ret.ll2 ; RUN: cat %t | FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL %s
8 ; CHECK-FINAL-NOT: %a1
11 ; CHECK-FINAL: ret i32 0
H A Dremove-attributes-from-intrinsic-like-functions.ll4 ; RUN: cat %t | FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL %s
22 ; CHECK-FINAL: %r = call "arg0" i32 @llvm.not.really.an.intrinsic(i32 "arg3" %a, i32 %a) #1
35 ; CHECK-FINAL: attributes #0 = { "arg6" }
36 ; CHECK-FINAL: attributes #1 = { "arg4" }
H A Dremove-function-bodies-comdat.ll2 ; RUN: cat %t | FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL %s
5 ; CHECK-FINAL-NOT: = comdat
7 ; CHECK-FINAL: declare void @callee()
H A Dremove-function-bodies-used-in-globals.ll2 ; RUN: FileCheck --check-prefix=CHECK-FINAL %s < %t
8 ; CHECK-FINAL: @alias = alias void (i32), bitcast (void ()* @func to void (i32)*)
12 ; CHECK-FINAL: @func()
H A Dremove-bbs-comdat.ll2 ; RUN: cat %t | FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL %s
4 ; CHECK-FINAL-NOT: = comdat
6 ; CHECK-FINAL: declare void @callee()
H A Dremove-function-arguments-of-funcs-used-in-blockaddress.ll2 ; RUN: cat %t | FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL %s
5 ; CHECK-FINAL: define void @func()
9 ; CHECK-FINAL: call void @foo(i8* blockaddress(@func, %bb5))
H A Dremove-function-attributes.ll4 ; RUN: FileCheck --check-prefix=CHECK-FINAL %s < %t
14 ; CHECK-FINAL: declare "attr0" void @f0(i32, i32 "attr6") #0
21 ; CHECK-FINAL: attributes #0 = { "attr10" }
H A Dremove-dso-local.ll4 ; RUN: FileCheck --check-prefix=CHECK-FINAL %s < %t
11 ; CHECK-FINAL: declare void @f0(i32, i32)
21 ; CHECK-FINAL: declare dso_local void @f1(i32, i32)

123