Google Git
Sign in
swiftshader / SwiftShader / c0d7ee45d45f22772ceca9e961c1ab4cfc9322d9 / . / third_party / subzero / tests_lit / reader_tests / branch.ll
blob: 5613fdb6c6aad4553b0d17bffa7765d49d54bbf5 [file] [log] [blame]
Karl Schimpfc836acb2014-09-05 08:32:47 -0700[diff] [blame]1; Tests if we handle a branch instructions.
2
Karl Schimpf2a5324a2014-09-25 09:37:49 -0700[diff] [blame]3; RUN: %p2i -i %s --insts | FileCheck %s
Jim Stichnoth0d4fc922015-12-13 21:36:33 -0800[diff] [blame]4; RUN: %p2i -i %s --args -notranslate -timing | \
Karl Schimpf6fcbddd2014-11-06 09:49:24 -0800[diff] [blame]5; RUN: FileCheck --check-prefix=NOIR %s
Karl Schimpfc836acb2014-09-05 08:32:47 -0700[diff] [blame]6
Karl Schimpf57d31ac2015-10-07 09:53:12 -0700[diff] [blame]7define internal void @SimpleBranch() {
Karl Schimpfc132b762014-09-11 09:43:47 -0700[diff] [blame]8entry:
Karl Schimpfc836acb2014-09-05 08:32:47 -0700[diff] [blame]9 br label %b3
10b1:
11 br label %b2
12b2:
13 ret void
14b3:
15 br label %b1
16}
17
Karl Schimpf57d31ac2015-10-07 09:53:12 -0700[diff] [blame]18; CHECK: define internal void @SimpleBranch() {
Karl Schimpfc132b762014-09-11 09:43:47 -0700[diff] [blame]19; CHECK-NEXT: entry:
20; CHECK-NEXT: br label %b3
21; CHECK-NEXT: b1:
22; CHECK-NEXT: br label %b2
23; CHECK-NEXT: b2:
Karl Schimpfc836acb2014-09-05 08:32:47 -0700[diff] [blame]24; CHECK-NEXT: ret void
Karl Schimpfc132b762014-09-11 09:43:47 -0700[diff] [blame]25; CHECK-NEXT: b3:
26; CHECK-NEXT: br label %b1
Karl Schimpfc836acb2014-09-05 08:32:47 -0700[diff] [blame]27; CHECK-NEXT: }
28
Karl Schimpf57d31ac2015-10-07 09:53:12 -0700[diff] [blame]29define internal void @CondBranch(i32 %p) {
Karl Schimpfc132b762014-09-11 09:43:47 -0700[diff] [blame]30entry:
Karl Schimpfc836acb2014-09-05 08:32:47 -0700[diff] [blame]31 %test = trunc i32 %p to i1
32 br i1 %test, label %b1, label %b2
33b1:
34 ret void
35b2:
36 br i1 %test, label %b2, label %b1
37}
38
Karl Schimpf57d31ac2015-10-07 09:53:12 -0700[diff] [blame]39; CHECK-NEXT: define internal void @CondBranch(i32 %p) {
Karl Schimpfc132b762014-09-11 09:43:47 -0700[diff] [blame]40; CHECK-NEXT: entry:
41; CHECK-NEXT: %test = trunc i32 %p to i1
42; CHECK-NEXT: br i1 %test, label %b1, label %b2
43; CHECK-NEXT: b1:
Karl Schimpfc836acb2014-09-05 08:32:47 -0700[diff] [blame]44; CHECK-NEXT: ret void
Karl Schimpfc132b762014-09-11 09:43:47 -0700[diff] [blame]45; CHECK-NEXT: b2:
46; CHECK-NEXT: br i1 %test, label %b2, label %b1
Karl Schimpfc836acb2014-09-05 08:32:47 -0700[diff] [blame]47; CHECK-NEXT: }
Karl Schimpf6fcbddd2014-11-06 09:49:24 -0800[diff] [blame]48
49; NOIR: Total across all functions