| 12345678910111213141516171819202122232425262728293031323334353637383940 |
- ; RUN: opt -simplifycfg -S %s | FileCheck %s
- ; Make sure we don't speculate loads under ThreadSanitizer.
- @g = global i32 0, align 4
- define i32 @TestNoTsan(i32 %cond) nounwind readonly uwtable {
- entry:
- %tobool = icmp eq i32 %cond, 0
- br i1 %tobool, label %return, label %if.then
- if.then: ; preds = %entry
- %0 = load i32, i32* @g, align 4
- br label %return
- return: ; preds = %entry, %if.then
- %retval = phi i32 [ %0, %if.then ], [ 0, %entry ]
- ret i32 %retval
- ; CHECK-LABEL: @TestNoTsan
- ; CHECK: %[[LOAD:[^ ]*]] = load
- ; CHECK: select{{.*}}[[LOAD]]
- ; CHECK: ret i32
- }
- define i32 @TestTsan(i32 %cond) nounwind readonly uwtable sanitize_thread {
- entry:
- %tobool = icmp eq i32 %cond, 0
- br i1 %tobool, label %return, label %if.then
- if.then: ; preds = %entry
- %0 = load i32, i32* @g, align 4
- br label %return
- return: ; preds = %entry, %if.then
- %retval = phi i32 [ %0, %if.then ], [ 0, %entry ]
- ret i32 %retval
- ; CHECK-LABEL: @TestTsan
- ; CHECK: br i1
- ; CHECK: load i32, i32* @g
- ; CHECK: br label
- ; CHECK: ret i32
- }
|
