Add a small missed optimization: turn X == C ? X : Y into X == C ? C : Y. This
[llvm/stm8.git] / test / Feature / memorymarkers.ll
blob06b8376678fa40f968f46b56649f33f286cf23ec
1 ; RUN: llvm-as -disable-output < %s
3 %"struct.std::pair<int,int>" = type { i32, i32 }
5 declare void @_Z3barRKi(i32*)
7 declare void @llvm.lifetime.start(i64, i8* nocapture) nounwind
8 declare void @llvm.lifetime.end(i64, i8* nocapture) nounwind
9 declare {}* @llvm.invariant.start(i64, i8* nocapture) readonly nounwind
10 declare void @llvm.invariant.end({}*, i64, i8* nocapture) nounwind
12 define i32 @_Z4foo2v() nounwind {
13 entry:
14   %x = alloca %"struct.std::pair<int,int>"
15   %y = bitcast %"struct.std::pair<int,int>"* %x to i8*
17   ;; Constructor starts here (this isn't needed since it is immediately
18   ;; preceded by an alloca, but shown for completeness).
19   call void @llvm.lifetime.start(i64 8, i8* %y)
21   %0 = getelementptr %"struct.std::pair<int,int>"* %x, i32 0, i32 0
22   store i32 4, i32* %0, align 8
23   %1 = getelementptr %"struct.std::pair<int,int>"* %x, i32 0, i32 1
24   store i32 5, i32* %1, align 4
26   ;; Constructor has finished here.
27   %inv = call {}* @llvm.invariant.start(i64 8, i8* %y)
28   call void @_Z3barRKi(i32* %0) nounwind
29   %2 = load i32* %0, align 8
31   ;; Destructor is run here.
32   call void @llvm.invariant.end({}* %inv, i64 8, i8* %y)
33   ;; Destructor is done here.
34   call void @llvm.lifetime.end(i64 8, i8* %y)
35   ret i32 %2