blob: 3000ff27251addb52a3593cb62706d345477edbd [file] [log] [blame]
; RUN: llc < %s -mtriple=ve | FileCheck %s
; RUN: llc < %s -mtriple=ve -relocation-model=pic \
; RUN: | FileCheck %s -check-prefix=PIC
@switch.table.br_jt4 = private unnamed_addr constant [4 x i32] [i32 3, i32 0, i32 4, i32 7], align 4
@switch.table.br_jt7 = private unnamed_addr constant [9 x i32] [i32 3, i32 0, i32 4, i32 7, i32 3, i32 3, i32 5, i32 11, i32 10], align 4
@switch.table.br_jt8 = private unnamed_addr constant [9 x i32] [i32 3, i32 0, i32 4, i32 7, i32 3, i32 1, i32 5, i32 11, i32 10], align 4
; Function Attrs: norecurse nounwind readnone
define signext i32 @br_jt3(i32 signext %0) {
; CHECK-LABEL: br_jt3:
; CHECK: # %bb.0:
; CHECK-NEXT: and %s0, %s0, (32)0
; CHECK-NEXT: breq.w 1, %s0, .LBB{{[0-9]+}}_1
; CHECK-NEXT: # %bb.2:
; CHECK-NEXT: breq.w 4, %s0, .LBB{{[0-9]+}}_5
; CHECK-NEXT: # %bb.3:
; CHECK-NEXT: brne.w 2, %s0, .LBB{{[0-9]+}}_6
; CHECK-NEXT: # %bb.4:
; CHECK-NEXT: or %s0, 0, (0)1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_1:
; CHECK-NEXT: or %s0, 3, (0)1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_5:
; CHECK-NEXT: or %s0, 7, (0)1
; CHECK-NEXT: .LBB{{[0-9]+}}_6:
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
;
; PIC-LABEL: br_jt3:
; PIC: # %bb.0:
; PIC-NEXT: and %s0, %s0, (32)0
; PIC-NEXT: breq.w 1, %s0, .LBB0_1
; PIC-NEXT: # %bb.2:
; PIC-NEXT: breq.w 4, %s0, .LBB0_5
; PIC-NEXT: # %bb.3:
; PIC-NEXT: brne.w 2, %s0, .LBB0_6
; PIC-NEXT: # %bb.4:
; PIC-NEXT: or %s0, 0, (0)1
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: b.l.t (, %s10)
; PIC-NEXT: .LBB0_1:
; PIC-NEXT: or %s0, 3, (0)1
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: b.l.t (, %s10)
; PIC-NEXT: .LBB0_5:
; PIC-NEXT: or %s0, 7, (0)1
; PIC-NEXT: .LBB0_6:
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: b.l.t (, %s10)
switch i32 %0, label %4 [
i32 1, label %5
i32 2, label %2
i32 4, label %3
]
2: ; preds = %1
br label %5
3: ; preds = %1
br label %5
4: ; preds = %1
br label %5
5: ; preds = %1, %4, %3, %2
%6 = phi i32 [ %0, %4 ], [ 7, %3 ], [ 0, %2 ], [ 3, %1 ]
ret i32 %6
}
; Function Attrs: norecurse nounwind readnone
define signext i32 @br_jt4(i32 signext %0) {
; CHECK-LABEL: br_jt4:
; CHECK: # %bb.0:
; CHECK-NEXT: and %s0, %s0, (32)0
; CHECK-NEXT: adds.w.sx %s1, -1, %s0
; CHECK-NEXT: cmpu.w %s2, 3, %s1
; CHECK-NEXT: brgt.w 0, %s2, .LBB{{[0-9]+}}_2
; CHECK-NEXT: # %bb.1:
; CHECK-NEXT: adds.w.sx %s0, %s1, (0)1
; CHECK-NEXT: sll %s0, %s0, 2
; CHECK-NEXT: lea %s1, .Lswitch.table.br_jt4@lo
; CHECK-NEXT: and %s1, %s1, (32)0
; CHECK-NEXT: lea.sl %s1, .Lswitch.table.br_jt4@hi(, %s1)
; CHECK-NEXT: ldl.sx %s0, (%s0, %s1)
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
;
; PIC-LABEL: br_jt4:
; PIC: # %bb.0:
; PIC-NEXT: st %s15, 24(, %s11)
; PIC-NEXT: st %s16, 32(, %s11)
; PIC-NEXT: and %s0, %s0, (32)0
; PIC-NEXT: adds.w.sx %s1, -1, %s0
; PIC-NEXT: cmpu.w %s2, 3, %s1
; PIC-NEXT: lea %s15, _GLOBAL_OFFSET_TABLE_@pc_lo(-24)
; PIC-NEXT: and %s15, %s15, (32)0
; PIC-NEXT: sic %s16
; PIC-NEXT: lea.sl %s15, _GLOBAL_OFFSET_TABLE_@pc_hi(%s16, %s15)
; PIC-NEXT: brgt.w 0, %s2, .LBB1_2
; PIC-NEXT: # %bb.1:
; PIC-NEXT: adds.w.sx %s0, %s1, (0)1
; PIC-NEXT: sll %s0, %s0, 2
; PIC-NEXT: lea %s1, .Lswitch.table.br_jt4@gotoff_lo
; PIC-NEXT: and %s1, %s1, (32)0
; PIC-NEXT: lea.sl %s1, .Lswitch.table.br_jt4@gotoff_hi(%s1, %s15)
; PIC-NEXT: ldl.sx %s0, (%s0, %s1)
; PIC-NEXT: br.l.t .LBB1_3
; PIC-NEXT: .LBB1_2:
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: .LBB1_3:
; PIC-NEXT: ld %s16, 32(, %s11)
; PIC-NEXT: ld %s15, 24(, %s11)
; PIC-NEXT: b.l.t (, %s10)
%2 = add i32 %0, -1
%3 = icmp ult i32 %2, 4
br i1 %3, label %4, label %8
4: ; preds = %1
%5 = sext i32 %2 to i64
%6 = getelementptr inbounds [4 x i32], [4 x i32]* @switch.table.br_jt4, i64 0, i64 %5
%7 = load i32, i32* %6, align 4
ret i32 %7
8: ; preds = %1
ret i32 %0
}
; Function Attrs: norecurse nounwind readnone
define signext i32 @br_jt7(i32 signext %0) {
; CHECK-LABEL: br_jt7:
; CHECK: # %bb.0:
; CHECK-NEXT: and %s0, %s0, (32)0
; CHECK-NEXT: adds.w.sx %s1, -1, %s0
; CHECK-NEXT: cmpu.w %s2, 8, %s1
; CHECK-NEXT: brgt.w 0, %s2, .LBB{{[0-9]+}}_3
; CHECK-NEXT: # %bb.1:
; CHECK-NEXT: and %s2, %s1, (48)0
; CHECK-NEXT: lea %s3, 463
; CHECK-NEXT: and %s3, %s3, (32)0
; CHECK-NEXT: srl %s2, %s3, %s2
; CHECK-NEXT: and %s2, 1, %s2
; CHECK-NEXT: brne.w 0, %s2, .LBB{{[0-9]+}}_2
; CHECK-NEXT: .LBB{{[0-9]+}}_3:
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: adds.w.sx %s0, %s1, (0)1
; CHECK-NEXT: sll %s0, %s0, 2
; CHECK-NEXT: lea %s1, .Lswitch.table.br_jt7@lo
; CHECK-NEXT: and %s1, %s1, (32)0
; CHECK-NEXT: lea.sl %s1, .Lswitch.table.br_jt7@hi(, %s1)
; CHECK-NEXT: ldl.sx %s0, (%s0, %s1)
; CHECK-NEXT: b.l.t (, %s10)
;
; PIC-LABEL: br_jt7:
; PIC: # %bb.0:
; PIC-NEXT: st %s15, 24(, %s11)
; PIC-NEXT: st %s16, 32(, %s11)
; PIC-NEXT: and %s0, %s0, (32)0
; PIC-NEXT: adds.w.sx %s1, -1, %s0
; PIC-NEXT: cmpu.w %s2, 8, %s1
; PIC-NEXT: lea %s15, _GLOBAL_OFFSET_TABLE_@pc_lo(-24)
; PIC-NEXT: and %s15, %s15, (32)0
; PIC-NEXT: sic %s16
; PIC-NEXT: lea.sl %s15, _GLOBAL_OFFSET_TABLE_@pc_hi(%s16, %s15)
; PIC-NEXT: brgt.w 0, %s2, .LBB2_3
; PIC-NEXT: # %bb.1:
; PIC-NEXT: and %s2, %s1, (48)0
; PIC-NEXT: lea %s3, 463
; PIC-NEXT: and %s3, %s3, (32)0
; PIC-NEXT: srl %s2, %s3, %s2
; PIC-NEXT: and %s2, 1, %s2
; PIC-NEXT: brne.w 0, %s2, .LBB2_2
; PIC-NEXT: .LBB2_3:
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: br.l.t .LBB2_4
; PIC-NEXT: .LBB2_2:
; PIC-NEXT: adds.w.sx %s0, %s1, (0)1
; PIC-NEXT: sll %s0, %s0, 2
; PIC-NEXT: lea %s1, .Lswitch.table.br_jt7@gotoff_lo
; PIC-NEXT: and %s1, %s1, (32)0
; PIC-NEXT: lea.sl %s1, .Lswitch.table.br_jt7@gotoff_hi(%s1, %s15)
; PIC-NEXT: ldl.sx %s0, (%s0, %s1)
; PIC-NEXT: .LBB2_4:
; PIC-NEXT: ld %s16, 32(, %s11)
; PIC-NEXT: ld %s15, 24(, %s11)
; PIC-NEXT: b.l.t (, %s10)
%2 = add i32 %0, -1
%3 = icmp ult i32 %2, 9
br i1 %3, label %4, label %13
4: ; preds = %1
%5 = trunc i32 %2 to i16
%6 = lshr i16 463, %5
%7 = and i16 %6, 1
%8 = icmp eq i16 %7, 0
br i1 %8, label %13, label %9
9: ; preds = %4
%10 = sext i32 %2 to i64
%11 = getelementptr inbounds [9 x i32], [9 x i32]* @switch.table.br_jt7, i64 0, i64 %10
%12 = load i32, i32* %11, align 4
ret i32 %12
13: ; preds = %1, %4
ret i32 %0
}
; Function Attrs: norecurse nounwind readnone
define signext i32 @br_jt8(i32 signext %0) {
; CHECK-LABEL: br_jt8:
; CHECK: # %bb.0:
; CHECK-NEXT: and %s0, %s0, (32)0
; CHECK-NEXT: adds.w.sx %s1, -1, %s0
; CHECK-NEXT: cmpu.w %s2, 8, %s1
; CHECK-NEXT: brgt.w 0, %s2, .LBB{{[0-9]+}}_3
; CHECK-NEXT: # %bb.1:
; CHECK-NEXT: and %s2, %s1, (48)0
; CHECK-NEXT: lea %s3, 495
; CHECK-NEXT: and %s3, %s3, (32)0
; CHECK-NEXT: srl %s2, %s3, %s2
; CHECK-NEXT: and %s2, 1, %s2
; CHECK-NEXT: brne.w 0, %s2, .LBB{{[0-9]+}}_2
; CHECK-NEXT: .LBB{{[0-9]+}}_3:
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: adds.w.sx %s0, %s1, (0)1
; CHECK-NEXT: sll %s0, %s0, 2
; CHECK-NEXT: lea %s1, .Lswitch.table.br_jt8@lo
; CHECK-NEXT: and %s1, %s1, (32)0
; CHECK-NEXT: lea.sl %s1, .Lswitch.table.br_jt8@hi(, %s1)
; CHECK-NEXT: ldl.sx %s0, (%s0, %s1)
; CHECK-NEXT: b.l.t (, %s10)
;
; PIC-LABEL: br_jt8:
; PIC: # %bb.0:
; PIC-NEXT: st %s15, 24(, %s11)
; PIC-NEXT: st %s16, 32(, %s11)
; PIC-NEXT: and %s0, %s0, (32)0
; PIC-NEXT: adds.w.sx %s1, -1, %s0
; PIC-NEXT: cmpu.w %s2, 8, %s1
; PIC-NEXT: lea %s15, _GLOBAL_OFFSET_TABLE_@pc_lo(-24)
; PIC-NEXT: and %s15, %s15, (32)0
; PIC-NEXT: sic %s16
; PIC-NEXT: lea.sl %s15, _GLOBAL_OFFSET_TABLE_@pc_hi(%s16, %s15)
; PIC-NEXT: brgt.w 0, %s2, .LBB3_3
; PIC-NEXT: # %bb.1:
; PIC-NEXT: and %s2, %s1, (48)0
; PIC-NEXT: lea %s3, 495
; PIC-NEXT: and %s3, %s3, (32)0
; PIC-NEXT: srl %s2, %s3, %s2
; PIC-NEXT: and %s2, 1, %s2
; PIC-NEXT: brne.w 0, %s2, .LBB3_2
; PIC-NEXT: .LBB3_3:
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: br.l.t .LBB3_4
; PIC-NEXT: .LBB3_2:
; PIC-NEXT: adds.w.sx %s0, %s1, (0)1
; PIC-NEXT: sll %s0, %s0, 2
; PIC-NEXT: lea %s1, .Lswitch.table.br_jt8@gotoff_lo
; PIC-NEXT: and %s1, %s1, (32)0
; PIC-NEXT: lea.sl %s1, .Lswitch.table.br_jt8@gotoff_hi(%s1, %s15)
; PIC-NEXT: ldl.sx %s0, (%s0, %s1)
; PIC-NEXT: .LBB3_4:
; PIC-NEXT: ld %s16, 32(, %s11)
; PIC-NEXT: ld %s15, 24(, %s11)
; PIC-NEXT: b.l.t (, %s10)
%2 = add i32 %0, -1
%3 = icmp ult i32 %2, 9
br i1 %3, label %4, label %13
4: ; preds = %1
%5 = trunc i32 %2 to i16
%6 = lshr i16 495, %5
%7 = and i16 %6, 1
%8 = icmp eq i16 %7, 0
br i1 %8, label %13, label %9
9: ; preds = %4
%10 = sext i32 %2 to i64
%11 = getelementptr inbounds [9 x i32], [9 x i32]* @switch.table.br_jt8, i64 0, i64 %10
%12 = load i32, i32* %11, align 4
ret i32 %12
13: ; preds = %1, %4
ret i32 %0
}
; Function Attrs: norecurse nounwind readnone
define signext i32 @br_jt3_m(i32 signext %0, i32 signext %1) {
; CHECK-LABEL: br_jt3_m:
; CHECK: # %bb.0:
; CHECK-NEXT: and %s0, %s0, (32)0
; CHECK-NEXT: breq.w 1, %s0, .LBB{{[0-9]+}}_1
; CHECK-NEXT: # %bb.2:
; CHECK-NEXT: breq.w 4, %s0, .LBB{{[0-9]+}}_5
; CHECK-NEXT: # %bb.3:
; CHECK-NEXT: brne.w 2, %s0, .LBB{{[0-9]+}}_6
; CHECK-NEXT: # %bb.4:
; CHECK-NEXT: or %s0, 0, (0)1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_1:
; CHECK-NEXT: or %s0, 3, (0)1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_5:
; CHECK-NEXT: and %s0, %s1, (32)0
; CHECK-NEXT: adds.w.sx %s0, 3, %s0
; CHECK-NEXT: .LBB{{[0-9]+}}_6:
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
;
; PIC-LABEL: br_jt3_m:
; PIC: # %bb.0:
; PIC-NEXT: and %s0, %s0, (32)0
; PIC-NEXT: breq.w 1, %s0, .LBB4_1
; PIC-NEXT: # %bb.2:
; PIC-NEXT: breq.w 4, %s0, .LBB4_5
; PIC-NEXT: # %bb.3:
; PIC-NEXT: brne.w 2, %s0, .LBB4_6
; PIC-NEXT: # %bb.4:
; PIC-NEXT: or %s0, 0, (0)1
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: b.l.t (, %s10)
; PIC-NEXT: .LBB4_1:
; PIC-NEXT: or %s0, 3, (0)1
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: b.l.t (, %s10)
; PIC-NEXT: .LBB4_5:
; PIC-NEXT: and %s0, %s1, (32)0
; PIC-NEXT: adds.w.sx %s0, 3, %s0
; PIC-NEXT: .LBB4_6:
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: b.l.t (, %s10)
switch i32 %0, label %6 [
i32 1, label %7
i32 2, label %3
i32 4, label %4
]
3: ; preds = %2
br label %7
4: ; preds = %2
%5 = add nsw i32 %1, 3
br label %7
6: ; preds = %2
br label %7
7: ; preds = %2, %6, %4, %3
%8 = phi i32 [ %0, %6 ], [ %5, %4 ], [ 0, %3 ], [ 3, %2 ]
ret i32 %8
}
; Function Attrs: norecurse nounwind readnone
define signext i32 @br_jt4_m(i32 signext %0, i32 signext %1) {
; CHECK-LABEL: br_jt4_m:
; CHECK: # %bb.0:
; CHECK-NEXT: and %s0, %s0, (32)0
; CHECK-NEXT: adds.w.sx %s2, -1, %s0
; CHECK-NEXT: cmpu.w %s3, 3, %s2
; CHECK-NEXT: brgt.w 0, %s3, .LBB{{[0-9]+}}_5
; CHECK-NEXT: # %bb.1:
; CHECK-NEXT: adds.w.zx %s0, %s2, (0)1
; CHECK-NEXT: sll %s0, %s0, 3
; CHECK-NEXT: lea %s2, .LJTI5_0@lo
; CHECK-NEXT: and %s2, %s2, (32)0
; CHECK-NEXT: lea.sl %s2, .LJTI5_0@hi(, %s2)
; CHECK-NEXT: ld %s2, (%s2, %s0)
; CHECK-NEXT: or %s0, 3, (0)1
; CHECK-NEXT: b.l.t (, %s2)
; CHECK-NEXT: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, 0, (0)1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_3:
; CHECK-NEXT: or %s0, 4, (0)1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_4:
; CHECK-NEXT: and %s0, %s1, (32)0
; CHECK-NEXT: adds.w.sx %s0, 3, %s0
; CHECK-NEXT: .LBB{{[0-9]+}}_5:
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
;
; PIC-LABEL: br_jt4_m:
; PIC: # %bb.0:
; PIC-NEXT: and %s0, %s0, (32)0
; PIC-NEXT: brlt.w 2, %s0, .LBB5_4
; PIC-NEXT: # %bb.1:
; PIC-NEXT: breq.w 1, %s0, .LBB5_8
; PIC-NEXT: # %bb.2:
; PIC-NEXT: brne.w 2, %s0, .LBB5_7
; PIC-NEXT: # %bb.3:
; PIC-NEXT: or %s0, 0, (0)1
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: b.l.t (, %s10)
; PIC-NEXT: .LBB5_4:
; PIC-NEXT: breq.w 3, %s0, .LBB5_9
; PIC-NEXT: # %bb.5:
; PIC-NEXT: brne.w 4, %s0, .LBB5_7
; PIC-NEXT: # %bb.6:
; PIC-NEXT: and %s0, %s1, (32)0
; PIC-NEXT: adds.w.sx %s0, 3, %s0
; PIC-NEXT: .LBB5_7:
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: b.l.t (, %s10)
; PIC-NEXT: .LBB5_8:
; PIC-NEXT: or %s0, 3, (0)1
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: b.l.t (, %s10)
; PIC-NEXT: .LBB5_9:
; PIC-NEXT: or %s0, 4, (0)1
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: b.l.t (, %s10)
switch i32 %0, label %7 [
i32 1, label %8
i32 2, label %3
i32 3, label %4
i32 4, label %5
]
3: ; preds = %2
br label %8
4: ; preds = %2
br label %8
5: ; preds = %2
%6 = add nsw i32 %1, 3
br label %8
7: ; preds = %2
br label %8
8: ; preds = %2, %7, %5, %4, %3
%9 = phi i32 [ %0, %7 ], [ %6, %5 ], [ 4, %4 ], [ 0, %3 ], [ 3, %2 ]
ret i32 %9
}
; Function Attrs: norecurse nounwind readnone
define signext i32 @br_jt7_m(i32 signext %0, i32 signext %1) {
; CHECK-LABEL: br_jt7_m:
; CHECK: # %bb.0:
; CHECK-NEXT: and %s2, %s0, (32)0
; CHECK-NEXT: adds.w.sx %s0, -1, %s2
; CHECK-NEXT: cmpu.w %s3, 8, %s0
; CHECK-NEXT: brgt.w 0, %s3, .LBB{{[0-9]+}}_8
; CHECK-NEXT: # %bb.1:
; CHECK-NEXT: adds.w.zx %s0, %s0, (0)1
; CHECK-NEXT: sll %s0, %s0, 3
; CHECK-NEXT: lea %s3, .LJTI6_0@lo
; CHECK-NEXT: and %s3, %s3, (32)0
; CHECK-NEXT: lea.sl %s3, .LJTI6_0@hi(, %s3)
; CHECK-NEXT: ld %s3, (%s3, %s0)
; CHECK-NEXT: and %s1, %s1, (32)0
; CHECK-NEXT: or %s0, 3, (0)1
; CHECK-NEXT: b.l.t (, %s3)
; CHECK-NEXT: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, 0, (0)1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_3:
; CHECK-NEXT: or %s0, 4, (0)1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_4:
; CHECK-NEXT: adds.w.sx %s0, 3, %s1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_8:
; CHECK-NEXT: or %s0, 0, %s2
; CHECK-NEXT: .LBB{{[0-9]+}}_9:
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_7:
; CHECK-NEXT: or %s0, 11, (0)1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_6:
; CHECK-NEXT: or %s0, 10, (0)1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_5:
; CHECK-NEXT: adds.w.sx %s0, -2, %s1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
;
; PIC-LABEL: br_jt7_m:
; PIC: # %bb.0:
; PIC-NEXT: and %s0, %s0, (32)0
; PIC-NEXT: brge.w 3, %s0, .LBB6_1
; PIC-NEXT: # %bb.6:
; PIC-NEXT: brlt.w 7, %s0, .LBB6_10
; PIC-NEXT: # %bb.7:
; PIC-NEXT: and %s1, %s1, (32)0
; PIC-NEXT: breq.w 4, %s0, .LBB6_14
; PIC-NEXT: # %bb.8:
; PIC-NEXT: brne.w 7, %s0, .LBB6_16
; PIC-NEXT: # %bb.9:
; PIC-NEXT: adds.w.sx %s0, -2, %s1
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: b.l.t (, %s10)
; PIC-NEXT: .LBB6_1:
; PIC-NEXT: breq.w 1, %s0, .LBB6_2
; PIC-NEXT: # %bb.3:
; PIC-NEXT: breq.w 2, %s0, .LBB6_13
; PIC-NEXT: # %bb.4:
; PIC-NEXT: brne.w 3, %s0, .LBB6_16
; PIC-NEXT: # %bb.5:
; PIC-NEXT: or %s0, 4, (0)1
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: b.l.t (, %s10)
; PIC-NEXT: .LBB6_10:
; PIC-NEXT: breq.w 8, %s0, .LBB6_15
; PIC-NEXT: # %bb.11:
; PIC-NEXT: brne.w 9, %s0, .LBB6_16
; PIC-NEXT: # %bb.12:
; PIC-NEXT: or %s0, 10, (0)1
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: b.l.t (, %s10)
; PIC-NEXT: .LBB6_14:
; PIC-NEXT: adds.w.sx %s0, 3, %s1
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: b.l.t (, %s10)
; PIC-NEXT: .LBB6_2:
; PIC-NEXT: or %s0, 3, (0)1
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: b.l.t (, %s10)
; PIC-NEXT: .LBB6_15:
; PIC-NEXT: or %s0, 11, (0)1
; PIC-NEXT: .LBB6_16:
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: b.l.t (, %s10)
; PIC-NEXT: .LBB6_13:
; PIC-NEXT: or %s0, 0, (0)1
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: b.l.t (, %s10)
switch i32 %0, label %11 [
i32 1, label %12
i32 2, label %3
i32 3, label %4
i32 4, label %5
i32 7, label %7
i32 9, label %9
i32 8, label %10
]
3: ; preds = %2
br label %12
4: ; preds = %2
br label %12
5: ; preds = %2
%6 = add nsw i32 %1, 3
br label %12
7: ; preds = %2
%8 = add nsw i32 %1, -2
br label %12
9: ; preds = %2
br label %12
10: ; preds = %2
br label %12
11: ; preds = %2
br label %12
12: ; preds = %2, %11, %10, %9, %7, %5, %4, %3
%13 = phi i32 [ %0, %11 ], [ 11, %10 ], [ 10, %9 ], [ %8, %7 ], [ %6, %5 ], [ 4, %4 ], [ 0, %3 ], [ 3, %2 ]
ret i32 %13
}
; Function Attrs: norecurse nounwind readnone
define signext i32 @br_jt8_m(i32 signext %0, i32 signext %1) {
; CHECK-LABEL: br_jt8_m:
; CHECK: # %bb.0:
; CHECK-NEXT: and %s2, %s0, (32)0
; CHECK-NEXT: adds.w.sx %s0, -1, %s2
; CHECK-NEXT: cmpu.w %s3, 8, %s0
; CHECK-NEXT: brgt.w 0, %s3, .LBB{{[0-9]+}}_9
; CHECK-NEXT: # %bb.1:
; CHECK-NEXT: adds.w.zx %s0, %s0, (0)1
; CHECK-NEXT: sll %s0, %s0, 3
; CHECK-NEXT: lea %s3, .LJTI7_0@lo
; CHECK-NEXT: and %s3, %s3, (32)0
; CHECK-NEXT: lea.sl %s3, .LJTI7_0@hi(, %s3)
; CHECK-NEXT: ld %s3, (%s3, %s0)
; CHECK-NEXT: and %s1, %s1, (32)0
; CHECK-NEXT: or %s0, 3, (0)1
; CHECK-NEXT: b.l.t (, %s3)
; CHECK-NEXT: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, 0, (0)1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_3:
; CHECK-NEXT: or %s0, 4, (0)1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_4:
; CHECK-NEXT: adds.w.sx %s0, 3, %s1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_9:
; CHECK-NEXT: or %s0, 0, %s2
; CHECK-NEXT: .LBB{{[0-9]+}}_10:
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_5:
; CHECK-NEXT: adds.w.sx %s0, -5, %s1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_6:
; CHECK-NEXT: adds.w.sx %s0, -2, %s1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_8:
; CHECK-NEXT: or %s0, 11, (0)1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
; CHECK-NEXT: .LBB{{[0-9]+}}_7:
; CHECK-NEXT: or %s0, 10, (0)1
; CHECK-NEXT: adds.w.sx %s0, %s0, (0)1
; CHECK-NEXT: b.l.t (, %s10)
;
; PIC-LABEL: br_jt8_m:
; PIC: # %bb.0:
; PIC-NEXT: st %s15, 24(, %s11)
; PIC-NEXT: st %s16, 32(, %s11)
; PIC-NEXT: and %s2, %s0, (32)0
; PIC-NEXT: adds.w.sx %s0, -1, %s2
; PIC-NEXT: cmpu.w %s3, 8, %s0
; PIC-NEXT: lea %s15, _GLOBAL_OFFSET_TABLE_@pc_lo(-24)
; PIC-NEXT: and %s15, %s15, (32)0
; PIC-NEXT: sic %s16
; PIC-NEXT: lea.sl %s15, _GLOBAL_OFFSET_TABLE_@pc_hi(%s16, %s15)
; PIC-NEXT: brgt.w 0, %s3, .LBB7_9
; PIC-NEXT: # %bb.1:
; PIC-NEXT: and %s1, %s1, (32)0
; PIC-NEXT: adds.w.zx %s0, %s0, (0)1
; PIC-NEXT: sll %s0, %s0, 2
; PIC-NEXT: lea %s3, .LJTI7_0@gotoff_lo
; PIC-NEXT: and %s3, %s3, (32)0
; PIC-NEXT: lea.sl %s3, .LJTI7_0@gotoff_hi(%s3, %s15)
; PIC-NEXT: ldl.sx %s0, (%s3, %s0)
; PIC-NEXT: lea %s3, br_jt8_m@gotoff_lo
; PIC-NEXT: and %s3, %s3, (32)0
; PIC-NEXT: lea.sl %s3, br_jt8_m@gotoff_hi(%s3, %s15)
; PIC-NEXT: adds.l %s3, %s0, %s3
; PIC-NEXT: or %s0, 3, (0)1
; PIC-NEXT: b.l.t (, %s3)
; PIC-NEXT: .LBB7_2:
; PIC-NEXT: or %s0, 0, (0)1
; PIC-NEXT: br.l.t .LBB7_10
; PIC-NEXT: .LBB7_3:
; PIC-NEXT: or %s0, 4, (0)1
; PIC-NEXT: br.l.t .LBB7_10
; PIC-NEXT: .LBB7_4:
; PIC-NEXT: adds.w.sx %s0, 3, %s1
; PIC-NEXT: br.l.t .LBB7_10
; PIC-NEXT: .LBB7_9:
; PIC-NEXT: or %s0, 0, %s2
; PIC-NEXT: br.l.t .LBB7_10
; PIC-NEXT: .LBB7_5:
; PIC-NEXT: adds.w.sx %s0, -5, %s1
; PIC-NEXT: br.l.t .LBB7_10
; PIC-NEXT: .LBB7_6:
; PIC-NEXT: adds.w.sx %s0, -2, %s1
; PIC-NEXT: br.l.t .LBB7_10
; PIC-NEXT: .LBB7_8:
; PIC-NEXT: or %s0, 11, (0)1
; PIC-NEXT: br.l.t .LBB7_10
; PIC-NEXT: .LBB7_7:
; PIC-NEXT: or %s0, 10, (0)1
; PIC-NEXT: .LBB7_10:
; PIC-NEXT: adds.w.sx %s0, %s0, (0)1
; PIC-NEXT: ld %s16, 32(, %s11)
; PIC-NEXT: ld %s15, 24(, %s11)
; PIC-NEXT: b.l.t (, %s10)
switch i32 %0, label %13 [
i32 1, label %14
i32 2, label %3
i32 3, label %4
i32 4, label %5
i32 6, label %7
i32 7, label %9
i32 9, label %11
i32 8, label %12
]
3: ; preds = %2
br label %14
4: ; preds = %2
br label %14
5: ; preds = %2
%6 = add nsw i32 %1, 3
br label %14
7: ; preds = %2
%8 = add nsw i32 %1, -5
br label %14
9: ; preds = %2
%10 = add nsw i32 %1, -2
br label %14
11: ; preds = %2
br label %14
12: ; preds = %2
br label %14
13: ; preds = %2
br label %14
14: ; preds = %2, %13, %12, %11, %9, %7, %5, %4, %3
%15 = phi i32 [ %0, %13 ], [ 11, %12 ], [ 10, %11 ], [ %10, %9 ], [ %8, %7 ], [ %6, %5 ], [ 4, %4 ], [ 0, %3 ], [ 3, %2 ]
ret i32 %15
}