blob: 7368957f20fd9374a8a1bb74161004912ea9c395 [file] [log] [blame]
; 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
}