Google Git
Sign in
swiftshader / SwiftShader / 9d25e620644e1800e381c5c4310a4c79a73a7650 / . / tests_lit / llvm2ice_tests / branch-simple.ll
blob: 5f821d8202eb40621d8fa71977a0f84940df0424 [file] [log] [blame]
Jim Stichnoth206833c2014-08-07 10:58:05 -0700[diff] [blame]1; 1. Trivial smoke test of compare and branch, with multiple basic
Jim Stichnoth5bc2b1d2014-05-22 13:38:48 -0700[diff] [blame]2; blocks.
Jim Stichnoth206833c2014-08-07 10:58:05 -0700[diff] [blame]3; 2. For a conditional branch on a constant boolean value, make sure
4; we don't lower to a cmp instructions with an immediate as the first
5; source operand.
Jim Stichnoth5bc2b1d2014-05-22 13:38:48 -0700[diff] [blame]6
Karl Schimpfb6c96af2014-11-17 10:58:39 -0800[diff] [blame]7; REQUIRES: allow_dump
8
Jim Stichnothbbca7542015-02-11 16:08:31 -0800[diff] [blame]9; RUN: %p2i -i %s --args -O2 --verbose inst -threads=0 | FileCheck %s
10; RUN: %p2i -i %s --args -Om1 --verbose inst -threads=0 | FileCheck %s
Jim Stichnothf7c9a142014-04-29 10:52:43 -0700[diff] [blame]11
12define i32 @simple_cond_branch(i32 %foo, i32 %bar) {
13entry:
14 %r1 = icmp eq i32 %foo, %bar
15 br i1 %r1, label %Equal, label %Unequal
16Equal:
17 ret i32 %foo
18Unequal:
19 ret i32 %bar
Jim Stichnoth206833c2014-08-07 10:58:05 -0700[diff] [blame]20; CHECK-LABEL: simple_cond_branch
Jim Stichnothf7c9a142014-04-29 10:52:43 -0700[diff] [blame]21; CHECK: br i1 %r1, label %Equal, label %Unequal
22; CHECK: Equal:
23; CHECK: ret i32 %foo
24; CHECK: Unequal:
25; CHECK: ret i32 %bar
26}
27
Jim Stichnoth206833c2014-08-07 10:58:05 -0700[diff] [blame]28define internal i32 @test_br_const() {
29__0:
Jim Stichnothcabfa302014-09-03 15:19:12 -0700[diff] [blame]30 br i1 true, label %__1, label %__2
Jim Stichnoth206833c2014-08-07 10:58:05 -0700[diff] [blame]31__1:
32 ret i32 21
33__2:
34 ret i32 43
35}
36; CHECK-LABEL: test_br_const
37; CHECK-NOT: cmp {{[0-9]*}},