xref: /aosp_15_r20/external/llvm/test/Transforms/GVN/lpre-call-wrap.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt -S -gvn -enable-load-pre < %s | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker;
3*9880d681SAndroid Build Coastguard Worker; Make sure the load in bb3.backedge is removed and moved into bb1 after the
4*9880d681SAndroid Build Coastguard Worker; call.  This makes the non-call case faster.
5*9880d681SAndroid Build Coastguard Worker;
6*9880d681SAndroid Build Coastguard Worker; This test is derived from this C++ code (GCC PR 37810):
7*9880d681SAndroid Build Coastguard Worker; void g();
8*9880d681SAndroid Build Coastguard Worker; struct A {
9*9880d681SAndroid Build Coastguard Worker;   int n; int m;
10*9880d681SAndroid Build Coastguard Worker;   A& operator++(void) { ++n; if (n == m) g(); return *this; }
11*9880d681SAndroid Build Coastguard Worker;   A() : n(0), m(0) { }
12*9880d681SAndroid Build Coastguard Worker;   friend bool operator!=(A const& a1, A const& a2) { return a1.n != a2.n; }
13*9880d681SAndroid Build Coastguard Worker; };
14*9880d681SAndroid Build Coastguard Worker; void testfunction(A& iter) { A const end; while (iter != end) ++iter; }
15*9880d681SAndroid Build Coastguard Worker;
16*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
17*9880d681SAndroid Build Coastguard Workertarget triple = "i386-apple-darwin7"
18*9880d681SAndroid Build Coastguard Worker	%struct.A = type { i32, i32 }
19*9880d681SAndroid Build Coastguard Worker
20*9880d681SAndroid Build Coastguard Workerdefine void @_Z12testfunctionR1A(%struct.A* %iter) {
21*9880d681SAndroid Build Coastguard Workerentry:
22*9880d681SAndroid Build Coastguard Worker	%0 = getelementptr %struct.A, %struct.A* %iter, i32 0, i32 0		; <i32*> [#uses=3]
23*9880d681SAndroid Build Coastguard Worker	%1 = load i32, i32* %0, align 4		; <i32> [#uses=2]
24*9880d681SAndroid Build Coastguard Worker	%2 = icmp eq i32 %1, 0		; <i1> [#uses=1]
25*9880d681SAndroid Build Coastguard Worker	br i1 %2, label %return, label %bb.nph
26*9880d681SAndroid Build Coastguard Worker
27*9880d681SAndroid Build Coastguard Workerbb.nph:		; preds = %entry
28*9880d681SAndroid Build Coastguard Worker	%3 = getelementptr %struct.A, %struct.A* %iter, i32 0, i32 1		; <i32*> [#uses=1]
29*9880d681SAndroid Build Coastguard Worker	br label %bb
30*9880d681SAndroid Build Coastguard Worker
31*9880d681SAndroid Build Coastguard Workerbb:		; preds = %bb3.backedge, %bb.nph
32*9880d681SAndroid Build Coastguard Worker	%.rle = phi i32 [ %1, %bb.nph ], [ %7, %bb3.backedge ]		; <i32> [#uses=1]
33*9880d681SAndroid Build Coastguard Worker	%4 = add i32 %.rle, 1		; <i32> [#uses=2]
34*9880d681SAndroid Build Coastguard Worker	store i32 %4, i32* %0, align 4
35*9880d681SAndroid Build Coastguard Worker	%5 = load i32, i32* %3, align 4		; <i32> [#uses=1]
36*9880d681SAndroid Build Coastguard Worker	%6 = icmp eq i32 %4, %5		; <i1> [#uses=1]
37*9880d681SAndroid Build Coastguard Worker	br i1 %6, label %bb1, label %bb3.backedge
38*9880d681SAndroid Build Coastguard Worker
39*9880d681SAndroid Build Coastguard Workerbb1:		; preds = %bb
40*9880d681SAndroid Build Coastguard Worker	tail call void @_Z1gv()
41*9880d681SAndroid Build Coastguard Worker	br label %bb3.backedge
42*9880d681SAndroid Build Coastguard Worker
43*9880d681SAndroid Build Coastguard Workerbb3.backedge:		; preds = %bb, %bb1
44*9880d681SAndroid Build Coastguard Worker; CHECK: bb3.backedge:
45*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: phi
46*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: icmp
47*9880d681SAndroid Build Coastguard Worker	%7 = load i32, i32* %0, align 4		; <i32> [#uses=2]
48*9880d681SAndroid Build Coastguard Worker	%8 = icmp eq i32 %7, 0		; <i1> [#uses=1]
49*9880d681SAndroid Build Coastguard Worker	br i1 %8, label %return, label %bb
50*9880d681SAndroid Build Coastguard Worker
51*9880d681SAndroid Build Coastguard Workerreturn:		; preds = %bb3.backedge, %entry
52*9880d681SAndroid Build Coastguard Worker	ret void
53*9880d681SAndroid Build Coastguard Worker}
54*9880d681SAndroid Build Coastguard Worker
55*9880d681SAndroid Build Coastguard Workerdeclare void @_Z1gv()
56