| Hiroshi Yamauchi | 9364432 | 2017-09-11 17:52:08 +0000 | [diff] [blame] | 1 | ; RUN: opt -codegenprepare -S < %s | FileCheck %s |
| 2 | |
| 3 | @exit_addr = constant i8* blockaddress(@gep_unmerging, %exit) |
| 4 | @op1_addr = constant i8* blockaddress(@gep_unmerging, %op1) |
| 5 | @op2_addr = constant i8* blockaddress(@gep_unmerging, %op2) |
| 6 | @op3_addr = constant i8* blockaddress(@gep_unmerging, %op3) |
| 7 | @dummy = global i8 0 |
| 8 | |
| 9 | define void @gep_unmerging(i1 %pred, i8* %p0) { |
| 10 | entry: |
| 11 | %table = alloca [256 x i8*] |
| 12 | %table_0 = getelementptr [256 x i8*], [256 x i8*]* %table, i64 0, i64 0 |
| 13 | %table_1 = getelementptr [256 x i8*], [256 x i8*]* %table, i64 0, i64 1 |
| 14 | %table_2 = getelementptr [256 x i8*], [256 x i8*]* %table, i64 0, i64 2 |
| 15 | %table_3 = getelementptr [256 x i8*], [256 x i8*]* %table, i64 0, i64 3 |
| 16 | %exit_a = load i8*, i8** @exit_addr |
| 17 | %op1_a = load i8*, i8** @op1_addr |
| 18 | %op2_a = load i8*, i8** @op2_addr |
| 19 | %op3_a = load i8*, i8** @op3_addr |
| 20 | store i8* %exit_a, i8** %table_0 |
| 21 | store i8* %op1_a, i8** %table_1 |
| 22 | store i8* %op2_a, i8** %table_2 |
| 23 | store i8* %op3_a, i8** %table_3 |
| 24 | br label %indirectbr |
| 25 | |
| 26 | op1: |
| 27 | ; CHECK-LABEL: op1: |
| 28 | ; CHECK-NEXT: %p1_inc2 = getelementptr i8, i8* %p_postinc, i64 2 |
| 29 | ; CHECK-NEXT: %p1_inc1 = getelementptr i8, i8* %p_postinc, i64 1 |
| 30 | %p1_inc2 = getelementptr i8, i8* %p_preinc, i64 3 |
| 31 | %p1_inc1 = getelementptr i8, i8* %p_preinc, i64 2 |
| 32 | %a10 = load i8, i8* %p_postinc |
| 33 | %a11 = load i8, i8* %p1_inc1 |
| 34 | %a12 = add i8 %a10, %a11 |
| 35 | store i8 %a12, i8* @dummy |
| 36 | br i1 %pred, label %indirectbr, label %exit |
| 37 | |
| 38 | op2: |
| 39 | ; CHECK-LABEL: op2: |
| 40 | ; CHECK-NEXT: %p2_inc = getelementptr i8, i8* %p_postinc, i64 1 |
| 41 | %p2_inc = getelementptr i8, i8* %p_preinc, i64 2 |
| 42 | %a2 = load i8, i8* %p_postinc |
| 43 | store i8 %a2, i8* @dummy |
| 44 | br i1 %pred, label %indirectbr, label %exit |
| 45 | |
| 46 | op3: |
| 47 | br i1 %pred, label %indirectbr, label %exit |
| 48 | |
| 49 | indirectbr: |
| 50 | %p_preinc = phi i8* [%p0, %entry], [%p1_inc2, %op1], [%p2_inc, %op2], [%p_postinc, %op3] |
| 51 | %p_postinc = getelementptr i8, i8* %p_preinc, i64 1 |
| 52 | %next_op = load i8, i8* %p_preinc |
| 53 | %p_zext = zext i8 %next_op to i64 |
| 54 | %slot = getelementptr [256 x i8*], [256 x i8*]* %table, i64 0, i64 %p_zext |
| 55 | %target = load i8*, i8** %slot |
| 56 | indirectbr i8* %target, [label %exit, label %op1, label %op2] |
| 57 | |
| 58 | exit: |
| 59 | ret void |
| 60 | } |