Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git] / llvm / test / CodeGen / X86 / basic-block-sections-clusters-error.ll
blob597d8f6707ecca3bb2c65f380b7728c7b0a8d4fb
1 ;; BB cluster sections error handling
2 ;; Error handling for version 0:
3 ; RUN: echo '!dummy1' > %t1
4 ; RUN: echo '!!1 4' >> %t1
5 ; RUN: echo '!!1' >> %t1
6 ; RUN: not --crash llc < %s -O0 -mtriple=x86_64-pc-linux -function-sections -basic-block-sections=%t1 2>&1 | FileCheck %s --check-prefix=CHECK-ERROR1
7 ; CHECK-ERROR1: LLVM ERROR: invalid profile {{.*}} at line 3: duplicate basic block id found '1'
8 ; RUN: echo '!dummy1' > %t2
9 ; RUN: echo '!!4 0' >> %t2
10 ; RUN: not --crash llc < %s -O0 -mtriple=x86_64-pc-linux -function-sections -basic-block-sections=%t2 2>&1 | FileCheck %s --check-prefix=CHECK-ERROR2
11 ; CHECK-ERROR2: LLVM ERROR: invalid profile {{.*}} at line 2: entry BB (0) does not begin a cluster
12 ; RUN: echo '!dummy1' > %t3
13 ; RUN: echo '!!-1' >> %t3
14 ; RUN: not --crash llc < %s -O0 -mtriple=x86_64-pc-linux -function-sections -basic-block-sections=%t3 2>&1 | FileCheck %s --check-prefix=CHECK-ERROR3
15 ; CHECK-ERROR3: LLVM ERROR: invalid profile {{.*}} at line 2: unsigned integer expected: '-1'
16 ; RUN: echo '!dummy1 /path/to/filename' > %t4
17 ; RUN: not --crash llc < %s -O0 -mtriple=x86_64 -function-sections -basic-block-sections=%t4 2>&1 | FileCheck %s --check-prefix=CHECK-ERROR4
18 ; CHECK-ERROR4: LLVM ERROR: invalid profile {{.*}} at line 1: unknown string found: '/path/to/filename'
19 ; RUN: echo '!dummy2 M=test_dir/test_file' > %t5
20 ; RUN: echo '!dummy2 M=test_dir/test_file' >> %t5
21 ; RUN: not --crash llc < %s -O0 -mtriple=x86_64 -function-sections -basic-block-sections=%t5 2>&1 | FileCheck %s --check-prefix=CHECK-ERROR5
22 ; CHECK-ERROR5: LLVM ERROR: invalid profile {{.*}} at line 2: duplicate profile for function 'dummy2'
23 ; RUN: echo '!dummy1 M=' > %t6
24 ; RUN: not --crash llc < %s -O0 -mtriple=x86_64 -function-sections -basic-block-sections=%t6 2>&1 | FileCheck %s --check-prefix=CHECK-ERROR6
25 ; CHECK-ERROR6: LLVM ERROR: invalid profile {{.*}} at line 1: empty module name specifier
27 ;; Error handling for version 1:
28 ; RUN: echo 'v2' > %t7
29 ; RUN: not --crash llc < %s -O0 -mtriple=x86_64 -function-sections -basic-block-sections=%t7 2>&1 | FileCheck %s --check-prefix=CHECK-ERROR7
30 ; CHECK-ERROR7: LLVM ERROR: invalid profile {{.*}} at line 1: invalid profile version: 2
31 ; RUN: echo 'v1' > %t8
32 ; RUN: echo '!dummy1' >> %t8
33 ; RUN: not --crash llc < %s -O0 -mtriple=x86_64 -function-sections -basic-block-sections=%t8 2>&1 | FileCheck %s --check-prefix=CHECK-ERROR8
34 ; CHECK-ERROR8: LLVM ERROR: invalid profile {{.*}} at line 2: invalid specifier: '!'
35 ; RUN: echo 'v1' > %t9
36 ; RUN: echo 'm dummy1/module1 dummy1/module2' >> %t9
37 ; RUN: echo 'f dummy1' >> %t9
38 ; RUN: not --crash llc < %s -O0 -mtriple=x86_64 -function-sections -basic-block-sections=%t9 2>&1 | FileCheck %s --check-prefix=CHECK-ERROR9
39 ; CHECK-ERROR9: LLVM ERROR: invalid profile {{.*}} at line 2: invalid module name value: 'dummy1/module1 dummy1/module2'
41 ;; Error handling for version 1, cloning paths.
42 ; RUN: echo 'v1' > %t10
43 ; RUN: echo 'f dummy1' >> %t10
44 ; RUN: echo 'c 0 1.1.1' >> %t10
45 ; RUN: not --crash llc < %s -O0 -mtriple=x86_64 -function-sections -basic-block-sections=%t10 2>&1 | FileCheck %s --check-prefix=CHECK-ERROR10
46 ; CHECK-ERROR10: LLVM ERROR: invalid profile {{.*}} at line 3: unable to parse basic block id: '1.1.1'
47 ; RUN: echo 'v1' > %t11
48 ; RUN: echo 'f dummy1' >> %t11
49 ; RUN: echo 'c 0 1.a' >> %t11
50 ; RUN: not --crash llc < %s -O0 -mtriple=x86_64 -function-sections -basic-block-sections=%t11 2>&1 | FileCheck %s --check-prefix=CHECK-ERROR11
51 ; CHECK-ERROR11: LLVM ERROR: invalid profile {{.*}} at line 3: unable to parse clone id: 'a' 
52 ; RUN: echo 'v1' > %t12
53 ; RUN: echo 'f dummy1' >> %t12
54 ; RUN: echo 'c 0 1' >> %t12
55 ; RUN: echo 'p 1 2.1' >> %t12
56 ; RUN: not --crash llc < %s -O0 -mtriple=x86_64 -function-sections -basic-block-sections=%t12 2>&1 | FileCheck %s --check-prefix=CHECK-ERROR12
57 ; CHECK-ERROR12: LLVM ERROR: invalid profile {{.*}} at line 4: unsigned integer expected: '2.1'
58 ; RUN: echo 'v1' > %t13
59 ; RUN: echo 'f dummy1' >> %t13
60 ; RUN: echo 'c 0 1' >> %t13
61 ; RUN: echo 'p 1 2 3 2' >> %t13
62 ; RUN: not --crash llc < %s -O0 -mtriple=x86_64 -function-sections -basic-block-sections=%t13 2>&1 | FileCheck %s --check-prefix=CHECK-ERROR13
63 ; CHECK-ERROR13: LLVM ERROR: invalid profile {{.*}} at line 4: duplicate cloned block in path: '2'
65 define i32 @dummy1(i32 %x, i32 %y, i32 %z) {
66   entry:
67     %tmp = mul i32 %x, %y
68     %tmp2 = add i32 %tmp, %z
69     ret i32 %tmp2
72 define i32 @dummy2(i32 %x, i32 %y, i32 %z) !dbg !4 {
73   entry:
74     %tmp = mul i32 %x, %y
75     %tmp2 = add i32 %tmp, %z
76     ret i32 %tmp2
79 !llvm.dbg.cu = !{!0}
80 !llvm.module.flags = !{!2, !3}
82 !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1)
83 !1 = !DIFile(filename: "test_dir/test_file", directory: "test_dir")
84 !2 = !{i32 7, !"Dwarf Version", i32 5}
85 !3 = !{i32 2, !"Debug Info Version", i32 3}
86 !4 = distinct !DISubprogram(name: "dummy1", scope: !1, unit: !0)