blob: a1064f47c34987e43fcb88531e86911a22558da0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
// RUN: %clang_cc1 -triple x86_64-apple-macosx10.14.0 -fsanitize=unsigned-integer-overflow %s -emit-llvm -o - | FileCheck %s
_Atomic(unsigned) atomic;
// CHECK-LABEL: define void @cmpd_assign
void cmpd_assign() {
// CHECK: br label %[[LOOP_START:.*]]
// CHECK: [[LOOP_START]]:
// CHECK-NEXT: phi i32 {{.*}}, [ {{.*}}, %[[INCOMING_BLOCK:.*]] ]
// CHECK: [[INCOMING_BLOCK]]:
// CHECK-NEXT: cmpxchg
// CHECK-NEXT: extractvalue
// CHECK-NEXT: extractvalue
// CHECK-NEXT: br i1 %8, label %{{.*}}, label %[[LOOP_START]]
atomic += 1;
}
// CHECK-LABEL: define void @inc
void inc() {
// CHECK: br label %[[LOOP_START:.*]]
// CHECK: [[LOOP_START]]:
// CHECK-NEXT: phi i32 {{.*}}, [ {{.*}}, %[[INCOMING_BLOCK:.*]] ]
// CHECK: [[INCOMING_BLOCK]]:
// CHECK-NEXT: cmpxchg
// CHECK-NEXT: extractvalue
// CHECK-NEXT: extractvalue
// CHECK-NEXT: br i1 %8, label %{{.*}}, label %[[LOOP_START]]
atomic++;
}
|
