blob: 429fb1fcc27b7c8afee17b7e5c28a4dc67b3e737 [file] [log] [blame]
NAKAMURA Takumi7b597942013-01-22 01:51:59 +00001// RUN: %clang_cc1 -triple i386-unknown-unknown -O1 -emit-llvm -o - %s | FileCheck %s
2// CHECK: define i32 @f0
3// CHECK: ret i32 1
4// CHECK: define i32 @f1
5// CHECK: ret i32 1
6// CHECK: define i32 @f2
7// CHECK: ret i32 1
Daniel Dunbarbfb1cd72008-08-06 02:00:38 +00008// <rdr://6115726>
9
10int f0() {
11 int x;
12 unsigned short n = 1;
13 int *a = &x;
14 int *b = &x;
15 a = a - n;
16 b -= n;
17 return a == b;
18}
19
20int f1(int *a) {
Sebastian Redl85a40192008-11-12 00:18:32 +000021 long b = a - (int*) 1;
Daniel Dunbarbfb1cd72008-08-06 02:00:38 +000022 a -= (int*) 1;
Sebastian Redl85a40192008-11-12 00:18:32 +000023 return b == (long) a;
Daniel Dunbarbfb1cd72008-08-06 02:00:38 +000024}
25
Sebastian Redl85a40192008-11-12 00:18:32 +000026int f2(long n) {
Daniel Dunbarbfb1cd72008-08-06 02:00:38 +000027 int *b = n + (int*) 1;
28 n += (int*) 1;
29 return b == (int*) n;
30}
31