; 1. Trivial smoke test of compare and branch, with multiple basic ; blocks. ; 2. For a conditional branch on a constant boolean value, make sure ; we don't lower to a cmp instructions with an immediate as the first ; source operand. ; REQUIRES: allow_dump ; RUN: %p2i -i %s --args -O2 --verbose inst -threads=0 | FileCheck %s ; RUN: %p2i -i %s --args -Om1 --verbose inst -threads=0 | FileCheck %s define internal i32 @simple_cond_branch(i32 %foo, i32 %bar) { entry: %r1 = icmp eq i32 %foo, %bar br i1 %r1, label %Equal, label %Unequal Equal: ret i32 %foo Unequal: ret i32 %bar ; CHECK-LABEL: simple_cond_branch ; CHECK: br i1 %r1, label %Equal, label %Unequal ; CHECK: Equal: ; CHECK: ret i32 %foo ; CHECK: Unequal: ; CHECK: ret i32 %bar } define internal i32 @test_br_const() { __0: br i1 true, label %__1, label %__2 __1: ret i32 21 __2: ret i32 43 } ; CHECK-LABEL: test_br_const ; CHECK-NOT: cmp {{[0-9]*}},