| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc -march=hexagon < %s | FileCheck %s |
| |
| @array8 = global [128 x i8] zeroinitializer |
| @array32 = global [128 x i32] zeroinitializer |
| @global_gp = global i1 false |
| |
| ; Sign extensions |
| |
| define i32 @f0(i1* %a0) #0 { |
| ; CHECK-LABEL: f0: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = memub(r0+#1) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = sub(#0,r0) |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: } |
| %v0 = getelementptr i1, i1* %a0, i32 1 |
| %v1 = load i1, i1* %v0 |
| %v2 = sext i1 %v1 to i32 |
| ret i32 %v2 |
| } |
| |
| define i32 @f1(i1* %a0, i32 %a1) #0 { |
| ; CHECK-LABEL: f1: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = memub(r0+r1<<#0) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = sub(#0,r0) |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: } |
| %v0 = getelementptr i1, i1* %a0, i32 %a1 |
| %v1 = load i1, i1* %v0 |
| %v2 = sext i1 %v1 to i32 |
| ret i32 %v2 |
| } |
| |
| define i32 @f2(i32 %a0) #0 { |
| ; CHECK-LABEL: f2: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = memub(r0+##array8) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = sub(#0,r0) |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: } |
| %v0 = getelementptr [128 x i8], [128 x i8]* @array8, i32 0, i32 %a0 |
| %v1 = bitcast i8* %v0 to i1* |
| %v2 = load i1, i1* %v1 |
| %v3 = sext i1 %v2 to i32 |
| ret i32 %v3 |
| } |
| |
| define i32 @f3(i32 %a0) #0 { |
| ; CHECK-LABEL: f3: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = memub(r0<<#2+##array32) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = sub(#0,r0) |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: } |
| %v0 = getelementptr [128 x i32], [128 x i32]* @array32, i32 0, i32 %a0 |
| %v1 = bitcast i32* %v0 to i1* |
| %v2 = load i1, i1* %v1 |
| %v3 = sext i1 %v2 to i32 |
| ret i32 %v3 |
| } |
| |
| define i32 @f4() #0 { |
| ; CHECK-LABEL: f4: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = memub(gp+#global_gp) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = sub(#0,r0) |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: } |
| %v0 = load i1, i1* @global_gp |
| %v1 = sext i1 %v0 to i32 |
| ret i32 %v1 |
| } |
| |
| define i32 @f5(i64 %a0, i64 %a1, i64 %a2, i1 signext %a3) #0 { |
| ; CHECK-LABEL: f5: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = memub(r29+#0) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = sub(#0,r0) |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: } |
| %v0 = sext i1 %a3 to i32 |
| ret i32 %v0 |
| } |
| |
| define i64 @f6(i1* %a0) #0 { |
| ; CHECK-LABEL: f6: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = memub(r0+#1) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = sub(#0,r0) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r1 = asr(r0,#31) |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: } |
| %v0 = getelementptr i1, i1* %a0, i32 1 |
| %v1 = load i1, i1* %v0 |
| %v2 = sext i1 %v1 to i64 |
| ret i64 %v2 |
| } |
| |
| define i64 @f7(i1* %a0, i32 %a1) #0 { |
| ; CHECK-LABEL: f7: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = memub(r0+r1<<#0) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = sub(#0,r0) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r1 = asr(r0,#31) |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: } |
| %v0 = getelementptr i1, i1* %a0, i32 %a1 |
| %v1 = load i1, i1* %v0 |
| %v2 = sext i1 %v1 to i64 |
| ret i64 %v2 |
| } |
| |
| define i64 @f8(i32 %a0) #0 { |
| ; CHECK-LABEL: f8: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = memub(r0+##array8) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = sub(#0,r0) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r1 = asr(r0,#31) |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: } |
| %v0 = getelementptr [128 x i8], [128 x i8]* @array8, i32 0, i32 %a0 |
| %v1 = bitcast i8* %v0 to i1* |
| %v2 = load i1, i1* %v1 |
| %v3 = sext i1 %v2 to i64 |
| ret i64 %v3 |
| } |
| |
| define i64 @f9(i32 %a0) #0 { |
| ; CHECK-LABEL: f9: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = memub(r0<<#2+##array32) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = sub(#0,r0) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r1 = asr(r0,#31) |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: } |
| %v0 = getelementptr [128 x i32], [128 x i32]* @array32, i32 0, i32 %a0 |
| %v1 = bitcast i32* %v0 to i1* |
| %v2 = load i1, i1* %v1 |
| %v3 = sext i1 %v2 to i64 |
| ret i64 %v3 |
| } |
| |
| define i64 @f10() #0 { |
| ; CHECK-LABEL: f10: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = memub(gp+#global_gp) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = sub(#0,r0) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r1 = asr(r0,#31) |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: } |
| %v0 = load i1, i1* @global_gp |
| %v1 = sext i1 %v0 to i64 |
| ret i64 %v1 |
| } |
| |
| define i64 @f11(i64 %a0, i64 %a1, i64 %a2, i1 signext %a3) #0 { |
| ; CHECK-LABEL: f11: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = memub(r29+#0) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = sub(#0,r0) |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r1 = asr(r0,#31) |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: } |
| %v0 = sext i1 %a3 to i64 |
| ret i64 %v0 |
| } |
| |
| ; Zero-extensions |
| |
| define i32 @f12(i1* %a0) #0 { |
| ; CHECK-LABEL: f12: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r0 = memub(r0+#1) |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: } |
| %v0 = getelementptr i1, i1* %a0, i32 1 |
| %v1 = load i1, i1* %v0 |
| %v2 = zext i1 %v1 to i32 |
| ret i32 %v2 |
| } |
| |
| define i32 @f13(i1* %a0, i32 %a1) #0 { |
| ; CHECK-LABEL: f13: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: r0 = memub(r0+r1<<#0) |
| ; CHECK-NEXT: } |
| %v0 = getelementptr i1, i1* %a0, i32 %a1 |
| %v1 = load i1, i1* %v0 |
| %v2 = zext i1 %v1 to i32 |
| ret i32 %v2 |
| } |
| |
| define i32 @f14(i32 %a0) #0 { |
| ; CHECK-LABEL: f14: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: r0 = memub(r0+##array8) |
| ; CHECK-NEXT: } |
| %v0 = getelementptr [128 x i8], [128 x i8]* @array8, i32 0, i32 %a0 |
| %v1 = bitcast i8* %v0 to i1* |
| %v2 = load i1, i1* %v1 |
| %v3 = zext i1 %v2 to i32 |
| ret i32 %v3 |
| } |
| |
| define i32 @f15(i32 %a0) #0 { |
| ; CHECK-LABEL: f15: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: r0 = memub(r0<<#2+##array32) |
| ; CHECK-NEXT: } |
| %v0 = getelementptr [128 x i32], [128 x i32]* @array32, i32 0, i32 %a0 |
| %v1 = bitcast i32* %v0 to i1* |
| %v2 = load i1, i1* %v1 |
| %v3 = zext i1 %v2 to i32 |
| ret i32 %v3 |
| } |
| |
| define i32 @f16() #0 { |
| ; CHECK-LABEL: f16: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: r0 = memub(gp+#global_gp) |
| ; CHECK-NEXT: } |
| %v0 = load i1, i1* @global_gp |
| %v1 = zext i1 %v0 to i32 |
| ret i32 %v1 |
| } |
| |
| define i32 @f17(i64 %a0, i64 %a1, i64 %a2, i1 zeroext %a3) #0 { |
| ; CHECK-LABEL: f17: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: r0 = memub(r29+#0) |
| ; CHECK-NEXT: } |
| %v0 = zext i1 %a3 to i32 |
| ret i32 %v0 |
| } |
| |
| define i64 @f18(i1* %a0) #0 { |
| ; CHECK-LABEL: f18: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: r1 = #0 |
| ; CHECK-NEXT: r0 = memub(r0+#1) |
| ; CHECK-NEXT: } |
| %v0 = getelementptr i1, i1* %a0, i32 1 |
| %v1 = load i1, i1* %v0 |
| %v2 = zext i1 %v1 to i64 |
| ret i64 %v2 |
| } |
| |
| define i64 @f19(i1* %a0, i32 %a1) #0 { |
| ; CHECK-LABEL: f19: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r1 = #0 |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: r0 = memub(r0+r1<<#0) |
| ; CHECK-NEXT: } |
| %v0 = getelementptr i1, i1* %a0, i32 %a1 |
| %v1 = load i1, i1* %v0 |
| %v2 = zext i1 %v1 to i64 |
| ret i64 %v2 |
| } |
| |
| define i64 @f20(i32 %a0) #0 { |
| ; CHECK-LABEL: f20: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r1 = #0 |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: r0 = memub(r0+##array8) |
| ; CHECK-NEXT: } |
| %v0 = getelementptr [128 x i8], [128 x i8]* @array8, i32 0, i32 %a0 |
| %v1 = bitcast i8* %v0 to i1* |
| %v2 = load i1, i1* %v1 |
| %v3 = zext i1 %v2 to i64 |
| ret i64 %v3 |
| } |
| |
| define i64 @f21(i32 %a0) #0 { |
| ; CHECK-LABEL: f21: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r1 = #0 |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: r0 = memub(r0<<#2+##array32) |
| ; CHECK-NEXT: } |
| %v0 = getelementptr [128 x i32], [128 x i32]* @array32, i32 0, i32 %a0 |
| %v1 = bitcast i32* %v0 to i1* |
| %v2 = load i1, i1* %v1 |
| %v3 = zext i1 %v2 to i64 |
| ret i64 %v3 |
| } |
| |
| define i64 @f22() #0 { |
| ; CHECK-LABEL: f22: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r1 = #0 |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: r0 = memub(gp+#global_gp) |
| ; CHECK-NEXT: } |
| %v0 = load i1, i1* @global_gp |
| %v1 = zext i1 %v0 to i64 |
| ret i64 %v1 |
| } |
| |
| define i64 @f23(i64 %a0, i64 %a1, i64 %a2, i1 signext %a3) #0 { |
| ; CHECK-LABEL: f23: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: { |
| ; CHECK-NEXT: r1 = #0 |
| ; CHECK-NEXT: jumpr r31 |
| ; CHECK-NEXT: r0 = memub(r29+#0) |
| ; CHECK-NEXT: } |
| %v0 = zext i1 %a3 to i64 |
| ret i64 %v0 |
| } |
| |
| attributes #0 = { nounwind "target-cpu"="hexagonv66" } |