[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / PowerPC / MMO-flags-assertion.ll
blob64fa85a8195ccb8d9c2f0d6ae6b3166d2ca39704
1 ; RUN: llc < %s -mtriple powerpc64le-unknown-linux-gnu
3 ; void llvm::MachineMemOperand::refineAlignment(const llvm::MachineMemOperand*):
4 ; Assertion `MMO->getFlags() == getFlags() && "Flags mismatch !"' failed.
6 declare void @_Z3fn11F(%class.F* byval align 8) local_unnamed_addr
7 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i1)
8 declare signext i32 @_ZN1F11isGlobalRegEv(%class.F*) local_unnamed_addr
9 declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture)
10 declare void @_Z10EmitLValuev(%class.F* sret) local_unnamed_addr
11 declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture)
13 %class.F = type { i32, i64, i8, [64 x i8], i8, i32* }
15 define signext i32 @_Z29EmitOMPAtomicSimpleUpdateExpr1F(%class.F* byval align 8 %p1) local_unnamed_addr {
16 entry:
17   call void @_Z3fn11F(%class.F* byval nonnull align 8 %p1)
18   %call = call signext i32 @_ZN1F11isGlobalRegEv(%class.F* nonnull %p1)
19   ret i32 %call
22 define void @_Z3fn2v() local_unnamed_addr {
23 entry:
24   %agg.tmp1 = alloca %class.F, align 8
25   %XLValue = alloca %class.F, align 8
26   %0 = bitcast %class.F* %XLValue to i8*
27   call void @llvm.lifetime.start.p0i8(i64 96, i8* nonnull %0)
28   call void @_Z10EmitLValuev(%class.F* nonnull sret %XLValue)
29   %1 = bitcast %class.F* %agg.tmp1 to i8*
30   call void @llvm.lifetime.start.p0i8(i64 96, i8* nonnull %1)
31   call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 nonnull %1, i8* align 8 nonnull %0, i64 96, i1 false)
32   call void @_Z3fn11F(%class.F* byval nonnull align 8 %XLValue)
33   %call.i = call signext i32 @_ZN1F11isGlobalRegEv(%class.F* nonnull %agg.tmp1)
34   call void @llvm.lifetime.end.p0i8(i64 96, i8* nonnull %1)
35   call void @llvm.lifetime.end.p0i8(i64 96, i8* nonnull %0)
36   ret void