| Dan Gohman | 7d7409e | 2017-02-28 23:37:04 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -asm-verbose=false -verify-machineinstrs -disable-block-placement -disable-wasm-explicit-locals | FileCheck %s |
| Dan Gohman | d7a2eea | 2016-03-09 02:01:14 +0000 | [diff] [blame] | 2 | |
| 3 | ; Test irreducible CFG handling. |
| 4 | |
| 5 | target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128" |
| Dan Gohman | 7d7409e | 2017-02-28 23:37:04 +0000 | [diff] [blame] | 6 | target triple = "wasm32-unknown-unknown-wasm" |
| Dan Gohman | d7a2eea | 2016-03-09 02:01:14 +0000 | [diff] [blame] | 7 | |
| 8 | ; A simple loop with two entries. |
| 9 | |
| 10 | ; CHECK-LABEL: test0: |
| Dan Gohman | f456290 | 2016-04-26 01:40:56 +0000 | [diff] [blame] | 11 | ; CHECK: f64.load |
| 12 | ; CHECK: i32.const $[[REG:[^,]+]]=, 0{{$}} |
| 13 | ; CHECK: br_table $[[REG]], |
| Dan Gohman | d7a2eea | 2016-03-09 02:01:14 +0000 | [diff] [blame] | 14 | define void @test0(double* %arg, i32 %arg1, i32 %arg2, i32 %arg3) { |
| 15 | bb: |
| 16 | %tmp = icmp eq i32 %arg2, 0 |
| 17 | br i1 %tmp, label %bb6, label %bb3 |
| 18 | |
| 19 | bb3: |
| 20 | %tmp4 = getelementptr double, double* %arg, i32 %arg3 |
| 21 | %tmp5 = load double, double* %tmp4, align 4 |
| 22 | br label %bb13 |
| 23 | |
| 24 | bb6: |
| 25 | %tmp7 = phi i32 [ %tmp18, %bb13 ], [ 0, %bb ] |
| 26 | %tmp8 = icmp slt i32 %tmp7, %arg1 |
| 27 | br i1 %tmp8, label %bb9, label %bb19 |
| 28 | |
| 29 | bb9: |
| 30 | %tmp10 = getelementptr double, double* %arg, i32 %tmp7 |
| 31 | %tmp11 = load double, double* %tmp10, align 4 |
| 32 | %tmp12 = fmul double %tmp11, 2.300000e+00 |
| 33 | store double %tmp12, double* %tmp10, align 4 |
| 34 | br label %bb13 |
| 35 | |
| 36 | bb13: |
| 37 | %tmp14 = phi double [ %tmp5, %bb3 ], [ %tmp12, %bb9 ] |
| 38 | %tmp15 = phi i32 [ undef, %bb3 ], [ %tmp7, %bb9 ] |
| 39 | %tmp16 = getelementptr double, double* %arg, i32 %tmp15 |
| 40 | %tmp17 = fadd double %tmp14, 1.300000e+00 |
| 41 | store double %tmp17, double* %tmp16, align 4 |
| 42 | %tmp18 = add nsw i32 %tmp15, 1 |
| 43 | br label %bb6 |
| 44 | |
| 45 | bb19: |
| 46 | ret void |
| 47 | } |
| 48 | |
| 49 | ; A simple loop with two entries and an inner natural loop. |
| 50 | |
| 51 | ; CHECK-LABEL: test1: |
| Dan Gohman | f456290 | 2016-04-26 01:40:56 +0000 | [diff] [blame] | 52 | ; CHECK: f64.load |
| 53 | ; CHECK: i32.const $[[REG:[^,]+]]=, 0{{$}} |
| 54 | ; CHECK: br_table $[[REG]], |
| Dan Gohman | d7a2eea | 2016-03-09 02:01:14 +0000 | [diff] [blame] | 55 | define void @test1(double* %arg, i32 %arg1, i32 %arg2, i32 %arg3) { |
| 56 | bb: |
| 57 | %tmp = icmp eq i32 %arg2, 0 |
| 58 | br i1 %tmp, label %bb6, label %bb3 |
| 59 | |
| 60 | bb3: |
| 61 | %tmp4 = getelementptr double, double* %arg, i32 %arg3 |
| 62 | %tmp5 = load double, double* %tmp4, align 4 |
| 63 | br label %bb13 |
| 64 | |
| 65 | bb6: |
| 66 | %tmp7 = phi i32 [ %tmp18, %bb13 ], [ 0, %bb ] |
| 67 | %tmp8 = icmp slt i32 %tmp7, %arg1 |
| 68 | br i1 %tmp8, label %bb9, label %bb19 |
| 69 | |
| 70 | bb9: |
| 71 | %tmp10 = getelementptr double, double* %arg, i32 %tmp7 |
| 72 | %tmp11 = load double, double* %tmp10, align 4 |
| 73 | %tmp12 = fmul double %tmp11, 2.300000e+00 |
| 74 | store double %tmp12, double* %tmp10, align 4 |
| 75 | br label %bb10 |
| 76 | |
| 77 | bb10: |
| 78 | %p = phi i32 [ 0, %bb9 ], [ %pn, %bb10 ] |
| 79 | %pn = add i32 %p, 1 |
| 80 | %c = icmp slt i32 %pn, 256 |
| 81 | br i1 %c, label %bb10, label %bb13 |
| 82 | |
| 83 | bb13: |
| 84 | %tmp14 = phi double [ %tmp5, %bb3 ], [ %tmp12, %bb10 ] |
| 85 | %tmp15 = phi i32 [ undef, %bb3 ], [ %tmp7, %bb10 ] |
| 86 | %tmp16 = getelementptr double, double* %arg, i32 %tmp15 |
| 87 | %tmp17 = fadd double %tmp14, 1.300000e+00 |
| 88 | store double %tmp17, double* %tmp16, align 4 |
| 89 | %tmp18 = add nsw i32 %tmp15, 1 |
| 90 | br label %bb6 |
| 91 | |
| 92 | bb19: |
| 93 | ret void |
| 94 | } |