[sledge] Add test Makefile targets for generating Llair code

Summary: Merely for convenience.

Reviewed By: ngorogiannis

Differential Revision: D19221874

fbshipit-source-id: 858b6fdd6
master
Josh Berdine 5 years ago committed by Facebook Github Bot
parent 4ddf46268f
commit 8fb0632aba

@ -85,6 +85,12 @@ report-summary:
%.bc : %.cpp
@(cd $(dir $*) && clang++ -g -c -emit-llvm $(CLANG_ARGS) $(notdir $*).cpp -o $(notdir $*).bc)
%.llair : %.bc
$(SLEDGE_EXE) llvm translate $< -llair-output $@
%.llair.txt : %.llair
$(SLEDGE_EXE) disassemble $< -llair-txt-output $@
# code to test analyze
AnalyzeCs:=$(shell find * -not -path 'llvm/*' -name '*.c')
AnalyzeCPPs:=$(shell find * -not -path 'llvm/*' -name '*.cpp')

Loading…
Cancel
Save