; 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
}