xref: /llvm-project/llvm/test/CodeGen/BPF/may_goto_1.ll (revision 8aae191cb6ad1f2dfc468975e4f5e564fea3cbfd)
1; RUN: llc -mtriple=bpfel -mcpu=v3 -filetype=obj -o - %s | llvm-objdump --no-show-raw-insn -d - | FileCheck %s
2
3@j = dso_local local_unnamed_addr global i32 0, align 4
4
5define dso_local noundef i32 @foo() local_unnamed_addr {
6entry:
7  callbr void asm sideeffect "may_goto ${0:l}", "!i"()
8          to label %for.body [label %for.cond.cleanup]
9
10for.cond.cleanup:                                 ; preds = %for.body.2, %for.body.2, %for.body.1, %for.body, %entry
11  ret i32 0
12
13for.body:                                         ; preds = %entry
14  callbr void asm sideeffect "may_goto ${0:l}", "!i"()
15          to label %for.body.1 [label %for.cond.cleanup]
16
17for.body.1:                                       ; preds = %for.body
18  callbr void asm sideeffect "may_goto ${0:l}", "!i"()
19          to label %for.body.2 [label %for.cond.cleanup]
20
21for.body.2:                                       ; preds = %for.body.1
22  callbr void asm sideeffect "may_goto ${0:l}", "!i"()
23          to label %for.cond.cleanup [label %for.cond.cleanup]
24}
25
26; CHECK:       0:       w0 = 0x0
27; CHECK-NEXT:  1:       exit
28