add two more test subjects

Author: pdschubert

cmake/phasar_macros.cmake

@@ -50,7 +50,7 @@ function(add_phasar_unittest test_name)
 endfunction()
 
 function(generate_ll_file)
-  set(options MEM2REG DEBUG)
+  set(options MEM2REG DEBUG O1 O2 O3)
   set(testfile FILE)
   cmake_parse_arguments(GEN_LL "${options}" "${testfile}" "" ${ARGN} )
   # get file extension
@@ -92,6 +92,21 @@ function(generate_ll_file)
     list(APPEND GEN_C_FLAGS -g)
     set(GEN_CMD_COMMENT "${GEN_CMD_COMMENT}[DBG]")
   endif()
+  if(GEN_LL_O1)
+    list(APPEND GEN_CXX_FLAGS -O1)
+    list(APPEND GEN_C_FLAGS -O1)
+    set(GEN_CMD_COMMENT "${GEN_CMD_COMMENT}[O1]")
+  endif()
+  if(GEN_LL_O2)
+    list(APPEND GEN_CXX_FLAGS -O2)
+    list(APPEND GEN_C_FLAGS -O2)
+    set(GEN_CMD_COMMENT "${GEN_CMD_COMMENT}[O2]")
+  endif()
+  if(GEN_LL_03)
+    list(APPEND GEN_CXX_FLAGS -O3)
+    list(APPEND GEN_C_FLAGS -O3)
+    set(GEN_CMD_COMMENT "${GEN_CMD_COMMENT}[O3]")
+  endif()
   set(GEN_CMD_COMMENT "${GEN_CMD_COMMENT} ${GEN_LL_FILE}")
 
   # define .ll file generation command

test/llvm_test_code/inst_interaction/CMakeLists.txt

@@ -24,6 +24,15 @@ set(Sources
   struct_01.cpp
 )
 
+set(SourceOpt
+  global_03.cpp
+  global_04.cpp
+)
+
 foreach(TEST_SRC ${Sources})
   generate_ll_file(FILE ${TEST_SRC})
 endforeach(TEST_SRC)
+
+foreach(TEST_SRC ${SourcesOpt})
+  generate_ll_file(FILE ${TEST_SRC} O1)
+endforeach(TEST_SRC)

test/llvm_test_code/inst_interaction/global_03.cpp

@@ -0,0 +1,25 @@
+int GlobalFeature = 2;
+
+int main(int argc, char *argv[]) {
+  int Sum = argc;
+
+  switch (GlobalFeature + argc) {
+  case 0:
+    return 21;
+  case 1:
+    Sum += 2;
+  case 7:
+    Sum += 3;
+    break;
+  case 2:
+    Sum += 4;
+    break;
+  case 4:
+    Sum += 4;
+    break;
+  }
+
+  Sum += 42;
+
+  return Sum;
+}