aicreatbyme
/ z3_example_case_shufflevector
Created
June 7, 2023 06:37
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # shufflevector.ll | |
| ; ModuleID = 'shufflevector.c' | |
| target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" | |
| target triple = "x86_64-apple-macosx10.9.0" | |
| @.str = private unnamed_addr constant [16 x i8] c"lhs == rhs: %d\0A\00", align 1 | |
| @.str1 = private unnamed_addr constant [22 x i8] c"lhs = %d != rhs = %d\0A\00", align 1 | |
| ; Function Attrs: nounwind ssp uwtable | |
| define i32 @lhs(i32 %a, i32 %b) #0 { |