| ; RUN: llc -march=hexagon < %s | FileCheck %s |
| |
| ; CHECK: { |
| ; CHECK: jump .LBB0_ |
| ; CHECK: r{{[0-9]+}} = |
| ; CHECK: memw |
| ; CHECK: } |
| |
| target triple = "hexagon-unknown--elf" |
| |
| %s.0 = type { i8, i8, i8, [6 x i32] } |
| %s.1 = type { %s.2 } |
| %s.2 = type { i32, i8* } |
| %s.3 = type <{ i8*, i8*, i16, i8, i8, i8 }> |
| |
| @g0 = internal global [2 x %s.0] [%s.0 { i8 0, i8 6, i8 7, [6 x i32] zeroinitializer }, %s.0 { i8 0, i8 6, i8 7, [6 x i32] zeroinitializer }], align 8 |
| @g1 = internal constant [60 x i8] c"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\00", section "xxxxxxxxxxx.rodata.", align 4 |
| @g2 = internal constant %s.1 { %s.2 { i32 24, i8* getelementptr inbounds ([60 x i8], [60 x i8]* @g1, i32 0, i32 0) } }, section ".rodata.xxxxxxxxxx.", align 4 |
| @g3 = internal constant [115 x i8] c"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\00", section "xxxxxxxxxxx.rodata.", align 4 |
| @g4 = internal constant %s.3 <{ i8* getelementptr inbounds ([120 x i8], [120 x i8]* @g5, i32 0, i32 0), i8* getelementptr inbounds ([31 x i8], [31 x i8]* @g6, i32 0, i32 0), i16 215, i8 4, i8 0, i8 1 }>, align 1 |
| @g5 = private unnamed_addr constant [120 x i8] c"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\00", align 1 |
| @g6 = private unnamed_addr constant [31 x i8] c"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\00", align 1 |
| @g7 = internal constant %s.3 <{ i8* getelementptr inbounds ([120 x i8], [120 x i8]* @g5, i32 0, i32 0), i8* getelementptr inbounds ([91 x i8], [91 x i8]* @g8, i32 0, i32 0), i16 225, i8 2, i8 2, i8 2 }>, align 1 |
| @g8 = private unnamed_addr constant [91 x i8] c"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\00", align 1 |
| @g9 = internal constant %s.3 <{ i8* getelementptr inbounds ([120 x i8], [120 x i8]* @g5, i32 0, i32 0), i8* getelementptr inbounds ([109 x i8], [109 x i8]* @g10, i32 0, i32 0), i16 233, i8 2, i8 2, i8 4 }>, align 1 |
| @g10 = private unnamed_addr constant [109 x i8] c"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\00", align 1 |
| @g11 = internal constant [116 x i8] c"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\00", section "xxxxxxxxxxx.rodata.", align 4 |
| @g12 = internal constant [134 x i8] c"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\00", section "xxxxxxxxxxx.rodata.", align 4 |
| @g13 = internal constant %s.3 <{ i8* getelementptr inbounds ([120 x i8], [120 x i8]* @g5, i32 0, i32 0), i8* getelementptr inbounds ([31 x i8], [31 x i8]* @g6, i32 0, i32 0), i16 264, i8 4, i8 0, i8 1 }>, align 1 |
| @g14 = internal constant [116 x i8] c"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\00", section "xxxxxxxxxxx.rodata.", align 4 |
| @g15 = internal constant [134 x i8] c"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\00", section "xxxxxxxxxxx.rodata.", align 4 |
| |
| ; Function Attrs: nounwind |
| define zeroext i8 @f0(i8 zeroext %a0, i8 zeroext %a1, i8* nocapture %a2) #0 { |
| b0: |
| store i8 -1, i8* %a2, align 1, !tbaa !0 |
| %v0 = zext i8 %a0 to i32 |
| %v1 = icmp ugt i8 %a0, 7 |
| %v2 = zext i8 %a1 to i32 |
| %v3 = icmp ugt i8 %a1, 5 |
| %v4 = or i1 %v1, %v3 |
| br i1 %v4, label %b1, label %b2 |
| |
| b1: ; preds = %b0 |
| tail call void @f1(%s.1* @g2, i32 2, i32 %v0, i32 %v2) |
| br label %b12 |
| |
| b2: ; preds = %b0 |
| %v5 = load i8, i8* getelementptr inbounds ([2 x %s.0], [2 x %s.0]* @g0, i32 0, i32 0, i32 2), align 2, !tbaa !0 |
| %v6 = icmp eq i8 %v5, %a0 |
| %v7 = load i8, i8* getelementptr inbounds ([2 x %s.0], [2 x %s.0]* @g0, i32 0, i32 1, i32 2), align 2, !tbaa !0 |
| %v8 = icmp eq i8 %v7, %a0 |
| %v9 = and i1 %v6, %v8 |
| br i1 %v9, label %b3, label %b4 |
| |
| b3: ; preds = %b2 |
| %v10 = getelementptr inbounds [2 x %s.0], [2 x %s.0]* @g0, i32 0, i32 0, i32 3, i32 %v2 |
| %v11 = load i32, i32* %v10, align 4, !tbaa !3 |
| %v12 = getelementptr inbounds [2 x %s.0], [2 x %s.0]* @g0, i32 0, i32 1, i32 3, i32 %v2 |
| %v13 = load i32, i32* %v12, align 4, !tbaa !3 |
| tail call void @f1(%s.1* @g2, i32 2, i32 %v0, i32 %v2) |
| br label %b12 |
| |
| b4: ; preds = %b2 |
| %v14 = load i8, i8* getelementptr inbounds ([2 x %s.0], [2 x %s.0]* @g0, i32 0, i32 0, i32 0), align 8, !tbaa !0 |
| %v15 = icmp eq i8 %v14, 1 |
| %v16 = and i1 %v15, %v6 |
| br i1 %v16, label %b5, label %b8 |
| |
| b5: ; preds = %b4 |
| store i8 0, i8* %a2, align 1, !tbaa !0 |
| %v17 = getelementptr inbounds [2 x %s.0], [2 x %s.0]* @g0, i32 0, i32 0, i32 3, i32 %v2 |
| %v18 = tail call i32 asm sideeffect "1: $0 = memw_locked($2)\0A $0 = add($0, $3)\0A memw_locked($2, p0) = $0\0A if !p0 jump 1b\0A", "=&r,=*m,r,r,*m,~{p0}"(i32* %v17, i32* %v17, i32 1, i32* %v17) #0, !srcloc !5 |
| %v19 = load i32, i32* %v17, align 4, !tbaa !3 |
| %v20 = icmp eq i32 %v19, 255 |
| br i1 %v20, label %b6, label %b7 |
| |
| b6: ; preds = %b5 |
| tail call void @f2(%s.3* @g4, i32 %v2) #2 |
| unreachable |
| |
| b7: ; preds = %b5 |
| store i8 %a1, i8* getelementptr inbounds ([2 x %s.0], [2 x %s.0]* @g0, i32 0, i32 0, i32 1), align 1, !tbaa !0 |
| %v21 = load i8, i8* %a2, align 1, !tbaa !0 |
| %v22 = zext i8 %v21 to i32 |
| tail call void @f3(%s.3* @g7, i32 %v2, i32 %v22) #0 |
| %v23 = load i32, i32* bitcast ([2 x %s.0]* @g0 to i32*), align 8 |
| %v24 = and i32 %v23, 255 |
| %v25 = lshr i32 %v23, 8 |
| %v26 = and i32 %v25, 255 |
| %v27 = lshr i32 %v23, 16 |
| %v28 = and i32 %v27, 255 |
| %v29 = load i32, i32* %v17, align 4, !tbaa !3 |
| tail call void @f4(%s.3* @g9, i32 %v24, i32 %v26, i32 %v28, i32 %v29) #0 |
| %v30 = load i8, i8* %a2, align 1, !tbaa !0 |
| %v31 = zext i8 %v30 to i32 |
| tail call void @f1(%s.1* @g2, i32 2, i32 %v0, i32 %v2) |
| %v32 = load i32, i32* bitcast ([2 x %s.0]* @g0 to i32*), align 8 |
| %v33 = and i32 %v32, 255 |
| %v34 = lshr i32 %v32, 8 |
| %v35 = and i32 %v34, 255 |
| %v36 = lshr i32 %v32, 16 |
| %v37 = and i32 %v36, 255 |
| %v38 = load i32, i32* %v17, align 4, !tbaa !3 |
| tail call void @f1(%s.1* @g2, i32 2, i32 %v0, i32 %v2) |
| br label %b12 |
| |
| b8: ; preds = %b4 |
| %v39 = load i8, i8* getelementptr inbounds ([2 x %s.0], [2 x %s.0]* @g0, i32 0, i32 1, i32 0), align 4, !tbaa !0 |
| %v40 = icmp eq i8 %v39, 1 |
| %v41 = and i1 %v40, %v8 |
| br i1 %v41, label %b9, label %b12 |
| |
| b9: ; preds = %b8 |
| store i8 1, i8* %a2, align 1, !tbaa !0 |
| %v42 = getelementptr inbounds [2 x %s.0], [2 x %s.0]* @g0, i32 0, i32 1, i32 3, i32 %v2 |
| %v43 = tail call i32 asm sideeffect "1: $0 = memw_locked($2)\0A $0 = add($0, $3)\0A memw_locked($2, p0) = $0\0A if !p0 jump 1b\0A", "=&r,=*m,r,r,*m,~{p0}"(i32* %v42, i32* %v42, i32 1, i32* %v42) #0, !srcloc !5 |
| %v44 = load i32, i32* %v42, align 4, !tbaa !3 |
| %v45 = icmp eq i32 %v44, 255 |
| br i1 %v45, label %b10, label %b11 |
| |
| b10: ; preds = %b9 |
| tail call void @f2(%s.3* @g13, i32 %v2) #2 |
| unreachable |
| |
| b11: ; preds = %b9 |
| store i8 %a1, i8* getelementptr inbounds ([2 x %s.0], [2 x %s.0]* @g0, i32 0, i32 1, i32 1), align 1, !tbaa !0 |
| %v46 = load i8, i8* %a2, align 1, !tbaa !0 |
| %v47 = zext i8 %v46 to i32 |
| tail call void @f1(%s.1* @g2, i32 2, i32 %v0, i32 %v2) |
| %v48 = load i32, i32* bitcast (i8* getelementptr inbounds ([2 x %s.0], [2 x %s.0]* @g0, i32 0, i32 1, i32 0) to i32*), align 4 |
| %v49 = and i32 %v48, 255 |
| %v50 = lshr i32 %v48, 8 |
| %v51 = and i32 %v50, 255 |
| %v52 = lshr i32 %v48, 16 |
| %v53 = and i32 %v52, 255 |
| %v54 = load i32, i32* %v42, align 4, !tbaa !3 |
| tail call void @f1(%s.1* @g2, i32 2, i32 %v0, i32 %v2) |
| br label %b12 |
| |
| b12: ; preds = %b11, %b8, %b7, %b3, %b1 |
| %v55 = phi i8 [ 0, %b1 ], [ 0, %b3 ], [ 1, %b7 ], [ 1, %b11 ], [ 0, %b8 ] |
| ret i8 %v55 |
| } |
| |
| declare void @f1(%s.1*, i32, i32, i32) |
| |
| ; Function Attrs: noreturn |
| declare void @f2(%s.3*, i32) #1 |
| |
| declare void @f3(%s.3*, i32, i32) |
| |
| declare void @f4(%s.3*, i32, i32, i32, i32) |
| |
| attributes #0 = { nounwind "target-cpu"="hexagonv55" } |
| attributes #1 = { noreturn } |
| attributes #2 = { noreturn nounwind } |
| |
| !0 = !{!1, !1, i64 0} |
| !1 = !{!"omnipotent char", !2} |
| !2 = !{!"Simple C/C++ TBAA"} |
| !3 = !{!4, !4, i64 0} |
| !4 = !{!"long", !1} |
| !5 = !{i32 86170, i32 86211, i32 86247, i32 86291} |