1; RUN: llc < %s -mtriple=ve-unknown-unknown | FileCheck %s 2 3define i64 @func1(i64 %a, i32 %b) { 4; CHECK-LABEL: func1: 5; CHECK: # %bb.0: 6; CHECK-NEXT: sll %s2, %s0, %s1 7; CHECK-NEXT: lea %s3, 64 8; CHECK-NEXT: subs.w.sx %s1, %s3, %s1 9; CHECK-NEXT: srl %s0, %s0, %s1 10; CHECK-NEXT: or %s0, %s0, %s2 11; CHECK-NEXT: b.l.t (, %s10) 12 %b64 = zext i32 %b to i64 13 %a.sl = shl i64 %a, %b64 14 %b.inv = sub nsw i32 64, %b 15 %b.inv64 = zext i32 %b.inv to i64 16 %a.sr = lshr i64 %a, %b.inv64 17 %r = or i64 %a.sr, %a.sl 18 ret i64 %r 19} 20 21define i32 @func2(i32 %a, i32 %b) { 22; CHECK-LABEL: func2: 23; CHECK: # %bb.0: 24; CHECK-NEXT: sla.w.sx %s2, %s0, %s1 25; CHECK-NEXT: subs.w.sx %s1, 32, %s1 26; CHECK-NEXT: and %s0, %s0, (32)0 27; CHECK-NEXT: srl %s0, %s0, %s1 28; CHECK-NEXT: or %s0, %s0, %s2 29; CHECK-NEXT: b.l.t (, %s10) 30 %a.sl = shl i32 %a, %b 31 %b.inv = sub nsw i32 32, %b 32 %a.sr = lshr i32 %a, %b.inv 33 %r = or i32 %a.sr, %a.sl 34 ret i32 %r 35} 36 37