| Serge Guelton | 7bc405a | 2017-06-27 18:57:53 +0000 | [diff] [blame^] | 1 | ; RUN: opt < %s -loop-extract -S | FileCheck %s |
| 2 | |
| 3 | @choum.addr = internal unnamed_addr constant [3 x i8*] [i8* blockaddress(@choum, %12), i8* blockaddress(@choum, %16), i8* blockaddress(@choum, %20)] |
| 4 | |
| 5 | ; CHECK: define |
| 6 | ; no outlined function |
| 7 | ; CHECK-NOT: define |
| 8 | |
| 9 | define void @choum(i32, i32* nocapture, i32) { |
| 10 | %4 = icmp sgt i32 %0, 0 |
| 11 | br i1 %4, label %5, label %26 |
| 12 | |
| 13 | %6 = sext i32 %2 to i64 |
| 14 | %7 = getelementptr inbounds [3 x i8*], [3 x i8*]* @choum.addr, i64 0, i64 %6 |
| 15 | %8 = load i8*, i8** %7 |
| 16 | %9 = zext i32 %0 to i64 |
| 17 | br label %10 |
| 18 | |
| 19 | %11 = phi i64 [ 0, %5 ], [ %24, %20 ] |
| 20 | indirectbr i8* %8, [label %12, label %16, label %20] |
| 21 | |
| 22 | %13 = getelementptr inbounds i32, i32* %1, i64 %11 |
| 23 | %14 = load i32, i32* %13 |
| 24 | %15 = add nsw i32 %14, 1 |
| 25 | store i32 %15, i32* %13 |
| 26 | br label %16 |
| 27 | |
| 28 | %17 = getelementptr inbounds i32, i32* %1, i64 %11 |
| 29 | %18 = load i32, i32* %17 |
| 30 | %19 = shl nsw i32 %18, 1 |
| 31 | store i32 %19, i32* %17 |
| 32 | br label %20 |
| 33 | |
| 34 | %21 = getelementptr inbounds i32, i32* %1, i64 %11 |
| 35 | %22 = load i32, i32* %21 |
| 36 | %23 = add nsw i32 %22, -3 |
| 37 | store i32 %23, i32* %21 |
| 38 | %24 = add nuw nsw i64 %11, 1 |
| 39 | %25 = icmp eq i64 %24, %9 |
| 40 | br i1 %25, label %26, label %10 |
| 41 | |
| 42 | ret void |
| 43 | } |