| Krzysztof Parzyszek | 9b7c1d2 | 2017-06-22 21:11:44 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=hexagon -O3 -verify-machineinstrs < %s | FileCheck %s |
| 2 | ; |
| 3 | ; Check that this testcase compiles successfully and that a new-value jump |
| 4 | ; has been created. |
| 5 | ; CHECK: if (cmp.gtu(r{{[0-9]+}}.new,r{{[0-9]+}})) jump |
| 6 | |
| 7 | target triple = "hexagon" |
| 8 | |
| 9 | @g0 = external hidden unnamed_addr global [182 x i16], align 8 |
| 10 | |
| 11 | define void @fred(i16 signext %a0) local_unnamed_addr #0 { |
| 12 | b1: |
| 13 | %v2 = getelementptr inbounds [182 x i16], [182 x i16]* @g0, i32 0, i32 0 |
| 14 | %v3 = sext i16 %a0 to i32 |
| 15 | %v4 = call i32 @llvm.hexagon.A2.asrh(i32 undef) |
| 16 | %v5 = trunc i32 %v4 to i16 |
| 17 | br i1 undef, label %b6, label %b14 |
| 18 | |
| 19 | b6: ; preds = %b1 |
| 20 | %v7 = sext i16 %v5 to i32 |
| 21 | br label %b8 |
| 22 | |
| 23 | b8: ; preds = %b8, %b6 |
| 24 | %v9 = phi i32 [ 128, %b6 ], [ %v13, %b8 ] |
| 25 | %v10 = sub nsw i32 %v9, %v7 |
| 26 | %v11 = getelementptr inbounds [182 x i16], [182 x i16]* @g0, i32 0, i32 %v10 |
| 27 | %v12 = load i16, i16* %v11, align 2 |
| 28 | %v13 = add nuw nsw i32 %v9, 1 |
| 29 | br label %b8 |
| 30 | |
| 31 | b14: ; preds = %b1 |
| 32 | br i1 undef, label %b16, label %b15 |
| 33 | |
| 34 | b15: ; preds = %b14 |
| 35 | unreachable |
| 36 | |
| 37 | b16: ; preds = %b14 |
| 38 | %v17 = getelementptr [182 x i16], [182 x i16]* @g0, i32 0, i32 %v3 |
| 39 | %v18 = icmp ugt i16* %v17, %v2 |
| 40 | %v19 = or i1 %v18, undef |
| 41 | br i1 %v19, label %b20, label %b21 |
| 42 | |
| 43 | b20: ; preds = %b16 |
| 44 | unreachable |
| 45 | |
| 46 | b21: ; preds = %b16 |
| 47 | ret void |
| 48 | } |
| 49 | |
| 50 | declare i32 @llvm.hexagon.A2.asrh(i32) #1 |
| 51 | |
| 52 | attributes #0 = { nounwind "target-cpu"="hexagonv62" } |
| 53 | attributes #1 = { nounwind readnone } |