; RUN: llc -march=hexagon -verify-machineinstrs < %s | FileCheck %s
; Check that this testcase compiles successfully.
; CHECK: dealloc_return
target triple = "hexagon"
%type.0 = type { %type.1, %type.3, i32, i32 }
%type.1 = type { %type.2 }
%type.2 = type { i8 }
%type.3 = type { ptr, [12 x i8] }
%type.4 = type { i8 }
define weak_odr dereferenceable(28) ptr @fred(ptr %p0, i32 %p1, ptr dereferenceable(28) %p2, i32 %p3, i32 %p4) local_unnamed_addr align 2 {
b0:
%t0 = getelementptr inbounds %type.0, ptr %p0, i32 0, i32 2
%t1 = load i32, ptr %t0, align 4
%t2 = icmp ult i32 %t1, %p1
%t3 = getelementptr inbounds %type.0, ptr %p2, i32 0, i32 2
br i1 %t2, label %b2, label %b1
b1:
%t4 = load i32, ptr %t3, align 4
%t5 = icmp ult i32 %t4, %p3
br i1 %t5, label %b2, label %b3
b2:
tail call void @blah(ptr %p0)
%t7 = load i32, ptr %t3, align 4
%t8 = load i32, ptr %t0, align 4
br label %b3
b3:
%t9 = phi i32 [ %t8, %b2 ], [ %t1, %b1 ]
%t10 = phi i32 [ %t7, %b2 ], [ %t4, %b1 ]
%t11 = sub i32 %t10, %p3
%t12 = icmp ult i32 %t11, %p4
%t13 = select i1 %t12, i32 %t11, i32 %p4
%t14 = xor i32 %t9, -1
%t15 = icmp ult i32 %t13, %t14
br i1 %t15, label %b5, label %b4
b4:
tail call void @danny(ptr %p0)
br label %b5
b5:
%t17 = icmp eq i32 %t13, 0
br i1 %t17, label %b33, label %b6
b6:
%t18 = load i32, ptr %t0, align 4
%t19 = add i32 %t18, %t13
%t20 = icmp eq i32 %t19, -1
br i1 %t20, label %b7, label %b8
b7:
tail call void @danny(ptr %p0)
br label %b8
b8:
%t22 = getelementptr inbounds %type.0, ptr %p0, i32 0, i32 3
%t23 = load i32, ptr %t22, align 4
%t24 = icmp ult i32 %t23, %t19
br i1 %t24, label %b9, label %b10
b9:
%t25 = load i32, ptr %t0, align 4
tail call void @sammy(ptr nonnull %p0, i32 %t19, i32 %t25)
%t26 = load i32, ptr %t22, align 4
br label %b15
b10:
%t27 = icmp eq i32 %t19, 0
br i1 %t27, label %b11, label %b15
b11:
%t28 = icmp ugt i32 %t23, 15
%t29 = getelementptr inbounds %type.0, ptr %p0, i32 0, i32 1
br i1 %t28, label %b12, label %b13
b12:
%t31 = load ptr, ptr %t29, align 4
br label %b14
b13:
br label %b14
b14:
%t33 = phi ptr [ %t31, %b12 ], [ %t29, %b13 ]
store i32 0, ptr %t0, align 4
br label %b31
b15:
%t34 = phi i32 [ %t26, %b9 ], [ %t23, %b10 ]
%t35 = icmp ugt i32 %t34, 15
%t36 = getelementptr inbounds %type.0, ptr %p0, i32 0, i32 1
br i1 %t35, label %b16, label %b17
b16:
%t38 = load ptr, ptr %t36, align 4
br label %b18
b17:
br label %b18
b18:
%t41 = phi ptr [ %t38, %b16 ], [ %t36, %b17 ]
%t42 = phi ptr [ %t38, %b16 ], [ %t36, %b17 ]
%t43 = getelementptr inbounds i8, ptr %t41, i32 %p1
%t44 = getelementptr inbounds i8, ptr %t43, i32 %t13
%t45 = getelementptr inbounds i8, ptr %t42, i32 %p1
%t46 = load i32, ptr %t0, align 4
%t47 = sub i32 %t46, %p1
tail call void @llvm.memmove.p0.p0.i32(ptr %t44, ptr %t45, i32 %t47, i1 false) #1
%t48 = icmp eq ptr %p0, %p2
%t49 = load i32, ptr %t22, align 4
%t50 = icmp ugt i32 %t49, 15
br i1 %t50, label %b19, label %b20
b19:
%t52 = load ptr, ptr %t36, align 4
br label %b21
b20:
br label %b21
b21:
%t54 = phi ptr [ %t52, %b19 ], [ %t36, %b20 ]
%t55 = getelementptr inbounds i8, ptr %t54, i32 %p1
br i1 %t48, label %b22, label %b26
b22:
br i1 %t50, label %b23, label %b24
b23:
%t57 = load ptr, ptr %t36, align 4
br label %b25
b24:
br label %b25
b25:
%t59 = phi ptr [ %t57, %b23 ], [ %t36, %b24 ]
%t60 = icmp ult i32 %p1, %p3
%t61 = select i1 %t60, i32 %t13, i32 0
%t62 = add i32 %t61, %p3
%t63 = getelementptr inbounds i8, ptr %t59, i32 %t62
tail call void @llvm.memmove.p0.p0.i32(ptr %t55, ptr %t63, i32 %t13, i1 false) #1
br label %b27
b26:
%t64 = getelementptr inbounds %type.0, ptr %p2, i32 0, i32 3
%t65 = load i32, ptr %t64, align 4
%t66 = icmp ugt i32 %t65, 15
%t67 = getelementptr inbounds %type.0, ptr %p2, i32 0, i32 1
%t69 = load ptr, ptr %t67, align 4
%t71 = select i1 %t66, ptr %t69, ptr %t67
%t72 = getelementptr inbounds i8, ptr %t71, i32 %p3
tail call void @llvm.memcpy.p0.p0.i32(ptr %t55, ptr %t72, i32 %t13, i1 false) #1
br label %b27
b27:
%t73 = load i32, ptr %t22, align 4
%t74 = icmp ugt i32 %t73, 15
br i1 %t74, label %b28, label %b29
b28:
%t76 = load ptr, ptr %t36, align 4
br label %b30
b29:
br label %b30
b30:
%t78 = phi ptr [ %t76, %b28 ], [ %t36, %b29 ]
store i32 %t19, ptr %t0, align 4
%t79 = getelementptr inbounds i8, ptr %t78, i32 %t19
br label %b31
b31:
%t80 = phi ptr [ %t33, %b14 ], [ %t79, %b30 ]
store i8 0, ptr %t80, align 1
br label %b33
b33:
ret ptr %p0
}
declare void @llvm.memcpy.p0.p0.i32(ptr nocapture writeonly, ptr nocapture readonly, i32, i1) #0
declare void @llvm.memmove.p0.p0.i32(ptr nocapture, ptr nocapture readonly, i32, i1) #0
declare void @blah(ptr) local_unnamed_addr
declare void @danny(ptr) local_unnamed_addr
declare void @sammy(ptr, i32, i32) local_unnamed_addr align 2
attributes #0 = { argmemonly nounwind }
attributes #1 = { nounwind }
Codebase Browser
llvm