| ; RUN: llc < %s -mtriple thumbv6m-eabi | FileCheck %s |
| |
| define i32 @slt_poweroftwo(i32 %a) { |
| ; CHECK-LABEL: slt_poweroftwo: |
| ; CHECK: .long 4095 |
| %b = icmp slt i32 %a, 4096 |
| br i1 %b, label %true, label %false |
| |
| true: |
| ret i32 1 |
| |
| false: |
| ret i32 2 |
| } |
| |
| define i32 @sle_poweroftwo(i32 %a) { |
| ; CHECK-LABEL: sle_poweroftwo: |
| ; CHECK: movs r1, #1 |
| ; CHECK: lsls r1, r1, #12 |
| %b = icmp sle i32 %a, 4096 |
| br i1 %b, label %true, label %false |
| |
| true: |
| ret i32 1 |
| |
| false: |
| ret i32 2 |
| } |
| |
| define i32 @sge_poweroftwo(i32 %a) { |
| ; CHECK-LABEL: sge_poweroftwo: |
| ; CHECK: movs r1, #1 |
| ; CHECK: lsls r1, r1, #12 |
| %b = icmp sge i32 %a, 4096 |
| br i1 %b, label %true, label %false |
| |
| true: |
| ret i32 1 |
| |
| false: |
| ret i32 2 |
| } |
| |
| define i32 @sgt_poweroftwo(i32 %a) { |
| ; CHECK-LABEL: sgt_poweroftwo: |
| ; CHECK: .long 4097 |
| %b = icmp sgt i32 %a, 4096 |
| br i1 %b, label %true, label %false |
| |
| true: |
| ret i32 1 |
| |
| false: |
| ret i32 2 |
| } |
| |
| define i32 @slt_nearpoweroftwo(i32 %a) { |
| ; CHECK-LABEL: slt_nearpoweroftwo: |
| ; CHECK: movs r1, #1 |
| ; CHECK: lsls r1, r1, #12 |
| %b = icmp slt i32 %a, 4097 |
| br i1 %b, label %true, label %false |
| |
| true: |
| ret i32 1 |
| |
| false: |
| ret i32 2 |
| } |
| |
| define i32 @sle_nearpoweroftwo(i32 %a) { |
| ; CHECK-LABEL: sle_nearpoweroftwo: |
| ; CHECK: .long 4095 |
| %b = icmp sle i32 %a, 4095 |
| br i1 %b, label %true, label %false |
| |
| true: |
| ret i32 1 |
| |
| false: |
| ret i32 2 |
| } |
| |
| |
| define i32 @sge_nearpoweroftwo(i32 %a) { |
| ; CHECK-LABEL: sge_nearpoweroftwo: |
| ; CHECK: .long 4097 |
| %b = icmp sge i32 %a, 4097 |
| br i1 %b, label %true, label %false |
| |
| true: |
| ret i32 1 |
| |
| false: |
| ret i32 2 |
| } |
| |
| define i32 @sgt_nearpoweroftwo(i32 %a) { |
| ; CHECK-LABEL: sgt_nearpoweroftwo: |
| ; CHECK: movs r1, #1 |
| ; CHECK: lsls r1, r1, #12 |
| %b = icmp sgt i32 %a, 4095 |
| br i1 %b, label %true, label %false |
| |
| true: |
| ret i32 1 |
| |
| false: |
| ret i32 2 |
| } |