llvm-for-llvmta/test/CodeGen/Hexagon/twoaddressbug.ll

128 lines
4.5 KiB
LLVM

; RUN: llc -march=hexagon -O2 < %s
; REQUIRES: asserts
; This file used to fail with an "UNREACHABLE executed!" in Post-RA pseudo
; instruction expansion pass due to a bug in the TwoAddressInstructionPass we
; were not handling sub register indexes when rewriting tied operands.
target triple = "hexagon"
%0 = type { i8, i8, %1, i32, i32, %7, i8, i8, %8, i8, i32, i16, i16, [2500 x i8], i16, i16, i16, i8*, [1024 x i8], i32, i32, i32, i32, i32, i8 }
%1 = type { i8, %2, i8, i8, i32 }
%2 = type { %3 }
%3 = type { i8, [256 x i8], %4, i8, i16, i32 }
%4 = type { %5 }
%5 = type { %6 }
%6 = type { [2 x i64] }
%7 = type { i32, i8 }
%8 = type { %7, i32, i32, %1 }
%9 = type { %10, i8* }
%10 = type { i16, i16, i32 }
%11 = type { i8, i32 }
@g0 = external hidden global [2 x %0], align 8
@g1 = external hidden constant %9, align 4
@g2 = external hidden constant %9, align 4
@g3 = external hidden constant %9, align 4
@g4 = external hidden constant %9, align 4
; Function Attrs: optsize
declare void @f0(%9*, i32, i32, i32) #0
; Function Attrs: nounwind optsize ssp
define hidden fastcc void @f1(i64 %a0, i8 zeroext %a1, i8 zeroext %a2) #1 {
b0:
%v0 = alloca %11, align 4
%v1 = icmp ne i8 %a1, 0
%v2 = trunc i64 %a0 to i32
br i1 %v1, label %b1, label %b4
b1: ; preds = %b0
call void @f0(%9* @g1, i32 %v2, i32 0, i32 0) #2
%v3 = getelementptr inbounds [2 x %0], [2 x %0]* @g0, i32 0, i32 %v2, i32 7
store i8 1, i8* %v3, align 1
%v4 = icmp eq i8 %a2, 0
br i1 %v4, label %b4, label %b2
b2: ; preds = %b1
%v5 = getelementptr inbounds %11, %11* %v0, i32 0, i32 0
store i8 0, i8* %v5, align 4
%v6 = getelementptr inbounds %11, %11* %v0, i32 0, i32 1
store i32 0, i32* %v6, align 4
%v7 = getelementptr inbounds [2 x %0], [2 x %0]* @g0, i32 0, i32 %v2, i32 3
%v8 = load i32, i32* %v7, align 8
%v9 = getelementptr inbounds [2 x %0], [2 x %0]* @g0, i32 0, i32 %v2, i32 4
%v10 = load i32, i32* %v9, align 4
%v11 = getelementptr inbounds [2 x %0], [2 x %0]* @g0, i32 0, i32 %v2, i32 19
%v12 = load i32, i32* %v11, align 4
%v13 = call zeroext i8 @f2(i64 %a0, i32 %v8, i32 %v10, i32 %v12, i8 zeroext 0, %11* %v0) #2
%v14 = icmp eq i8 %v13, 0
br i1 %v14, label %b4, label %b3
b3: ; preds = %b2
%v15 = zext i8 %v13 to i32
call void @f0(%9* @g2, i32 %v15, i32 %v2, i32 0) #2
br label %b4
b4: ; preds = %b3, %b2, %b1, %b0
%v16 = getelementptr inbounds [2 x %0], [2 x %0]* @g0, i32 0, i32 %v2, i32 1
%v17 = load i8, i8* %v16, align 1
%v18 = zext i8 %v17 to i32
switch i32 %v18, label %b14 [
i32 2, label %b11
i32 1, label %b5
i32 4, label %b8
i32 3, label %b11
]
b5: ; preds = %b4
call void @f0(%9* @g3, i32 %v2, i32 0, i32 0) #2
br i1 %v1, label %b7, label %b6
b6: ; preds = %b5
call fastcc void @f3(i64 %a0, i8 zeroext 0, i8 zeroext 1, i32 1) #0
br label %b14
b7: ; preds = %b5
call fastcc void @f3(i64 %a0, i8 zeroext 0, i8 zeroext 0, i32 1) #0
br label %b14
b8: ; preds = %b4
call void @f0(%9* @g4, i32 %v2, i32 0, i32 0) #2
%v19 = getelementptr inbounds [2 x %0], [2 x %0]* @g0, i32 0, i32 %v2, i32 6
store i8 1, i8* %v19, align 8
br i1 %v1, label %b10, label %b9
b9: ; preds = %b8
call fastcc void @f3(i64 %a0, i8 zeroext 0, i8 zeroext 1, i32 1) #0
br label %b14
b10: ; preds = %b8
call fastcc void @f3(i64 %a0, i8 zeroext 0, i8 zeroext 0, i32 1) #0
br label %b14
b11: ; preds = %b4, %b4
br i1 %v1, label %b13, label %b12
b12: ; preds = %b11
call fastcc void @f3(i64 %a0, i8 zeroext 0, i8 zeroext 1, i32 1) #0
br label %b14
b13: ; preds = %b11
call fastcc void @f3(i64 %a0, i8 zeroext 0, i8 zeroext 0, i32 1) #0
br label %b14
b14: ; preds = %b13, %b12, %b10, %b9, %b7, %b6, %b4
ret void
}
; Function Attrs: optsize
declare zeroext i8 @f2(i64, i32, i32, i32, i8 zeroext, %11*) #0
; Function Attrs: nounwind optsize ssp
declare hidden fastcc void @f3(i64, i8 zeroext, i8 zeroext, i32) #1
attributes #0 = { optsize }
attributes #1 = { nounwind optsize ssp }
attributes #2 = { nounwind optsize }