| ; 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 { i8*, [12 x i8] } |
| %type.4 = type { i8 } |
| |
| define weak_odr dereferenceable(28) %type.0* @fred(%type.0* %p0, i32 %p1, %type.0* dereferenceable(28) %p2, i32 %p3, i32 %p4) local_unnamed_addr align 2 { |
| b0: |
| %t0 = getelementptr inbounds %type.0, %type.0* %p0, i32 0, i32 2 |
| %t1 = load i32, i32* %t0, align 4 |
| %t2 = icmp ult i32 %t1, %p1 |
| %t3 = getelementptr inbounds %type.0, %type.0* %p2, i32 0, i32 2 |
| br i1 %t2, label %b2, label %b1 |
| |
| b1: |
| %t4 = load i32, i32* %t3, align 4 |
| %t5 = icmp ult i32 %t4, %p3 |
| br i1 %t5, label %b2, label %b3 |
| |
| b2: |
| %t6 = bitcast %type.0* %p0 to %type.4* |
| tail call void @blah(%type.4* %t6) |
| %t7 = load i32, i32* %t3, align 4 |
| %t8 = load i32, i32* %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: |
| %t16 = bitcast %type.0* %p0 to %type.4* |
| tail call void @danny(%type.4* %t16) |
| br label %b5 |
| |
| b5: |
| %t17 = icmp eq i32 %t13, 0 |
| br i1 %t17, label %b33, label %b6 |
| |
| b6: |
| %t18 = load i32, i32* %t0, align 4 |
| %t19 = add i32 %t18, %t13 |
| %t20 = icmp eq i32 %t19, -1 |
| br i1 %t20, label %b7, label %b8 |
| |
| b7: |
| %t21 = bitcast %type.0* %p0 to %type.4* |
| tail call void @danny(%type.4* %t21) |
| br label %b8 |
| |
| b8: |
| %t22 = getelementptr inbounds %type.0, %type.0* %p0, i32 0, i32 3 |
| %t23 = load i32, i32* %t22, align 4 |
| %t24 = icmp ult i32 %t23, %t19 |
| br i1 %t24, label %b9, label %b10 |
| |
| b9: |
| %t25 = load i32, i32* %t0, align 4 |
| tail call void @sammy(%type.0* nonnull %p0, i32 %t19, i32 %t25) |
| %t26 = load i32, i32* %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, %type.0* %p0, i32 0, i32 1 |
| br i1 %t28, label %b12, label %b13 |
| |
| b12: |
| %t30 = getelementptr inbounds %type.3, %type.3* %t29, i32 0, i32 0 |
| %t31 = load i8*, i8** %t30, align 4 |
| br label %b14 |
| |
| b13: |
| %t32 = bitcast %type.3* %t29 to i8* |
| br label %b14 |
| |
| b14: |
| %t33 = phi i8* [ %t31, %b12 ], [ %t32, %b13 ] |
| store i32 0, i32* %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, %type.0* %p0, i32 0, i32 1 |
| br i1 %t35, label %b16, label %b17 |
| |
| b16: |
| %t37 = getelementptr inbounds %type.3, %type.3* %t36, i32 0, i32 0 |
| %t38 = load i8*, i8** %t37, align 4 |
| br label %b18 |
| |
| b17: |
| %t39 = bitcast %type.3* %t36 to i8* |
| %t40 = bitcast %type.3* %t36 to i8* |
| br label %b18 |
| |
| b18: |
| %t41 = phi i8* [ %t38, %b16 ], [ %t39, %b17 ] |
| %t42 = phi i8* [ %t38, %b16 ], [ %t40, %b17 ] |
| %t43 = getelementptr inbounds i8, i8* %t41, i32 %p1 |
| %t44 = getelementptr inbounds i8, i8* %t43, i32 %t13 |
| %t45 = getelementptr inbounds i8, i8* %t42, i32 %p1 |
| %t46 = load i32, i32* %t0, align 4 |
| %t47 = sub i32 %t46, %p1 |
| tail call void @llvm.memmove.p0i8.p0i8.i32(i8* %t44, i8* %t45, i32 %t47, i1 false) #1 |
| %t48 = icmp eq %type.0* %p0, %p2 |
| %t49 = load i32, i32* %t22, align 4 |
| %t50 = icmp ugt i32 %t49, 15 |
| br i1 %t50, label %b19, label %b20 |
| |
| b19: |
| %t51 = getelementptr inbounds %type.3, %type.3* %t36, i32 0, i32 0 |
| %t52 = load i8*, i8** %t51, align 4 |
| br label %b21 |
| |
| b20: |
| %t53 = bitcast %type.3* %t36 to i8* |
| br label %b21 |
| |
| b21: |
| %t54 = phi i8* [ %t52, %b19 ], [ %t53, %b20 ] |
| %t55 = getelementptr inbounds i8, i8* %t54, i32 %p1 |
| br i1 %t48, label %b22, label %b26 |
| |
| b22: |
| br i1 %t50, label %b23, label %b24 |
| |
| b23: |
| %t56 = getelementptr inbounds %type.3, %type.3* %t36, i32 0, i32 0 |
| %t57 = load i8*, i8** %t56, align 4 |
| br label %b25 |
| |
| b24: |
| %t58 = bitcast %type.3* %t36 to i8* |
| br label %b25 |
| |
| b25: |
| %t59 = phi i8* [ %t57, %b23 ], [ %t58, %b24 ] |
| %t60 = icmp ult i32 %p1, %p3 |
| %t61 = select i1 %t60, i32 %t13, i32 0 |
| %t62 = add i32 %t61, %p3 |
| %t63 = getelementptr inbounds i8, i8* %t59, i32 %t62 |
| tail call void @llvm.memmove.p0i8.p0i8.i32(i8* %t55, i8* %t63, i32 %t13, i1 false) #1 |
| br label %b27 |
| |
| b26: |
| %t64 = getelementptr inbounds %type.0, %type.0* %p2, i32 0, i32 3 |
| %t65 = load i32, i32* %t64, align 4 |
| %t66 = icmp ugt i32 %t65, 15 |
| %t67 = getelementptr inbounds %type.0, %type.0* %p2, i32 0, i32 1 |
| %t68 = getelementptr inbounds %type.3, %type.3* %t67, i32 0, i32 0 |
| %t69 = load i8*, i8** %t68, align 4 |
| %t70 = bitcast %type.3* %t67 to i8* |
| %t71 = select i1 %t66, i8* %t69, i8* %t70 |
| %t72 = getelementptr inbounds i8, i8* %t71, i32 %p3 |
| tail call void @llvm.memcpy.p0i8.p0i8.i32(i8* %t55, i8* %t72, i32 %t13, i1 false) #1 |
| br label %b27 |
| |
| b27: |
| %t73 = load i32, i32* %t22, align 4 |
| %t74 = icmp ugt i32 %t73, 15 |
| br i1 %t74, label %b28, label %b29 |
| |
| b28: |
| %t75 = getelementptr inbounds %type.3, %type.3* %t36, i32 0, i32 0 |
| %t76 = load i8*, i8** %t75, align 4 |
| br label %b30 |
| |
| b29: |
| %t77 = bitcast %type.3* %t36 to i8* |
| br label %b30 |
| |
| b30: |
| %t78 = phi i8* [ %t76, %b28 ], [ %t77, %b29 ] |
| store i32 %t19, i32* %t0, align 4 |
| %t79 = getelementptr inbounds i8, i8* %t78, i32 %t19 |
| br label %b31 |
| |
| b31: |
| %t80 = phi i8* [ %t33, %b14 ], [ %t79, %b30 ] |
| store i8 0, i8* %t80, align 1 |
| br label %b33 |
| |
| b33: |
| ret %type.0* %p0 |
| } |
| |
| declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture writeonly, i8* nocapture readonly, i32, i1) #0 |
| declare void @llvm.memmove.p0i8.p0i8.i32(i8* nocapture, i8* nocapture readonly, i32, i1) #0 |
| |
| declare void @blah(%type.4*) local_unnamed_addr |
| declare void @danny(%type.4*) local_unnamed_addr |
| declare void @sammy(%type.0*, i32, i32) local_unnamed_addr align 2 |
| |
| attributes #0 = { argmemonly nounwind } |
| attributes #1 = { nounwind } |