Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 00b51bf123d83d19b4dfc916676a7aed1b9da41e / . / llvm / test / Analysis / BasicAA / 2009-10-13-AtomicModRef.ll
blob: 97a92517dca8bc9bf0305926ce290019c24d9d55 [file] [log] [blame]
Dan Gohman02538ac2010-10-18 18:04:47 +0000[diff] [blame]1; RUN: opt -basicaa -gvn -instcombine -S < %s | FileCheck %s
Kenneth Uildriks90fedc62009-11-03 15:29:06 +0000[diff] [blame]2target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
Nick Lewyckye2782c72009-10-13 07:48:38 +0000[diff] [blame]3
Nick Lewyckyf01ba002009-10-14 19:02:13 +0000[diff] [blame]4define i8 @foo(i8* %ptr) {
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]5 %P = getelementptr i8, i8* %ptr, i32 0
6 %Q = getelementptr i8, i8* %ptr, i32 1
Nick Lewyckye2782c72009-10-13 07:48:38 +0000[diff] [blame]7; CHECK: getelementptr
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame]8 %X = load i8, i8* %P
Eli Friedman5c918912011-09-26 20:15:28 +0000[diff] [blame]9 %Y = atomicrmw add i8* %Q, i8 1 monotonic
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame]10 %Z = load i8, i8* %P
Nick Lewyckye2782c72009-10-13 07:48:38 +0000[diff] [blame]11; CHECK-NOT: = load
Nick Lewyckyf01ba002009-10-14 19:02:13 +0000[diff] [blame]12 %A = sub i8 %X, %Z
13 ret i8 %A
14; CHECK: ret i8 0
Nick Lewyckye2782c72009-10-13 07:48:38 +0000[diff] [blame]15}