define i1 @eq_eq(i8 %a, i8 %b) {
; CHECK-LABEL: @eq_eq(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp eq i8 %a, %b
define i1 @eq_sge(i8 %a, i8 %b) {
; CHECK-LABEL: @eq_sge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp eq i8 %a, %b
define i1 @eq_sle(i8 %a, i8 %b) {
; CHECK-LABEL: @eq_sle(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp eq i8 %a, %b
define i1 @eq_uge(i8 %a, i8 %b) {
; CHECK-LABEL: @eq_uge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp eq i8 %a, %b
define i1 @eq_ule(i8 %a, i8 %b) {
; CHECK-LABEL: @eq_ule(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp eq i8 %a, %b
define i1 @ne_ne(i8 %a, i8 %b) {
; CHECK-LABEL: @ne_ne(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp ne i8 %a, %b
define i1 @ne_sge(i8 %a, i8 %b) {
; CHECK-LABEL: @ne_sge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ne_sgt(i8 %a, i8 %b) {
; CHECK-LABEL: @ne_sgt(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp ne i8 %a, %b
define i1 @ne_sle(i8 %a, i8 %b) {
; CHECK-LABEL: @ne_sle(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ne_slt(i8 %a, i8 %b) {
; CHECK-LABEL: @ne_slt(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp ne i8 %a, %b
define i1 @ne_uge(i8 %a, i8 %b) {
; CHECK-LABEL: @ne_uge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ne_ugt(i8 %a, i8 %b) {
; CHECK-LABEL: @ne_ugt(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp ne i8 %a, %b
define i1 @ne_ule(i8 %a, i8 %b) {
; CHECK-LABEL: @ne_ule(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ne_ult(i8 %a, i8 %b) {
; CHECK-LABEL: @ne_ult(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp ne i8 %a, %b
define i1 @sge_eq(i8 %a, i8 %b) {
; CHECK-LABEL: @sge_eq(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp sge i8 %a, %b
define i1 @sge_ne(i8 %a, i8 %b) {
; CHECK-LABEL: @sge_ne(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @sge_sge(i8 %a, i8 %b) {
; CHECK-LABEL: @sge_sge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp sge i8 %a, %b
define i1 @sge_sgt(i8 %a, i8 %b) {
; CHECK-LABEL: @sge_sgt(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp sge i8 %a, %b
define i1 @sge_sle(i8 %a, i8 %b) {
; CHECK-LABEL: @sge_sle(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @sge_uge(i8 %a, i8 %b) {
; CHECK-LABEL: @sge_uge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @sge_ugt(i8 %a, i8 %b) {
; CHECK-LABEL: @sge_ugt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @sge_ule(i8 %a, i8 %b) {
; CHECK-LABEL: @sge_ule(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @sge_ult(i8 %a, i8 %b) {
; CHECK-LABEL: @sge_ult(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @sgt_ne(i8 %a, i8 %b) {
; CHECK-LABEL: @sgt_ne(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp sgt i8 %a, %b
define i1 @sgt_sge(i8 %a, i8 %b) {
; CHECK-LABEL: @sgt_sge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp sgt i8 %a, %b
define i1 @sgt_sgt(i8 %a, i8 %b) {
; CHECK-LABEL: @sgt_sgt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp sgt i8 %a, %b
define i1 @sgt_uge(i8 %a, i8 %b) {
; CHECK-LABEL: @sgt_uge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @sgt_ugt(i8 %a, i8 %b) {
; CHECK-LABEL: @sgt_ugt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @sgt_ule(i8 %a, i8 %b) {
; CHECK-LABEL: @sgt_ule(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @sgt_ult(i8 %a, i8 %b) {
; CHECK-LABEL: @sgt_ult(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @sle_eq(i8 %a, i8 %b) {
; CHECK-LABEL: @sle_eq(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp sle i8 %a, %b
define i1 @sle_ne(i8 %a, i8 %b) {
; CHECK-LABEL: @sle_ne(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @sle_sge(i8 %a, i8 %b) {
; CHECK-LABEL: @sle_sge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @sle_sle(i8 %a, i8 %b) {
; CHECK-LABEL: @sle_sle(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp sle i8 %a, %b
define i1 @sle_slt(i8 %a, i8 %b) {
; CHECK-LABEL: @sle_slt(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp sle i8 %a, %b
define i1 @sle_uge(i8 %a, i8 %b) {
; CHECK-LABEL: @sle_uge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @sle_ugt(i8 %a, i8 %b) {
; CHECK-LABEL: @sle_ugt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @sle_ule(i8 %a, i8 %b) {
; CHECK-LABEL: @sle_ule(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @sle_ult(i8 %a, i8 %b) {
; CHECK-LABEL: @sle_ult(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @slt_ne(i8 %a, i8 %b) {
; CHECK-LABEL: @slt_ne(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp slt i8 %a, %b
define i1 @slt_sle(i8 %a, i8 %b) {
; CHECK-LABEL: @slt_sle(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp slt i8 %a, %b
define i1 @slt_slt(i8 %a, i8 %b) {
; CHECK-LABEL: @slt_slt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp slt i8 %a, %b
define i1 @slt_uge(i8 %a, i8 %b) {
; CHECK-LABEL: @slt_uge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @slt_ugt(i8 %a, i8 %b) {
; CHECK-LABEL: @slt_ugt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @slt_ule(i8 %a, i8 %b) {
; CHECK-LABEL: @slt_ule(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @slt_ult(i8 %a, i8 %b) {
; CHECK-LABEL: @slt_ult(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @uge_eq(i8 %a, i8 %b) {
; CHECK-LABEL: @uge_eq(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp uge i8 %a, %b
define i1 @uge_ne(i8 %a, i8 %b) {
; CHECK-LABEL: @uge_ne(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @uge_sge(i8 %a, i8 %b) {
; CHECK-LABEL: @uge_sge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @uge_sgt(i8 %a, i8 %b) {
; CHECK-LABEL: @uge_sgt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @uge_sle(i8 %a, i8 %b) {
; CHECK-LABEL: @uge_sle(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @uge_slt(i8 %a, i8 %b) {
; CHECK-LABEL: @uge_slt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @uge_uge(i8 %a, i8 %b) {
; CHECK-LABEL: @uge_uge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp uge i8 %a, %b
define i1 @uge_ugt(i8 %a, i8 %b) {
; CHECK-LABEL: @uge_ugt(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp uge i8 %a, %b
define i1 @uge_ule(i8 %a, i8 %b) {
; CHECK-LABEL: @uge_ule(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ugt_ne(i8 %a, i8 %b) {
; CHECK-LABEL: @ugt_ne(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp ugt i8 %a, %b
define i1 @ugt_sge(i8 %a, i8 %b) {
; CHECK-LABEL: @ugt_sge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ugt_sgt(i8 %a, i8 %b) {
; CHECK-LABEL: @ugt_sgt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ugt_sle(i8 %a, i8 %b) {
; CHECK-LABEL: @ugt_sle(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ugt_slt(i8 %a, i8 %b) {
; CHECK-LABEL: @ugt_slt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ugt_uge(i8 %a, i8 %b) {
; CHECK-LABEL: @ugt_uge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp ugt i8 %a, %b
define i1 @ugt_ugt(i8 %a, i8 %b) {
; CHECK-LABEL: @ugt_ugt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp ugt i8 %a, %b
define i1 @ule_eq(i8 %a, i8 %b) {
; CHECK-LABEL: @ule_eq(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp ule i8 %a, %b
define i1 @ule_ne(i8 %a, i8 %b) {
; CHECK-LABEL: @ule_ne(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ule_sge(i8 %a, i8 %b) {
; CHECK-LABEL: @ule_sge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ule_sgt(i8 %a, i8 %b) {
; CHECK-LABEL: @ule_sgt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ule_sle(i8 %a, i8 %b) {
; CHECK-LABEL: @ule_sle(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ule_slt(i8 %a, i8 %b) {
; CHECK-LABEL: @ule_slt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ule_uge(i8 %a, i8 %b) {
; CHECK-LABEL: @ule_uge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ule_ule(i8 %a, i8 %b) {
; CHECK-LABEL: @ule_ule(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp ule i8 %a, %b
define i1 @ule_ult(i8 %a, i8 %b) {
; CHECK-LABEL: @ule_ult(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp ule i8 %a, %b
define i1 @ult_ne(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_ne(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp ult i8 %a, %b
define i1 @ult_sge(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_sge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ult_sgt(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_sgt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ult_sle(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_sle(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ult_slt(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_slt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 [[A]], [[B]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ult_ule(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_ule(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp ult i8 %a, %b
define i1 @ult_ult(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_ult(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp ult i8 %a, %b
define <2 x i1> @ult_ule_vec(<2 x i8> %a, <2 x i8> %b) {
; CHECK-LABEL: @ult_ule_vec(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult <2 x i8> %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult <2 x i8> [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret <2 x i1> [[CMP1]]
;
%cmp1 = icmp ult <2 x i8> %a, %b
define i1 @ult_uge_swap(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_uge_swap(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 %b, %a
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 [[B]], [[A]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
define i1 @ult_ult_swap(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_ult_swap(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 %b, %a
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 [[B]], [[A]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
; Cycle through all pairs of predicates to test
define i1 @and_eq_ne(i8 %x) {
; CHECK-LABEL: @and_eq_ne(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp eq i8 %x, 13
define i1 @and_eq_sle(i8 %x) {
; CHECK-LABEL: @and_eq_sle(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp eq i8 %x, 13
define i1 @and_eq_slt(i8 %x) {
; CHECK-LABEL: @and_eq_slt(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp eq i8 %x, 13
define i1 @and_eq_ule(i8 %x) {
; CHECK-LABEL: @and_eq_ule(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp eq i8 %x, 13
define i1 @and_eq_ult(i8 %x) {
; CHECK-LABEL: @and_eq_ult(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp eq i8 %x, 13
define i1 @and_ne_eq(i8 %x) {
; CHECK-LABEL: @and_ne_eq(
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ne i8 %x, 13
define i1 @and_ne_ne(i8 %x) {
; CHECK-LABEL: @and_ne_ne(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ne_sge(i8 %x) {
; CHECK-LABEL: @and_ne_sge(
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ne i8 %x, 13
define i1 @and_ne_sgt(i8 %x) {
; CHECK-LABEL: @and_ne_sgt(
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ne i8 %x, 13
define i1 @and_ne_sle(i8 %x) {
; CHECK-LABEL: @and_ne_sle(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ne_slt(i8 %x) {
; CHECK-LABEL: @and_ne_slt(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ne_uge(i8 %x) {
; CHECK-LABEL: @and_ne_uge(
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ne i8 %x, 13
define i1 @and_ne_ugt(i8 %x) {
; CHECK-LABEL: @and_ne_ugt(
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ne i8 %x, 13
define i1 @and_ne_ule(i8 %x) {
; CHECK-LABEL: @and_ne_ule(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ne_ult(i8 %x) {
; CHECK-LABEL: @and_ne_ult(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sge_eq(i8 %x) {
; CHECK-LABEL: @and_sge_eq(
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sge i8 %x, 13
define i1 @and_sge_ne(i8 %x) {
; CHECK-LABEL: @and_sge_ne(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sge_sge(i8 %x) {
; CHECK-LABEL: @and_sge_sge(
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sge i8 %x, 13
define i1 @and_sge_sgt(i8 %x) {
; CHECK-LABEL: @and_sge_sgt(
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sge i8 %x, 13
define i1 @and_sge_sle(i8 %x) {
; CHECK-LABEL: @and_sge_sle(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sge_slt(i8 %x) {
; CHECK-LABEL: @and_sge_slt(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sge_uge(i8 %x) {
; CHECK-LABEL: @and_sge_uge(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sge_ugt(i8 %x) {
; CHECK-LABEL: @and_sge_ugt(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sge_ule(i8 %x) {
; CHECK-LABEL: @and_sge_ule(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sge_ult(i8 %x) {
; CHECK-LABEL: @and_sge_ult(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sgt_eq(i8 %x) {
; CHECK-LABEL: @and_sgt_eq(
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sgt i8 %x, 13
define i1 @and_sgt_ne(i8 %x) {
; CHECK-LABEL: @and_sgt_ne(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sgt_sge(i8 %x) {
; CHECK-LABEL: @and_sgt_sge(
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sgt i8 %x, 13
define i1 @and_sgt_sgt(i8 %x) {
; CHECK-LABEL: @and_sgt_sgt(
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sgt i8 %x, 13
define i1 @and_sgt_sle(i8 %x) {
; CHECK-LABEL: @and_sgt_sle(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sgt_slt(i8 %x) {
; CHECK-LABEL: @and_sgt_slt(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sgt_uge(i8 %x) {
; CHECK-LABEL: @and_sgt_uge(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sgt_ugt(i8 %x) {
; CHECK-LABEL: @and_sgt_ugt(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sgt_ule(i8 %x) {
; CHECK-LABEL: @and_sgt_ule(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sgt_ult(i8 %x) {
; CHECK-LABEL: @and_sgt_ult(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sle_ne(i8 %x) {
; CHECK-LABEL: @and_sle_ne(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sle i8 %x, 13
define i1 @and_sle_sle(i8 %x) {
; CHECK-LABEL: @and_sle_sle(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sle i8 %x, 13
define i1 @and_sle_slt(i8 %x) {
; CHECK-LABEL: @and_sle_slt(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sle i8 %x, 13
define i1 @and_sle_uge(i8 %x) {
; CHECK-LABEL: @and_sle_uge(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sle_ugt(i8 %x) {
; CHECK-LABEL: @and_sle_ugt(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sle_ule(i8 %x) {
; CHECK-LABEL: @and_sle_ule(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sle_ult(i8 %x) {
; CHECK-LABEL: @and_sle_ult(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_slt_ne(i8 %x) {
; CHECK-LABEL: @and_slt_ne(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp slt i8 %x, 13
define i1 @and_slt_sle(i8 %x) {
; CHECK-LABEL: @and_slt_sle(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp slt i8 %x, 13
define i1 @and_slt_slt(i8 %x) {
; CHECK-LABEL: @and_slt_slt(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp slt i8 %x, 13
define i1 @and_slt_uge(i8 %x) {
; CHECK-LABEL: @and_slt_uge(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_slt_ugt(i8 %x) {
; CHECK-LABEL: @and_slt_ugt(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_slt_ule(i8 %x) {
; CHECK-LABEL: @and_slt_ule(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_slt_ult(i8 %x) {
; CHECK-LABEL: @and_slt_ult(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_uge_eq(i8 %x) {
; CHECK-LABEL: @and_uge_eq(
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp uge i8 %x, 13
define i1 @and_uge_ne(i8 %x) {
; CHECK-LABEL: @and_uge_ne(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_uge_sge(i8 %x) {
; CHECK-LABEL: @and_uge_sge(
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp uge i8 %x, 13
define i1 @and_uge_sgt(i8 %x) {
; CHECK-LABEL: @and_uge_sgt(
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp uge i8 %x, 13
define i1 @and_uge_sle(i8 %x) {
; CHECK-LABEL: @and_uge_sle(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_uge_slt(i8 %x) {
; CHECK-LABEL: @and_uge_slt(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_uge_uge(i8 %x) {
; CHECK-LABEL: @and_uge_uge(
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp uge i8 %x, 13
define i1 @and_uge_ugt(i8 %x) {
; CHECK-LABEL: @and_uge_ugt(
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp uge i8 %x, 13
define i1 @and_uge_ule(i8 %x) {
; CHECK-LABEL: @and_uge_ule(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_uge_ult(i8 %x) {
; CHECK-LABEL: @and_uge_ult(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ugt_eq(i8 %x) {
; CHECK-LABEL: @and_ugt_eq(
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ugt i8 %x, 13
define i1 @and_ugt_ne(i8 %x) {
; CHECK-LABEL: @and_ugt_ne(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ugt_sge(i8 %x) {
; CHECK-LABEL: @and_ugt_sge(
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ugt i8 %x, 13
define i1 @and_ugt_sgt(i8 %x) {
; CHECK-LABEL: @and_ugt_sgt(
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ugt i8 %x, 13
define i1 @and_ugt_sle(i8 %x) {
; CHECK-LABEL: @and_ugt_sle(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ugt_slt(i8 %x) {
; CHECK-LABEL: @and_ugt_slt(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ugt_uge(i8 %x) {
; CHECK-LABEL: @and_ugt_uge(
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ugt i8 %x, 13
define i1 @and_ugt_ugt(i8 %x) {
; CHECK-LABEL: @and_ugt_ugt(
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ugt i8 %x, 13
define i1 @and_ugt_ule(i8 %x) {
; CHECK-LABEL: @and_ugt_ule(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ugt_ult(i8 %x) {
; CHECK-LABEL: @and_ugt_ult(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ule_ne(i8 %x) {
; CHECK-LABEL: @and_ule_ne(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ule i8 %x, 13
define i1 @and_ule_sle(i8 %x) {
; CHECK-LABEL: @and_ule_sle(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ule i8 %x, 13
define i1 @and_ule_slt(i8 %x) {
; CHECK-LABEL: @and_ule_slt(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ule i8 %x, 13
define i1 @and_ule_ule(i8 %x) {
; CHECK-LABEL: @and_ule_ule(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ule i8 %x, 13
define i1 @and_ule_ult(i8 %x) {
; CHECK-LABEL: @and_ule_ult(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ule i8 %x, 13
define i1 @and_ult_ne(i8 %x) {
; CHECK-LABEL: @and_ult_ne(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ult i8 %x, 13
define i1 @and_ult_sle(i8 %x) {
; CHECK-LABEL: @and_ult_sle(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ult i8 %x, 13
define i1 @and_ult_slt(i8 %x) {
; CHECK-LABEL: @and_ult_slt(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ult i8 %x, 13
define i1 @and_ult_ule(i8 %x) {
; CHECK-LABEL: @and_ult_ule(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ult i8 %x, 13
define i1 @and_ult_ult(i8 %x) {
; CHECK-LABEL: @and_ult_ult(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ult i8 %x, 13
define i1 @and_eq_ne_swap(i8 %x) {
; CHECK-LABEL: @and_eq_ne_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp eq i8 %x, 23
define i1 @and_eq_sge_swap(i8 %x) {
; CHECK-LABEL: @and_eq_sge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp eq i8 %x, 23
define i1 @and_eq_sgt_swap(i8 %x) {
; CHECK-LABEL: @and_eq_sgt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp eq i8 %x, 23
define i1 @and_eq_uge_swap(i8 %x) {
; CHECK-LABEL: @and_eq_uge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp eq i8 %x, 23
define i1 @and_eq_ugt_swap(i8 %x) {
; CHECK-LABEL: @and_eq_ugt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp eq i8 %x, 23
define i1 @and_ne_eq_swap(i8 %x) {
; CHECK-LABEL: @and_ne_eq_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ne i8 %x, 23
define i1 @and_ne_ne_swap(i8 %x) {
; CHECK-LABEL: @and_ne_ne_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ne_sge_swap(i8 %x) {
; CHECK-LABEL: @and_ne_sge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ne_sgt_swap(i8 %x) {
; CHECK-LABEL: @and_ne_sgt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ne_sle_swap(i8 %x) {
; CHECK-LABEL: @and_ne_sle_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ne i8 %x, 23
define i1 @and_ne_slt_swap(i8 %x) {
; CHECK-LABEL: @and_ne_slt_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ne i8 %x, 23
define i1 @and_ne_uge_swap(i8 %x) {
; CHECK-LABEL: @and_ne_uge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ne_ugt_swap(i8 %x) {
; CHECK-LABEL: @and_ne_ugt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ne_ule_swap(i8 %x) {
; CHECK-LABEL: @and_ne_ule_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ne i8 %x, 23
define i1 @and_ne_ult_swap(i8 %x) {
; CHECK-LABEL: @and_ne_ult_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ne i8 %x, 23
define i1 @and_sge_ne_swap(i8 %x) {
; CHECK-LABEL: @and_sge_ne_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sge i8 %x, 23
define i1 @and_sge_sge_swap(i8 %x) {
; CHECK-LABEL: @and_sge_sge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sge i8 %x, 23
define i1 @and_sge_sgt_swap(i8 %x) {
; CHECK-LABEL: @and_sge_sgt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sge i8 %x, 23
define i1 @and_sge_uge_swap(i8 %x) {
; CHECK-LABEL: @and_sge_uge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sge i8 %x, 23
define i1 @and_sge_ugt_swap(i8 %x) {
; CHECK-LABEL: @and_sge_ugt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sge i8 %x, 23
define i1 @and_sgt_ne_swap(i8 %x) {
; CHECK-LABEL: @and_sgt_ne_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sgt i8 %x, 23
define i1 @and_sgt_sge_swap(i8 %x) {
; CHECK-LABEL: @and_sgt_sge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sgt i8 %x, 23
define i1 @and_sgt_sgt_swap(i8 %x) {
; CHECK-LABEL: @and_sgt_sgt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sgt i8 %x, 23
define i1 @and_sgt_uge_swap(i8 %x) {
; CHECK-LABEL: @and_sgt_uge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sgt i8 %x, 23
define i1 @and_sgt_ugt_swap(i8 %x) {
; CHECK-LABEL: @and_sgt_ugt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sgt i8 %x, 23
define i1 @and_sle_eq_swap(i8 %x) {
; CHECK-LABEL: @and_sle_eq_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sle i8 %x, 23
define i1 @and_sle_ne_swap(i8 %x) {
; CHECK-LABEL: @and_sle_ne_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sle_sge_swap(i8 %x) {
; CHECK-LABEL: @and_sle_sge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sle_sgt_swap(i8 %x) {
; CHECK-LABEL: @and_sle_sgt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sle_sle_swap(i8 %x) {
; CHECK-LABEL: @and_sle_sle_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sle i8 %x, 23
define i1 @and_sle_slt_swap(i8 %x) {
; CHECK-LABEL: @and_sle_slt_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sle i8 %x, 23
define i1 @and_sle_uge_swap(i8 %x) {
; CHECK-LABEL: @and_sle_uge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sle_ugt_swap(i8 %x) {
; CHECK-LABEL: @and_sle_ugt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_sle_ule_swap(i8 %x) {
; CHECK-LABEL: @and_sle_ule_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sle i8 %x, 23
define i1 @and_sle_ult_swap(i8 %x) {
; CHECK-LABEL: @and_sle_ult_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sle i8 %x, 23
define i1 @and_slt_eq_swap(i8 %x) {
; CHECK-LABEL: @and_slt_eq_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp slt i8 %x, 23
define i1 @and_slt_ne_swap(i8 %x) {
; CHECK-LABEL: @and_slt_ne_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_slt_sge_swap(i8 %x) {
; CHECK-LABEL: @and_slt_sge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_slt_sgt_swap(i8 %x) {
; CHECK-LABEL: @and_slt_sgt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_slt_sle_swap(i8 %x) {
; CHECK-LABEL: @and_slt_sle_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp slt i8 %x, 23
define i1 @and_slt_slt_swap(i8 %x) {
; CHECK-LABEL: @and_slt_slt_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp slt i8 %x, 23
define i1 @and_slt_uge_swap(i8 %x) {
; CHECK-LABEL: @and_slt_uge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_slt_ugt_swap(i8 %x) {
; CHECK-LABEL: @and_slt_ugt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_slt_ule_swap(i8 %x) {
; CHECK-LABEL: @and_slt_ule_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp slt i8 %x, 23
define i1 @and_slt_ult_swap(i8 %x) {
; CHECK-LABEL: @and_slt_ult_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp slt i8 %x, 23
define i1 @and_uge_ne_swap(i8 %x) {
; CHECK-LABEL: @and_uge_ne_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp uge i8 %x, 23
define i1 @and_uge_sge_swap(i8 %x) {
; CHECK-LABEL: @and_uge_sge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_uge_sgt_swap(i8 %x) {
; CHECK-LABEL: @and_uge_sgt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_uge_sle_swap(i8 %x) {
; CHECK-LABEL: @and_uge_sle_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_uge_slt_swap(i8 %x) {
; CHECK-LABEL: @and_uge_slt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_uge_uge_swap(i8 %x) {
; CHECK-LABEL: @and_uge_uge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp uge i8 %x, 23
define i1 @and_uge_ugt_swap(i8 %x) {
; CHECK-LABEL: @and_uge_ugt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp uge i8 %x, 23
define i1 @and_ugt_ne_swap(i8 %x) {
; CHECK-LABEL: @and_ugt_ne_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ugt i8 %x, 23
define i1 @and_ugt_sge_swap(i8 %x) {
; CHECK-LABEL: @and_ugt_sge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ugt_sgt_swap(i8 %x) {
; CHECK-LABEL: @and_ugt_sgt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ugt_sle_swap(i8 %x) {
; CHECK-LABEL: @and_ugt_sle_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ugt_slt_swap(i8 %x) {
; CHECK-LABEL: @and_ugt_slt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ugt_uge_swap(i8 %x) {
; CHECK-LABEL: @and_ugt_uge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ugt i8 %x, 23
define i1 @and_ugt_ugt_swap(i8 %x) {
; CHECK-LABEL: @and_ugt_ugt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ugt i8 %x, 23
define i1 @and_ule_eq_swap(i8 %x) {
; CHECK-LABEL: @and_ule_eq_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ule i8 %x, 23
define i1 @and_ule_ne_swap(i8 %x) {
; CHECK-LABEL: @and_ule_ne_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ule_sge_swap(i8 %x) {
; CHECK-LABEL: @and_ule_sge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ule_sgt_swap(i8 %x) {
; CHECK-LABEL: @and_ule_sgt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ule_sle_swap(i8 %x) {
; CHECK-LABEL: @and_ule_sle_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ule_slt_swap(i8 %x) {
; CHECK-LABEL: @and_ule_slt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ule_uge_swap(i8 %x) {
; CHECK-LABEL: @and_ule_uge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ule_ugt_swap(i8 %x) {
; CHECK-LABEL: @and_ule_ugt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ule_ule_swap(i8 %x) {
; CHECK-LABEL: @and_ule_ule_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ule i8 %x, 23
define i1 @and_ule_ult_swap(i8 %x) {
; CHECK-LABEL: @and_ule_ult_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ule i8 %x, 23
define i1 @and_ult_eq_swap(i8 %x) {
; CHECK-LABEL: @and_ult_eq_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ult i8 %x, 23
define i1 @and_ult_ne_swap(i8 %x) {
; CHECK-LABEL: @and_ult_ne_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ult_sge_swap(i8 %x) {
; CHECK-LABEL: @and_ult_sge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ult_sgt_swap(i8 %x) {
; CHECK-LABEL: @and_ult_sgt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ult_sle_swap(i8 %x) {
; CHECK-LABEL: @and_ult_sle_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ult_slt_swap(i8 %x) {
; CHECK-LABEL: @and_ult_slt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ult_uge_swap(i8 %x) {
; CHECK-LABEL: @and_ult_uge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ult_ugt_swap(i8 %x) {
; CHECK-LABEL: @and_ult_ugt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @and_ult_ule_swap(i8 %x) {
; CHECK-LABEL: @and_ult_ule_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ult i8 %x, 23
define i1 @and_ult_ult_swap(i8 %x) {
; CHECK-LABEL: @and_ult_ult_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ult i8 %x, 23
define i1 @or_eq_eq(i8 %x) {
; CHECK-LABEL: @or_eq_eq(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_eq_ne(i8 %x) {
; CHECK-LABEL: @or_eq_ne(
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp eq i8 %x, 13
define i1 @or_eq_sge(i8 %x) {
; CHECK-LABEL: @or_eq_sge(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_eq_sgt(i8 %x) {
; CHECK-LABEL: @or_eq_sgt(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_eq_sle(i8 %x) {
; CHECK-LABEL: @or_eq_sle(
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp eq i8 %x, 13
define i1 @or_eq_slt(i8 %x) {
; CHECK-LABEL: @or_eq_slt(
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp eq i8 %x, 13
define i1 @or_eq_uge(i8 %x) {
; CHECK-LABEL: @or_eq_uge(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_eq_ugt(i8 %x) {
; CHECK-LABEL: @or_eq_ugt(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_eq_ule(i8 %x) {
; CHECK-LABEL: @or_eq_ule(
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp eq i8 %x, 13
define i1 @or_eq_ult(i8 %x) {
; CHECK-LABEL: @or_eq_ult(
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp eq i8 %x, 13
define i1 @or_ne_eq(i8 %x) {
; CHECK-LABEL: @or_ne_eq(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ne i8 %x, 13
define i1 @or_ne_sge(i8 %x) {
; CHECK-LABEL: @or_ne_sge(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ne i8 %x, 13
define i1 @or_ne_sgt(i8 %x) {
; CHECK-LABEL: @or_ne_sgt(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ne i8 %x, 13
define i1 @or_ne_uge(i8 %x) {
; CHECK-LABEL: @or_ne_uge(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ne i8 %x, 13
define i1 @or_ne_ugt(i8 %x) {
; CHECK-LABEL: @or_ne_ugt(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ne i8 %x, 13
define i1 @or_sge_eq(i8 %x) {
; CHECK-LABEL: @or_sge_eq(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sge i8 %x, 13
define i1 @or_sge_sge(i8 %x) {
; CHECK-LABEL: @or_sge_sge(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sge i8 %x, 13
define i1 @or_sge_sgt(i8 %x) {
; CHECK-LABEL: @or_sge_sgt(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sge i8 %x, 13
define i1 @or_sge_uge(i8 %x) {
; CHECK-LABEL: @or_sge_uge(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sge_ugt(i8 %x) {
; CHECK-LABEL: @or_sge_ugt(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sge_ule(i8 %x) {
; CHECK-LABEL: @or_sge_ule(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sge_ult(i8 %x) {
; CHECK-LABEL: @or_sge_ult(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sgt_eq(i8 %x) {
; CHECK-LABEL: @or_sgt_eq(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sgt i8 %x, 13
define i1 @or_sgt_sge(i8 %x) {
; CHECK-LABEL: @or_sgt_sge(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sgt i8 %x, 13
define i1 @or_sgt_sgt(i8 %x) {
; CHECK-LABEL: @or_sgt_sgt(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sgt i8 %x, 13
define i1 @or_sgt_uge(i8 %x) {
; CHECK-LABEL: @or_sgt_uge(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sgt_ugt(i8 %x) {
; CHECK-LABEL: @or_sgt_ugt(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sgt_ule(i8 %x) {
; CHECK-LABEL: @or_sgt_ule(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sgt_ult(i8 %x) {
; CHECK-LABEL: @or_sgt_ult(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sle_eq(i8 %x) {
; CHECK-LABEL: @or_sle_eq(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sle_ne(i8 %x) {
; CHECK-LABEL: @or_sle_ne(
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sle i8 %x, 13
define i1 @or_sle_sge(i8 %x) {
; CHECK-LABEL: @or_sle_sge(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sle_sgt(i8 %x) {
; CHECK-LABEL: @or_sle_sgt(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sle_sle(i8 %x) {
; CHECK-LABEL: @or_sle_sle(
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sle i8 %x, 13
define i1 @or_sle_slt(i8 %x) {
; CHECK-LABEL: @or_sle_slt(
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sle i8 %x, 13
define i1 @or_sle_uge(i8 %x) {
; CHECK-LABEL: @or_sle_uge(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sle_ugt(i8 %x) {
; CHECK-LABEL: @or_sle_ugt(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sle_ule(i8 %x) {
; CHECK-LABEL: @or_sle_ule(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sle_ult(i8 %x) {
; CHECK-LABEL: @or_sle_ult(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_slt_eq(i8 %x) {
; CHECK-LABEL: @or_slt_eq(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_slt_ne(i8 %x) {
; CHECK-LABEL: @or_slt_ne(
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp slt i8 %x, 13
define i1 @or_slt_sge(i8 %x) {
; CHECK-LABEL: @or_slt_sge(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_slt_sgt(i8 %x) {
; CHECK-LABEL: @or_slt_sgt(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_slt_sle(i8 %x) {
; CHECK-LABEL: @or_slt_sle(
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp slt i8 %x, 13
define i1 @or_slt_slt(i8 %x) {
; CHECK-LABEL: @or_slt_slt(
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp slt i8 %x, 13
define i1 @or_slt_uge(i8 %x) {
; CHECK-LABEL: @or_slt_uge(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_slt_ugt(i8 %x) {
; CHECK-LABEL: @or_slt_ugt(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_slt_ule(i8 %x) {
; CHECK-LABEL: @or_slt_ule(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_slt_ult(i8 %x) {
; CHECK-LABEL: @or_slt_ult(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_uge_eq(i8 %x) {
; CHECK-LABEL: @or_uge_eq(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp uge i8 %x, 13
define i1 @or_uge_sge(i8 %x) {
; CHECK-LABEL: @or_uge_sge(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp uge i8 %x, 13
define i1 @or_uge_sgt(i8 %x) {
; CHECK-LABEL: @or_uge_sgt(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp uge i8 %x, 13
define i1 @or_uge_uge(i8 %x) {
; CHECK-LABEL: @or_uge_uge(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp uge i8 %x, 13
define i1 @or_uge_ugt(i8 %x) {
; CHECK-LABEL: @or_uge_ugt(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp uge i8 %x, 13
define i1 @or_ugt_eq(i8 %x) {
; CHECK-LABEL: @or_ugt_eq(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ugt i8 %x, 13
define i1 @or_ugt_sge(i8 %x) {
; CHECK-LABEL: @or_ugt_sge(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ugt i8 %x, 13
define i1 @or_ugt_sgt(i8 %x) {
; CHECK-LABEL: @or_ugt_sgt(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ugt i8 %x, 13
define i1 @or_ugt_uge(i8 %x) {
; CHECK-LABEL: @or_ugt_uge(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ugt i8 %x, 13
define i1 @or_ugt_ugt(i8 %x) {
; CHECK-LABEL: @or_ugt_ugt(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 13
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 13
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ugt i8 %x, 13
define i1 @or_ule_eq(i8 %x) {
; CHECK-LABEL: @or_ule_eq(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ule_ne(i8 %x) {
; CHECK-LABEL: @or_ule_ne(
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ule i8 %x, 13
define i1 @or_ule_sge(i8 %x) {
; CHECK-LABEL: @or_ule_sge(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ule_sgt(i8 %x) {
; CHECK-LABEL: @or_ule_sgt(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ule_sle(i8 %x) {
; CHECK-LABEL: @or_ule_sle(
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ule i8 %x, 13
define i1 @or_ule_slt(i8 %x) {
; CHECK-LABEL: @or_ule_slt(
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ule i8 %x, 13
define i1 @or_ule_uge(i8 %x) {
; CHECK-LABEL: @or_ule_uge(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ule_ugt(i8 %x) {
; CHECK-LABEL: @or_ule_ugt(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ule_ule(i8 %x) {
; CHECK-LABEL: @or_ule_ule(
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ule i8 %x, 13
define i1 @or_ule_ult(i8 %x) {
; CHECK-LABEL: @or_ule_ult(
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ule i8 %x, 13
define i1 @or_ult_eq(i8 %x) {
; CHECK-LABEL: @or_ult_eq(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ult_ne(i8 %x) {
; CHECK-LABEL: @or_ult_ne(
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ult i8 %x, 13
define i1 @or_ult_sge(i8 %x) {
; CHECK-LABEL: @or_ult_sge(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ult_sgt(i8 %x) {
; CHECK-LABEL: @or_ult_sgt(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ult_sle(i8 %x) {
; CHECK-LABEL: @or_ult_sle(
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ult i8 %x, 13
define i1 @or_ult_slt(i8 %x) {
; CHECK-LABEL: @or_ult_slt(
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ult i8 %x, 13
define i1 @or_ult_uge(i8 %x) {
; CHECK-LABEL: @or_ult_uge(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ult_ugt(i8 %x) {
; CHECK-LABEL: @or_ult_ugt(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 13
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 13
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ult_ule(i8 %x) {
; CHECK-LABEL: @or_ult_ule(
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ult i8 %x, 13
define i1 @or_ult_ult(i8 %x) {
; CHECK-LABEL: @or_ult_ult(
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ult i8 %x, 13
define i1 @or_eq_eq_swap(i8 %x) {
; CHECK-LABEL: @or_eq_eq_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_eq_ne_swap(i8 %x) {
; CHECK-LABEL: @or_eq_ne_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp eq i8 %x, 23
define i1 @or_eq_sge_swap(i8 %x) {
; CHECK-LABEL: @or_eq_sge_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp eq i8 %x, 23
define i1 @or_eq_sgt_swap(i8 %x) {
; CHECK-LABEL: @or_eq_sgt_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp eq i8 %x, 23
define i1 @or_eq_sle_swap(i8 %x) {
; CHECK-LABEL: @or_eq_sle_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_eq_slt_swap(i8 %x) {
; CHECK-LABEL: @or_eq_slt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_eq_uge_swap(i8 %x) {
; CHECK-LABEL: @or_eq_uge_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp eq i8 %x, 23
define i1 @or_eq_ugt_swap(i8 %x) {
; CHECK-LABEL: @or_eq_ugt_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp eq i8 %x, 23
define i1 @or_eq_ule_swap(i8 %x) {
; CHECK-LABEL: @or_eq_ule_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_eq_ult_swap(i8 %x) {
; CHECK-LABEL: @or_eq_ult_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp eq i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp eq i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ne_eq_swap(i8 %x) {
; CHECK-LABEL: @or_ne_eq_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ne i8 %x, 23
define i1 @or_ne_sle_swap(i8 %x) {
; CHECK-LABEL: @or_ne_sle_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ne i8 %x, 23
define i1 @or_ne_slt_swap(i8 %x) {
; CHECK-LABEL: @or_ne_slt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ne i8 %x, 23
define i1 @or_ne_ule_swap(i8 %x) {
; CHECK-LABEL: @or_ne_ule_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ne i8 %x, 23
define i1 @or_ne_ult_swap(i8 %x) {
; CHECK-LABEL: @or_ne_ult_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ne i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp ne i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ne i8 %x, 23
define i1 @or_sge_eq_swap(i8 %x) {
; CHECK-LABEL: @or_sge_eq_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sge_ne_swap(i8 %x) {
; CHECK-LABEL: @or_sge_ne_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sge i8 %x, 23
define i1 @or_sge_sge_swap(i8 %x) {
; CHECK-LABEL: @or_sge_sge_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sge i8 %x, 23
define i1 @or_sge_sgt_swap(i8 %x) {
; CHECK-LABEL: @or_sge_sgt_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sge i8 %x, 23
define i1 @or_sge_sle_swap(i8 %x) {
; CHECK-LABEL: @or_sge_sle_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sge_slt_swap(i8 %x) {
; CHECK-LABEL: @or_sge_slt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sge_uge_swap(i8 %x) {
; CHECK-LABEL: @or_sge_uge_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sge i8 %x, 23
define i1 @or_sge_ugt_swap(i8 %x) {
; CHECK-LABEL: @or_sge_ugt_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sge i8 %x, 23
define i1 @or_sge_ule_swap(i8 %x) {
; CHECK-LABEL: @or_sge_ule_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sge_ult_swap(i8 %x) {
; CHECK-LABEL: @or_sge_ult_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sge i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sge i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sgt_eq_swap(i8 %x) {
; CHECK-LABEL: @or_sgt_eq_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sgt_ne_swap(i8 %x) {
; CHECK-LABEL: @or_sgt_ne_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sgt i8 %x, 23
define i1 @or_sgt_sge_swap(i8 %x) {
; CHECK-LABEL: @or_sgt_sge_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sgt i8 %x, 23
define i1 @or_sgt_sgt_swap(i8 %x) {
; CHECK-LABEL: @or_sgt_sgt_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sgt i8 %x, 23
define i1 @or_sgt_sle_swap(i8 %x) {
; CHECK-LABEL: @or_sgt_sle_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sgt_slt_swap(i8 %x) {
; CHECK-LABEL: @or_sgt_slt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sgt_uge_swap(i8 %x) {
; CHECK-LABEL: @or_sgt_uge_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sgt i8 %x, 23
define i1 @or_sgt_ugt_swap(i8 %x) {
; CHECK-LABEL: @or_sgt_ugt_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp sgt i8 %x, 23
define i1 @or_sgt_ule_swap(i8 %x) {
; CHECK-LABEL: @or_sgt_ule_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sgt_ult_swap(i8 %x) {
; CHECK-LABEL: @or_sgt_ult_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp sgt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_sle_eq_swap(i8 %x) {
; CHECK-LABEL: @or_sle_eq_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sle i8 %x, 23
define i1 @or_sle_sle_swap(i8 %x) {
; CHECK-LABEL: @or_sle_sle_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sle i8 %x, 23
define i1 @or_sle_slt_swap(i8 %x) {
; CHECK-LABEL: @or_sle_slt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sle i8 %x, 23
define i1 @or_sle_ule_swap(i8 %x) {
; CHECK-LABEL: @or_sle_ule_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sle i8 %x, 23
define i1 @or_sle_ult_swap(i8 %x) {
; CHECK-LABEL: @or_sle_ult_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp sle i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp sle i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp sle i8 %x, 23
define i1 @or_slt_eq_swap(i8 %x) {
; CHECK-LABEL: @or_slt_eq_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp slt i8 %x, 23
define i1 @or_slt_sle_swap(i8 %x) {
; CHECK-LABEL: @or_slt_sle_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp slt i8 %x, 23
define i1 @or_slt_slt_swap(i8 %x) {
; CHECK-LABEL: @or_slt_slt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp slt i8 %x, 23
define i1 @or_slt_ule_swap(i8 %x) {
; CHECK-LABEL: @or_slt_ule_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp slt i8 %x, 23
define i1 @or_slt_ult_swap(i8 %x) {
; CHECK-LABEL: @or_slt_ult_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp slt i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp slt i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp slt i8 %x, 23
define i1 @or_uge_eq_swap(i8 %x) {
; CHECK-LABEL: @or_uge_eq_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_uge_ne_swap(i8 %x) {
; CHECK-LABEL: @or_uge_ne_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp uge i8 %x, 23
define i1 @or_uge_sge_swap(i8 %x) {
; CHECK-LABEL: @or_uge_sge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_uge_sgt_swap(i8 %x) {
; CHECK-LABEL: @or_uge_sgt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_uge_sle_swap(i8 %x) {
; CHECK-LABEL: @or_uge_sle_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_uge_slt_swap(i8 %x) {
; CHECK-LABEL: @or_uge_slt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_uge_uge_swap(i8 %x) {
; CHECK-LABEL: @or_uge_uge_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp uge i8 %x, 23
define i1 @or_uge_ugt_swap(i8 %x) {
; CHECK-LABEL: @or_uge_ugt_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp uge i8 %x, 23
define i1 @or_uge_ule_swap(i8 %x) {
; CHECK-LABEL: @or_uge_ule_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_uge_ult_swap(i8 %x) {
; CHECK-LABEL: @or_uge_ult_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp uge i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp uge i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ugt_eq_swap(i8 %x) {
; CHECK-LABEL: @or_ugt_eq_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp eq i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp eq i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ugt_ne_swap(i8 %x) {
; CHECK-LABEL: @or_ugt_ne_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ne i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ne i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ugt i8 %x, 23
define i1 @or_ugt_sge_swap(i8 %x) {
; CHECK-LABEL: @or_ugt_sge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ugt_sgt_swap(i8 %x) {
; CHECK-LABEL: @or_ugt_sgt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ugt_sle_swap(i8 %x) {
; CHECK-LABEL: @or_ugt_sle_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ugt_slt_swap(i8 %x) {
; CHECK-LABEL: @or_ugt_slt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ugt_uge_swap(i8 %x) {
; CHECK-LABEL: @or_ugt_uge_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp uge i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp uge i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ugt i8 %x, 23
define i1 @or_ugt_ugt_swap(i8 %x) {
; CHECK-LABEL: @or_ugt_ugt_swap(
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 %x, 17
+; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[X:%.*]], 17
; CHECK-NEXT: ret i1 [[B]]
;
%a = icmp ugt i8 %x, 23
define i1 @or_ugt_ule_swap(i8 %x) {
; CHECK-LABEL: @or_ugt_ule_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ule i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ule i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ugt_ult_swap(i8 %x) {
; CHECK-LABEL: @or_ugt_ult_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp ult i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp ult i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ule_eq_swap(i8 %x) {
; CHECK-LABEL: @or_ule_eq_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ule i8 %x, 23
define i1 @or_ule_sge_swap(i8 %x) {
; CHECK-LABEL: @or_ule_sge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ule_sgt_swap(i8 %x) {
; CHECK-LABEL: @or_ule_sgt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ule_sle_swap(i8 %x) {
; CHECK-LABEL: @or_ule_sle_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ule_slt_swap(i8 %x) {
; CHECK-LABEL: @or_ule_slt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ule_ule_swap(i8 %x) {
; CHECK-LABEL: @or_ule_ule_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ule i8 %x, 23
define i1 @or_ule_ult_swap(i8 %x) {
; CHECK-LABEL: @or_ule_ult_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ule i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp ule i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ule i8 %x, 23
define i1 @or_ult_eq_swap(i8 %x) {
; CHECK-LABEL: @or_ult_eq_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ult i8 %x, 23
define i1 @or_ult_sge_swap(i8 %x) {
; CHECK-LABEL: @or_ult_sge_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sge i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sge i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ult_sgt_swap(i8 %x) {
; CHECK-LABEL: @or_ult_sgt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sgt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ult_sle_swap(i8 %x) {
; CHECK-LABEL: @or_ult_sle_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp sle i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp sle i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ult_slt_swap(i8 %x) {
; CHECK-LABEL: @or_ult_slt_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 23
-; CHECK-NEXT: [[B:%.*]] = icmp slt i8 %x, 17
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 23
+; CHECK-NEXT: [[B:%.*]] = icmp slt i8 [[X]], 17
; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
; CHECK-NEXT: ret i1 [[C]]
;
define i1 @or_ult_ule_swap(i8 %x) {
; CHECK-LABEL: @or_ult_ule_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ult i8 %x, 23
define i1 @or_ult_ult_swap(i8 %x) {
; CHECK-LABEL: @or_ult_ult_swap(
-; CHECK-NEXT: [[A:%.*]] = icmp ult i8 %x, 23
+; CHECK-NEXT: [[A:%.*]] = icmp ult i8 [[X:%.*]], 23
; CHECK-NEXT: ret i1 [[A]]
;
%a = icmp ult i8 %x, 23
define i1 @eq_eq(i8 %a, i8 %b) {
; CHECK-LABEL: @eq_eq(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp eq i8 %a, %b
define i1 @eq_sge(i8 %a, i8 %b) {
; CHECK-LABEL: @eq_sge(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp eq i8 %a, %b
define i1 @eq_sgt(i8 %a, i8 %b) {
; CHECK-LABEL: @eq_sgt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @eq_sle(i8 %a, i8 %b) {
; CHECK-LABEL: @eq_sle(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp eq i8 %a, %b
define i1 @eq_slt(i8 %a, i8 %b) {
; CHECK-LABEL: @eq_slt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @eq_uge(i8 %a, i8 %b) {
; CHECK-LABEL: @eq_uge(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp eq i8 %a, %b
define i1 @eq_ugt(i8 %a, i8 %b) {
; CHECK-LABEL: @eq_ugt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @eq_ule(i8 %a, i8 %b) {
; CHECK-LABEL: @eq_ule(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp eq i8 %a, %b
define i1 @eq_ult(i8 %a, i8 %b) {
; CHECK-LABEL: @eq_ult(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ne_ne(i8 %a, i8 %b) {
; CHECK-LABEL: @ne_ne(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp ne i8 %a, %b
define i1 @ne_sgt(i8 %a, i8 %b) {
; CHECK-LABEL: @ne_sgt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp ne i8 %a, %b
define i1 @ne_slt(i8 %a, i8 %b) {
; CHECK-LABEL: @ne_slt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp ne i8 %a, %b
define i1 @ne_ugt(i8 %a, i8 %b) {
; CHECK-LABEL: @ne_ugt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp ne i8 %a, %b
define i1 @ne_ult(i8 %a, i8 %b) {
; CHECK-LABEL: @ne_ult(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp ne i8 %a, %b
define i1 @sge_eq(i8 %a, i8 %b) {
; CHECK-LABEL: @sge_eq(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp sge i8 %a, %b
define i1 @sge_sge(i8 %a, i8 %b) {
; CHECK-LABEL: @sge_sge(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp sge i8 %a, %b
define i1 @sge_sgt(i8 %a, i8 %b) {
; CHECK-LABEL: @sge_sgt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp sge i8 %a, %b
define i1 @sge_uge(i8 %a, i8 %b) {
; CHECK-LABEL: @sge_uge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @sge_ugt(i8 %a, i8 %b) {
; CHECK-LABEL: @sge_ugt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @sge_ule(i8 %a, i8 %b) {
; CHECK-LABEL: @sge_ule(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @sge_ult(i8 %a, i8 %b) {
; CHECK-LABEL: @sge_ult(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @sgt_eq(i8 %a, i8 %b) {
; CHECK-LABEL: @sgt_eq(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @sgt_ne(i8 %a, i8 %b) {
; CHECK-LABEL: @sgt_ne(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp sgt i8 %a, %b
define i1 @sgt_sge(i8 %a, i8 %b) {
; CHECK-LABEL: @sgt_sge(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp sgt i8 %a, %b
define i1 @sgt_sgt(i8 %a, i8 %b) {
; CHECK-LABEL: @sgt_sgt(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp sgt i8 %a, %b
define i1 @sgt_slt(i8 %a, i8 %b) {
; CHECK-LABEL: @sgt_slt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @sgt_uge(i8 %a, i8 %b) {
; CHECK-LABEL: @sgt_uge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @sgt_ugt(i8 %a, i8 %b) {
; CHECK-LABEL: @sgt_ugt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @sgt_ule(i8 %a, i8 %b) {
; CHECK-LABEL: @sgt_ule(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @sgt_ult(i8 %a, i8 %b) {
; CHECK-LABEL: @sgt_ult(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @sle_eq(i8 %a, i8 %b) {
; CHECK-LABEL: @sle_eq(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp sle i8 %a, %b
define i1 @sle_sle(i8 %a, i8 %b) {
; CHECK-LABEL: @sle_sle(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp sle i8 %a, %b
define i1 @sle_slt(i8 %a, i8 %b) {
; CHECK-LABEL: @sle_slt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp sle i8 %a, %b
define i1 @sle_uge(i8 %a, i8 %b) {
; CHECK-LABEL: @sle_uge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @sle_ugt(i8 %a, i8 %b) {
; CHECK-LABEL: @sle_ugt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @sle_ule(i8 %a, i8 %b) {
; CHECK-LABEL: @sle_ule(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @sle_ult(i8 %a, i8 %b) {
; CHECK-LABEL: @sle_ult(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @slt_eq(i8 %a, i8 %b) {
; CHECK-LABEL: @slt_eq(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @slt_ne(i8 %a, i8 %b) {
; CHECK-LABEL: @slt_ne(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp slt i8 %a, %b
define i1 @slt_sgt(i8 %a, i8 %b) {
; CHECK-LABEL: @slt_sgt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @slt_sle(i8 %a, i8 %b) {
; CHECK-LABEL: @slt_sle(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp slt i8 %a, %b
define i1 @slt_slt(i8 %a, i8 %b) {
; CHECK-LABEL: @slt_slt(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp slt i8 %a, %b
define i1 @slt_uge(i8 %a, i8 %b) {
; CHECK-LABEL: @slt_uge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @slt_ugt(i8 %a, i8 %b) {
; CHECK-LABEL: @slt_ugt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @slt_ule(i8 %a, i8 %b) {
; CHECK-LABEL: @slt_ule(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @slt_ult(i8 %a, i8 %b) {
; CHECK-LABEL: @slt_ult(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @uge_eq(i8 %a, i8 %b) {
; CHECK-LABEL: @uge_eq(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp uge i8 %a, %b
define i1 @uge_sge(i8 %a, i8 %b) {
; CHECK-LABEL: @uge_sge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @uge_sgt(i8 %a, i8 %b) {
; CHECK-LABEL: @uge_sgt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @uge_sle(i8 %a, i8 %b) {
; CHECK-LABEL: @uge_sle(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @uge_slt(i8 %a, i8 %b) {
; CHECK-LABEL: @uge_slt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @uge_uge(i8 %a, i8 %b) {
; CHECK-LABEL: @uge_uge(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp uge i8 %a, %b
define i1 @uge_ugt(i8 %a, i8 %b) {
; CHECK-LABEL: @uge_ugt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp uge i8 %a, %b
define i1 @ugt_eq(i8 %a, i8 %b) {
; CHECK-LABEL: @ugt_eq(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ugt_ne(i8 %a, i8 %b) {
; CHECK-LABEL: @ugt_ne(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp ugt i8 %a, %b
define i1 @ugt_sge(i8 %a, i8 %b) {
; CHECK-LABEL: @ugt_sge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ugt_sgt(i8 %a, i8 %b) {
; CHECK-LABEL: @ugt_sgt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ugt_sle(i8 %a, i8 %b) {
; CHECK-LABEL: @ugt_sle(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ugt_slt(i8 %a, i8 %b) {
; CHECK-LABEL: @ugt_slt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ugt_uge(i8 %a, i8 %b) {
; CHECK-LABEL: @ugt_uge(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp ugt i8 %a, %b
define i1 @ugt_ugt(i8 %a, i8 %b) {
; CHECK-LABEL: @ugt_ugt(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp ugt i8 %a, %b
define i1 @ugt_ult(i8 %a, i8 %b) {
; CHECK-LABEL: @ugt_ult(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ule_eq(i8 %a, i8 %b) {
; CHECK-LABEL: @ule_eq(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp ule i8 %a, %b
define i1 @ule_sge(i8 %a, i8 %b) {
; CHECK-LABEL: @ule_sge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ule_sgt(i8 %a, i8 %b) {
; CHECK-LABEL: @ule_sgt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ule_sle(i8 %a, i8 %b) {
; CHECK-LABEL: @ule_sle(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ule_slt(i8 %a, i8 %b) {
; CHECK-LABEL: @ule_slt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ule_ule(i8 %a, i8 %b) {
; CHECK-LABEL: @ule_ule(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp ule i8 %a, %b
define i1 @ule_ult(i8 %a, i8 %b) {
; CHECK-LABEL: @ule_ult(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP1]]
;
%cmp1 = icmp ule i8 %a, %b
define i1 @ult_eq(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_eq(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ult_ne(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_ne(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp ult i8 %a, %b
define i1 @ult_sge(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_sge(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ult_sgt(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_sgt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ult_sle(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_sle(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ult_slt(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_slt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ult_ugt(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_ugt(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 %a, %b
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i8 [[A]], [[B]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ult_ule(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_ule(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp ult i8 %a, %b
define i1 @ult_ult(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_ult(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp1 = icmp ult i8 %a, %b
define <2 x i1> @ult_ule_vec(<2 x i8> %a, <2 x i8> %b) {
; CHECK-LABEL: @ult_ule_vec(
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ule <2 x i8> %a, %b
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ule <2 x i8> [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret <2 x i1> [[CMP2]]
;
%cmp1 = icmp ult <2 x i8> %a, %b
define i1 @ult_ne_swap(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_ne_swap(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 %b, %a
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[B]], [[A]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
define i1 @ult_ule_swap(i8 %a, i8 %b) {
; CHECK-LABEL: @ult_ule_swap(
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 %a, %b
-; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 %b, %a
+; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[CMP2:%.*]] = icmp uge i8 [[B]], [[A]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;