Displaying 20 results from an estimated 20 matches for "sanitize_memory".
2013 Nov 19
3
[LLVMdev] Curiosity about transform changes under Sanitizers (Was: [PATCH] Disable branch folding with MemorySanitizer)
..., %x
>>>> %1 = icmp slt i32 %0, 0
>>>> br i1 %1, label %if.then2, label %if.end3
>>>> where all 3 instructions are associated with line 1.
>>>>
>>>> This patch disables folding of conditional branches in functions with
>>>> sanitize_memory attribute.
>>>>
>>>> http://llvm-reviews.chandlerc.com/D2214
>>>>
>>>> Files:
>>>> lib/Transforms/Utils/SimplifyCFG.cpp
>>>> test/Transforms/SimplifyCFG/branch-fold-msan.ll
>>>>
>>>> Index: lib/Trans...
2013 Nov 19
0
[LLVMdev] Curiosity about transform changes under Sanitizers (Was: [PATCH] Disable branch folding with MemorySanitizer)
...; %1 = icmp slt i32 %0, 0
>>>>> br i1 %1, label %if.then2, label %if.end3
>>>>> where all 3 instructions are associated with line 1.
>>>>>
>>>>> This patch disables folding of conditional branches in functions with
>>>>> sanitize_memory attribute.
>>>>>
>>>>> http://llvm-reviews.chandlerc.com/D2214
>>>>>
>>>>> Files:
>>>>> lib/Transforms/Utils/SimplifyCFG.cpp
>>>>> test/Transforms/SimplifyCFG/branch-fold-msan.ll
>>>>>
>&...
2013 Nov 19
3
[LLVMdev] Curiosity about transform changes under Sanitizers (Was: [PATCH] Disable branch folding with MemorySanitizer)
...2 %0, 0
>>>>>> br i1 %1, label %if.then2, label %if.end3
>>>>>> where all 3 instructions are associated with line 1.
>>>>>>
>>>>>> This patch disables folding of conditional branches in functions with
>>>>>> sanitize_memory attribute.
>>>>>>
>>>>>> http://llvm-reviews.chandlerc.com/D2214
>>>>>>
>>>>>> Files:
>>>>>> lib/Transforms/Utils/SimplifyCFG.cpp
>>>>>> test/Transforms/SimplifyCFG/branch-fold-msan.ll
&g...
2013 Nov 19
1
[LLVMdev] Curiosity about transform changes under Sanitizers (Was: [PATCH] Disable branch folding with MemorySanitizer)
...2 %0, 0
>>>>>> br i1 %1, label %if.then2, label %if.end3
>>>>>> where all 3 instructions are associated with line 1.
>>>>>>
>>>>>> This patch disables folding of conditional branches in functions with
>>>>>> sanitize_memory attribute.
>>>>>>
>>>>>> http://llvm-reviews.chandlerc.com/D2214
>>>>>>
>>>>>> Files:
>>>>>> lib/Transforms/Utils/SimplifyCFG.cpp
>>>>>> test/Transforms/SimplifyCFG/branch-fold-msan.ll
&g...
2013 Nov 19
5
[LLVMdev] Curiosity about transform changes under Sanitizers (Was: [PATCH] Disable branch folding with MemorySanitizer)
...>>> br i1 %1, label %if.then2, label %if.end3 where all 3
> >>>>>> instructions are associated with line 1.
> >>>>>>
> >>>>>> This patch disables folding of conditional branches in functions
> >>>>>> with sanitize_memory attribute.
> >>>>>>
> >>>>>> http://llvm-reviews.chandlerc.com/D2214
> >>>>>>
> >>>>>> Files:
> >>>>>> lib/Transforms/Utils/SimplifyCFG.cpp
> >>>>>> test/Transforms/Simp...
2013 Nov 19
0
[LLVMdev] Curiosity about transform changes under Sanitizers (Was: [PATCH] Disable branch folding with MemorySanitizer)
...%0, 0
>>>>>> br i1 %1, label %if.then2, label %if.end3 where all 3
>>>>>> instructions are associated with line 1.
>>>>>>
>>>>>> This patch disables folding of conditional branches in functions
>>>>>> with sanitize_memory attribute.
>>>>>>
>>>>>> http://llvm-reviews.chandlerc.com/D2214
>>>>>>
>>>>>> Files:
>>>>>> lib/Transforms/Utils/SimplifyCFG.cpp
>>>>>> test/Transforms/SimplifyCFG/branch-fold-msan.ll
&g...
2013 Nov 19
0
[LLVMdev] Curiosity about transform changes under Sanitizers (Was: [PATCH] Disable branch folding with MemorySanitizer)
...2 %0, 0
>>>>>> br i1 %1, label %if.then2, label %if.end3 where all 3
>>>>>> instructions are associated with line 1.
>>>>>>
>>>>>> This patch disables folding of conditional branches in functions
>>>>>> with sanitize_memory attribute.
>>>>>>
>>>>>> http://llvm-reviews.chandlerc.com/D2214
>>>>>>
>>>>>> Files:
>>>>>> lib/Transforms/Utils/SimplifyCFG.cpp
>>>>>> test/Transforms/SimplifyCFG/branch-fold-msan.ll
&g...
2013 Nov 19
2
[LLVMdev] Curiosity about transform changes under Sanitizers (Was: [PATCH] Disable branch folding with MemorySanitizer)
...3 where all 3
> > >>>>>> instructions are associated with line 1.
> > >>>>>>
> > >>>>>> This patch disables folding of conditional branches in
> > >>>>>> functions
> > >>>>>> with sanitize_memory attribute.
> > >>>>>>
> > >>>>>> http://llvm-reviews.chandlerc.com/D2214
> > >>>>>>
> > >>>>>> Files:
> > >>>>>> lib/Transforms/Utils/SimplifyCFG.cpp
> > >>>>>...
2013 Nov 19
0
[LLVMdev] Curiosity about transform changes under Sanitizers (Was: [PATCH] Disable branch folding with MemorySanitizer)
...%if.then2, label %if.end3 where all 3
> >>>>>> instructions are associated with line 1.
> >>>>>>
> >>>>>> This patch disables folding of conditional branches in
> >>>>>> functions
> >>>>>> with sanitize_memory attribute.
> >>>>>>
> >>>>>> http://llvm-reviews.chandlerc.com/D2214
> >>>>>>
> >>>>>> Files:
> >>>>>> lib/Transforms/Utils/SimplifyCFG.cpp
> >>>>>> test/Transforms/Simpli...
2013 Nov 19
0
[LLVMdev] Curiosity about transform changes under Sanitizers (Was: [PATCH] Disable branch folding with MemorySanitizer)
...where all 3
> > >>>>>> instructions are associated with line 1.
> > >>>>>>
> > >>>>>> This patch disables folding of conditional branches in
> > >>>>>> functions
> > >>>>>> with sanitize_memory attribute.
> > >>>>>>
> > >>>>>> http://llvm-reviews.chandlerc.com/D2214
> > >>>>>>
> > >>>>>> Files:
> > >>>>>> lib/Transforms/Utils/SimplifyCFG.cpp
> > >>>>&...
2014 May 31
2
[LLVMdev] Unifying TSan blacklist and no_sanitize_thread
...gt; this case, but otherwise
> > we may miss synchronization). Thoughts?
>
> I don't think we should do (2).
>
> Sounds like your plan would let us drop blacklist from *SanitizerPass
> arguments, right? That's great.
>
Yes. We can already do that for TSan and MSan - sanitize_memory and
sanitize_thread
attrs are not added to functions by Clang if the functions are blacklisted.
There's still some
stuff to do in ASan w.r.t. global variables.
BTW, are we still interested in having "-mllvm -msan-blacklist" and "-mllvm
-tsan-blacklist",
or we may kill these...
2013 Mar 01
2
[LLVMdev] RFC: TileGX, a new backend for Tilera's many core processor
...upported Tests : 68
Unexpected Failures: 44
test-suite
---
Expected Passes : 949
Unexpected Failures: 17
the llvm patch is against:
commit 5e812139690ce077d568ef6559992b2cf74eb536
Author: Evgeniy Stepanov <eugeni.stepanov at gmail.com>
Date: Thu Feb 28 11:25:14 2013 +0000
[msan] Implement sanitize_memory attribute.
the clang patch is against:
commit a4d4621b206f941cc58d9d0bc7c67a8e705c9d49
Author: Daniel Jasper <djasper at google.com>
Date: Thu Feb 28 11:05:57 2013 +0000
Improve formatting of #defines.
the test-suite patch is against:
commit 8c1ab3b660e67b74421d657408167b1345188f8d
Autho...
2013 Nov 19
4
[LLVMdev] Curiosity about transform changes under Sanitizers (Was: [PATCH] Disable branch folding with MemorySanitizer)
...>>> br i1 %1, label %if.then2, label %if.end3 where all 3
> >>>>>> instructions are associated with line 1.
> >>>>>>
> >>>>>> This patch disables folding of conditional branches in functions
> >>>>>> with sanitize_memory attribute.
> >>>>>>
> >>>>>> http://llvm-reviews.chandlerc.com/D2214
> >>>>>>
> >>>>>> Files:
> >>>>>> lib/Transforms/Utils/SimplifyCFG.cpp
> >>>>>> test/Transforms/Simp...
2013 Mar 01
3
[LLVMdev] RFC: TileGX, a new backend for Tilera's many core processor
...949
>> Unexpected Failures: 17
>>
>> the llvm patch is against:
>>
>> commit 5e812139690ce077d568ef6559992b2cf74eb536
>> Author: Evgeniy Stepanov <eugeni.stepanov at gmail.com>
>> Date: Thu Feb 28 11:25:14 2013 +0000
>>
>> [msan] Implement sanitize_memory attribute.
>>
>> the clang patch is against:
>>
>> commit a4d4621b206f941cc58d9d0bc7c67a8e705c9d49
>> Author: Daniel Jasper <djasper at google.com>
>> Date: Thu Feb 28 11:05:57 2013 +0000
>>
>> Improve formatting of #defines.
>>
>> t...
2013 Mar 01
0
[LLVMdev] RFC: TileGX, a new backend for Tilera's many core processor
...> ---
> Expected Passes : 949
> Unexpected Failures: 17
>
> the llvm patch is against:
>
> commit 5e812139690ce077d568ef6559992b2cf74eb536
> Author: Evgeniy Stepanov <eugeni.stepanov at gmail.com>
> Date: Thu Feb 28 11:25:14 2013 +0000
>
> [msan] Implement sanitize_memory attribute.
>
> the clang patch is against:
>
> commit a4d4621b206f941cc58d9d0bc7c67a8e705c9d49
> Author: Daniel Jasper <djasper at google.com>
> Date: Thu Feb 28 11:05:57 2013 +0000
>
> Improve formatting of #defines.
>
> the test-suite patch is against:
>...
2013 Mar 01
0
[LLVMdev] RFC: TileGX, a new backend for Tilera's many core processor
...> ---
> Expected Passes : 949
> Unexpected Failures: 17
>
> the llvm patch is against:
>
> commit 5e812139690ce077d568ef6559992b2cf74eb536
> Author: Evgeniy Stepanov <eugeni.stepanov at gmail.com> Date: Thu Feb 28
> 11:25:14 2013 +0000
>
> [msan] Implement sanitize_memory attribute.
>
> the clang patch is against:
>
> commit a4d4621b206f941cc58d9d0bc7c67a8e705c9d49
> Author: Daniel Jasper <djasper at google.com> Date: Thu Feb 28 11:05:57
> 2013 +0000
>
> Improve formatting of #defines.
>
> the test-suite patch is against:
>...
2013 Mar 01
2
[LLVMdev] RFC: TileGX, a new backend for Tilera's many core processor
...949
>> Unexpected Failures: 17
>>
>> the llvm patch is against:
>>
>> commit 5e812139690ce077d568ef6559992b2cf74eb536
>> Author: Evgeniy Stepanov <eugeni.stepanov at gmail.com> Date: Thu Feb 28
>> 11:25:14 2013 +0000
>>
>> [msan] Implement sanitize_memory attribute.
>>
>> the clang patch is against:
>>
>> commit a4d4621b206f941cc58d9d0bc7c67a8e705c9d49
>> Author: Daniel Jasper <djasper at google.com> Date: Thu Feb 28 11:05:57
>> 2013 +0000
>>
>> Improve formatting of #defines.
>>
>> t...
2014 May 29
4
[LLVMdev] Unifying TSan blacklist and no_sanitize_thread
Hi,
I consider reducing the usage of blacklist in sanitizer instrumentation
passes and doing the necessary work in frontend (Clang) instead.
Some of it is already implemented: e.g. Clang will attach an attribute
"sanitize_address" to function definition only if this function is not
blacklisted. In this case we won't instrument the memory accesses in this
function in ASan
2014 Mar 07
3
[LLVMdev] [RFC] Add second "failure" AtomicOrdering to cmpxchg instruction
...rumentation/MemorySanitizer/atomics.ll b/test/Instrumentation/MemorySanitizer/atomics.ll
index ff02452..98697d7 100644
--- a/test/Instrumentation/MemorySanitizer/atomics.ll
+++ b/test/Instrumentation/MemorySanitizer/atomics.ll
@@ -37,7 +37,7 @@ entry:
define i32 @Cmpxchg(i32* %p, i32 %a, i32 %b) sanitize_memory {
entry:
- %0 = cmpxchg i32* %p, i32 %a, i32 %b seq_cst
+ %0 = cmpxchg i32* %p, i32 %a, i32 %b seq_cst seq_cst
ret i32 %0
}
@@ -46,16 +46,16 @@ entry:
; CHECK: icmp
; CHECK: br
; CHECK: @__msan_warning
-; CHECK: cmpxchg {{.*}} seq_cst
+; CHECK: cmpxchg {{.*}} seq_cst seq_cst
; CHECK: s...
2014 Nov 03
8
[LLVMdev] [PATCH] Protection against stack-based memory corruption errors using SafeStack
...6523bce..939dc5d 100644
--- a/lib/AsmParser/LLLexer.cpp
+++ b/lib/AsmParser/LLLexer.cpp
@@ -636,6 +636,7 @@ lltok::Kind LLLexer::LexIdentifier() {
KEYWORD(ssp);
KEYWORD(sspreq);
KEYWORD(sspstrong);
+ KEYWORD(safestack);
KEYWORD(sanitize_address);
KEYWORD(sanitize_thread);
KEYWORD(sanitize_memory);
diff --git a/lib/AsmParser/LLParser.cpp b/lib/AsmParser/LLParser.cpp
index b7818bb..0a655a6 100644
--- a/lib/AsmParser/LLParser.cpp
+++ b/lib/AsmParser/LLParser.cpp
@@ -988,6 +988,7 @@ bool LLParser::ParseFnAttributeValuePairs(AttrBuilder &B,
case lltok::kw_ssp: B.addAttrib...