version bump.

SRI-CSL · Aug 4, 2020 · 6bb4db7 · 6bb4db7
1 parent 165d336
commit 6bb4db7
Show file tree

Hide file tree

Showing 2 changed files with 39 additions and 38 deletions.
diff --git a/shared/constants.go b/shared/constants.go
@@ -52,9 +52,10 @@ package shared
 //  1.2.6 March 24 2020 Added the support for the LLVM_BITCODE_GENERATION_FLAGS environment variable.
 //                      See https://github.com/travitch/whole-program-llvm/issues/96 for details.
 //
+//  1.2.7 August 4 2020 William Woodruff's (@woodruffw) tweaks to the get-bc command (a strict mode).
 
-const gllvmVersion = "1.2.6"
-const gllvmReleaseDate = "March 24 2020"
+const gllvmVersion = "1.2.7"
+const gllvmReleaseDate = "August 4 2020"
 
 const osDARWIN = "darwin"
 const osLINUX = "linux"

diff --git a/shared/parser.go b/shared/parser.go
@@ -133,42 +133,42 @@ func parse(argList []string) parserResult {
 		"-nostdlibinc": {0, pr.compileUnaryCallback},
 
 		"-mno-omit-leaf-frame-pointer": {0, pr.compileUnaryCallback},
-		"-maes":                        {0, pr.compileUnaryCallback},
-		"-mno-aes":                     {0, pr.compileUnaryCallback},
-		"-mavx":                        {0, pr.compileUnaryCallback},
-		"-mno-avx":                     {0, pr.compileUnaryCallback},
-		"-mavx2":                       {0, pr.compileUnaryCallback},
-		"-mno-avx2":                    {0, pr.compileUnaryCallback},
-		"-mno-red-zone":                {0, pr.compileUnaryCallback},
-		"-mmmx":                        {0, pr.compileUnaryCallback},
-		"-mno-mmx":                     {0, pr.compileUnaryCallback},
-		"-mno-global-merge":            {0, pr.compileUnaryCallback}, //iam: linux kernel stuff
-		"-mno-80387":                   {0, pr.compileUnaryCallback}, //iam: linux kernel stuff
-		"-msse":                        {0, pr.compileUnaryCallback},
-		"-mno-sse":                     {0, pr.compileUnaryCallback},
-		"-msse2":                       {0, pr.compileUnaryCallback},
-		"-mno-sse2":                    {0, pr.compileUnaryCallback},
-		"-msse3":                       {0, pr.compileUnaryCallback},
-		"-mno-sse3":                    {0, pr.compileUnaryCallback},
-		"-mssse3":                      {0, pr.compileUnaryCallback},
-		"-mno-ssse3":                   {0, pr.compileUnaryCallback},
-		"-msse4":                       {0, pr.compileUnaryCallback},
-		"-mno-sse4":                    {0, pr.compileUnaryCallback},
-		"-msse4.1":                     {0, pr.compileUnaryCallback},
-		"-mno-sse4.1":                  {0, pr.compileUnaryCallback},
-		"-msse4.2":                     {0, pr.compileUnaryCallback},
-		"-mno-sse4.2":                  {0, pr.compileUnaryCallback},
-		"-msoft-float":                 {0, pr.compileUnaryCallback},
-		"-m3dnow":                      {0, pr.compileUnaryCallback},
-		"-mno-3dnow":                   {0, pr.compileUnaryCallback},
-		"-m16":                         {0, pr.compileLinkUnaryCallback}, //iam: linux kernel stuff
-		"-m32":                         {0, pr.compileLinkUnaryCallback},
-		"-m64":                         {0, pr.compileLinkUnaryCallback},
-		"-mstackrealign":               {0, pr.compileUnaryCallback},
-		"-mretpoline-external-thunk":   {0, pr.compileUnaryCallback}, //iam: linux kernel stuff
-		"-mno-fp-ret-in-387":           {0, pr.compileUnaryCallback}, //iam: linux kernel stuff
-		"-mskip-rax-setup":             {0, pr.compileUnaryCallback}, //iam: linux kernel stuff
-		"-mindirect-branch-register":   {0, pr.compileUnaryCallback}, //iam: linux kernel stuff
+		"-maes":                      {0, pr.compileUnaryCallback},
+		"-mno-aes":                   {0, pr.compileUnaryCallback},
+		"-mavx":                      {0, pr.compileUnaryCallback},
+		"-mno-avx":                   {0, pr.compileUnaryCallback},
+		"-mavx2":                     {0, pr.compileUnaryCallback},
+		"-mno-avx2":                  {0, pr.compileUnaryCallback},
+		"-mno-red-zone":              {0, pr.compileUnaryCallback},
+		"-mmmx":                      {0, pr.compileUnaryCallback},
+		"-mno-mmx":                   {0, pr.compileUnaryCallback},
+		"-mno-global-merge":          {0, pr.compileUnaryCallback}, //iam: linux kernel stuff
+		"-mno-80387":                 {0, pr.compileUnaryCallback}, //iam: linux kernel stuff
+		"-msse":                      {0, pr.compileUnaryCallback},
+		"-mno-sse":                   {0, pr.compileUnaryCallback},
+		"-msse2":                     {0, pr.compileUnaryCallback},
+		"-mno-sse2":                  {0, pr.compileUnaryCallback},
+		"-msse3":                     {0, pr.compileUnaryCallback},
+		"-mno-sse3":                  {0, pr.compileUnaryCallback},
+		"-mssse3":                    {0, pr.compileUnaryCallback},
+		"-mno-ssse3":                 {0, pr.compileUnaryCallback},
+		"-msse4":                     {0, pr.compileUnaryCallback},
+		"-mno-sse4":                  {0, pr.compileUnaryCallback},
+		"-msse4.1":                   {0, pr.compileUnaryCallback},
+		"-mno-sse4.1":                {0, pr.compileUnaryCallback},
+		"-msse4.2":                   {0, pr.compileUnaryCallback},
+		"-mno-sse4.2":                {0, pr.compileUnaryCallback},
+		"-msoft-float":               {0, pr.compileUnaryCallback},
+		"-m3dnow":                    {0, pr.compileUnaryCallback},
+		"-mno-3dnow":                 {0, pr.compileUnaryCallback},
+		"-m16":                       {0, pr.compileLinkUnaryCallback}, //iam: linux kernel stuff
+		"-m32":                       {0, pr.compileLinkUnaryCallback},
+		"-m64":                       {0, pr.compileLinkUnaryCallback},
+		"-mstackrealign":             {0, pr.compileUnaryCallback},
+		"-mretpoline-external-thunk": {0, pr.compileUnaryCallback}, //iam: linux kernel stuff
+		"-mno-fp-ret-in-387":         {0, pr.compileUnaryCallback}, //iam: linux kernel stuff
+		"-mskip-rax-setup":           {0, pr.compileUnaryCallback}, //iam: linux kernel stuff
+		"-mindirect-branch-register": {0, pr.compileUnaryCallback}, //iam: linux kernel stuff
 
 		"-A": {1, pr.compileBinaryCallback},
 		"-D": {1, pr.compileBinaryCallback},