[DAGCombiner] Add target hook function to decide folding (mul (add x, c1), c2)
[llvm-project.git] / llvm / test / Transforms / LoopLoadElim / pr-49141.ll
blob8c7b5f163419eec0142050bb0991d0d2933c37c7
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt -S -indvars -loop-load-elim < %s 2>&1 | FileCheck %s
4 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128-ni:1-p2:32:8:8:32-ni:2"
5 target triple = "x86_64-unknown-linux-gnu"
7 define void @test() {
8 ; CHECK-LABEL: @test(
9 ; CHECK-NEXT:  entry:
10 ; CHECK-NEXT:    br label [[FOR_BODY:%.*]]
11 ; CHECK:       for.cond:
12 ; CHECK-NEXT:    br i1 true, label [[FOR_BODY]], label [[FOR_END:%.*]]
13 ; CHECK:       for.body:
14 ; CHECK-NEXT:    br i1 false, label [[FOR_COND:%.*]], label [[FOR_END]]
15 ; CHECK:       for.end:
16 ; CHECK-NEXT:    ret void
18 entry:
19   br label %for.body
21 for.cond:                                         ; preds = %for.body
22   %a.0 = phi i16 [ %inc, %for.body ]
23   %cmp = icmp sle i16 %a.0, 2
24   br i1 %cmp, label %for.body, label %for.end
26 for.body:                                         ; preds = %for.cond, %entry
27   %a.01 = phi i16 [ undef, %entry ], [ %a.0, %for.cond ]
28   %inc = add nsw i16 %a.01, 1
29   br i1 false, label %for.cond, label %for.end
31 for.end:                                          ; preds = %for.body, %for.cond
32   ret void